5 ms·
The analysis tools for C codebases are quite impressive mostly because it’s a statically typed language which is amenable to such analysis.
by jahewson 9y ago
The analysis tools for C codebases are quite impressive mostly because it’s a statically typed language which is amenable to such analysis.
- taeric 9y agoI challenge that assertion. Some of the most impressive analysis of C is specifically on some stuff that is dynamic in nature. (In particular, showing just that you didn't check for null is easy. Showing how the null could get there takes effort.) This also ignores some of the analysis for lisp languages. I know typed racket comes up every week for this topic. It didn't invent type checking for lisp, either.