Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.
Mayur NaikPublished in: SAS (2019)
Keyphrases
- static analysis
- dynamic analysis
- discrete space
- source code
- continuous domains
- continuous data
- symbolic execution
- continuous variables
- continuous functions
- test generation
- continuous space
- regular expressions
- discrete data
- continuous action
- malicious code
- java card
- discrete variables
- knowledge base
- abstract interpretation
- knowledge representation
- case study
- test suite
- domain knowledge
- continuous valued
- real world
- test case generation
- database