Tainted Flow Analysis on e-SSA-Form Programs.

Andrei Rimsa Marcelo d'Amorim Fernando Magno Quintão Pereira

Published in: CC (2011)

Keyphrases

flow analysis
information flow
search algorithm
fixpoint
forensic analysis
real time
genetic algorithm
hidden markov models