Login / Signup
Finding Tizen security bugs through whole-system static analysis.
Daniel Song
Jisheng Zhao
Michael G. Burke
Dragos Sbirlea
Dan S. Wallach
Vivek Sarkar
Published in:
CoRR (2015)
Keyphrases
</>
static analysis
java card
source code
dynamic analysis
regular expressions
test generation
symbolic execution
malicious code
abstract interpretation
access control
intrusion detection
open source
databases
test suite
api calls
security vulnerabilities
programming language
decision trees