secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
927 stars 140 forks source link

Adapts IIAA to new LLVMIRDB interface #557

Closed vulder closed 1 year ago