Team abstraction

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

Section: Software

The Arrayal array content analysis functor

Participants : Patrick Cousot [correspondent] , Radhia Cousot.

Arrayal is a prototype abstract domain library functor for array content static analysis by parametric segmentation. It was included by Francesco Logozzo in MSR Clousot , a language agnostic abstract interpretation-based static contract analyzer and checker for .NET , see Sect. 6.4.1 .


previous
next

Logo Inria