Junfeng Yang Ted Kremenek Yichen Xie Dawson R. Engler MECA: an extensible, expressive system and language for statically checking security properties. 321-334 2003 conf/ccs/2003 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/948109.948153 db/conf/ccs/ccs2003.html#YangKXE03