swMATH29449MaRDI QIDQ41163FDOQ41163
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=2048066.2048145
Cited In (18)
- Efficient static checker for tainted variable attacks
- AMNESIA
- Perracotta
- JFlow
- Merlin
- Panorama
- Pixy
- PHP
- TaintDroid
- Julia Static Analyzer
- Dytan
- TAJ
- Aletheia
- BackFlow
- MorphDroid
- Sails
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- Automated inference of library specifications for source-sink property verification
This page was built for software: F4F
