F4F

swMATH29449MaRDI QIDQ41163FDOQ41163

Author name not available (Why is that?)

Cited In (3)

• Automated Inference of Library Specifications for Source-Sink Property Verification
• Efficient static checker for tainted variable attacks
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results

This page was built for software: F4F