이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 명령 장의사입니다.
프로그램:
이름
D: - 조건부 C 코드에서 결함 찾기
개요
장의사 [옵션] <파일..>
기술
I: 장의사 v1.1+179-2bb9f3f-dirty `undertaker'는 조건부 C 코드를 다음과 같이 분석합니다.
#ifdef.
옵션
-V 버전 정보 인쇄
-v 로그 수준 증가(더 자세한 정보)
-q 로그 수준 감소(덜 장황함)
-m 모델 지정(디렉토리 또는 파일)
-M 주요 모델 지정
-w 화이트리스트 지정
-b 작업 목록 지정(배치 모드)
-t 병렬 프로세스 수 지정
-I #include 지시문에 대한 포함 경로 추가
-j 수행해야 할 작업 지정
죽은
데드/언데드 파일 분석(기본값)
적용 범위
커버리지 파일 분석
cpppc
전체 파일에 대한 CPP 전제 조건
블록PC: 블록 전제 조건 (체재: :
)
기호 pc
기호 전제 조건(형식 )
체크익스프레스
식을 만족하는 구성 찾기
흥미있는
관련 항목 찾기(부정 항목은 모델에 없음)
적용 범위 옵션 :
-O: 생성된 구성의 출력 모드 지정
kconfig
생성된 부분 kconfig 구성(기본값)
표준 출력
찾은 구성을 stdout에 인쇄
CPP
stdout cpp로 인쇄 -D 명령 줄 인수
실행:cmd
cmd에 대한 모든 구성에 대한 파이프 파일
모델
구성 공간에 있는 모든 옵션 인쇄
모든
모든 할당된 기호 덤프(항목 및 코드 블록 모두)
-C: 커버리지 알고리즘 지정
간편한 설치
- 상대적으로 간단하고 빠른 알고리즘(기본값)
min - 느리지만 더 적은 구성 집합을 생성합니다.
지정 파일 :
하나 이상의 파일을 지정할 수 있습니다(형식은 작업(-j) 어느
해야합니다. -를 파일로 지정하면 장의사는 모델과 화이트리스트를 로드합니다.
stdin(대화형)에서 파일을 읽습니다.
스캔할 파일 또는 작업 목록을 지정하십시오
'undertaker'는 조건부 C 코드를 #ifdef로 분석합니다.
용법: 장의사 [옵션]
-V 버전 정보 인쇄
-v 로그 수준 증가(더 자세한 정보)
-q 로그 수준 감소(덜 장황함)
-m 모델 지정(디렉토리 또는 파일)
-M 주요 모델 지정
-w 화이트리스트 지정
-b 작업 목록 지정(배치 모드)
-t 병렬 프로세스 수 지정
-I #include 지시문에 대한 포함 경로 추가
-j 수행해야 할 작업 지정
죽은
데드/언데드 파일 분석(기본값)
적용 범위
커버리지 파일 분석
cpppc
전체 파일에 대한 CPP 전제 조건
블록PC: 블록 전제 조건 (체재: :
)
기호 pc
기호 전제 조건(형식 )
체크익스프레스
식을 만족하는 구성 찾기
흥미있는
관련 항목 찾기(부정 항목은 모델에 없음)
적용 범위 옵션 :
-O: 생성된 구성의 출력 모드 지정
kconfig
생성된 부분 kconfig 구성(기본값)
표준 출력
찾은 구성을 stdout에 인쇄
CPP
stdout cpp로 인쇄 -D 명령 줄 인수
실행:cmd
cmd에 대한 모든 구성에 대한 파이프 파일
모델
구성 공간에 있는 모든 옵션 인쇄
모든
모든 할당된 기호 덤프(항목 및 코드 블록 모두)
-C: 커버리지 알고리즘 지정
간편한 설치
- 상대적으로 간단하고 빠른 알고리즘(기본값)
min - 느리지만 더 적은 구성 집합을 생성합니다.
지정 파일 :
하나 이상의 파일을 지정할 수 있습니다(형식은 작업(-j) 어느
해야합니다. -를 파일로 지정하면 장의사는 모델과 화이트리스트를 로드합니다.
stdin(대화형)에서 파일을 읽습니다.
onworks.net 서비스를 사용하여 온라인으로 장의사 사용
