From 4be3e8c5d1ffc91eb3a10cc5253e7cc20dad059f Mon Sep 17 00:00:00 2001 From: "XU, Hui" Date: Fri, 30 Aug 2024 16:24:43 +0800 Subject: [PATCH] Update 1-intro.md --- src/1-intro.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/1-intro.md b/src/1-intro.md index a7a8f42..5bf64c8 100644 --- a/src/1-intro.md +++ b/src/1-intro.md @@ -1,4 +1,5 @@ # Chapter 1. Introduction Writing program analysis tools is challenging. In this project, we aim to provide a user-friendly framework for developing new static program analysis features for Rust. In particular, our project integrates dozens of classic program analysis algorithms, including those for pointer analysis, control-flow analysis, interval analysis, and more. Developers can choose and combine them like Lego blocks to achieve new bug detection or verification capabilities. +![framework](figure/rap_framework.png)