Decision #854 — `malloc.c:4443`

Status: partial

Truth table

row	c0 br 5991	c1 br 5992	c2 br 5993	c3 br 5994	c4 br 5995	c5 br 5996	c6 br 5997	c7 br 5998	c8 br 5999	outcome
2880	T	*	T	*	*	T	*	*	*	T
2881	T	*	T	*	*	T	*	*	*	T
2882	T	*	T	*	*	T	*	*	*	T
2883	T	*	T	*	*	T	*	*	*	T
2884	T	*	T	*	*	T	*	*	*	T
2885	T	*	T	*	*	T	*	*	*	T
2886	T	*	T	*	*	T	*	*	*	T
2887	T	*	T	*	*	T	*	*	*	T
2888	T	*	T	*	*	T	*	*	*	T
5885	T	*	T	*	*	T	*	*	*	T
5886	T	*	T	*	*	T	*	*	*	T
5887	T	*	T	*	*	T	*	*	*	T
5888	T	*	T	*	*	T	*	*	*	T
5889	T	*	T	*	*	T	*	*	*	T
5890	T	*	T	*	*	T	*	*	*	T
5891	T	*	T	*	*	T	*	*	*	T
5892	T	*	T	*	*	T	*	*	*	T
5893	T	*	T	*	*	T	*	*	*	T
9027	T	*	T	*	*	T	*	*	*	T
9028	T	*	T	*	*	T	*	*	*	T
9029	T	*	T	*	*	T	*	*	*	T
9030	T	*	T	*	*	T	*	*	*	T
9031	T	*	T	*	*	T	*	*	*	T
9032	T	*	T	*	*	T	*	*	*	T
9033	T	*	T	*	*	T	*	*	*	T
9034	T	*	T	*	*	T	*	*	*	T
9035	T	*	T	*	*	T	*	*	*	T
9036	T	*	T	*	*	T	*	*	*	T
10471	F	F	*	*	*	*	*	*	*	F
10472	T	*	T	*	*	T	*	*	*	T
11601	F	F	*	*	*	*	*	*	*	F
11602	T	*	T	*	*	T	*	*	*	T
12710	F	F	*	*	*	*	*	*	*	F
12711	T	*	T	*	*	T	*	*	*	T
20425	T	*	T	*	*	T	*	*	*	T
20426	F	F	*	*	*	*	*	*	*	F
20427	F	F	*	*	*	*	*	*	*	F
20428	T	*	F	T	*	*	*	*	*	T
20429	T	*	T	*	*	T	*	*	*	T
20430	F	F	*	*	*	*	*	*	*	F
28119	T	*	T	*	*	T	*	*	*	T
28120	F	F	*	*	*	*	*	*	*	F
28121	F	F	*	*	*	*	*	*	*	F
28122	T	*	F	T	*	*	*	*	*	T
28123	T	*	T	*	*	T	*	*	*	T
28124	F	F	*	*	*	*	*	*	*	F
34022	F	F	*	*	*	*	*	*	*	F
34023	F	F	*	*	*	*	*	*	*	F
34024	T	*	T	*	*	T	*	*	*	T
39960	F	F	*	*	*	*	*	*	*	F
39961	F	F	*	*	*	*	*	*	*	F
39962	T	*	T	*	*	T	*	*	*	T
42831	F	F	*	*	*	*	*	*	*	F
42832	T	*	T	*	*	T	*	*	*	T
42833	T	*	T	*	*	T	*	*	*	T
42834	T	*	T	*	*	T	*	*	*	T
45995	F	F	*	*	*	*	*	*	*	F
45996	T	*	T	*	*	T	*	*	*	T
45997	T	*	T	*	*	T	*	*	*	T
45998	T	*	T	*	*	T	*	*	*	T
45999	T	*	T	*	*	T	*	*	*	T
46000	T	*	T	*	*	T	*	*	*	T
49351	F	F	*	*	*	*	*	*	*	F
49352	T	*	T	*	*	T	*	*	*	T
49353	T	*	T	*	*	T	*	*	*	T
49354	T	*	T	*	*	T	*	*	*	T
52371	F	F	*	*	*	*	*	*	*	F
52372	T	*	T	*	*	T	*	*	*	T
52373	T	*	T	*	*	T	*	*	*	T
52374	T	*	T	*	*	T	*	*	*	T
62241	F	F	*	*	*	*	*	*	*	F
62242	F	F	*	*	*	*	*	*	*	F
62243	F	F	*	*	*	*	*	*	*	F
62244	T	*	T	*	*	T	*	*	*	T
62245	T	*	T	*	*	T	*	*	*	T
62246	T	*	T	*	*	T	*	*	*	T
72013	F	F	*	*	*	*	*	*	*	F
72014	F	F	*	*	*	*	*	*	*	F
72015	F	F	*	*	*	*	*	*	*	F
72016	T	*	T	*	*	T	*	*	*	T
72017	T	*	T	*	*	T	*	*	*	T
72018	T	*	T	*	*	T	*	*	*	T
75406	F	F	*	*	*	*	*	*	*	F
75407	T	*	T	*	*	T	*	*	*	T
75408	T	*	T	*	*	T	*	*	*	T
75409	T	*	T	*	*	T	*	*	*	T
75410	T	*	T	*	*	T	*	*	*	T
75411	T	*	F	F	T	*	*	*	*	T
75412	T	*	T	*	*	T	*	*	*	T
75413	T	*	T	*	*	T	*	*	*	T
75414	T	*	T	*	*	T	*	*	*	T
75415	T	*	F	F	F	*	*	*	*	F
75416	T	*	F	F	F	*	*	*	*	F
75417	T	*	F	F	F	*	*	*	*	F
78881	F	F	*	*	*	*	*	*	*	F
78882	T	*	T	*	*	T	*	*	*	T
78883	T	*	T	*	*	T	*	*	*	T
78884	T	*	T	*	*	T	*	*	*	T
78885	T	*	T	*	*	T	*	*	*	T
78886	T	*	F	F	T	*	*	*	*	T
78887	T	*	T	*	*	T	*	*	*	T
78888	T	*	T	*	*	T	*	*	*	T
78889	T	*	T	*	*	T	*	*	*	T
78890	T	*	F	F	F	*	*	*	*	F
78891	T	*	F	F	F	*	*	*	*	F
78892	T	*	F	F	F	*	*	*	*	F
80456	T	*	T	*	*	T	*	*	*	T
80457	T	*	T	*	*	T	*	*	*	T
81685	F	F	*	*	*	*	*	*	*	F
81686	T	*	T	*	*	T	*	*	*	T
82844	F	F	*	*	*	*	*	*	*	F
82845	T	*	T	*	*	T	*	*	*	T
83934	F	F	*	*	*	*	*	*	*	F
83935	T	*	T	*	*	T	*	*	*	T
85223	F	F	*	*	*	*	*	*	*	F
85224	F	F	*	*	*	*	*	*	*	F
87306	F	F	*	*	*	*	*	*	*	F
87307	F	F	*	*	*	*	*	*	*	F
87308	F	F	*	*	*	*	*	*	*	F
87309	F	F	*	*	*	*	*	*	*	F
87310	F	F	*	*	*	*	*	*	*	F
87311	F	F	*	*	*	*	*	*	*	F
87312	T	*	T	*	*	T	*	*	*	T
88544	F	F	*	*	*	*	*	*	*	F
90520	F	F	*	*	*	*	*	*	*	F
90521	F	F	*	*	*	*	*	*	*	F
90522	F	F	*	*	*	*	*	*	*	F
90523	F	F	*	*	*	*	*	*	*	F
90524	F	F	*	*	*	*	*	*	*	F
90525	F	F	*	*	*	*	*	*	*	F
92005	T	*	T	*	*	T	*	*	*	T
92006	F	F	*	*	*	*	*	*	*	F
92007	F	F	*	*	*	*	*	*	*	F
110908	T	*	T	*	*	T	*	*	*	T
110909	F	F	*	*	*	*	*	*	*	F
110910	F	F	*	*	*	*	*	*	*	F
110911	T	*	T	*	*	T	*	*	*	T
110912	F	F	*	*	*	*	*	*	*	F
129771	T	*	T	*	*	T	*	*	*	T
129772	F	F	*	*	*	*	*	*	*	F
129773	F	F	*	*	*	*	*	*	*	F
129774	T	*	T	*	*	T	*	*	*	T
129775	F	F	*	*	*	*	*	*	*	F

Independent-effect pairs

All 9 conditions live in realloc — 9 br_if

c0 (branch 5991): PROVED — pair rows 2880, 10471 (masking)
c1 (branch 5992): GAP view gap →
c2 (branch 5993): PROVED — pair rows 2880, 75415 (masking)
c3 (branch 5994): PROVED — pair rows 20428, 75415 (masking)
c4 (branch 5995): PROVED — pair rows 75411, 75415 (masking)
c5 (branch 5996): GAP view gap →
c6 (branch 5997): DEAD view gap →
c7 (branch 5998): DEAD view gap →
c8 (branch 5999): DEAD view gap →

← back to scry-mcdc

Decision #854 — malloc.c:4443

Truth table

Independent-effect pairs

Decision #854 — `malloc.c:4443`