Program representation/JaBUTi

Facts

• JaBUTi represents the definition-use graph using three different types of nodes -- common nodes, exit nodes, and call nodes -- and two different types of edges -- primary edges, and secundary edges. <bib>vincenzi-etal:2003, 7-8</bib>