A novel flow-sensitive type and effect analysis for securing C code.

Syrine Tlili Mourad Debbabi

Published in: AICCSA (2008)

Keyphrases

statistical analysis
static analysis
flow analysis
database
databases
lower bound
software engineering
markov random field
source code
information flow
automatic analysis