swMATH33114MaRDI QIDQ44823FDOQ44823
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/10.1145/1542476.1542486
Cited In (27)
- Context-oriented web application protection model
- Verifying pointer and string analyses with region type systems
- Efficient static checker for tainted variable attacks
- Static detection of DoS vulnerabilities in programs that use regular expressions
- AMNESIA
- Perracotta
- LIFT
- FlashRelate
- FlashExtract
- Merlin
- Panorama
- Pixy
- PHP
- FlowDroid
- TaintDroid
- Julia Static Analyzer
- F4F
- Dytan
- PQL
- Aletheia
- BackFlow
- MorphDroid
- Sails
- Saner
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- Automatic synthesis of data-flow analyzers
- Automated inference of library specifications for source-sink property verification
This page was built for software: TAJ
