secure-software-engineering / phasar

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

fix caching of llvm::ModuleSlotTracker instances #424

Closed MMory closed 2 years ago

MMory commented 2 years ago

... for printing llvm::Value - make sure that destruction of an llvm::Module leads to destruction of its llvm::ModuleSlotTracker in cache please merge #423 first.