Search results for "flow-sensitivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs.	ISPAN	2002	DBLP DOI BibTeX RDF	points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
28	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
26	Michael Hind, Anthony Pioli	Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses.	SAS	1998	DBLP DOI BibTeX RDF
18	Ben Hardekopf, Calvin Lin	Semi-sparse flow-sensitive pointer analysis.	POPL	2009	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
18	Heiko Mantel, David Sands 0001, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
18	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
18	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	Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi	Checking and inferring local non-aliasing.	PLDI	2003	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
18	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
18	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
16	Luke Hornof, Jacques Noyé	Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.	PEPM	1997	DBLP DOI BibTeX RDF	C
14	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
12	Haofeng Li, Jie Lu 0009, Haining Meng, Liqing Cao, Lian Li 0002, Lin Gao 0002	Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations.	CGO	2024	DBLP DOI BibTeX RDF
12	Hui Yu, Xiaozhong Liu, Yuanzeng Zhan, Shu Gan, Xiaoyuan Deng, Xingkun Wang, Xiaojuan Zhu	Research on Surface Debris Flow Sensitivity Evaluation Based on RS and GIS.	DMI	2022	DBLP DOI BibTeX RDF
12	Rick O. Gilmore, Florian Raudies, Swapnaa Jayaraman	What accounts for developmental shifts in optic flow sensitivity?	ICDL-EPIROB	2015	DBLP DOI BibTeX RDF
12	Subhajit Roy 0001, Y. N. Srikant	Partial Flow Sensitivity.	HiPC	2007	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis, points-to analysis
12	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
11	Mayur Naik, Jens Palsberg	A type system equivalent to a model checker.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, type systems
11	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
9	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
9	Lennart Beringer, Martin Hofmann 0001	Secure information flow and program logics.	CSF	2007	DBLP DOI BibTeX RDF
9	Michael Hind, Anthony Pioli	Which pointer analysis should I use?	ISSTA	2000	DBLP DOI BibTeX RDF	interprocedural pointer analysis, data flow analysis
7	Syrine Tlili, Mourad Debbabi	Type and Effect Annotations for Safe Memory Access in C.	ARES	2008	DBLP DOI BibTeX RDF	Type and Effect Analysis, Type Annotations, Memory Safety, C Programming
7	Edgar C. Portante, Thomas N. Taxon, James A. Kavicky, Tarek Abdallah, Timothy K. Perkins	Linear modeling and simulation of low-voltage electric system for single-point vulnerability assessment of military installation.	WSC	2008	DBLP DOI BibTeX RDF