Sign in
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud.
Zhiqiang Zuo
Rong Gu
Xi Jiang
Zhaokang Wang
Yihua Huang
Linzhang Wang
Xuandong Li
Published in:
IPDPS (2019)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
java card
cloud computing
malicious code
test generation
regular expressions
test suite
abstract interpretation
case study
databases
virtual machine
error rate
database systems
real world