Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree.

Hongliang Liang Shirun Liu Yini Zhang Meilin Wang

Published in: SNPD (2017)

Keyphrases

static analysis
symbolic execution
abstract interpretation
dynamic analysis
source code
test generation
java card
regular expressions
high level
test suite
specification language
software systems
general purpose
query processing
test data generation
neural network
software testing
database
case study