@inproceedings{SCAM-2007-Larson,
	author        = "Eric Larson",
	booktitle     = "{Proceedings of the Seventh International Workshop on Source Code Analysis and Manipulation}",
	doi           = "10.1109/SCAM.2007.22",
	pages         = "123--132",
	publisher     = "{IEEE}",
	title         = "{SUDS: An Infrastructure for Creating Bug Detection Tools}",
	year          = 2007,
}