If you've ever stared at a large C codebase wondering whether two function calls touch the same shared state, you know the pain. Manual code review is error-prone, and full program analysis can be overkill. prongC was built to solve exactly this problem.
Source: [Dev.to](https://dev.to/omeridrissi/prongc-a-static-analysis-tool-that-helps-you-detect-c-shared-data-accesses-1eg7)