secure-software-engineering / phasar

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

build analysis on an existing module #666

Closed yuffon closed 11 months ago

yuffon commented 1 year ago

I need to perform IFDS analysis on an existing Module in a LLVM pass such that all components in my project use the same llvm Module object. But I see that HelperAnalyses does not has such interface. It only receives IRfile and builds module itself.

I know it is easy to implement such an interface. I think somebody may meet the same problem in the future. So maybe it is better to add an interface in the main branch.

yuffon commented 1 year ago

@fabianbs96 great!