Dr. Checker

Check for data flows between lists of sources and sinks

Compile-time technique that helps identify relationships between pointer variables and the memory locations that they point to during program execution.