Static Analysis Using the Cloud.

Rahul Kumar Chetan Bansal Jakob Lichtenberg

Published in: iFMCloud@IFM (2016)

Keyphrases

static analysis
dynamic analysis
cloud computing
source code
symbolic execution
malicious code
regular expressions
java card
abstract interpretation
test generation
artificial intelligence
open source
data management
operating system
virtual machine