Static security analysis
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Security analysis
program-analysis
- Taint analysisSource-sink propagationstandardprogram-analysis
- Datalog-based analysisDeclarative rule evaluationspecialistprogram-analysis