Login / Signup

LLVM Static Analysis for Program Characterization and Memory Reuse Profile Estimation.

Atanu BaraiNandakishore SanthiAbdur RazzakStephan J. EidenbenzAbdel-Hameed A. Badawy
Published in: MEMSYS (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • symbolic execution
  • source code
  • java card
  • regular expressions
  • test generation
  • abstract interpretation
  • test suite
  • malicious code
  • real world
  • software development
  • memory requirements