From 259637dd891304e1f33e8135e43fdcb2f16a6282 Mon Sep 17 00:00:00 2001 From: avishek-sen-gupta Date: Sat, 13 Jul 2024 22:59:51 +0530 Subject: [PATCH] Updating README --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index dca180c3..9a3a10d6 100644 --- a/README.md +++ b/README.md @@ -128,7 +128,9 @@ The interpreter also supports injecting a complete execution path through the pr ![Execution Trace Graph](documentation/execution-trace-graph.png) -When generating the AST and CFG, the library allows configuring them to be the same, i.e., the same nodes are reused for creating both AST and CFG connections. For example, in the screenshot below: the same CFG has CONTAINS (AST relationship), FOLLOWED_BY (CFG relationship), and the MODIFIES/ACCESSES relationships (data structure relationship). This provides a rich unified view of the entire program, without having to jump between multiple disconnected views of the source code, for analysis. +When generating the AST and CFG, the library allows configuring them to be the same, i.e., the same nodes are reused for creating both AST and CFG connections. For example, in the screenshot below: the same CFG has ```CONTAINS``` (AST relationship), ```FOLLOWED_BY``` (CFG relationship), and the ```MODIFIES```/```ACCESSES``` relationships (data structure relationship). + +This provides a rich unified view of the entire program, without having to jump between multiple disconnected views of the source code, for analysis. ![Unified AST-CFG-Data Graph](documentation/unified-ast-cfg-dependency.png)