OCaml reactive programming library

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

A security focused static analysis tool for Android and Java applications.

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

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

The aim of this project is to protect Java applications against CSRF attacks with the use of Synchronizer Tokens

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

Auto-formatter for OCaml code

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

The core OCaml system: compilers, runtime system, base libraries

Main public package repository for opam, the source package manager of OCaml.

A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

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