diff --git a/README.md b/README.md index 22967a478..82c2eb2da 100644 --- a/README.md +++ b/README.md @@ -28,7 +28,7 @@ ## Documentation
-

We release the SVF source code with the hope of benefiting the open-source community. You are kindly requested to acknowledge usage of the tool by citing relevant publications from our list at http://svf-tools.github.io/SVF and the ones specified below:

+

We release the SVF source code with the hope of benefiting the open-source community. You are kindly requested to acknowledge usage of the tool by referring to or citing relevant publications below:

SVF is a static value-flow analysis tool for LLVM-based languages. SVF ([CC'16](https://yuleisui.github.io/publications/cc16.pdf)) is able to perform * [AE](https://github.com/SVF-tools/SVF/tree/master/svf/include/AE) (abstract execution): cross-domain execution ([ICSE'24](https://yuleisui.github.io/publications/icse24a.pdf)), typestate analysis ([FSE'24](https://yuleisui.github.io/publications/fse24a.pdf));