Team abstraction

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Abstract Interpretation of Information Flow

Participants : Agostino Cortesi [Università Ca'Foscardi di Venizia] , Matteo Zanioli.

The analysis of the flow of information in a program consists in detecting the propagation of sensitive information through the program points of this program. In [22] , we propose a new framework that combines variable dependency analysis, based on propositional formulas, and variables' value analysis, based on generic numerical domains.


previous
next

Logo Inria