Crab

A Language-Agnostic Library for Static Analysis

Source

Crab-llvm: Abstract Interpretation of LLVM bitcode

Tags: tool   native   llvm  

Last modified 01 July 2021