Search results for "static analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	K. Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
3	Jean-Yves Marion, Romain Péchoux	Sup-interpretations, a semantic method for static analysis of program resources.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	static analysis of first-order languages, Resources control
3	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
3	Surajit Chaudhuri, Vivek R. Narasayya, Manoj Syamala	Bridging the application and DBMS divide using static analysis and dynamic profiling.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	static analysis, database application, dynamic profiling
3	Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti	Experience report: OCaml for an industrial-strength static analysis framework.	ICFP	2009	DBLP DOI BibTeX RDF	software architecture, static analysis, plug-ins, OCaml
3	Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler	Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Automated Static Analysis, Defect Classification
3	Yungbum Jung, Hakjoo Oh, Kwangkeun Yi	Identifying static analysis techniques for finding non-fix hunks in fix revisions.	CIKM-DSMM	2009	DBLP DOI BibTeX RDF	static analysis, mining software repository
3	Hyungwoo Kang	Security Assessment Framework Using Static Analysis and Fault Injection.	ICIC	2008	DBLP DOI BibTeX RDF	RPC (Remote Procedure Call), Static analysis, Fault injection, Buffer overflow, Software security, Security assessment
3	Nathaniel Ayewah, William Pugh	A report on a survey and study of static analysis users.	DEFECTS	2008	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
3	Pietro Ferrara	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
3	Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu	Protecting web services from remote exploit code: a static analysis approach.	WWW	2008	DBLP DOI BibTeX RDF	static analysis, http, code injection attack
3	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
3	Na Meng, Qianxiang Wang, Qian Wu, Hong Mei	An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	general specification, prioritizing policyquality, quality, result merge, static analysis tool
3	Ben Liblit	Reflections on the Role of Static Analysis in Cooperative Bug Isolation.	SAS	2008	DBLP DOI BibTeX RDF
3	Sarah Smith Heckman, Laurie Williams	On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques.	ESEM	2008	DBLP DOI BibTeX RDF	alert classification, alert prioritization, automated static analysis, benchmark creation, false positive mitigation
3	Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel	Predicting accurate and actionable static analysis warnings: an experimental approach.	ICSE	2008	DBLP DOI BibTeX RDF	experimental program analysis, logistic regression analysis, software quality, screening, static analysis tools
3	Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino	Static Analysis of the Accuracy in Control Systems: Principles and Experiments.	FMICS	2007	DBLP DOI BibTeX RDF	Static analysis, control systems, floating-point computations
3	Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou	Evaluating static analysis defect warnings on production software.	PASTE	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
3	Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley	Starc: static analysis for efficient repair of complex data.	OOPSLA	2007	DBLP DOI BibTeX RDF	static analysis, symbolic execution, data structure repair
3	Robert B. K. Dewar	The compiler as a static analysis tool.	SIGAda	2007	DBLP DOI BibTeX RDF	ada, compilers, C++, static analysis, C, safety, certification
3	Denis Gopan, Thomas W. Reps	Guided Static Analysis.	SAS	2007	DBLP DOI BibTeX RDF
3	Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams	Using groupings of static analysis alerts to identify files likely to contain field failures.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	field failures, static analysis, singular value decomposition
3	Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams	Using groupings of static analysis alerts to identify files likely to contain field failures.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	field failures, static analysis, singular value decomposition
3	Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black	Effect of static analysis tools on software security: preliminary investigation.	QoP	2007	DBLP DOI BibTeX RDF	vulnerability, software security, static analysis tools
3	Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada	XML access control using static analysis.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	value-based access control, view schema, XML, Access control, static analysis, query optimization, XPath, XQuery, schema, automaton
3	Eric Larson	SUDS: an infrastructure for dynamic software bug detection using static analysis.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	software engineering, software testing, static analysis, instrumentation, software verification, testing tools
3	Jay-Evan J. Tevis, John A. Hamilton Jr.	Static analysis of anomalies and security vulnerabilities in executable files.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	PE format, executable file, software security vulnerabilities, static analysis
3	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
3	Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, Kristin Stephens	Improving your software using static analysis to find bugs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, static analysis, FindBugs
3	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta	Static Analysis in Disjunctive Numerical Domains.	SAS	2006	DBLP DOI BibTeX RDF
3	Eric Goubault, Sylvie Putot	Static Analysis of Numerical Algorithms.	SAS	2006	DBLP DOI BibTeX RDF
3	Xavier Allamigeon, Wenceslas Godard, Charles Hymans	Static Analysis of String Manipulations in Critical Embedded C Programs.	SAS	2006	DBLP DOI BibTeX RDF
3	Manuvir Das	Unleashing the Power of Static Analysis.	SAS	2006	DBLP DOI BibTeX RDF
3	Panagiotis Manolios, Daron Vroon	Integrating static analysis and general-purpose theorem proving for termination analysis.	ICSE	2006	DBLP DOI BibTeX RDF	static analysis, theorem proving, termination, liveness, ACL2
3	V. Vipindeep, Pankaj Jalote	Efficient static analysis with path pruning using coverage data.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	testing, static analysis, program checking
3	Suan Hsi Yong, Susan Horwitz	Using Static Analysis to Reduce Dynamic Analysis Overhead.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	dynamic debugging, runtime types, static analysis
3	Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson	Using static analysis to validate the SAML single sign-on protocol.	WITS	2005	DBLP DOI BibTeX RDF	authentication, static analysis, process calculi, protocol validation
3	David Hovemeyer, Jaime Spacco, William Pugh	Evaluating and tuning a static analysis to find null pointer bugs.	PASTE	2005	DBLP DOI BibTeX RDF	testing, static analysis
3	Samson Abramsky	Algorithmic Game Semantics and Static Analysis.	SAS	2005	DBLP DOI BibTeX RDF
3	Nachiappan Nagappan, Thomas Ball	Static analysis tools as early indicators of pre-release defect density.	ICSE	2005	DBLP DOI BibTeX RDF	statistical methods, fault-proneness, defect density, static analysis tools
3	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPOPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
3	Brian Chess, Gary McGraw	Static Analysis for Security.	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF	static analysis, source code, software development life cycle
3	Karen Yorav, Orna Grumberg	Static Analysis for State-Space Reductions Preserving Temporal Logics.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	path reduction, (partially) dead variable reduction, temporal logic preservation, static analysis
3	Atanas Rountev, Scott Kagan, Michael Gibas	Evaluating the imprecision of static analysis.	PASTE	2004	DBLP DOI BibTeX RDF	analysis precision, static analysis, dynamic analysis
3	Misha Zitser, Richard Lippmann, Tim Leek	Testing static analysis tools using exploitable buffer overflows from open source code.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	test detection, security, evaluation, static analysis, source code, buffer overflow, exploit, false alarm
3	Barbara Catania, Elisa Bertino	Static Analysis of Logical Languages with Deferred Update Semantics.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	static analysis, update, Database system, logical language
3	Martin P. Robillard, Gail C. Murphy	Static analysis to support the evolution of exception structure in object-oriented systems.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	exception flow, exception structure, static analysis, exception handling, Error handling, program evolution
3	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using static analysis to improve automatic test generation.	STTT	2003	DBLP DOI BibTeX RDF	Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems
3	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
3	Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada	XML access control using static analysis.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	XML, access control, static analysis, query optimization, XPath, XQuery, schema, automaton
3	Matthieu Martel	Static Analysis of the Numerical Stability of Loops.	SAS	2002	DBLP DOI BibTeX RDF	Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision
3	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Context Inference for Static Analysis of Java Card Object Sharing.	E-smart	2001	DBLP DOI BibTeX RDF	security, static analysis, objects, type inference, Java Card
3	David Wagner	Static Analysis and Software Assurance.	SAS	2001	DBLP DOI BibTeX RDF
3	Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi	Distinctness and Sharing Domains for Static Analysis of Java Programs.	ECOOP	2001	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
3	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using Static Analysis to Improve Automatic Test Generation.	TACAS	2000	DBLP DOI BibTeX RDF	static analysis, bisimulation, conformance testing, slicing, asynchronous systems
3	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
3	Daniel Weise	Static Analysis of Mega-Programs.	SAS	1999	DBLP DOI BibTeX RDF
3	Patricia M. Hill, Fausto Spoto	Freeness Analysis Through Linear Refinement.	SAS	1999	DBLP DOI BibTeX RDF	linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain
3	François Fages, Roberta Gori	Analysis of Normal Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, interpretation, constructive negation
3	Florent de Dinechin, Sophie Robert	Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations.	ASAP	1996	DBLP DOI BibTeX RDF	hierarchical static analysis, structured systems, ALPHA language, polyhedral domains, complex algorithms, parameterized structures, ALPHA programs, type-checking process, single assignment rule, programming environments, program verification, specification languages, Gaussian elimination, affine recurrence equations
3	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
3	Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim	An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.	APSEC	1995	DBLP DOI BibTeX RDF	language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
3	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
2	Eric Goubault, Sylvie Putot, Franck Védrine	Modular Static Analysis with Zonotopes.	SAS	2012	DBLP DOI BibTeX RDF
2	Matthew Might, David Van Horn	A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.	SAS	2011	DBLP DOI BibTeX RDF
2	Isil Dillig, Thomas Dillig, Alex Aiken	Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.	SAS	2010	DBLP DOI BibTeX RDF
2	David Lesens	Using Static Analysis in Space: Why Doing so?	SAS	2010	DBLP DOI BibTeX RDF
2	Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran	Making defect-finding tools work for you.	ICSE	2010	DBLP DOI BibTeX RDF	defect differencing, defect merging, defect prioritization, defect views, static analysis portal
2	Aviral Shrivastava, Jongeun Lee, Reiley Jeyapaul	Cache vulnerability equations for protecting data in embedded processor caches from soft errors.	LCTES	2010	DBLP DOI BibTeX RDF	cache vulnerability, static analysis, embedded processors, soft errors, code transformation, compiler technique
2	Nathaniel Ayewah, William Pugh	Null dereference analysis in practice.	PASTE	2010	DBLP DOI BibTeX RDF	null pointer dereference, static analysis
2	Ivan Lazar Miljenovic	The SourceGraph program.	PEPM	2010	DBLP DOI BibTeX RDF	graph theory, static analysis, haskell, software analysis, call graph
2	Claus Brabrand, Jakob G. Thomsen	Typed and unambiguous pattern matching on strings using regular expressions.	PPDP	2010	DBLP DOI BibTeX RDF	static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation
2	Jusuk Lee, Kyoochang Jeong, Heejo Lee	Detecting metamorphic malwares using code graphs.	SAC	2010	DBLP DOI BibTeX RDF	code graph, metamorphic malware, static analysis, code obfuscation
2	Corneliu Popeea, Wei-Ngan Chin	Dual analysis for proving safety and finding bugs.	SAC	2010	DBLP DOI BibTeX RDF	numerical domains, static analysis
2	Christine Rochange, Pascal Sainrat	A Context-Parameterized Model for Static Analysis of Execution Times.	T. HiPEAC	2009	DBLP DOI BibTeX RDF	timing analysis, Worst-Case Execution Time
2	Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
2	Jingyu Hua, MingChu Li, Kouichi Sakurai, Yizhi Ren	Efficient Intrusion Detection Based on Static Analysis and Stack Walks.	IWSEC	2009	DBLP DOI BibTeX RDF
2	Simona Orzan, Wieger Wesselink, Tim A. C. Willemse	Static Analysis Techniques for Parameterised Boolean Equation Systems.	TACAS	2009	DBLP DOI BibTeX RDF
2	Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur	The YogiProject: Software Property Checking via Static Analysis and Testing.	TACAS	2009	DBLP DOI BibTeX RDF
2	Zuohua Ding	Static Analysis of Concurrent Programs Using Ordinary Differential Equations.	ICTAC	2009	DBLP DOI BibTeX RDF	Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
2	Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie	Certified Static Analysis by Abstract Interpretation.	FOSAD	2009	DBLP DOI BibTeX RDF
2	Takahiro Yoshimura, Mizuho Shibata, Shinichi Hirai	Stochastic static analysis of link driven by actuator bundles.	IROS	2009	DBLP DOI BibTeX RDF
2	Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
2	Jason Cong, Karthik Gururaj, Bin Liu 0006, Chunyue Liu, Zhiru Zhang, Sheng Zhou, Yi Zou	Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization.	FCCM	2009	DBLP DOI BibTeX RDF	precision analysis, static analysis, bitwidth
2	Jos de Bruijn, Martín Rezk	A Logic Based Approach to the Static Analysis of Production Systems.	RR	2009	DBLP DOI BibTeX RDF
2	Yin Liu, Ana Milanova	Practical static analysis for inference of security-related program properties.	ICPC	2009	DBLP DOI BibTeX RDF
2	William Formyduval	Integrating static analysis and testing for firewall policies.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	firewall policies, test generation, firewalls
2	Bertrand Jeannet, Antoine Miné	Apron: A Library of Numerical Abstract Domains for Static Analysis.	CAV	2009	DBLP DOI BibTeX RDF
2	Kyung-Goo Doh, Hyunha Kim, David A. Schmidt	Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.	SAS	2009	DBLP DOI BibTeX RDF
2	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
2	Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot	Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.	SAS	2009	DBLP DOI BibTeX RDF
2	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
2	Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski	Stack bounds analysis for microcontroller assembly code.	WESS	2009	DBLP DOI BibTeX RDF	model checking, verification, static analysis, embedded software, assembly code
2	Siliang Li, Gang Tan	Finding bugs in exceptional situations of JNI programs.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	static analysis, taint analysis, java native interface
2	Nels E. Beckman	Modular typestate checking in concurrent Java programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	Java, concurrency, static analysis, typestate
2	François Bronsard	Practical framework constraints.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	code checker, static analysis, application framework
2	Vipindeep Vangala, Jacek Czerwonka, Phani Talluri	Test case comparison and clustering using program profiles and static execution.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	sustained engineering, machine learning, testing, static analysis
2	Jason Sawin, Atanas Rountev	Improving static resolution of dynamic class loading in Java using dynamically gathered environment information.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	String analysis, Dynamic class loading, Static analysis, Reflection
2	Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh	Using Static Analysis to Find Bugs.	IEEE Software	2008	DBLP DOI BibTeX RDF
2	Xavier Allamigeon, Charles Hymans	Static analysis by abstract interpretation: application to the detection of heap overflows.	Journal in Computer Virology	2008	DBLP DOI BibTeX RDF