prongC: New Static Analysis Tool Detects Shared Data in C Code

prongC is a lightweight static analysis tool that detects shared variable accesses between function calls in C codebases without requiring whole-program analysis. It traces how arguments flow through function bodies to identify overlaps, supporting compile database integration and multithreaded parsing. The tool helps developers verify reordering safety and explore data dependencies in legacy or unfamiliar code.