Decision #820 — `malloc.c:4502`

Status: unreached

Truth table

row	c0 br 5764	c1 br 5765	c2 br 5766	c3 br 5767	c4 br 5768	c5 br 5769	c6 br 5770	c7 br 5771	c8 br 5772	c9 br 5773	outcome

Independent-effect pairs

All 10 conditions live in strlen — 10 br_if

c0 (branch 5764): DEAD view gap →
c1 (branch 5765): DEAD view gap →
c2 (branch 5766): DEAD view gap →
c3 (branch 5767): DEAD view gap →
c4 (branch 5768): DEAD view gap →
c5 (branch 5769): DEAD view gap →
c6 (branch 5770): DEAD view gap →
c7 (branch 5771): DEAD view gap →
c8 (branch 5772): DEAD view gap →
c9 (branch 5773): DEAD view gap →

← back to scry-mcdc