search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
942 stars 142 forks source link

Fix IFDSTaintLibSummary SeqFault if find doesn't find anything #737

Closed mxHuber closed 1 month ago