Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.

Liqian Chen Renjian Li Xueguang Wu Ji Wang

Published in: SAC (2013)

Keyphrases

static analysis
bit vectors
symbolic execution
dynamic analysis
abstract interpretation
source code
bit vector
regular expressions
api calls
high level
hash table
gray code
test suite
database
locality sensitive hashing
test generation
data model
data structure
lookup tables
learning algorithm