search

secure-software-engineering / phasar

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

Resolver Injection #717

Closed fabianbs96 closed 2 months ago

fabianbs96 commented 2 months ago

Allows injecting an own Resolver implementation into the ctor of LLVMBasedICFG. ALso updates some other stuff in the resolvers