secure-software-engineering / phasar

A LLVM-based static analysis framework.

Other

919 stars 140 forks source link

Make killAllFlows() kill flows #682

Closed fabianbs96 closed 7 months ago

fabianbs96 commented 7 months ago

681