Process registry and naming extractor.
Detects process name registration, Registry operations, {:via, ...} tuple
construction, and Process.whereis/1 calls. Enriches the existing OTP
analysis suite with naming information to catch registration collisions,
TOCTOU races on whereis, and unreachable named processes.
Emitted facts
process_register(id, func, name, method)— direct registration and GenServername:optionnamed_process(mod, name)— module-level: a process implemented bymodis registered asnamewhereis_call(id, func, name, checked)—Process.whereis/1,:erlang.whereis/1;checkedsays whether the result is tested against nil before use