DU-Edge Explorer

Visualization of context-sensitive definition-use edges

Getting started

Prerequisites

Generate a dump file for the single or multi-file C program. This file may be generated by an executable at ___ or by any other means.

1. Directly provide dump file

The following is an example DDG dump file for the C code. C file

#include<stdio.h>

int x, y, z;
void R()
{
    x = y + 100;
    y = x + 200;
}
void Q()
{
    R();
    z = x + y;
}

int main()
{
    x = 100;
    y = x * 2;
    Q();
    y = 200;
    x = y * 4;
    Q();

}

DDG dump file

phiInfo<>

MMAInfo<(1, 2); (2, 2); (3, 2); (4, 2); (5, 2); (6, 2); (9, 2); (10, 2); (11, 2); (12, 2); >

DDGStart<(y, 18, 1, /home/ubuntu/test/example-1.c)---(add_R, 6, 1, /home/ubuntu/test/example-1.c); (add_R, 6, 1, /home/ubuntu/test/example-1.c)---(x, 6, 3, /home/ubuntu/test/example-1.c); (y, 23, 2, /home/ubuntu/test/example-1.c)---(add_R, 6, 2, /home/ubuntu/test/example-1.c); (add_R, 6, 2, /home/ubuntu/test/example-1.c)---(x, 6, 4, /home/ubuntu/test/example-1.c); >

Please note that the file path in the user provided dump must be absolute

2. Set path to Cos-SSA

Open the command pallete using Ctrl+Shift+P and use the Set Cos SSA Path option to set the location to the executable Cos-SSA file.

Requirements

• .c program file(s)
• Dump file [Generate a dump file as demonstrated above for the single or multi-file C program. This file may be generated by an executable at ___ or by any other means.]

Compatibility

Any Linux or Unix based distribution.

Features and Keybindings

• Choose dump file option : Using Command Pallete :
  • Directly provide dump (single and multiple file)
  • Generate dump using CoS SSA executable for single file
• Set Cos-SSA Path : Using Command Pallete
• Set DDG-Dump Path : Using Command Palette
• Hop forward : Ctrl+Alt+F
• Hop back : Ctrl+Alt+B