CELIA

Plugin for Static Analysis of C Programs with Dynamic Lists

Library of linked lists

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

Summary: intlist-map2-addV_eq.c:(sid:21): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:16): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:13): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:15): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:11): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:0): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:2): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:12): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:3): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:18): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:4): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:7): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:9): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:6): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:17): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:10): bottom
intlist-map2-addV_eq.c:(sid:19): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:5): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:16_2): mset, lsum, ucons,
intlist-map2-addV_eq.c:(sid:14): mset, lsum, ucons,