\textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results

DOI10.1007/978-3-030-39322-9_2OpenAlexW3000272901MaRDI QIDQ784106

Luca Olivieri, Pietro Ferrara, Fausto Spoto

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

BackFlow

Uses Software

• JFlow
• Panorama
• Pixy
• TaintDroid
• FlowDroid
• Julia Static Analyzer
• F4F
• Dytan
• TAJ
• MorphDroid
• Aletheia
• Sails

This page was built for publication: \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results