Awesome Open Source

Programming Languages

Search results for ocaml static analysis

static-analysis x

16 search results found

Infer ⭐ 14,568

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

Pyre Check ⭐ 6,606

Performant type-checking for python.

Binary Analysis Platform

The Felix Programming Language

Bolt is a language with in-built data-race freedom!

Analyzer ⭐ 143

Static analysis framework for C

Frama C Snapshot ⭐ 125

Release snapshots of the Frama-C platform for source code analysis

Illuaminate ⭐ 48

Very WIP static analysis for Lua

A static analysis and linter tool for Lua

Infrared ⭐ 42

✨🚀 Blazing fast, inferred static type checker for JavaScript.

Iec Checker ⭐ 34

Static analysis of IEC 61131-3 programs

Cacheaudit ⭐ 32

A Tool for the Static Analysis of Cache Side Channels

oo7, a binary analysis tool to defend against Spectre vulnerabilities

An abstract-interpretation-based static analysis for inferring refinement types

Function ⭐ 10

Frama-C plugin for deadlock detection

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Java Static Analysis (214)

Javascript Ocaml (181)

Reactjs Ocaml (168)

1-16 of 16 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.