Static analysis ofobject orientedsystems usingextended control flowgraph Ananya KanjilalSwapan Bhattacharya2004 год

Static analysis of object oriented systems using extended control flow graph
статья