3 ms·
It's a fast, simple, low-level language that despite the best efforts of standards bodies is easy to reason about.
by yarrel 11y ago
It's a fast, simple, low-level language that despite the best efforts of standards bodies is easy to reason about.
- nickpsecurity 11y agoIt's not easy to reason about. The static analysis and formal verification results that were straight-forward to obtain in languages like ML and Modula took many Master's and Ph.D.'s worth of work for C. Human review also proved to catch less than safer, systems languages in many case studies because it just has too many gotchas. In common cases, too, rather than obscure ones. So, no, C is not easy to reason about. Nor are the tools that can cheap if you want low, false positives.