TAJ

swMATH33114MaRDI QIDQ44823FDOQ44823

Author name not available (Why is that?)

Cited In (7)

• Context-oriented web application protection model
• Automated Inference of Library Specifications for Source-Sink Property Verification
• Verifying pointer and string analyses with region type systems
• Efficient static checker for tainted variable attacks
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
• Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions
• Automatic synthesis of data-flow analyzers

This page was built for software: TAJ