Static Analysis of Non-interference in Expressive Low-Level Languages.
Peter AldousMatthew MightPublished in: SAS (2015)
Keyphrases
- static analysis
- low level
- dynamic analysis
- high level
- highly expressive
- source code
- higher level
- symbolic execution
- knowledge representation languages
- expressive power
- malicious code
- test generation
- regular expressions
- java card
- databases
- low level features
- test suite
- visual features
- abstract interpretation
- decision trees
- description logics
- data sets
- multipath
- semantic information
- natural language processing
- domain knowledge
- training data