CELIA

Plugin for Static Analysis of C Programs with Dynamic Lists

Library of linked lists

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

Summary: intlist-fold2-concat.c:(sid:48): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:36): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:17): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:32): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:39): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:25): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:7): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:37): bottom
intlist-fold2-concat.c:(sid:2): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:17_2): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:13_2): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:24): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:3): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:17_1): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:4): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:45): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:5): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:6): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:27): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:44): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:23): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:8): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:22): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:10): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:43): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:11): bottom
intlist-fold2-concat.c:(sid:18): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:14): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:26): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:13): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:21): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:37_2): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:28): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:20): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:42): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:37_1): bottom
intlist-fold2-concat.c:(sid:33_2): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:16): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:47): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:0): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:30): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:38): bottom
intlist-fold2-concat.c:(sid:31): bottom
intlist-fold2-concat.c:(sid:12): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:46): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:34): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:19): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:41): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:33): mset, lsum, ucons,
intlist-fold2-concat.c:(sid:40): mset, lsum, ucons,