Login / Signup
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