Search results for "pointer analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0002, Zhaoqing Zhang	Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code.	CGO	2010	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
3	Ben Hardekopf, Calvin Lin	Semi-sparse flow-sensitive pointer analysis.	POPL	2009	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
3	Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards	Flexible pointer analysis using assign-fetch graphs.	SAC	2008	DBLP DOI BibTeX RDF	summary-based analysis, static analysis, pointer analysis
3	David J. Pearce, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis of C.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	pointer analysis, Set-constraints
3	Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind	Fast online pointer analysis.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	class loading, native interface, reflection, Pointer analysis
3	Ben Hardekopf, Calvin Lin	The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code.	PLDI	2007	DBLP DOI BibTeX RDF	pointer analysis
3	Jeff Da Silva, J. Gregory Steffan	A probabilistic pointer analysis for speculative optimizations.	ASPLOS	2006	DBLP DOI BibTeX RDF	speculative optimization, dependence analysis, pointer analysis
3	Jianwen Zhu	Towards scalable flow and context sensitive pointer analysis.	DAC	2005	DBLP DOI BibTeX RDF	high-level synthesis, binary decision diagrams, pointer analysis
3	Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam	Improving software security with a C pointer analysis.	ICSE	2005	DBLP DOI BibTeX RDF	format string violations, security aws, program analysis, programming languages, error detection, dynamic analysis, vulnerabilities, buffer overflows, software security, pointer analysis, context-sensitive, type safety, software errors
3	Jianwen Zhu, Silvian Calman	Symbolic pointer analysis revisited.	PLDI	2004	DBLP DOI BibTeX RDF	binary decision diagrams, pointer analysis, call graph construction
3	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Importance of heap specialization in pointer analysis.	PASTE	2004	DBLP DOI BibTeX RDF	heap specialization, pointer analysis, context sensitivity
3	Radu Rugina, Martin C. Rinard	Pointer analysis for structured parallel programs.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Pointer analysis
3	Michael Hind, Anthony Pioli	Which pointer analysis should I use?	ISSTA	2000	DBLP DOI BibTeX RDF	interprocedural pointer analysis, data flow analysis
2	Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu	Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	memory leak detection, static analysis, flow-sensitive, demand-driven
2	Fernando Magno Quintão Pereira, Daniel Berlin	Wave Propagation and Deep Propagation for Pointer Analysis.	CGO	2009	DBLP DOI BibTeX RDF	Inclusion based, Context insensitive, Pointer analysis, Cycle detection
2	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	A Systematic Approach to Probabilistic Pointer Analysis.	APLAS	2007	DBLP DOI BibTeX RDF
2	Ben Hardekopf, Calvin Lin	Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis.	SAS	2007	DBLP DOI BibTeX RDF
2	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
2	Chris Lattner, Andrew Lenharth, Vikram S. Adve	Making context-sensitive points-to analysis with heap cloning practical for the real world.	PLDI	2007	DBLP DOI BibTeX RDF	field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural
2	Rosa Castillo, Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	Towards a Versatile Pointer Analysis Framework.	Euro-Par	2006	DBLP DOI BibTeX RDF
2	Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton	Free-Me: a static analysis for automatic individual object reclamation.	PLDI	2006	DBLP DOI BibTeX RDF	compiler-assisted, adaptive, locality, generational, liveness, pointer analysis, copying, mark-sweep
2	Jianwen Zhu, Silvian Calman	Context sensitive symbolic pointer analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
2	Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. Waddington	Pointer Analysis for Source-to-Source Transformations.	SCAM	2005	DBLP DOI BibTeX RDF
2	Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August	Practical and Accurate Low-Level Pointer Analysis.	CGO	2005	DBLP DOI BibTeX RDF
2	Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee	Interprocedural Probabilistic Pointer Analysis.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	interprocedural program analysis, optimization, compilers, Multithreading, speculation, points-to analysis
2	David J. Pearce, Paul H. J. Kelly, Chris Hankin	Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.	Software Quality Journal	2004	DBLP DOI BibTeX RDF
2	David J. Pearce, Paul H. J. Kelly, Chris Hankin	Efficient field-sensitive pointer analysis for C.	PASTE	2004	DBLP DOI BibTeX RDF	pointer analysis, set-constraints
2	Arnaud Venet	A Scalable Nonuniform Pointer Analysis for Embedded Programs.	SAS	2004	DBLP DOI BibTeX RDF
2	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis.	SAS	2004	DBLP DOI BibTeX RDF
2	Martin Hirzel, Amer Diwan, Michael Hind	Pointer Analysis in the Presence of Dynamic Class Loading.	ECOOP	2004	DBLP DOI BibTeX RDF
2	Arnaud Venet, Guillaume P. Brat	Precise and efficient static array bound checking for large embedded C programs.	PLDI	2004	DBLP DOI BibTeX RDF	difference-bound matrices, abstract interpretation, program verification, pointer analysis, array-bound checking
2	John Whaley, Monica S. Lam	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.	PLDI	2004	DBLP DOI BibTeX RDF	inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive
2	Ana Milanova, Atanas Rountev, Barbara G. Ryder	Precise Call Graphs for C Programs with Function Pointers.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	function pointers, pointer analysis, call graph
2	David J. Pearce, Paul H. J. Kelly, Chris Hankin	Online Cycle Detection and Difference Propagation for Pointer Analysis.	SCAM	2003	DBLP DOI BibTeX RDF
2	Samuel Z. Guyer, Calvin Lin	Client-Driven Pointer Analysis.	SAS	2003	DBLP DOI BibTeX RDF
2	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
2	Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer	Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.	SAS	2002	DBLP DOI BibTeX RDF
2	Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	An Empirical Study on the Granularity of Pointer Analysis in C Programs.	LCPC	2002	DBLP DOI BibTeX RDF
2	Jianwen Zhu	Symbolic pointer analysis.	ICCAD	2002	DBLP DOI BibTeX RDF
2	Karen Zee, Martin C. Rinard	Write barrier removal by static analysis.	OOPSLA	2002	DBLP DOI BibTeX RDF	program analysis, pointer analysis, write barriers, generational garbage collection
2	Karen Zee, Martin C. Rinard	Write barrier removal by static analysis.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	program analysis, pointer analysis, write barriers, generational garbage collection
2	Nevin Heintze, Olivier Tardieu	Demand-Driven Pointer Analysis.	PLDI	2001	DBLP DOI BibTeX RDF	C
2	Michael Hind	Pointer analysis: haven't we solved this problem yet?	PASTE	2001	DBLP DOI BibTeX RDF
2	Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof	Estimating the Impact of Scalable Pointer Analysis on Optimization.	SAS	2001	DBLP DOI BibTeX RDF
2	Manuvir Das	Unification-based pointer analysis with directional assignments.	PLDI	2000	DBLP DOI BibTeX RDF
2	Ben-Chung Cheng, Wen-mei W. Hwu	Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation.	PLDI	2000	DBLP DOI BibTeX RDF
2	Bernhard Scholz, Johann Blieberger, Thomas Fahringer	Symbolic Pointer Analysis for Detecting Memory Leaks.	PEPM	2000	DBLP DOI BibTeX RDF
2	Suan Hsi Yong, Susan Horwitz, Thomas W. Reps	Pointer Analysis for Programs with Structures and Casting.	PLDI	1999	DBLP DOI BibTeX RDF
2	Radu Rugina, Martin C. Rinard	Pointer Analysis for Multithreaded Programs.	PLDI	1999	DBLP DOI BibTeX RDF
2	Donglin Liang, Mary Jean Harrold	Efficient Points-to Analysis for Whole-Program Analysis.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Aliasing analysis, points-to graph, pointer analysis
2	Rebecca Hasti, Susan Horwitz	Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
2	Nurit Dor, Michael Rodeh, Shmuel Sagiv	Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).	PASTE	1998	DBLP DOI BibTeX RDF
2	Sandrine Blazy, Philippe Facon	Application of Formal Methods to the Development of a Software Maintenance Tool. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
2	R. Gaugne	A Static Analysis for Program Understanding and Debugging. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
2	Robert P. Wilson, Monica S. Lam	Efficient Context-Sensitive Pointer Analysis for C Programs.	PLDI	1995	DBLP DOI BibTeX RDF	C
1	Fausto Spoto	Precise null-pointer analysis.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Mohamed A. El-Zawawy	Probabilistic pointer analysis for multithreaded programs	CoRR	2011	DBLP BibTeX RDF
1	Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat	Lazy Pointer Analysis	CoRR	2011	DBLP BibTeX RDF
1	Mohamed A. El-Zawawy	Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis	CoRR	2011	DBLP BibTeX RDF
1	Ju Qian, Lin Chen, Baowen Xu, Xiaofang Zhang	Contribution-based call stack abstraction for call string based pointer analysis.	Information & Software Technology	2011	DBLP DOI BibTeX RDF
1	Woongsik Choi, Kwang-Moo Choe	Cycle elimination for invocation graph-based context-sensitive pointer analysis.	Information & Software Technology	2011	DBLP DOI BibTeX RDF
1	Ben Hardekopf, Calvin Lin	Flow-sensitive pointer analysis for millions of lines of code.	CGO	2011	DBLP DOI BibTeX RDF
1	Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew	SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA.	APLAS	2011	DBLP DOI BibTeX RDF
1	Fei Liu, Bixin Li	Multithreaded Pointer Analysis Based on Petri Net.	SEKE	2011	DBLP BibTeX RDF
1	Mohamed A. El-Zawawy	Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards	A novel analysis space for pointer analysis and its application for bug finding.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
1	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPOPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
1	Jörg Brauer, Ralf Huuck, Bastian Schlich	Interprocedural Pointer Analysis in Goanna.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Hyun-Goo Kang, Taisook Han	A bottom-up pointer analysis using the update history.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Ju Qian, Zifeng Cui, Baowen Xu, Xiaofang Zhang	Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs.	APSEC	2009	DBLP DOI BibTeX RDF
1	Luke Simon	Optimizing Pointer Analysis Using Bisimilarity.	SAS	2009	DBLP DOI BibTeX RDF
1	Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang	Mapping kernel objects to enable systematic integrity checking.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	kernel integrity, memory analysis, malware, pointer analysis, introspection
1	Nomair A. Naeem, Ondrej Lhoták	Efficient alias set analysis using SSA form.	ISMM	2009	DBLP DOI BibTeX RDF	live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
1	Dongseok Jang, Kwang-Moo Choe	Points-to analysis for JavaScript.	SAC	2009	DBLP DOI BibTeX RDF	program analysis, JavaScript, scripting language, pointer analysis, points-to analysis
1	Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
1	Jack Whitham, Neil C. Audsley	Implementing time-predictable load and store operations.	EMSOFT	2009	DBLP DOI BibTeX RDF	wcet, scratchpad
1	Martin Bravenboer, Yannis Smaragdakis	Strictly declarative specification of sophisticated points-to analyses.	OOPSLA	2009	DBLP DOI BibTeX RDF	DOOP, datalog, bdds, points-to analysis, declarative
1	Helmut Seidl, Vesal Vojdani	Region Analysis for Race Detection.	SAS	2009	DBLP DOI BibTeX RDF
1	Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett	Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.	SAS	2008	DBLP DOI BibTeX RDF
1	Guoqing (Harry) Xu, Atanas Rountev	Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	pointer analysis, context sensitivity, points-to analysis
1	Xin Zheng, Radu Rugina	Demand-driven alias analysis for C.	POPL	2008	DBLP DOI BibTeX RDF	CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis
1	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
1	Stephen Curial, Peng Zhao, José Nelson Amaral, Yaoqing Gao, Shimin Cui, Raúl Silvera, Roch Archambault	MPADS: memory-pooling-assisted data splitting.	ISMM	2008	DBLP DOI BibTeX RDF	memory pooling, optimization, compilers, memory management, allocation strategies
1	Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang	Conditional correlation analysis for safe region-based memory management.	PLDI	2008	DBLP DOI BibTeX RDF	conditional correlation, program analysis, memory management, error detection, region
1	Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
1	Laurent Hubert, Thomas P. Jensen, David Pichardie	Semantic Foundations and Inference of Non-null Annotations.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Ju Qian, Baowen Xu, Hongbo Min	Interstatement must aliases for data dependence analysis of heap locations.	PASTE	2007	DBLP DOI BibTeX RDF	must alias, data dependence, pointer analysis, heap
1	Rathijit Sen, Y. N. Srikant	WCET estimation for executables in the presence of data caches.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	David Hovemeyer, William Pugh	Finding more null pointer bugs, but not too many.	PASTE	2007	DBLP DOI BibTeX RDF	null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns
1	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
1	Deepak Ajwani, Tobias Friedrich	Average-Case Analysis of Online Topological Ordering.	ISAAC	2007	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Thomas W. Reps	DIVINE: DIscovering Variables IN Executables.	VMCAI	2007	DBLP DOI BibTeX RDF
1	Nathaniel Charlton	Program verification with interacting analysis plugins.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Open product, Abstraction, Software verification, Plugins
1	Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia	Role-Based access control consistency validation.	ISSTA	2006	DBLP DOI BibTeX RDF	security, Java, static analysis, RBAC, role-based access control, J2EE, Java EE
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
1	Teck Bok Tok, Samuel Z. Guyer, Calvin Lin	Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.	CC	2006	DBLP DOI BibTeX RDF
1	Constantino G. Ribeiro, Marcelo Cintra	Quantifying Uncertainty in Points-To Relations.	LCPC	2006	DBLP DOI BibTeX RDF
1	Samuel Z. Guyer, Calvin Lin	Error checking with client-driven pointer analysis.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Esther Salamí, Mateo Valero	Dynamic memory interval test vs. interprocedural pointer analysis in multimedia applications.	TACO	2005	DBLP DOI BibTeX RDF	multimedia, VLIW, Memory disambiguation