Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework.

Xinsong Wu Zhouyi Zhou Yeping He Hongliang Liang

Published in: ISPEC (2009)

Keyphrases

static analysis
dynamic analysis
abstract interpretation
source code
anomaly detection
artificial intelligence
software engineering
open source
symbolic execution