secure-software-engineering / phasar

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

Default Summary Flow and Edge Function #577

Closed janniclas closed 1 year ago

janniclas commented 1 year ago

As discussed I added a default implementation for the getSummaryFlow and Edge Function