Search results for "flow-insensitive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Jaewook Shin, Paul D. Hovland	Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive.	SAC	2007	DBLP DOI BibTeX RDF	automatic differentiation, activity analysis
54	Rebecca Hasti, Susan Horwitz	Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
51	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
46	Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof	Estimating the Impact of Scalable Pointer Analysis on Optimization.	SAS	2001	DBLP DOI BibTeX RDF
43	Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher	A schema for interprocedural modification side-effect analysis with pointer aliasing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF
41	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
41	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
40	Subhajit Roy 0001, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
40	Paolo Tonella	Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets.	CSMR	1999	DBLP DOI BibTeX RDF
33	Subhajit Roy 0001, Y. N. Srikant	Partial Flow Sensitivity.	HiPC	2007	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis, points-to analysis
33	Niklas Broberg, David Sands 0001	Flow-sensitive semantics for dynamic information flow policies.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
33	Stephen Adams 0001, 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
31	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to and side-effect analyses for Java.	ISSTA	2002	DBLP DOI BibTeX RDF
31	Michael Hind, Anthony Pioli	Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses.	SAS	1998	DBLP DOI BibTeX RDF
31	Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam	Array Data-Flow Analysis and its Use in Array Privatization.	POPL	1993	DBLP DOI BibTeX RDF
30	Susan Horwitz	Precise Flow-Insensitive May-Alias Analysis is NP-Hard.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	static analysis, pointer analysis, dataflow analysis, alias analysis
28	Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken	Flow-insensitive type qualifiers.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	const, taint, security, static analysis, constraints, types, Type qualifiers
26	Sean Zhang, Barbara G. Ryder, William Landi	Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C
24	Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav	On the complexity of partially-flow-sensitive alias analysis.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	flow-insensitive, Alias analysis, flow-sensitive
24	David W. Binkley, Susan Horwitz, Thomas W. Reps	Program Integration for Languages with Procedure Calls.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph
24	Ana L. 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
24	Manuvir Das	Unification-based pointer analysis with directional assignments.	PLDI	2000	DBLP DOI BibTeX RDF
24	Michael G. Burke	An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
23	Cecilia Manzino, Alberto Pardo	Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types.	LSFA	2020	DBLP DOI BibTeX RDF
22	Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi	Interprocedural pointer alias analysis.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	pointer aliasing, program analysis, interprocedural analysis
22	Keith D. Cooper, Ken Kennedy	Fast Interprocedural Alias Analysis.	POPL	1989	DBLP DOI BibTeX RDF
21	Atanas Rountev, Barbara G. Ryder, William Landi	Data-Flow Analysis of Program Fragments.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
19	Jianwen Zhu	Symbolic pointer analysis.	ICCAD	2002	DBLP DOI BibTeX RDF
19	Sebastian Hunt, David Sands 0001	On flow-sensitive security types.	POPL	2006	DBLP DOI BibTeX RDF	static analysis, type systems, information flow, non-interference, flow-sensitivity
18	Solène Mirliaz, David Pichardie	A Flow-Insensitive-Complete Program Representation.	VMCAI	2022	DBLP DOI BibTeX RDF
18	Lukas Rytz, Nada Amin, Martin Odersky	A flow-insensitive, modular effect system for purity.	FTfJP@ECOOP	2013	DBLP DOI BibTeX RDF
18	Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 0001, Manu Sridharan	The Flow-Insensitive Precision of Andersen's Analysis in Practice.	SAS	2011	DBLP DOI BibTeX RDF
18	Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum	Flow insensitive points-to sets.	Inf. Softw. Technol.	2002	DBLP DOI BibTeX RDF
18	Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum	Flow Insensitive Points-To Sets.	SCAM	2001	DBLP DOI BibTeX RDF
18	Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken	Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.	SAS	2000	DBLP DOI BibTeX RDF
18	Marc Shapiro 0002, Susan Horwitz	Fast and Accurate Flow-Insensitive Points-To Analysis.	POPL	1997	DBLP DOI BibTeX RDF
18	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing.	ICSE	1997	DBLP DOI BibTeX RDF	reverse engineering, C++, C++, program understanding, polymorphism, slicing, points-to analysis, flow analysis
18	Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind	Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers.	LCPC	1994	DBLP DOI BibTeX RDF
18	Shibin Hu	Comment on Cooper and Kennedy's Flow-Insensitive Interprocedural Summary Information Computation Algorithm.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
18	Keith D. Cooper, Ken Kennedy	Efficient computation of flow-insensitive interprocedural summary information - a correction.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
18	Keith D. Cooper, Ken Kennedy	Efficient computation of flow insensitive interprocedural summary information.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
17	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
17	Hai Jiang 0003, Vipin Chaudhary	Thread Migration/Checkpointing for Type-Unsafe C Programs.	HiPC	2003	DBLP DOI BibTeX RDF
17	Nevin Heintze, Olivier Tardieu	Demand-Driven Pointer Analysis.	PLDI	2001	DBLP DOI BibTeX RDF	C
17	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Points-to Analysis for Program Understanding.	WPC	1997	DBLP DOI BibTeX RDF
17	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
17	Eric Bodden	Efficient hybrid typestate analysis by determining continuation-equivalent states.	ICSE (1)	2010	DBLP DOI BibTeX RDF	typestate analysis, static analysis, runtime monitoring
17	Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken	Flow-Sensitive Type Qualifiers.	PLDI	2002	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity
14	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
14	Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley	Securing web applications with static and dynamic information flow tracking.	PEPM	2008	DBLP DOI BibTeX RDF	model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting
14	Vineet Kahlon	Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis.	PLDI	2008	DBLP DOI BibTeX RDF	steensgaard partitioning, summarization, divide and conquer, context-sensitive analysis, demand-driven analysis
14	Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh	Applying flow-sensitive CQUAL to verify MINIX authorization check placement.	PLAS	2006	DBLP DOI BibTeX RDF	CQUAL, static analysis, type qualifiers, MINIX
14	Jianwen Zhu	Towards scalable flow and context sensitive pointer analysis.	DAC	2005	DBLP DOI BibTeX RDF	high-level synthesis, binary decision diagrams, pointer analysis
14	Darren C. Atkinson, William G. Griswold	Effective Whole-Program Analysis in the Presence of Pointers.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	C
14	He Zhu, Ian Watson	A Full Program Control Flow Representation for Real Programs.	Euro-Par	1997	DBLP DOI BibTeX RDF
14	Jong-Deok Choi, Michael G. Burke, Paul R. Carini	Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.	POPL	1993	DBLP DOI BibTeX RDF
12	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
12	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
12	Lei Wang, Xikun Sun	Escape analysis for synchronization removal.	SAC	2006	DBLP DOI BibTeX RDF	synchronization removal, java, optimization, escape analysis
12	Constantino G. Ribeiro, Marcelo Cintra	Quantifying Uncertainty in Points-To Relations.	LCPC	2006	DBLP DOI BibTeX RDF
12	Sigmund Cherem, Radu Rugina	Region analysis and transformation for Java programs.	ISMM	2004	DBLP DOI BibTeX RDF	program transformations, pointer analysis, region-based memory management
12	Bruno Blanchet	Escape analysis for JavaTM: Theory and practice.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	stack allocation, synchronization elimination, Java, optimization, static analysis
12	Venkatesan T. Chakaravarthy, Susan Horwitz	On the non-approximability of points-to analysis.	Acta Informatica	2002	DBLP DOI BibTeX RDF
12	Keith D. Cooper, Ken Kennedy	Interprocedural Side-Effect Analysis in Linear Time.	PLDI	1988	DBLP DOI BibTeX RDF	FORTRAN
12	Keith D. Cooper, Ken Kennedy	Interprocedural side-effect analysis in linear time (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
10	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
10	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
10	Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst	Inference of Reference Immutability.	ECOOP	2008	DBLP DOI BibTeX RDF
10	Jingbo Zhang, Rongcai Zhao, Jianmin Pang	Parameter and Return-value Analysis of Binary Executables.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
10	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
10	Michael C. Martin, V. Benjamin Livshits, Monica S. Lam	Finding application errors and security flaws using PQL: a program query language.	OOPSLA	2005	DBLP DOI BibTeX RDF	resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces
10	Matthew Q. Beers, Christian H. Stork, Michael Franz	Efficiently Verifiable Escape Analysis.	ECOOP	2004	DBLP DOI BibTeX RDF
10	Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss	Type-Based Alias Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
10	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
10	Baowen Xu	PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal