From 3c5d79484db27b2d003e2bebdc183f56705fe030 Mon Sep 17 00:00:00 2001 From: Dongjie <50815290+DongjieHe@users.noreply.github.com> Date: Wed, 14 Aug 2024 09:36:47 +0800 Subject: [PATCH] Update index.html --- docs/index.html | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/index.html b/docs/index.html index 825c0b6..9e1c699 100644 --- a/docs/index.html +++ b/docs/index.html @@ -46,9 +46,8 @@

variable level, by supporting naturally the traditional method-level context-sensitivity as a special case.

- For a pointer analysis framework that works for C and C++, we refer to - SVF. - + We refer to SVF for a pointer analysis framework that works for C/C++, and + RUPTA for a pointer analysis framework that works for Rust.