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

DOI10.1007/978-3-030-39322-9_2MaRDI QIDQ784106zbMATH OpenOpenAlexFDO

Authors Pietro Ferrara, Luca Olivieri, 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)

Recommendations

• Boolean formulas for the static identification of injection attacks in Java
• Efficient static checker for tainted variable attacks
• Information-flow and data-flow analysis of while-programs
• Implicit flows in malicious and nonmalicious code
• Static evidences for attack reconstruction

Cited in

(1)

• BackFlow

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784106)