zlacker

[parent] [thread] 2 comments
1. pjmlp+(OP)[view] [source] 2022-10-03 19:06:04
Static analysis for C exists since 1979, date of lint's availability, the problem isn't lack of tooling, rather people actually using it.
replies(1): >>jstimp+rG3
2. jstimp+rG3[view] [source] 2022-10-04 20:29:45
>>pjmlp+(OP)
I would assume that the things that lint could do you nowadays get by simply using -Wall -Wextra with gcc for example. While I haven't checked what a lint is required to do, but there have been plenty of situations in the past where I had to change my code in order to avoid triggering false positives from tests that run during normal compilation. For instance, there are tests that find accesses to potentially uninitialized variables.
replies(1): >>pjmlp+3y5
◧◩
3. pjmlp+3y5[view] [source] [discussion] 2022-10-05 10:21:36
>>jstimp+rG3
If we are talking about the 1979 version, most likely.

If we are talking about products like PC-lint, Sonar qube, Coverity, the experience is much more than that.

[go to top]