OCaml Static Analysis

Open-source OCaml projects categorized as Static Analysis
Edit details
static-code-analysis C Python Java program-analysis
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 7 OCaml Static Analysis Projects

Static Analysis

  • infer

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

    Project mention: An Introduction to Temporal Logic (With Applications to Concurrency Problems) | news.ycombinator.com | 2024-01-22

    I think most development occurs on problems that can't be formally modeled anyway. Most developers work on things like, "can you add this feature to the e-commerce site? And can the pop-up be blue?" which isn't really model-able.

    But that's not to say that formal methods are useless! We can still prove some interesting aspects of programs -- for example, that every lock that gets acquired later gets released. I think tools like Infer[0] could become common in the coming years.

    [0]: https://fbinfer.com/

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • semgrep

    Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

    Project mention: Top 11 DevOps Security Tools | dev.to | 2024-08-30

    2. Semgrep

  • pyre-check

    Performant type-checking for python.

    Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11

    Did you come across pyre in your search? MIT license and pretty fast.

    https://github.com/facebook/pyre-check

  • bap

    Binary Analysis Platform

  • bolt

    Bolt is a language with in-built data-race freedom! (by mukul-rathi)

  • mazeppa

    A modern supercompiler for call-by-value functional languages

    Project mention: Mazeppa: A modern supercompiler for call-by-value functional languages | news.ycombinator.com | 2024-07-12

  • illuaminate

    Very WIP static analysis for Lua

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

OCaml Static Analysis discussion

Log in or Post with

OCaml Static Analysis related posts

  • Semgrep: Semantic Grep for Code

    1 project | news.ycombinator.com | 30 Apr 2024

  • Semgrep – Find bugs and enforce code standards

    1 project | news.ycombinator.com | 9 Apr 2024

  • Application Security - Bridging Frontend and Cybersecurity: What is Application Security?

    1 project | dev.to | 2 Apr 2024

  • Creating a DevSecOps pipeline with Jenkins — Part 1

    3 projects | dev.to | 17 Mar 2024

  • Should I Rust or should I Go

    7 projects | news.ycombinator.com | 15 Sep 2023

  • Top 10 Snyk Alternatives for Code Security

    3 projects | dev.to | 31 Aug 2023

  • Semgrep: Semantic Grep for Code

    1 project | news.ycombinator.com | 4 Aug 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 4 Dec 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source Static Analysis projects in OCaml? This list will help you:

Project Stars
1 infer 15,002
2 semgrep 10,714
3 pyre-check 6,871
4 bap 2,075
5 bolt 572
6 mazeppa 397
7 illuaminate 50

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you konow that OCaml is
the 41st most popular programming language
based on number of metions?