Access-based abstract memory localization in static analysis.

Hakjoo Oh Kwangkeun Yi

Published in: Sci. Comput. Program. (2013)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
random access
source code
symbolic execution
secondary storage
access control
java card
malicious code
test generation
regular expressions
test suite
memory requirements
main memory
api calls
databases
relational data
open source
case study