Sign in

Control Code Obfuscation by Abstract Interpretation.

Mila Dalla PredaRoberto Giacobazzi
Published in: SEFM (2005)
Keyphrases
  • static analysis
  • abstract interpretation
  • source code
  • dynamic analysis
  • control flow
  • termination analysis
  • databases
  • distributed databases
  • pattern matching
  • active rules
  • reasoning engine