Process registry and naming analysis.
Detects naming issues: duplicate process name registration, TOCTOU races
on whereis, and potential name collisions.
Output relations
duplicate_process_name(name, mod1, mod2)— same atom name registered by multiple modules.whereis_race(id, func, name)—Process.whereiswithout nil check (TOCTOU risk), anchored at the call instruction.
Finding severities
duplicate_process_name—:error. Name registration is exclusive; whichever process registers second crashes at runtime.whereis_race—:warning. The looked-up process can die between lookup and use; whether that window matters depends on the call site.