Search results for "points-to analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Martin Bravenboer, Yannis Smaragdakis	Exception analysis and points-to analysis: better together.	ISSTA	2009	DBLP DOI BibTeX RDF	exception handling, precision, context-sensitive, points-to analysis
3	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
3	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
3	Ana Milanova	Light context-sensitive points-to analysis for java.	PASTE	2007	DBLP DOI BibTeX RDF	context sensitivity, points-to analysis
3	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
3	Ana Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to analysis for Java.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis
3	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
3	Glenn Bruns, Satish Chandra	Searching for Points-To Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	model checking, program analysis, reachability analysis, Points-to analysis
3	Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee	Points-to analysis using BDDs.	PLDI	2003	DBLP DOI BibTeX RDF	binary decision diagrams, points-to analysis
3	Peng-Sheng Chen, Ming-Yu Hung, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee	Compiler support for speculative multithreading architecture with probabilistic points-to analysis.	PPOPP	2003	DBLP DOI BibTeX RDF	probabilistic points-to analysis, parallelization, dependence analysis, speculative multithreading
3	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Points-To Analysis of Java in the Presence of Exceptions.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Java, complexity, exceptions, Points-to analysis
3	Bjarne Steensgaard	Points-to Analysis by Type Inference of Programs with Structures and Unions.	CC	1996	DBLP DOI BibTeX RDF	interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs
2	Guoqing (Harry) Xu, Atanas Rountev	Detecting inefficiently-used containers to avoid bloat.	PLDI	2010	DBLP DOI BibTeX RDF	cfl reachability, container bloat, points-to analysis
2	Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker	Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.	APLAS	2009	DBLP DOI BibTeX RDF
2	Guoqing (Harry) Xu, Atanas Rountev, Manu Sridharan	Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.	ECOOP	2009	DBLP DOI BibTeX RDF
2	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
2	Ondrej Lhoták, Laurie J. Hendren	Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Interprocedural program analysis, cast safety analysis, Java, binary decision diagrams, context sensitivity, points-to analysis, call graph construction
2	Ondrej Lhoták, Laurie J. Hendren	Relations as an abstraction for BDD-based program analysis.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Boolean formula satisfiability, physical domain assignment, Java, program analysis, Binary decision diagrams, language design, relations, points-to analysis
2	Ondrej Lhoták, Stephen Curial, José Nelson Amaral	Using ZBDDs in Points-to Analysis.	LCPC	2007	DBLP DOI BibTeX RDF
2	Jason Sawin, Mariana Sharp, Atanas Rountev	Generating run-time progress reports for a points-to analysis in Eclipse.	ETX	2006	DBLP DOI BibTeX RDF	Java, Eclipse
2	Ondrej Lhoták, Laurie J. Hendren	Context-Sensitive Points-to Analysis: Is It Worth It?.	CC	2006	DBLP DOI BibTeX RDF
2	Mariana Sharp, Atanas Rountev	Static Analysis of Object References in RMI-Based Java Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	reference analysis, side-effect analysis, program analysis, points-to analysis, object-oriented software, RMI, distributed software, class analysis, call graph construction
2	V. Krishna Nandivada, Suresh Jagannathan	Dynamic state restoration using versioning exceptions.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF	Program analysis, Transactions, Versioning, Exceptions, Points to analysis, Rollback
2	Aditya Kanade, Uday P. Khedker, Amitabha Sanyal	Heterogeneous Fixed Points with Application to Points-To Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
2	Diptikalyan Saha, C. R. Ramakrishnan	Incremental and demand-driven points-to analysis using logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	demand-drive analysis, logic programming, pointer analysis, incremental analysis
2	Ana Milanova	Precise identification of composition relationships for UML class diagrams.	ASE	2005	DBLP DOI BibTeX RDF	UML, reverse engineering, points-to analysis, ownership
2	Michael Jung, Sorin A. Huss	Fast Points-to Analysis for Languages with Structured Types.	SCOPES	2004	DBLP DOI BibTeX RDF
2	Byeong-Mo Chang, Jong-Deok Choi	Thread-Sensitive Points-to Analysis for Multithreaded Java Programs.	ISCIS	2004	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	Venkatesan T. Chakaravarthy	New results on the computability and complexity of points - to analysis.	POPL	2003	DBLP DOI BibTeX RDF	flow-insensitive, complexity, pointer analysis, undecidability, flow-sensitive
2	Ondrej Lhoták, Laurie J. Hendren	Scaling Java Points-to Analysis Using SPARK.	CC	2003	DBLP DOI BibTeX RDF
2	Peng Wu, Paul Feautrier, David A. Padua, Zehra Sura	Instance-wise points-to analysis for loop-based dependence testing.	ICS	2002	DBLP DOI BibTeX RDF	pointer arrays, Java, dependence analysis, pointer analysis, heap analysis
2	John Whaley, Monica S. Lam	An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages.	SAS	2002	DBLP DOI BibTeX RDF
2	Glenn Bruns, Satish Chandra	Searching for points-to analysis.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF
2	Nevin Heintze	Aliasing analysis for a million lines of C.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	aliasing analysis, narrowing conversion errors, scalable program analysis, C, dependence analysis, points-to analysis
2	Yuan-Shin Hwang, Peng-Sheng Chen, Jenq Kuen Lee, Roy Dz-Ching Ju	Probabilistic Points-to Analysis.	LCPC	2001	DBLP DOI BibTeX RDF
2	Atanas Rountev, Satish Chandra	Off-line variable substitution for scaling points-to analysis.	PLDI	2000	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	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Points-to Analysis for Program Understanding. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF
2	Yingchun Zhu, Laurie J. Hendren	Locality Analysis for Parallel C Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	parallel C programs, parallel C dialect, EARTH-C, type inference algorithms, fast points-to analysis, indirect reference, automatic specialization, EARTH-C compiler, low level threaded code, EARTH-C multithreaded architecture, dynamically allocated data structures, parallel programming, parallel architectures, memory model, compiler techniques, parallel performance, locality analysis, remote memory accesses
1	Sandeep Putta, Rupesh Nasre	Parallel Replication-Based Points-To Analysis.	CC	2012	DBLP DOI BibTeX RDF
1	Alexander Herz, Kalmer Apinis	Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali	A GPU implementation of inclusion-based points-to analysis.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Rupesh Nasre	Approximating inclusion-based points-to analysis.	MSPC	2011	DBLP DOI BibTeX RDF
1	Bo Yang, Mingyi Zhang, Ying Zhang	Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language.	ICIC	2011	DBLP DOI BibTeX RDF
1	Rupesh Nasre, Ramaswamy Govindarajan	Prioritizing constraint evaluation for efficient points-to analysis.	CGO	2011	DBLP DOI BibTeX RDF
1	Xiao Xiao, Charles Zhang	Geometric encoding: forging the high performance context sensitive points-to analysis for Java.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Ondrej Lhoták, Kwok-Chiang Andrew Chung	Points-to analysis with efficient strong updates.	POPL	2011	DBLP DOI BibTeX RDF
1	Tobias Gutzmann, Jonas Lundberg, Welf Löwe	Feedback-driven points-to analysis.	SAC	2011	DBLP DOI BibTeX RDF
1	Qiang Sun, Jianjun Zhao, Yuting Chen	Probabilistic Points-to Analysis for Java.	CC	2011	DBLP DOI BibTeX RDF
1	Lian Li, Cristina Cifuentes, Nathan Keynes	Boosting the performance of flow-sensitive points-to analysis using value flow.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Marcus Edvinsson, Jonas Lundberg, Welf Löwe	Parallel points-to analysis for multi-core machines.	HiPEAC	2011	DBLP DOI BibTeX RDF
1	Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra	Automated Analysis of Security-Critical JavaScript APIs.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	APIs, Javascript, Language-Based Security, Points-to Analysis
1	Marco A. Feliú, Christophe Joubert, Fernando Tarin	Evaluation Strategies for Datalog-based Points-To Analysis.	ECEASST	2010	DBLP BibTeX RDF
1	Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali	Parallel inclusion-based points-to analysis.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Qian Li, Jianhua Zhao, Xuandong Li	Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Rupesh Nasre, Ramaswamy Govindarajan	Points-to Analysis as a System of Linear Equations.	SAS	2010	DBLP DOI BibTeX RDF
1	Xin Li, Mizuhito Ogawa	Conditional weighted pushdown systems and applications.	PEPM	2010	DBLP DOI BibTeX RDF	weighted pushdown systems, model checking
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	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPOPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
1	Ondrej Lhoták, Stephen Curial, José Nelson Amaral	Using XBDDs and ZBDDs in points-to analysis.	Softw., Pract. Exper.	2009	DBLP DOI BibTeX RDF
1	Xin Li, Mizuhito Ogawa	An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jonas Lundberg, Tobias Gutzmann, Marcus Edvinsson, Welf Löwe	Fast and precise points-to analysis.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Xin Li, Mizuhito Ogawa	Stacking-Based Context-Sensitive Points-to Analysis for Java.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
1	Tobias Gutzmann, Antonina Khairova, Jonas Lundberg, Welf Löwe	Towards Comparing and Combining Points-to Analyses.	SCAM	2009	DBLP DOI BibTeX RDF	analysis precision, interpreting analysis results, static analysis, dynamic analysis, points-to analysis
1	Ju Qian, Yuming Zhou, Baowen Xu	Improving Side-Effect Analysis with Lazy Access Path Resolving.	SCAM	2009	DBLP DOI BibTeX RDF	must alias, points-to analysis, side-effect
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	Hao Yuan, Patrick Th. Eugster	An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.	ESOP	2009	DBLP DOI BibTeX RDF
1	Luke Simon	Optimizing Pointer Analysis Using Bisimilarity.	SAS	2009	DBLP DOI BibTeX RDF
1	Manu Sridharan, Stephen J. Fink	The Complexity of Andersen's Analysis in Practice.	SAS	2009	DBLP DOI BibTeX RDF
1	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Stefano Soffia	Definition and Implementation of a Points-To Analysis for C-like Languages	CoRR	2008	DBLP BibTeX RDF
1	Jonas Lundberg, Tobias Gutzmann, Welf Löwe	Fast and Precise Points-to Analysis.	SCAM	2008	DBLP DOI BibTeX RDF
1	Qiang Sun, Jianjun Zhao	Aspect-Aware Points-to Analysis.	SCAM	2008	DBLP DOI BibTeX RDF
1	Yin Liu, Ana Milanova	Static analysis for inference of explicit information flow.	PASTE	2008	DBLP DOI BibTeX RDF	points-to analysis, flow analysis
1	Eric Bodden, Patrick Lam, Laurie J. Hendren	Finding programming errors earlier by evaluating runtime monitors ahead-of-time.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	machine learning, static analysis, runtime verification, points-to analysis, static verification
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	Subhajit Roy, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
1	Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro	Preventing Memory Error Exploits with WIT.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, attack detection, memory errors
1	Axel Simon	Splitting the Control Flow with Boolean Flags.	SAS	2008	DBLP DOI BibTeX RDF
1	Tobias Gutzmann, Jonas Lundberg, Welf Löwe	Towards Path-Sensitive Points-to Analysis.	SCAM	2007	DBLP DOI BibTeX RDF
1	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
1	Subhajit Roy, Y. N. Srikant	Partial Flow Sensitivity.	HiPC	2007	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis, points-to analysis
1	Ana Milanova	Composition inference for UML class diagrams.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Algorithms, UML, Reverse engineering, Points-to analysis, Ownership
1	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
1	Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien	Behavioral similarity matching using concrete source code templates in logic queries.	PEPM	2007	DBLP DOI BibTeX RDF	logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation
1	David Binkley, Nicolas Gold, Mark Harman	An empirical study of static program slice size.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	slice size, Program slicing
1	Aiwu Shi, Gleb Naumovich	Field Escape Analysis for Data Confidentiality in Java Components.	APSEC	2007	DBLP DOI BibTeX RDF
1	Eric Bodden, Laurie J. Hendren, Ondrej Lhoták	A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.	ECOOP	2007	DBLP DOI BibTeX RDF
1	Quan Phan, Gerda Janssens	Static Region Analysis for Mercury.	ICLP	2007	DBLP DOI BibTeX RDF
1	Antoine Miné	Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.	LCTES	2006	DBLP DOI BibTeX RDF	abstract interpretation, numerical analysis, points-to analysis, critical software
1	Coen De Roover, Johan Brichau, Theo D'Hondt	Combining fuzzy logic and behavioral similarity for non-strict program validation.	PPDP	2006	DBLP DOI BibTeX RDF	logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation
1	Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers	Program Slicing with Dynamic Points-To Sets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Dynamic analysis, program slicing, points-to analysis
1	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
1	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
1	Donglin Liang, Maikel Pennings, Mary Jean Harrold	Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.	PASTE	2005	DBLP DOI BibTeX RDF
1	Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers	Automated soundness proofs for dataflow analyses and transformations via local rules.	POPL	2005	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
1	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
1	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Goal-Oriented Test Data Generation for Programs with Pointer Variables.	COMPSAC	2005	DBLP DOI BibTeX RDF