A visual representation of c++ source code using graphs and abstract interpretation