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

Shooting from the heap: ultra-scalable static analysis with heap snapshots.

Neville GrechGeorge FourtounisAdrian FrancalanzaYannis Smaragdakis
Published in: ISSTA (2018)
Keyphrases
  • static analysis
  • data structure
  • dynamic analysis
  • source code
  • high speed
  • symbolic execution
  • suffix tree
  • malicious code
  • abstract interpretation
  • regular expressions
  • test generation
  • database systems
  • test suite