Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots

First Page		Document Content
Date: 2005-03-29 03:01:53 Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database		Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Download Document from Source Website File Size: 148,05 KB Share Document on Facebook

	Finding Security Vulnerabilities in Java Applications with Static Analysis V. Benjamin Livshits and Monica S. Lam Computer Science Department Stanford University {livshits, lam}@cs.stanford.edu DocID: 1rBVL - View Document
	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots DocID: 1qtLT - View Document
	Finding Security Vulnerabilities in Java Applications with Static Analysis Benjamin Livshits and Monica S. Lam Computer Science Department DocID: 1oWV6 - View Document
	Jade: A High-Level, Machine-Independent Language for Parallel Programming Martin C. Rinard, Daniel J. Scales and Monica S. Lam Computer Systems Laboratory Stanford University, CA 94305 DocID: 1mXyD - View Document
	A Distributed Open Social Platform for Mobile Devices Monica S. Lam Giovanni Campagna Jiwon Seo DocID: 1mnWQ - View Document