Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework. - Xinsong Wu; Zhouyi Zhou; Yeping He; Hongliang Liang (ISPEC, 2009)