Too Long; Didn't Read
There are several types of rules that give rise to different types of false positives. In this post, I’ll discuss how the different rules are based on different analysis techniques. There are different reasons for false positives, such as whether the rule needs to compute the semantic properties of your program. Some rules are simpler, but may still raise false positives. That may be because the implementation is buggy, or because the exact specification is hard to get right. There is no perfect answer: We can err on the side of avoiding false positives by deciding that all octal values with 3 are acceptable.