CELIA

Plugin for Static Analysis and Verification of C Programs with Dynamic Lists

See also:    APRON    CINV    Frama-C    FIXPOINT    ANR Project Veridyc