Re:Static Analysis Tools for C
by retrocryptid on Thursday October 26, 2023 @08:07AM
(#38024451)
When I write my autobiography, an entire chapter will be named "/* FlawFinder: ignore */".
Re:Static Analysis Tools for C
by sumtechguy on Thursday October 26, 2023 @08:35AM
(#38024698)
I used to use a program that some devs were convinced had tons of false positives. Until you actually look at it. Usually something silly was going on to either cause it to not see what you were doing (rare) or there really was an issue (not rare). The 'oh that is a false positive' usually clues me into there is a whole class of bugs that this project has that need some deep looking into. Now I am not saying that happened to you but sometimes they are worth looking at. I saw one yesterday the dev did not understand why it would randomly crash. His destruction loop was backwards and was using pointers that may or may not still be good. Sometimes you cannot control the lib. So you have to 'ignore' but that only gives you time to mitigate.
Otherwise, I've used flawfinder for some of my projects.