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

OCaml logo
Static Analysis

  1. infer

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

    Project mention: A rogue AI led to a serious security incident at Meta | news.ycombinator.com | 2026-03-20

  2. SaaSHub

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

    SaaSHub logo

  3. semgrep

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

    Project mention: 4 Open-Source Security Tools Every Dev Should Know | dev.to | 2026-05-06

    ⭐ 15k stars · semgrep.dev

  4. pyre-check

    Performant type-checking for python.

    Project mention: Type hints in Python (1) | dev.to | 2025-11-19

    is used with the type checkers such as mypy, pyright, pyre-check, pytype, etc.

  5. bap

    Binary Analysis Platform

  6. bolt

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

    Project mention: Show HN: Bolt – A super-fast, statically-typed scripting language written in C | news.ycombinator.com | 2025-08-10

    I'm aware of 4 now. Here are the other 3:

    https://github.com/mukul-rathi/bolt - Bolt is a language with in-built data-race freedom!

    https://github.com/boltlang/Bolt - A programming language for rapid application development

    https://sourceforge.net/projects/boltprogramming/files - BOLT is a programming language that was desinged for begining programmers who have never seen code before in their life

  7. mazeppa

    A modern supercompiler for call-by-value functional languages

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

  • How to Set Up Semgrep GitHub Action for Code Scanning

    1 project | dev.to | 6 Apr 2026

  • How to Write Custom Semgrep Rules: Complete Tutorial

    2 projects | dev.to | 6 Apr 2026

  • How to Set Up Semgrep in 2026 - Complete Installation and Configuration Guide

    1 project | dev.to | 26 Mar 2026

  • A rogue AI led to a serious security incident at Meta

    1 project | news.ycombinator.com | 20 Mar 2026

  • A guide to using Graphite's stacked PRs for GitHub users

    1 project | dev.to | 18 Sep 2025

  • Hacker Summer Camp 2025 Edition | Semgrep Newsletter

    1 project | dev.to | 29 Jul 2025

  • Evaluating the Effectiveness of Memory Safety Sanitizers

    4 projects | news.ycombinator.com | 10 Jul 2025
  • A note from our sponsor - SaaSHub
    www.saashub.com | 11 Jun 2026
    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,640
2 semgrep 15,402
3 pyre-check 7,167
4 bap 2,223
5 bolt 603
6 mazeppa 478
7 illuaminate 55

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

Did you know that OCaml is
the 33rd most popular programming language
based on number of references?

Loading...