Efficient static checker for tainted variable attacks

DOI10.1016/j.scico.2013.03.012zbMath1410.68077OpenAlexW2135654257MaRDI QIDQ1651020

Andrei Rimsa, Fernando Magno Quintão Pereira, Marcelo D'Amorim, Roberto S. Bigonha

Publication date: 16 July 2018

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2013.03.012

zbMATH Keywords

static analysissecurity vulnerabilitytainted flow analysis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of compilers and interpreters (68N20)

Uses Software

• AMNESIA
• GitHub
• Pixy
• PHP
• F4F
• TAJ

Cites Work

• Unnamed Item
• Efficient inference of object types
• The program dependence graph and its use in optimization
• A fast algorithm for finding dominators in a flowgraph
• Certification of programs for secure information flow
• Trust in the λ-calculus
• Modern Compiler Implementation in Java

This page was built for publication: Efficient static checker for tainted variable attacks