Static Analysis of PostScript Code.

R. Nigel Horspool Jan Vitek

Published in: Comput. Lang. (1993)

Keyphrases

static analysis
malicious code
source code
dynamic analysis
symbolic execution
java card
abstract interpretation
test suite
regular expressions
case study
database
real world
relational databases
domain specific
database applications
test generation