컴파일러 경고를 사용하여 상수 1 왼쪽 시프트 오버플로 잡기?

Question

우리는 리눅스 커널 안에 코드를 작성하고 있기 때문에 리눅스 커널 코드에서 작동하는 PC-Lint/Flexelint를 얻을 수 없었습니다. 너무 많은 내장 기호 등. 그러나 그것은 부작용입니다.

우리는 gcc로 시작하는 컴파일러가 몇 가지 있지만 다른 것들도 있습니다. 그들의 경고 옵션은 시간이 지남에 따라 점점 강해지고 있으며, 정적 분석 도구 역시 강력합니다.

내가 알고 싶은 것은 다음과 같습니다. 그렇습니다. "no magic numbers"와 같은 코드 리뷰에서 쉽게 잡을 수있는 몇 가지 사항을 위반하고 "비트 시프트에주의하십시오."하지만 코드의 해당 부분을 살펴보아야 만합니다. 어쨌든, 여기있다 :

unsigned long long foo; 
unsigned long bar; 

[... lots of other code ...] 

foo = ~(foo + (1<<bar)); 

또한 업데이트] 문제 설명 -도 16로 제한 바, 여전히 문제. 명확히하자면, 문제는 암시 적 int 유형의 상수로, 계획되지 않은 경우 복잡한 계산식이 모든 계산이 동일한 크기와 부호로 수행된다는 규칙을 위반하게 만듭니다.

문제점 : '1'은 길지 않지만 작은 값 상수는 기본값이 int입니다. 그러므로 막대의 실제 값이 16을 초과하지 않더라도 여전히 (1<<bar) 표현이 오버플로되어 전체 계산이 망가질 수 있습니다.

아마도 올바른 해결책으로 대신 1ULL을 작성하십시오.

이 (수정 된) 문제점을 지적하는 잘 알려진 컴파일러 및 컴파일러 경고 플래그가 있습니까?

Answer 1

이 의심스러운 것으로 신고 할 것이라는 것이 기본 조건인지 확실하지 않습니다. 바의 값이 보다 크고 int의 크기 (비트 단위)가 크다면 분명히 뭔가가 있지만, 일반적으로 컴파일러 은 알 수 없습니다. 휴리스틱 버그 검색 도구의 관점에서 볼 때, 일반 구조에서 가능성이있는 버그를 구분하는 데 좋은 패턴을 가진 은 너무 많은 false 포지티브를 피하기위한 열쇠입니다 (사용자가 도구를 싫어하고 사용을 거부 함) . 숫자 유형의 크기보다 큰하여 내 URL 플래그에

오픈 소스 도구는 논리 시프트하지만, 주로 중요한 임베디드 소프트웨어에 대한 검증 도구입니다 당신이 경우 작업 의 많은이 적절한 것으로 예상 연결된 구조와 다른 어려움으로 리눅스 커널 에서 사용하려고합니다.