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.