Abstract Semantic Differencing for Numerical Programs

No abstract is available for this paper.

• Publication year

  2013

• Venue

  Sensors Applications Symposium

• Publication date

  2013-06-20

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-38856-9_14
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Axiomatic Basis for Computer Programming

  2013cited by this paper
• Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)

  2012cited by this paper
• Practical, Low-Effort Equivalence Verification of Real Code

  2011cited by this paper
• Automated Behavioral Regression Testing

  2010cited by this paper
• Conditional Equivalence

  2010cited by this paper
• BERT: a tool for behavioral regression testing

  2010cited by this paper
• Automatic Vulnerability Locating in Binary Patches

  2009cited by this paper
• Regression verification

  2009cited by this paper
• Differential symbolic execution

  2008cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008cited by this paper
• Equivalence checking of static affine programs using widening to handle recurrences

  2008cited by this paper
• An Algorithm for Differential File Comparison

  2008cited by this paper
• Efficient program execution indexing

  2008cited by this paper
• Comparison Under Abstraction for Verifying Linearizability

  2007cited by this paper
• The trace partitioning abstract domain

  2007cited by this paper
• Valgrind: a framework for heavyweight dynamic binary instrumentation

  2007cited by this paper
• Widening operators for powerset domains

  2007cited by this paper
• Improvements to Combinational Equivalence Checking

  2006cited by this paper
• Secure Information Flow as a Safety Problem

  2005cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Analysis of Recursive Game Graphs Using Data Flow Equations

  2004cited by this paper
• Hardware verification using ANSI-C programs as a reference

  2003cited by this paper
• Translation and Run-Time Validation of Optimized Code

  2002cited by this paper
• The octagon abstract domain

  2001influential reference
• Translation validation for an optimizing compiler

  2000cited by this paper
• Translation Validation

  1998cited by this paper
• Equivalence Checking Using Cuts And Heaps

  1997cited by this paper
• Semantic Diff: a tool for summarizing the effects of modifications

  1994cited by this paper
• Identifying the semantic and textual differences between two versions of a program

  1990cited by this paper
• Identifying the semantic and textual differences between two versions of a program

  1990cited by this paper
• Integrating noninterfering versions of programs

  1989cited by this paper
• Automatic discovery of linear restraints among variables of a program

  1978cited by this paper
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

  1977cited by this paper
• 2008 IEEE Symposium on Security and Privacy Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications

  year unknowncited by this paper

• Unified and Split Symbolic Execution for Exposing Semantic Differences

  2025cites this paper
• Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)

  2023cites this paper
• Finding Fixed Vulnerabilities with Off-the-Shelf Static Analysis

  2023cites this paper
• Differential cost analysis with simultaneous potentials and anti-potentials

  2022cites this paper
• PEQCHECK: Localized and Context-aware Checking of Functional Equivalence

  2021cites this paper
• Evolutionary Conflict Checking

  2020cites this paper
• Difference Verification with Conditions

  2020cites this paper
• Analysis of Program Differences with Numerical Abstract Interpretation

  2019cites this paper
• Continuously reasoning about programs using differential Bayesian inference

  2019cites this paper
• Specification and inference of trace refinement relations

  2019cites this paper
• Checking Observational Purity of Procedures

  2019cites this paper
• Source code Analyzer Source code Fixpoint constraints Fixpoint constraints Syntactic Matching Function ! Constraint Merger Differential derivations Marginal Inference

  2019cites this paper
• Semantic program alignment for equivalence checking

  2019cites this paper
• Analysis of Software Patches Using Numerical Abstract Interpretation

  2019influential citation
• Tamarin: Concolic Disequivalence for MIPS

  2018cites this paper
• Differential program semantics

  2018influential citation
• Decomposition instead of self-composition for proving the absence of timing channels

  2017cites this paper
• Refining interprocedural change-impact analysis using equivalence relations

  2017cites this paper
• Modular Demand-Driven Analysis of Semantic Difference for Program Versions

  2017cites this paper
• Sound Loop Superoptimization for Google Native Client

  2017cites this paper
• Completely Automated Equivalence Proofs

  2017influential citation
• Similarity of binaries through re-optimization

  2017cites this paper
• Differential Program Analysis

  2017cites this paper
• D^3 : Data-Driven Disjunctive Abstraction

  2016cites this paper
• Analysis and Synthesis with "Big Code"

  2016cites this paper
• Statistical similarity of binaries

  2016cites this paper
• Interprocedural Semantic Change-Impact Analysis using Equivalence Relations

  2016cites this paper
• Making numerical program analysis fast

  2015cites this paper
• Quantification of Software Changes through Probabilistic Symbolic Execution (N)

  2015cites this paper
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences

  2015influential citation
• Under-Constrained Symbolic Execution: Correctness Checking for Real Code

  2015cites this paper
• Symbolic automata for representing big code

  2015cites this paper
• Programming with "Big Code"

  2015cites this paper
• Abstract semantic differencing via speculative correlation

  2014influential citation
• Fast Algorithms for Octagon Abstract Domain

  2014influential citation
• Code Similarity via Natural Language Descriptions

  2014cites this paper
• Automating Information Flow Analysis of Low Level Code

  2014cites this paper
• Logics for Information Flow Security:From Specification to Verification

  2014cites this paper
• Tracelet-based code search in executables

  2014cites this paper
• Data-driven equivalence checking

  2013influential citation
• Extensionality: On the Properties of Incomplete Abstract Interpretations

  year unknowncites this paper