Goal-directed static analysis tool for JVM languages.
Framework model for static analysis of Android
Static heap reachability analysis for Java bytecode and Android memory leak finder.
Adapton Lab, written in Rust.
IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
Random Access Zipper in OCaml
FlowDroid Static Data Flow Tracker
The 8th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR22)
Fixrbot is a GitHub App that analyses the API usage patterns.
Website for CU Programming Languages and Verification (CUPLV)
DAI: Demanded Abstract Interpretation
The worst case execution times via extreme value theory