Opaque Predicate Detection by Static Analysis of Binary Executables.
R. Krishna Ram PrakashP. P. AmrithaM. SethumadhavanPublished in: SSCC (2017)
Keyphrases
- static analysis
- source code
- dynamic analysis
- symbolic execution
- malicious code
- object detection
- detection algorithm
- java card
- abstract interpretation
- detection method
- data sets
- test generation
- malicious executables
- database
- malware detection
- test suite
- data flow
- regular expressions
- object oriented
- domain knowledge
- high level