Library of linked lists
Input file intlist-map-initFibo.c: |
Normalized code, input of the analysis (with statement identifiers - sid): |
Computed invariants (indexed by statement identifier): |
Summary: intlist-map-initFibo.c:(sid:19): mset, lsum, ucons, intlist-map-initFibo.c:(sid:14): mset, lsum, ucons, intlist-map-initFibo.c:(sid:15_2): mset, lsum, ucons, intlist-map-initFibo.c:(sid:12): mset, lsum, ucons, intlist-map-initFibo.c:(sid:11): mset, lsum, ucons, intlist-map-initFibo.c:(sid:13): mset, lsum, ucons, intlist-map-initFibo.c:(sid:16): mset, lsum, ucons, intlist-map-initFibo.c:(sid:4): mset, lsum, ucons, intlist-map-initFibo.c:(sid:6): mset, lsum, ucons, intlist-map-initFibo.c:(sid:0): mset, lsum, ucons, intlist-map-initFibo.c:(sid:7): mset, lsum, ucons, intlist-map-initFibo.c:(sid:5): mset, lsum, ucons, intlist-map-initFibo.c:(sid:15): mset, lsum, ucons, intlist-map-initFibo.c:(sid:17): mset, lsum, ucons, intlist-map-initFibo.c:(sid:9): mset, lsum, ucons, intlist-map-initFibo.c:(sid:10): bottom intlist-map-initFibo.c:(sid:1): mset, lsum, ucons, intlist-map-initFibo.c:(sid:2): mset, lsum, ucons, |