secure-software-engineering / phasar

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

Make the sqlite3-dependency optional #711

Closed fabianbs96 closed 2 months ago