CELIA

Plugin for Static Analysis of C Programs with Dynamic Lists

Library of linked lists

Input file intlist-lib-del.c: Normalized code, input of the analysis
(with statement identifiers - sid):
Computed invariants
(indexed by statement identifier):

Summary: intlist-lib-del.c:(sid:4): mset, lsum, ucons,
intlist-lib-del.c:(sid:1): mset, lsum, ucons,
intlist-lib-del.c:(sid:3): mset, lsum, ucons,
intlist-lib-del.c:(sid:2): mset, lsum, ucons,
intlist-lib-del.c:(sid:0): mset, lsum, ucons,