The following pages link to TAJ (Q44823):
Displaying 8 items.
- (Q48817) (redirect page) (← links)
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results (Q784106) (← links)
- Efficient static checker for tainted variable attacks (Q1651020) (← links)
- Context-oriented web application protection model (Q1733478) (← links)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- Automatic synthesis of data-flow analyzers (Q2145353) (← links)
- Automated Inference of Library Specifications for Source-Sink Property Verification (Q2937794) (← links)
- Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions (Q3303917) (← links)
