/crab-llvm

Abstract Interpretation of LLVM bitcode

Primary LanguageCApache License 2.0Apache-2.0

Stargazers