Excuse the ads! We need some help to keep our site up.
Clang 정적 분석기는 C, C++ 및 Objective-C 프로그램에서 버그를 찾는 소스 코드 분석 도구 입니다.
Clang 정적 분석기의 목표는 자유롭고 확장 가능하며 높은 구현 품질을 갖춘 정적 분석 프레임 워크를 제공하는 것이라고 합니다.
Clang 정적 분석기는 독립 실행 형태 또는 Xcode 내에서 사용 할 수 있습니다.
독립 실행 혙애는 명령 줄에서 호출되며 코드 베이스의 빌드와 함께 실행됩니다.
#include <stdio.h> #include <stdlib.h> int main(void) { char *p = malloc(1); *p = 'a'; char c = *p; printf("\n [%c]\n",c); free(p); c = *p; return 0; } |
lazenca0x0@ubuntu:/tmp/test$ scan-build-3.7 gcc test.c scan-build: Using '/usr/lib/llvm-3.7/bin/clang' for static analysis test.c:14:5: warning: Value stored to 'c' is never read c = *p; ^ ~~ test.c:14:9: warning: Use of memory after it is freed c = *p; ^~ 2 warnings generated. scan-build: 2 bugs found. scan-build: Run 'scan-view /tmp/scan-build-2017-11-29-061740-71620-1' to examine bug reports. lazenca0x0@ubuntu:/tmp/test$ |
lazenca0x0@ubuntu:/tmp/test$ scan-view-3.7 /tmp/scan-build-2017-11-29-061740-71620-1 Starting scan-view at: http://127.0.0.1:8181 Use Ctrl-C to exit. |
|