I am writing various "program analysis" (aka static code analysis) algorithms.
I am looking for ideas for metrics to measure how well my algorithms "understand the code".
Some ideas i have so far :
classic points-to analysis - ability to determine (during compile time) pointer aliases and allocation sites
early object release - ability to predict when an object can be released (both in the context of explicit java references, or implicit C++ object usage)
I hope to find complex metrics, where the score can be improved by running deeper and longer algorithms on the source code.