Taint Analysis
Named by 5 kept items in this workspace.
Search every workspace for Taint Analysis. It matches the name as written, so it can find other things that share it.
The items that name it 5
Used by SmartMemory to verify reachability, type, and impact of each candidate OFCI
tracks untrusted user input through an application to improve SAST accuracy
Source-to-sink data-flow analysis to distinguish proven data-flow from method-reachable co-occurrence
source-sink tracing, filter evaluation, threat model, false positive reduction (4 patterns)
Tracks untrusted data from a source through its flow to a sink and confirms a vulnerability when tainted data arrives with no proper sanitizing step. It also accounts for reachability.
All techniques in this workspace.