Search results for "flow-sensitive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	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
50	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
45	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
37	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
36	Ben Hardekopf, Calvin Lin	Semi-sparse flow-sensitive pointer analysis.	POPL	2009	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
35	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
31	Christian Hammer 0001, Gregor Snelting	Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF
30	Subhajit Roy 0001, Y. N. Srikant	Partial Flow Sensitivity.	HiPC	2007	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis, points-to analysis
29	David L. Heine, Monica S. Lam	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	PLDI	2003	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
28	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
28	Nurit Dor, Stephen Adams 0001, Manuvir Das, Zhe Yang 0001	Software validation via scalable path-sensitive value flow analysis.	ISSTA	2004	DBLP DOI BibTeX RDF	value flow, alias analysis, path-sensitive analysis
28	Yixin Shou, Robert A. van Engelen, Johnnie Birch, Kyle A. Gallivan	Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	loop parallelization, recurrences, induction variables, compiler algorithms
28	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
28	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
27	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
27	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
26	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
25	Rebecca Hasti, Susan Horwitz	Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
25	Haibo Chen 0001, Liwei Yuan, Xi Wu 0001, Binyu Zang, Bo Huang 0002, Pen-Chung Yew	Control flow obfuscation with information flow tracking.	MICRO	2009	DBLP DOI BibTeX RDF	control flow obfuscation, opaque predicate, information flow tracking, control speculation
24	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
24	Eric Bodden	Efficient hybrid typestate analysis by determining continuation-equivalent states.	ICSE (1)	2010	DBLP DOI BibTeX RDF	typestate analysis, static analysis, runtime monitoring
24	Yixin Shou, Robert van Engelen, Johnnie Birch	Flow-Sensitive Loop-Variant Variable Classification in Linear Time.	LCPC	2007	DBLP DOI BibTeX RDF
24	Paul R. Carini, Michael Hind	Flow-Sensitive Interprocedural Constant Propagation.	PLDI	1995	DBLP DOI BibTeX RDF
24	Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi	A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version).	Comput. Secur.	2017	DBLP DOI BibTeX RDF
24	Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi	A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor.	SEC	2016	DBLP DOI BibTeX RDF
24	Eric Bodden	Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper.	PLAS	2012	DBLP DOI BibTeX RDF
23	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
22	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
21	Jianwen Zhu	Towards scalable flow and context sensitive pointer analysis.	DAC	2005	DBLP DOI BibTeX RDF	high-level synthesis, binary decision diagrams, pointer analysis
21	Thomas Ball, Sriram K. Rajamani	Bebop: a path-sensitive interprocedural dataflow engine.	PASTE	2001	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
21	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
18	Syrine Tlili, Mourad Debbabi	A novel flow-sensitive type and effect analysis for securing C code.	AICCSA	2008	DBLP DOI BibTeX RDF
18	Yimin Xia, Jun Luo, Minxuan Zhang	Detecting Memory Access Errors with Flow-Sensitive Conditional Range Analysis.	ICESS	2005	DBLP DOI BibTeX RDF
18	Robert Muth, Saumya K. Debray	On the Complexity of Flow-Sensitive Dataflow Analyses.	POPL	2000	DBLP DOI BibTeX RDF
18	Ji Wang 0001, Xiaodong Ma, Wei Dong 0006, 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
18	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
18	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
18	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay	Speeding up Slicing.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	dynamic transitive closure, flow-sensitive summary information, realizable path, dynamic programming, program slicing, program debugging, program dependence graph
16	Jeff Smits, Guido Wachsmuth, Eelco Visser	FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis.	J. Comput. Lang.	2020	DBLP DOI BibTeX RDF
16	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
16	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
16	István Forgács	Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	double iterative frameworks, data flow analysis
16	David Callahan	The Program Summary Graph and Flow-Sensitive InterproceduralData Flow Analysis.	PLDI	1988	DBLP DOI BibTeX RDF
15	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
15	Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder	Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	lattice frameworks, data flow analysis
13	Michael Hind, Anthony Pioli	Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses.	SAS	1998	DBLP DOI BibTeX RDF
12	Sebastian Hunt, David Sands 0001	Just Forget It - The Semantics and Enforcement of Information Erasure.	ESOP	2008	DBLP DOI BibTeX RDF
12	Nenad Jovanovic, Christopher Krügel, Engin Kirda	Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper).	S&P	2006	DBLP DOI BibTeX RDF
12	Richard Stahl, Francky Catthoor, Diederik Verkest	Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs.	ICPP Workshops	2005	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	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
12	Larry Koved, Marco Pistoia, Aaron Kershenbaum	Access rights analysis for Java.	OOPSLA	2002	DBLP DOI BibTeX RDF	Java security, invocation graph, security, data flow analysis, call graph, access rights
12	Chao Ni 0001, Liyu Shen, Wei Wang 0087, Xiang Chen 0005, Xin Yin, Lexiao Zhang	FVA: Assessing Function-Level Vulnerability by Integrating Flow-Sensitive Structure and Code Statement Semantic.	ICPC	2023	DBLP DOI BibTeX RDF
12	Cen Zhang, Yuekang Li, Hao Zhou, Xiaohan Zhang, Yaowen Zheng, Xian Zhan, Xiaofei Xie, Xiapu Luo, Xinghua Li, Yang Liu 0003, Sheikh Mahbub Habib	Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation.	USENIX Security Symposium	2023	DBLP BibTeX RDF
12	Sicong Cao, Xiaobing Sun 0001, Lili Bo, Rongxin Wu, Bin Li 0006, Chuanqi Tao	MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
12	Sicong Cao, Xiaobing Sun 0001, Lili Bo, Rongxin Wu, Bin Li 0006, Chuanqi Tao	MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks.	ICSE	2022	DBLP DOI BibTeX RDF
12	Oskar Pusz, Christian Dietrich 0001, Daniel Lohmann	Data-flow-sensitive fault-space pruning for the injection of transient hardware faults.	LCTES	2021	DBLP DOI BibTeX RDF
12	Mohamad Barbar, Yulei Sui, Shiping Chen 0001	Object Versioning for Flow-Sensitive Pointer Analysis.	CGO	2021	DBLP DOI BibTeX RDF
12	Yechuan Bi, Jianshan Peng, Zhiqiang Lin	Data flow sensitive driver vulnerability mining method.	EITCE	2021	DBLP DOI BibTeX RDF
12	Mohamad Barbar, Yulei Sui, Shiping Chen 0001	Flow-Sensitive Type-Based Heap Cloning (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
12	John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi 0001	ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.	CoRR	2020	DBLP BibTeX RDF
12	Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty	Bidirectionality in flow-sensitive demand-driven analysis.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
12	Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao 0001	Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis.	QRS Companion	2020	DBLP DOI BibTeX RDF
12	John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi 0001	ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.	ESOP	2020	DBLP DOI BibTeX RDF
12	Shuitao Gan, Chao Zhang 0008, Peng Chen 0034, Bodong Zhao, Xiaojun Qin, Dong Wu, Zuoning Chen	GREYONE: Data Flow Sensitive Fuzzing.	USENIX Security Symposium	2020	DBLP BibTeX RDF
12	Mohamad Barbar, Yulei Sui, Shiping Chen 0001	Flow-Sensitive Type-Based Heap Cloning.	ECOOP	2020	DBLP DOI BibTeX RDF
12	Bassam Sayed, Issa Traoré, Amany Abdelhalim	If-transpiler: Inlining of hybrid flow-sensitive security monitor for JavaScript.	Comput. Secur.	2018	DBLP DOI BibTeX RDF
12	Denys Shabalin, Martin Odersky	Interflow: interprocedural flow-sensitive type inference and method duplication.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
12	Jisheng Zhao, Michael G. Burke, Vivek Sarkar	Parallel sparse flow-sensitive points-to analysis.	CC	2018	DBLP DOI BibTeX RDF
12	Haibo Zhang 0005, Prasanna Venkatesh Rengasamy, Nachiappan Chidambaram Nachiappan, Shulin Zhao 0001, Anand Sivasubramaniam, Mahmut T. Kandemir, Chita R. Das	FLOSS: FLOw sensitive scheduling on mobile platforms.	DAC	2018	DBLP DOI BibTeX RDF
12	Flemming Nielson, Hanne Riis Nielson	Atomistic Galois insertions for flow sensitive integrity.	Comput. Lang. Syst. Struct.	2017	DBLP DOI BibTeX RDF
12	Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei	A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.	CoRR	2017	DBLP BibTeX RDF
12	Markus Kusano, Chao Wang 0001	Flow-Sensitive Composition of Thread-Modular Abstract Interpretation.	CoRR	2017	DBLP BibTeX RDF
12	Colin S. Gordon	A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version).	CoRR	2017	DBLP BibTeX RDF
12	Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei	A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.	CSF	2017	DBLP DOI BibTeX RDF
12	Colin S. Gordon	A Generic Approach to Flow-Sensitive Polymorphic Effects.	ECOOP	2017	DBLP DOI BibTeX RDF
12	Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim	Flow-sensitive runtime estimation: an enhanced hot spot detection heuristics for embedded Java just-in-time compilers.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
12	Yulei Sui, Peng Di, Jingling Xue	Sparse flow-sensitive pointer analysis for multithreaded programs.	CGO	2016	DBLP DOI BibTeX RDF
12	Thomas Gerlitz, Stefan Kowalewski	Flow Sensitive Slicing for MATLAB/Simulink Models.	WICSA	2016	DBLP DOI BibTeX RDF
12	Markus Kusano, Chao Wang 0001	Flow-sensitive composition of thread-modular abstract interpretation.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
12	Pablo Buiras, Deian Stefan, Alejandro Russo	On Dynamic Flow-Sensitive Floating-Label Systems.	CoRR	2015	DBLP BibTeX RDF
12	Vaivaswatha Nagaraj, R. Govindarajan	Approximating flow-sensitive pointer analysis using frequent itemset mining.	CGO	2015	DBLP DOI BibTeX RDF
12	Si-Mohamed Lamraoui, Shin Nakajima 0001, Hiroshi Hosobe	Hardened Flow-Sensitive Trace Formula for Fault Localization.	ICECCS	2015	DBLP DOI BibTeX RDF
12	Sen Ye	Efficient Flow-Sensitive Pointer Analysis on Full-Sparse Memory SSA.		2015	RDF
12	Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson 0001	A Flow Sensitive Security Model for Cloud Computing Systems.	CoRR	2014	DBLP BibTeX RDF
12	Pablo Buiras, Deian Stefan, Alejandro Russo	On Dynamic Flow-Sensitive Floating-Label Systems.	CSF	2014	DBLP DOI BibTeX RDF
12	Sen Ye, Yulei Sui, Jingling Xue	Region-Based Selective Flow-Sensitive Pointer Analysis.	SAS	2014	DBLP DOI BibTeX RDF
12	Rupesh Nasre	Time- and space-efficient flow-sensitive points-to analysis.	ACM Trans. Archit. Code Optim.	2013	DBLP DOI BibTeX RDF
12	Vaivaswatha Nagaraj, R. Govindarajan	Parallel flow-sensitive pointer analysis by graph-rewriting.	PACT	2013	DBLP DOI BibTeX RDF
12	Johann Drexl, Hanieh Mirzaee, Andreas Harloff, Markus Hüllebrand, Anja Hennemuth, Horst K. Hahn	A Software Tool for the Computation of Arterial Pulse Wave Velocity from Flow-sensitive 4D MRI Data. (PDF / PS)	CinC	2013	DBLP BibTeX RDF
12	Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies	Flow-Sensitive Fault Localization.	VMCAI	2013	DBLP DOI BibTeX RDF
12	Hao Zhu, Yi Zhuang 0002	Flow-Sensitive Automaton-Based Monitoring of a Declassification Policy.	J. Softw.	2012	DBLP DOI BibTeX RDF
12	Harinarayan Krishnan, Christoph Garth, Jens Gühring, Mehmet Akif Gülsün, Andreas Greiser, Kenneth I. Joy	Analysis of Time-Dependent Flow-Sensitive PC-MRI Data.	IEEE Trans. Vis. Comput. Graph.	2012	DBLP DOI BibTeX RDF
12	Arnab De, Deepak D'Souza	Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates.	ECOOP	2012	DBLP DOI BibTeX RDF
12	David J. Pearce 0001, James Noble 0001	Implementing a Language with Flow-Sensitive and Structural Typing on the JVM.	Bytecode@ETAPS	2011	DBLP DOI BibTeX RDF
12	Michael D. Adams 0001, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan 0001, R. Kent Dybvig	Flow-sensitive type recovery in linear-log time.	OOPSLA	2011	DBLP DOI BibTeX RDF
12	Ben Hardekopf, Calvin Lin	Flow-sensitive pointer analysis for millions of lines of code.	CGO	2011	DBLP DOI BibTeX RDF
12	Mohamed A. El-Zawawy	Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.	ICCSA (5)	2011	DBLP DOI BibTeX RDF