TAJ
From MaRDI portal
Software:44823
swMATH33114MaRDI QIDQ44823FDOQ44823
Author name not available (Why is that?)
Cited In (7)
- 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
- \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
