CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS

CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS (2007)

Cached

Download Links

by John Whaley , Monica S. Lam

Citations:

BibTeX

@MISC{Whaley07context-sensitivepointer,
    author = {John Whaley and Monica S. Lam},
    title = {CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS},
    year = {2007}
}

Bookmark

OpenURL

Abstract

in my opinion, it

Citations

2888	Induction of Decision Trees - Quinlan - 1986
2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
1998	Bagging predictors - Breiman - 1996
1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1023	The Java Virtual Machine Specification - Lindholm, Yellin - 1996
995	Principles of Database and Knowledge-Base Systems, vol - Ullman - 1989
749	Efficiently computing static single assignment form and the control dependence graph - Cytron, Ferrante, et al. - 1991
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
538	Improving retrieval performance by relevance feedback - Salton, Buckley - 1990
488	L.J.: Symbolic model checking: 10 20 states and beyond - Burch, Clarke, et al. - 1992
477	Points-to analysis in almost linear time - Steensgaard - 1996
472	Program Analysis and Specialization for the C Programming Language - Andersen - 1994
449	Kohavi R: An empirical comparison of voting classification algorithms - Bauer - 1999
386	Dynamic Variable Ordering for Ordered Binary Decision Diagrams - Rudell - 1993
375	Efficient ContextSensitive Pointer Analysis for C Programs - Wilson, Lam - 1995
365	A sequential algorithm for training text classifiers - Lewis, Gale - 1994
359	ContextSensitive Interprocedural Points-to Analysis in the Presence of Function Pointers - Emami, Ghiya, et al. - 1994
348	S.K.: Automatic predicate abstraction of C programs 36(5 - Ball, Majumdar, et al. - 2001
348	Automatically validating temporal safety properties of interfaces - Ball, Rajamani - 2001
315	Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints - Patrick - 1977
315	Checking System rules using System-specific, Programmer-written Compiler Extensions - Engler, Chelf, et al. - 2000
314	A first step towards automated detection of buffer overrun vulnerabilities - Wagner, Foster, et al. - 2000
302	C.: Optimization of object-oriented programs using static Class Hierarchy Analysis - Dean, Grove, et al. - 1995
287	Logic Programming and Databases - Ceri, Gotlob, et al. - 1990
285	A unified approach to global program optimization - Kildall - 1973
277	Magic sets and other strange ways to implement logic programs - Bancilhon, Sagiv, et al. - 1986
273	Two approaches to interprocedural data flow analysis - SHARIR, PNUELI - 1981
270	The Jalapeño virtual machine - Alpern, Attanasio, et al. - 2000
267	Control-flow Analysis of Higher-Order Languages - Shivers - 1991
242	A static analyzer for finding dynamic programming errors. Software—Practice and Experience - Bush, Pincus, et al. - 2000
241	Escape analysis for java - Choi, Gupta, et al. - 1999
226	Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
224	On the complexity of VLSI implementations and graph representation of boolean functions with application to integer multiplication - BRYANT - 1991
224	ESP: Path-sensitive program verification in polynomial time - Das, Lerner, et al. - 2002
223	P.F.: Fast static analysis of C++ virtual function calls - Bacon, Sweeney - 1996
211	Compositional pointer and escape analysis for java programs - Whaley, Rinard - 1999
200	XSB as an efficient deductive database engine - Sagonas, Swift, et al. - 1994
196	CUDD: CU decision diagram package release - Somenzi - 1998
194	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams - Whaley, Lam - 2004
194	Bebop: A symbolic model checker for boolean programs - Ball, Rajamani
192	Universality of data retrieval languages - Aho, Ullman - 1979
189	SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers - Wilson, French, et al. - 1994
189	The alternating fixpoint of logic programs with negation - Gelder - 1989
188	A type and effect system for atomicity - Flanagan, Qadeer - 2003
182	Detecting format string vulnerabilities with type qualifiers - SHANKAR, TALWAR, et al. - 2001
181	A system and language for building system-specific, static analyses - Hallem, Chelf, et al. - 2002
175	Unification-based pointer analysis with directional assignments - Das - 2000
168	Disjunctive datalog - Eiter, Gottlob, et al. - 1997
159	The Jalapeño dynamic optimizing compiler for Java - BURKE, CHOI, et al. - 1999
154	EXE: Automatically Generating Inputs of Death - Cadar, Ganesh, et al. - 2006