issues
search
CodeShield-Security
/
SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
Eclipse Public License 2.0
66
stars
12
forks
source link
Custom Flow Functions + DemandDrivenGuidedAnalysis
#16
Closed
johspaeth
closed
3 years ago
johspaeth
commented
3 years ago
Adds functionality for custom flow functions (for instance, to kill data-flow propagations completely)
Adds DemandDrivenGuidedAnalysis for sharing of queries in a context-sensitive manner (#9)