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

Shape analysis of a realistic memory model

Participant : Vincent Laviron.

In [60] , we have refined the shape analyzer Xisa so as to use a new memory model featuring pointer arithmetic and union types.


previous
next

Logo Inria