A New Definition-Use Net Generator for Ada 2012 Programs
Bo Wang, Hongbiao Gao, Jingde Cheng · ACM SIGAda Ada Letters · 2017
Definition-Use Net (DUN) is a graph-theoretical concurrent program representation that is very useful in software development activities such as program dependence analysis, testing, debugging, and complexity measuring. It is an arc-classified digraph having vertices representing information about definitions and/or uses of the values of variables, and inter-process synchronization and communication, and arcs representing deterministic or nondeterministic control ows between vertices. For capturing Definition-Use Nets for Ada 2012 programs, we developed an Asis-based DUN generator for Ada 2012 programs. This article presents an informal explanation for DUNs of Ada 2012 programs and shows some example DUNs of Ada 2012 programs generated by our DUN generator