OCaml static-code-analysis

Open-source OCaml projects categorized as static-code-analysis | Edit details

OCaml static-code-analysis Projects

  • infer

    A static analyzer for Java, C, C++, and Objective-C

    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-17

    A 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.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-05-17.

OCaml static-code-analysis related posts


Project Stars
1 infer 13,281
2 semgrep 6,507
Find remote jobs at our new job board 99remotejobs.com. There are 9 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives