Abstract Interpretation using a Language of Symbolic Approximation

12/28/2017
by   Matthieu Lemerre, et al.
0

The traditional abstract domain framework for imperative programs suffers from several shortcomings; in particular it does not allow precise symbolic abstractions. To solve these problems, we propose a new abstract interpretation framework, based on symbolic expressions used both as an abstraction of the program, and as the input analyzed by abstract domains. We demonstrate new applications of the frame- work: an abstract domain that efficiently propagates constraints across the whole program; a new formalization of functor domains as approximate translation, which allows the production of approximate programs, on which we can perform classical symbolic techniques. We used these to build a complete analyzer for embedded C programs, that demonstrates the practical applicability of the framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/23/2016

Static Analysis of Communicating Processes using Symbolic Transducers

We present a general model allowing static analysis based on abstract in...
research
11/07/2022

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

In the realm of sound object-oriented program analyses for information-f...
research
07/30/2019

Computing Abstract Distances in Logic Programs

Abstract interpretation is a well-established technique for performing s...
research
10/16/2019

Abstract Transducers

Several abstract machines that operate on symbolic input alphabets have ...
research
05/30/2022

Combining E-Graphs with Abstract Interpretation

E-graphs are a data structure that compactly represents equivalent expre...
research
11/12/2020

Neural Abstract Reasoner

Abstract reasoning and logic inference are difficult problems for neural...
research
12/10/2020

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)

Lifted (family-based) static analysis by abstract interpretation is capa...

Please sign up or login with your details

Forgot password? Click here to reset