[cdevs]

I would be interested in a source code scanner that tells you how many functions or lines can modify a variable and show a table of variables/counts. This could be helpful on a new small codebase or checking variables in a specific ugly class that always has scope errors so we can tell our bosses it sucks.

[UncleMeat]

Slicing that is sound wrt heaps is often hard, and will contain false positives. Unfortunately in practice developers don't accept fps and get quickly frustrated by these tools unless you are very careful.