search

secure-software-engineering / phasar

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

Fix TaintConfig Initial Seeds #635

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

The makeInitialSeeds function from LLVMTaintConfig may generate seeds at skipped (e.g., debug-) instructions leading the IDESolver to produce no IDE edge values generated from those seeds