Search results for "control-flow analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
3	David Van Horn, Harry G. Mairson	Relating complexity and precision in control flow analysis.	ICFP	2007	DBLP DOI BibTeX RDF	eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction
3	John H. Reppy	Type-sensitive control-flow analysis.	ML	2006	DBLP DOI BibTeX RDF	ML, control-flow analysis
3	Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott	A Control-Flow Analysis for a Calculus of Concurrent Objects.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	prototype-based, Concurrency, object-oriented, soundness, control-flow analysis
3	Thomas Ball	On the Limit of Control Flow Analysis for Regression Test Selection.	ISSTA	1998	DBLP DOI BibTeX RDF	profiling, coverage, regression testing, control flow analysis
3	Saumya K. Debray, Todd A. Proebsting	Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	control-flow analysis
2	Arjun Guha, Shriram Krishnamurthi, Trevor Jim	Using static analysis for Ajax intrusion detection.	WWW	2009	DBLP DOI BibTeX RDF	intrusion detection, javascript, Ajax, control-flow analysis
2	Peng Li, Hyundo Park, Debin Gao, Jianming Fu	Bridging the Gap between Data-Flow and Control-Flow Analysis for Anomaly Detection.	ACSAC	2008	DBLP DOI BibTeX RDF
2	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
2	Li Li, Wu Chou, Weiping Guo	Control Flow Analysis and Coverage Driven Testing for Web Services.	ICWS	2008	DBLP DOI BibTeX RDF
2	Jussi Vanhatalo, Hagen Völzer, Frank Leymann	Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.	ICSOC	2007	DBLP DOI BibTeX RDF
2	Tao Wei, Jian Mao, Wei Zou, Yu Chen	A New Algorithm for Identifying Loops in Decompilation.	SAS	2007	DBLP DOI BibTeX RDF	Loop identifying, Unstructuredness coefficient, Control flow analysis, Decompilation
2	Flemming Nielson, Hanne Riis Nielson	Types from Control Flow Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
2	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Control Flow Analysis of UML 2.0 Sequence Diagrams.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
2	Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson	A calculus for control flow analysis of security protocols.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Flow logic, Static analysis, Security protocols, Cryptographic protocols, Process calculi
2	Francesca Levi, Chiara Bodei	A Control Flow Analysis for Safe and Boxed Ambients.	ESOP	2004	DBLP DOI BibTeX RDF
2	Christian W. Probst	Modular Control Flow Analysis for Libraries.	SAS	2002	DBLP DOI BibTeX RDF
2	Flemming Nielson, Helmut Seidl	Control-Flow Analysis in Cubic Time.	ESOP	2001	DBLP DOI BibTeX RDF	Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus
2	Matthieu Martel, Marc Gengler	Partial Evaluation of Concurrent Programs.	Euro-Par	2001	DBLP DOI BibTeX RDF	Partial Evaluation, Control Flow Analysis, Concurrent Languages, Binding-time Analysis
2	Pierpaolo Degano, Francesca Levi, Chiara Bodei	Safe Ambients: Control Flow Analysis and Security.	ASIAN	2000	DBLP DOI BibTeX RDF
2	Flemming Nielson, Hanne Riis Nielson	Interprocedural Control Flow Analysis.	ESOP	1999	DBLP DOI BibTeX RDF
2	Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Control Flow Analysis for the pi-calculus.	CONCUR	1998	DBLP DOI BibTeX RDF
2	Pasquale Malacaria, Chris Hankin	A New Approach to Control Flow Analysis.	CC	1998	DBLP DOI BibTeX RDF
2	Hanne Riis Nielson, Flemming Nielson	Flow Logics for Constraint Based Analysis.	CC	1998	DBLP DOI BibTeX RDF	Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis
2	Nevin Heintze, David A. McAllester	Linear-time Subtransitive Control Flow Analysis.	PLDI	1997	DBLP DOI BibTeX RDF
2	Dominique Boucher, Marc Feeley	Abstract Compilation: A New Implementation Paradigm for Static Analysis.	CC	1996	DBLP DOI BibTeX RDF	compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis
2	Manuel Serrano	Control flow analysis: a functional languages compilation paradigm.	SAC	1995	DBLP DOI BibTeX RDF	closure analysis, compilation, ML, scheme, SCHEME, control flow analysis
2	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
2	Olin Shivers	Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
2	Olin Shivers	Control-Flow Analysis in Scheme.	PLDI	1988	DBLP DOI BibTeX RDF
1	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
1	Lei Zhao, Lina Wang, Xiaodan Yin	Context-Aware Fault Localization via Control Flow Analysis.	JSW	2011	DBLP DOI BibTeX RDF
1	Dimitrios Vardoulakis, Olin Shivers	CFA2: a Context-Free Approach to Control-Flow Analysis	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Sébastien Varrette, Benoît Bertholon, Pascal Bouvry	A Signature Scheme for Distributed Executions Based on Control Flow Analysis.	SIIS	2011	DBLP DOI BibTeX RDF
1	Joachim Breitner	Shivers' Control Flow Analysis.	Archive of Formal Proofs	2010	DBLP BibTeX RDF
1	Christopher Earl, Matthew Might, David Van Horn	Stack-Summarizing Control-Flow Analysis of Higher-Order Programs	CoRR	2010	DBLP BibTeX RDF
1	Christopher Earl, Matthew Might, David Van Horn	Pushdown Control-Flow Analysis of Higher-Order Programs	CoRR	2010	DBLP BibTeX RDF
1	Marisha Rawlins, Ann Gordon-Ross	Lightweight runtime control flow analysis for adaptive loop caching.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	embedded systems, low energy, architecture tuning, loop cache
1	Hisham A. Kholidy	A study for access control flow analysis with a proposed job analyzer component based on stack inspection methodology.	ISDA	2010	DBLP DOI BibTeX RDF
1	Lei Zhao, Lina Wang, Zuoting Xiong, Dongming Gao	Execution-Aware Fault Localization Based on the Control Flow Analysis.	ICICA (LNCS)	2010	DBLP DOI BibTeX RDF
1	Dimitrios Vardoulakis, Olin Shivers	CFA2: A Context-Free Approach to Control-Flow Analysis.	ESOP	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	Chiara Bodei	A Control Flow Analysis for Beta-binders with and without static compartments.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Chiara Bodei, Andrea Bracciali, Davide Chiarugi	Control Flow Analysis for Brane Calculi.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Qin Li, Qingkai Zeng	A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols.	NSS	2009	DBLP DOI BibTeX RDF	ad hoc networks, secure routing, control-flow analysis, concurrent objects
1	Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf	Instantaneous Soundness Checking of Industrial Business Process Models.	BPM	2009	DBLP DOI BibTeX RDF
1	Chiara Bodei, Linda Brodo, Roberto Bruni	Static Detection of Logic Flaws in Service-Oriented Applications.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Mayla Brusò, Agostino Cortesi	Non-repudiation Analysis with LySa.	SEC	2009	DBLP DOI BibTeX RDF
1	Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi	Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Dynamic Analysis, Data Dependency, Test-Data Generation, Control Flow Analysis, Security Testing, Security Automata
1	Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi	Towards Automation of Testing High-Level Security Properties.	DBSec	2008	DBLP DOI BibTeX RDF	Dynamic Analysis, Data Dependency, Test Data Generation, Control Flow Analysis, Security Testing
1	Changjun Hu, Yewei Shao, Jue Wang, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
1	David Van Horn, Harry G. Mairson	Deciding kCFA is complete for EXPTIME.	ICFP	2008	DBLP DOI BibTeX RDF	complexity, flow analysis
1	Clifford Liem, Yuan Xiang Gu, Harold Johnson	A compiler-based infrastructure for software-protection.	PLAS	2008	DBLP DOI BibTeX RDF	compiler-based techniques, software protection, tamper resistance, code transformation
1	Nélio Cacho, Thomas Cottenier, Alessandro Garcia	Improving robustness of evolving exceptional behaviour in executable models.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	exception control flow, aspect-oriented programming, modularity, exception handling, model-driven software development
1	Han Gao, Chiara Bodei, Pierpaolo Degano	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.	AMAST	2008	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa	Control Flow Analysis for BioAmbients.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo	Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Lin Han, Rongcai Zhao, Jianmin Pang	Dynamic decomposition algorithm merging control flow analysis.	PDPTA	2007	DBLP BibTeX RDF
1	Lingxiao Jiang, Zhendong Su	Context-aware statistical debugging: from bug predictors to faulty control flow paths.	ASE	2007	DBLP DOI BibTeX RDF	bug localization, machine learning, control flow analysis, statistical debugging
1	Damien Sereni	Termination analysis and call graph construction for higher-order functional programs.	ICFP	2007	DBLP DOI BibTeX RDF	semantics, program analysis, functional programs, termination
1	John H. Reppy, Yingqi Xiao	Specialization of CML message-passing primitives.	POPL	2007	DBLP DOI BibTeX RDF	static analysis, message passing, ML, concurrent languages
1	Tao Wei, Jian Mao, Wei Zou, Yu Chen	Structuring 2-way Branches in Binary Executables.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Stefan Staiger	Static Analysis of Programs with Graphical User Interface.	CSMR	2007	DBLP DOI BibTeX RDF
1	Wensheng Tang, Shaogang Wang, Dan Wu, Wangqiu Kuang	A SWP Specification for Sequential Image Processing Algorithms.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF	SWP, SWFGcode selection, image-processing, pattern matching
1	Thomas Bolander, René Rydhof Hansen	Hybrid Logical Analyses of the Ambient Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF	static analysis, Hybrid logic, mobile ambients
1	Jianjun Zhao	Control-Flow Analysis and Representation for Aspect-Oriented Programs.	QSIC	2006	DBLP DOI BibTeX RDF
1	Bruno Harbulot, John R. Gurd	A join point for loops in AspectJ.	AOSD	2006	DBLP DOI BibTeX RDF	loop join point, AspectJ
1	David Fisher, Olin Shivers	Static analysis for syntax objects.	ICFP	2006	DBLP DOI BibTeX RDF	extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
1	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Checking security policies through an enhanced Control Flow Analysis.	Journal of Computer Security	2005	DBLP BibTeX RDF
1	Wen C. Pai, Chi-Ming Chung, Ching-Tang Hsieh, Chun-Chia Wang, Ying-Hong Wang	Software Testing Methodology with the Control Flow Analysis.	J. Inf. Sci. Eng.	2005	DBLP BibTeX RDF
1	Atanas Rountev, Olga Volgin, Miriam Reddoch	Static control-flow analysis for reverse engineering of UML sequence diagrams.	PASTE	2005	DBLP DOI BibTeX RDF	UML
1	Sergej Alekseev, Günther Stiege	Graph Theory in the Control Flow Analysis of the Large Time Critical Applications.	Software Engineering Research and Practice	2005	DBLP BibTeX RDF
1	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	Vigilante: end-to-end containment of internet worms.	SOSP	2005	DBLP DOI BibTeX RDF	self-certifying alerts, data flow analysis, control flow analysis, worm containment
1	Amir Kamil, Katherine A. Yelick	Concurrency Analysis for Parallel Programs with Textually Aligned Barriers.	LCPC	2005	DBLP DOI BibTeX RDF
1	Pawel Kaczmarek, Henryk Krawczyk	A Model of Exception Propagation in Distributed Applications.	PPAM	2005	DBLP DOI BibTeX RDF
1	Mikael Buchholtz	Automated Analysis of Infinite Scenarios.	TGC	2005	DBLP DOI BibTeX RDF
1	Christian W. Probst	A demand-driven solver for constraint-based control flow analysis.		2004	RDF
1	Roberto Zunino	Control Flow Analysis for the Applied Pi-calculus.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Fubo Zhang, Erik H. D'Hollander	Using Hammock Graphs to Structure Programs.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	optimization, parallel processing, compilers, Program transformation, structured programming, correctness proofs, software/program verification
1	René Rydhof Hansen	A Hardest Attacker for Leaking References.	ESOP	2004	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Thomas P. Jensen	Modular Control-Flow Analysis with Rank 2 Intersection Types.	Mathematical Structures in Computer Science	2003	DBLP DOI BibTeX RDF
1	Stefaan Himpe, Francky Catthoor, Geert Deconinck	Control Flow Analysis for Recursion Removal.	SCOPES	2003	DBLP DOI BibTeX RDF
1	Karl Lermer, Colin J. Fidge, Ian J. Hayes	Linear Approximation of Execution-Time Constraints.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction
1	Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano	Iterative-free program analysis.	ICFP	2003	DBLP DOI BibTeX RDF	SP term, dynamic programming, program analysis, register allocation, control flow graph, tree width, catamorphism
1	Songwen Xu, Yam San Chee	Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Automatic program diagnosis, programming tutoring systems, program comparison, program matching, program transformation, program representation
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
1	Dale R. Shires, Ram V. Mohan	Optimization and Performance of a Fortran 90 MPI-Based Unstructured Code on Large-Scale Parallel Systems.	The Journal of Supercomputing	2003	DBLP DOI BibTeX RDF	MPI, code optimization, unstructured grids, massively parallel
1	Christian W. Probst	A demand-driven solver for constraint-based control flow analysis.		2002	RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Control Flow Analysis of Mobile Ambients with Security Boundaries.	FMOODS	2002	DBLP BibTeX RDF
1	John Howard Eli Fiskio-Lasseter, Michal Young	Flow equations as a generic programming tool for manipulation of attributed graphs.	PASTE	2002	DBLP DOI BibTeX RDF
1	Arie van Deursen, Joost Visser	Building Program Understanding Tools Using Visitor Combinators. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF	visitor design pattern, Program analysis, program comprehension, software visualization
1	Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath	Flow Analysis: Games and Nets.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl	Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.	SAS	2002	DBLP DOI BibTeX RDF	uniform Horn clauses, strongly recognizable relations, Program analysis, Spi calculus
1	Mirko Zanotti	Security Typings by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
1	Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Techniques for Security Checking: Non-Interference vs Control Flow Analysis.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Nevin Heintze, Jon G. Riecke	Design and Correctness of Program Transformations Based on Control-Flow Analysis.	TACS	2001	DBLP DOI BibTeX RDF
1	David Grove, Craig Chambers	A framework for call graph construction algorithms.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	interprocedural analysis, control flow analysis, Call graph construction
1	Katsuhisa Maruyama	Automated method-extraction refactoring by using block-based slicing.	SSR	2001	DBLP DOI BibTeX RDF
1	Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Static Analysis for Secrecy and Non-interference in Networks of Processes.	PaCT	2001	DBLP DOI BibTeX RDF
1	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis