A Static Analysis of Pascal Program Structures.

G. R. Brookes I. R. Wilson A. M. Addyman

Published in: Softw. Pract. Exp. (1982)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
malicious code
regular expressions
java card
abstract interpretation
test suite
database
pattern matching
semi automatic
reverse engineering
artificial intelligence
keywords