search

secure-software-engineering / phasar

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

Fix calling llvm::Bitvector::getData() on empty BV #596

Closed MMory closed 1 year ago