search

secure-software-engineering / phasar

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

Fix Compose FF to have vectors of FlowFunctionPtrType #710

Closed MMory closed 2 months ago

MMory commented 3 months ago

... which is necessary, since FlowFunctionTy is a virtual interface