data-flow

gdfa

A generic data-flow analyzer in GCC