OCaml static-code-analysis Projects
-
Project mention: How to use Coq and C in practical software development for "verified C"? | reddit.com/r/C_Programming | 2022-03-28
Also, a much more realistic approach would be to use static analyzers, such as fbinfer: https://fbinfer.com/
-
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Project mention: Comby - Structural code search and replace for every language | news.ycombinator.com | 2022-05-17A more interesting comparison than with Coccinele is with semgrep (https://semgrep.dev/) since it also supports semantic/structural pattern matching over a number of languages, but also adds in a bunch of Boolean logic into the mix, as well as some more advanced semantic features like constant propagation.
Curious whether the teams behind these tools are aware of each other? I suppose it's unlikely that they're not.
-
Scout APM
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
OCaml static-code-analysis related posts
- Comby - Structural code search and replace for every language
- What's wrong with static-analysis autofix/codemod tools? Why don't we use them more, across the industry? What's your experience?
- Semgrep: Semantic grep for code
- Semgrep: Semantic grep for code
- Semgrep: Semantic grep for code
- Semgrep: Semantic grep for code
- Semgrep: Semantic grep for code
Index
Are you hiring? Post a new remote job listing for free.
