CodeVetter
← All X-Rays
CodeVetter · local evidence export

Unreachable code after unconditional return

codevetter-public-benchmark/ts-dead-code

detected · medium confidence

Verification

Code reviewcompleted

Qualified static finding recorded.

Executable testnot verified

No exact-current runtime evidence is included.

Audiencenot run

No audience validation occurred.

Finding

mediumbenchmark ground truth

dead code

The if (score >= 70) branch and final return are unreachable because an unconditional return at line 8 always exits the function first.

source.ts:12