Login / Signup

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

Syrine TliliMourad 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