← Rule catalog

rust-doctor · Correctness

`process-exit-in-library`

Detect process termination from library source

Severity: warning
Confidence: high
Analyzer: syn-ast
Default policy: Opt-in

Tags

correctness
heuristic

Framework requirements

No framework requirement.

Limitations

Syntactic analysis does not have rustc name resolution or inferred type information.

Remediation

Return a typed error and let the binary boundary decide whether to exit.

Fix capability: guidance