prongC: A Static Analysis Tool That Helps You Detect C Shared Data Accesses

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 ove...