Decision #1630 — `library/alloc/src/raw_vec/mod.rs:435`

Status: partial

Truth table

row	c0 br 3398	c1 br 3399	c2 br 3400	c3 br 3401	c4 br 3402	c5 br 3403	c6 br 3404	c7 br 3405	c8 br 3406	c9 br 3407	c10 br 3408	c11 br 3409	c12 br 3410	outcome

Independent-effect pairs

All 13 conditions live in scry_analyze_core::run_taint_analysis — 1 br_table_default + 12 br_table_target

c0 (branch 3398): PROVED
c1 (branch 3399): PROVED
c2 (branch 3400): DEAD view gap →
c3 (branch 3401): PROVED
c4 (branch 3402): DEAD view gap →
c5 (branch 3403): DEAD view gap →
c6 (branch 3404): DEAD view gap →
c7 (branch 3405): DEAD view gap →
c8 (branch 3406): DEAD view gap →
c9 (branch 3407): PROVED
c10 (branch 3408): DEAD view gap →
c11 (branch 3409): PROVED
c12 (branch 3410): DEAD view gap →

← back to scry-mcdc