JSF++: No Dead Code

error

jsf_no_dead_code

coding-standards safety pure_temporal coding-standardjsfavionicscppsafety-criticalrag-red

Dead code — executable code or data not traceable to a system or software requirement — is not present.

Formula

G(¬dead_code)

Why it matters

JSF++: dead code is executable object code (or data) which, as a result of a design error, cannot be executed and is not traceable to a system or software requirement, and is prohibited.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

ponens policies add jsf_no_dead_code --into ./trace.json
ponens trace check ./trace.json