F4F
From MaRDI portal
Software:41163
No author found.
Related Items (3)
Efficient static checker for tainted variable attacks ⋮ Automated Inference of Library Specifications for Source-Sink Property Verification ⋮ \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
This page was built for software: F4F
