Login / Signup

Variability-Aware Static Analysis at Scale: An Empirical Study.

Alexander von RheinJörg LiebigAndreas JankerChristian KästnerSven Apel
Published in: ACM Trans. Softw. Eng. Methodol. (2018)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • malicious code
  • regular expressions
  • scale space
  • test generation
  • java card
  • real world
  • abstract interpretation
  • reverse engineering