Manuvir Das, Dan Grossman
Proceedings of the Seventh Workshop on Program Analysis for Software Tools and Engineering
PASTE, 2007.

@proceedings{PASTE-2007,
	acmid         = "1251535",
	address       = "San Diego, California, USA",
	editor        = "Manuvir Das and Dan Grossman",
	isbn          = "978-1-59593-595-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Workshop on Program Analysis for Software Tools and Engineering}",
	year          = 2007,
}

Contents (15 items)

6 ×#analysis
2 ×#dependence
2 ×#java
2 ×#natural language
2 ×#program analysis
2 ×#static analysis

PASTE-2007-AyewahPMPZ #fault #static analysis

Evaluating static analysis defect warnings on production software (NA, WP, JDM, JP, YZ), pp. 1–8.

PASTE-2007-HovemeyerP #debugging #null #pointer

Finding more null pointer bugs, but not too many (DH, WP), pp. 9–14.

PASTE-2007-PollockVSHFM #natural language #program analysis

Introducing natural language program analysis (LLP, KVS, DCS, EH, ZPF, KM), pp. 15–16.

PASTE-2007-QianXM #alias #analysis #data flow #dependence

Interstatement must aliases for data dependence analysis of heap locations (JQ, BX, HM), pp. 17–24.

PASTE-2007-Milanova #analysis #java #points-to

Light context-sensitive points-to analysis for java (AM), pp. 25–30.

PASTE-2007-MarronSHK #analysis #library

Heap analysis in the presence of collection libraries (MM, DS, MVH, DK), pp. 31–36.

PASTE-2007-Lhotak #graph

Comparing call graphs (OL), pp. 37–42.

PASTE-2007-AikenBDDHH #overview

An overview of the saturn project (AA, SB, ID, TD, BH, PH), pp. 43–48.

PASTE-2007-ShepherdPV #case study #natural language #program analysis #reverse engineering

Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task (DCS, LLP, KVS), pp. 49–54.

PASTE-2007-ZhangR #dependence

Discovering accurate interclass test dependences (WZ, BGR), pp. 55–62.

PASTE-2007-LeS #analysis #detection

Refining buffer overflow detection via demand-driven path-sensitive analysis (WL, MLS), pp. 63–68.

PASTE-2007-Brown #analysis #composition #integration #named

AWE: improving software analysis through modular integration of static and dynamic analyses (REB), pp. 69–74.

PASTE-2007-XuPV #analysis #java #source code

Dynamic purity analysis for java programs (HX, CJFP, CV), pp. 75–82.

PASTE-2007-FosterHP #quality #static analysis

Improving software quality with static analysis (JSF, MWH, WP), pp. 83–84.

PASTE-2007-ChinMMM #programming #validation

Enforcing and validating user-defined programming disciplines (BC, DM, SM, TDM), pp. 85–86.