diff --git a/README.md b/README.md index d0929152f..ff3dfcd82 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ SVF provides reusable abstractions, graphs, and solvers for analyzing LLVM IR. ## News -* [On-demand program slicing](https://github.com/SVF-tools/SVF/tree/master/svf/include/MTA) published in our [ISSTA paper](https://joelyyoung.github.io/pdf/issta26.pdf) is now available in SVF +* [MSli](https://github.com/SVF-tools/SVF/wiki/MTA-MSli), an on-demand program slicing tool for multithreaded programs, is now available in [SVF/MTA](https://github.com/SVF-tools/SVF/tree/master/svf/include/MTA). * SVF now supports [LLVM-22](https://github.com/SVF-tools/SVF/pull/1876) (Contributed by [Giorgio](https://github.com/dg1474)). * SVF now supports [LLVM-21](https://github.com/SVF-tools/SVF/pull/1815) (Contributed by [cjsrxzdyzds](https://github.com/cjsrxzdyzds)). * SVF now supports new [build system](https://github.com/SVF-tools/SVF/pull/1703) (Thank [Johannes](https://github.com/Johanmyst) for his help!). diff --git a/svf/include/MTA/README.md b/svf/include/MTA/README.md new file mode 100644 index 000000000..1ec4bd6ea --- /dev/null +++ b/svf/include/MTA/README.md @@ -0,0 +1,6 @@ +# MTA and MSli + +This directory contains the public interfaces for SVF's multithreaded analysis +(MTA) and the MSli multi-stage slicing implementation. See the [MTA-MSli wiki +page](https://github.com/SVF-tools/SVF/wiki/MTA-MSli) for an overview, benchmark +inputs, build instructions, and usage examples. diff --git a/svf/lib/MTA/README.md b/svf/lib/MTA/README.md deleted file mode 100644 index d05c607bb..000000000 --- a/svf/lib/MTA/README.md +++ /dev/null @@ -1,6 +0,0 @@ -# MTA and MSli - -This directory contains SVF's multithreaded analysis (MTA) and the MSli -multi-stage slicing implementation. See the [MTA-MSli wiki page](https://github.com/SVF-tools/SVF/wiki/MTA-MSli) -for build instructions, command examples, and measured small- and large-program -results.