• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Semantic-Based Code Obfuscation by Abstract Interpretation.

Mila Dalla PredaRoberto Giacobazzi
Published in: ICALP (2005)
Keyphrases
  • static analysis
  • abstract interpretation
  • source code
  • dynamic analysis
  • regular expressions
  • reverse engineering
  • test suite
  • termination analysis
  • database
  • databases
  • high level
  • object oriented
  • model checking