#Abstract-interpretation

Showing 5 of 5 repositories tagged #abstract-interpretation, ranked by stars

Performant type-checking for python.

BinAbsInspector: Vulnerability Scanner for Binaries

A certifiable defense against adversarial examples by training neural networks to be provably robust

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode