Sign in

Refining assembly code static analysis for the Intel MCS-51 microcontroller.

Thomas ReinbacherJörg BrauerMartin HorauerBastian Schlich
Published in: SIES (2009)
Keyphrases
  • static analysis
  • source code
  • malicious code
  • dynamic analysis
  • symbolic execution
  • low cost
  • regular expressions
  • control system
  • test generation
  • java card
  • test suite
  • abstract interpretation