Defund the Police.

Soot - A Java optimization framework

Dynamic Instrumentation Tool Platform

Modular file scanning/analysis framework

The Exakat Engine : smart static analysis for PHP

LibRadar - A detecting tool for 3rd-party libraries in Android apps.

A tool for analyzing LLVM bitcode using Datalog.

Incremental Program Analysis Framework

Official repository of RankEval: An Evaluation and Analysis Framework for Learning-to-Rank Solutions.

The OpenATS COMPASS (Compliance Assessment) tool aims at providing a generalized framework for air-traffic surveillance data analysis, visualization & evaluation.

ANYstructure is the ultimate steel structure design tool for plate fields and cylinders. Weight optimization for all structures with machine learning capabilities. Calculations are based on DNV standards and rules.

ATLAS Run 2 and Run 3 analysis framework for AnalysisTop and AnalysisBase for proton-smashing physics

Dialog Skill Analysis framework for Watson Assistant

MPLSandbox is an out-of-the-box multi-programming language sandbox designed to provide unified and comprehensive feedback from compiler and analysis tools for LLMs.

The d-SEAMS C++ core engine

Framework for Interactive Evaluation of Recommender Systems

Computational Suite for Bioinformaticians and Biologists (CSBB) is a RShiny application developed with an intention to empower researchers from wet and dry lab to perform downstream Bioinformatics analysis

a dataflow analysis framework implemented in Go, like soot

fast and effective way to access and analyze java bytecode