Static Analysis of Low-level Synchronization.

David Callahan Jaspal Subhlok

Published in: Workshop on Parallel and Distributed Debugging (1988)

Keyphrases

static analysis
low level
dynamic analysis
high level
source code
higher level
malicious code
symbolic execution
java card
visual information
low level features
abstract interpretation
regular expressions
test suite
visual features
reverse engineering
test generation
programming language
knowledge base