search

secure-software-engineering / phasar

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

Fixes wrong global lookup when global was not in the PTS #426

Closed vulder closed 3 years ago

vulder commented 3 years ago

In cases where a global variable was not in the PTS the IDEInstInteractionAnalysis did not correctly generate taints for the specific instruction that loaded from the global.