1. Software Understanding via Big Graphs 1.1 Upload a real-world software project (web-based user-interface)
1.2 Perform Software Analysis (Generate Internal Graph Representation)
1.3 Visualize Code as 3D graphs (Call Graphs and Program Dependence Graphs)
1.3.1 Left-click on a (method) node of a Call Graph (expanding the method to generate program dependence between statements)
1.3.2 Right-click on a (statement) node (Jump to the corresponding source code representing the node)
1.3.3 Taint analysis (marking all the tainted node as red)
1.3.4 Redirect the code back to the 3D graphs (Program Dependence Graphs)
1.3.5 Select candidate nodes for users to analysis and redirect to its corresponding source code.
2. Software Quality Assessment and Bug Detection
2.1 Upload a software project and enable the backend bug detector
2.2 Generate a bug report for a program
3.3 User can audit the warnings and reports to fix bugs (Dereference of null pointer)
0 Comments