secure-software-engineering / phasar

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

Ref-counted ModuleSlotTracker #614

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Phasar currently crashes when the same llvm::Module is managed by multiple LLVMProjectIRDB instances at the same time. This situation occurrs for example when phasar is used in LLVM's pass infrastructure and multiple phasar-passes are run in one opt-call.

Reference-counting the cached ModuleSlotTracker instances fixes this problem.