A Simple Semantics and Static Analysis for Stack Inspection.

Anindya Banerjee David A. Naumann

Published in: Festschrift for Dave Schmidt (2013)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
formal semantics
test generation
artificial intelligence
knowledge base
keywords
anomaly detection
semantic information
conceptual model
malicious code