강력한 형식 정의 정적 타입 검사하는 <strong>일반</strong> C (안 C++)에 대한 형식 정의 기반 및 리눅스에서 실행 않습니다 검사기 (UNIX)

Question

이 무료 도구 (정적 검사의 일종)이 있는가 (또는 무료 유닉스의 종류)? 나는 상업적인 것을 알고있다 : PC-lint/FlexeLint. 그것은 내가 원하는 바를 정확하게 수행하지만, 무료가 아니며 Windows 전용입니다. 다음은이 매뉴얼의에서 예입니다

typedef int Count; 
typedef int Bool; 
Count n; 
Bool stop; 
. 
. 
. 
n = stop ; // tool generates a warning here 

내가했습니다 이미 Enforce strong type checking in C (type strictness for typedefs)이 Is there a good way to force type incompatibility in C?을 읽고 내가 구조체 캡슐화 해킹 알고 있어요,하지만 그건 내가 원하는 하지입니다. 코드가 쌓여 있으며이 특정 유형의 실수를 확인하고 싶습니다.

Answer 1

약 splint? (나는 그것이 당신이 원하는 것을 할 수 있는지를 확인하지 못했습니다. 그렇습니다.)

또는 C99의 stdbool.h과 bool 유형을 사용하는 것은 어떻습니까?

Answer 2

"lint"는 원래 유닉스 도구였습니다. 더 이상 표준 배포판에 포함되어 있지 않습니까?

그렇지 않은 경우 gcc -wall은 대부분 동일한 경고를 제공합니다.