Update index.html

QilinPTA · Aug 14, 2024 · 3c5d794 · 3c5d794
1 parent 37bc455
commit 3c5d794
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -46,9 +46,8 @@ <h2>
         variable level, by supporting naturally the traditional
         method-level context-sensitivity as a special case. </p>
 
-    For a pointer analysis framework that works for C and C++, we refer to
-    <a href="https://svf-tools.github.io/SVF/">SVF</a>.
-
+    We refer to <a href="https://svf-tools.github.io/SVF/">SVF</a> for a pointer analysis framework that works for C/C++, and
+    <a href="https://github.com/rustanlys/rupta">RUPTA</a> for a pointer analysis framework that works for Rust.
 
     <h2>
         <a id="what-kind-of-analyses-does-qilin-provide" class="anchor" href="#what-kind-of-analyses-does-qilin-provide"