One approach to program analysis