From bb74125999c4ef3668d44a41d651cc92d4b802ea Mon Sep 17 00:00:00 2001 From: "XU, Hui" Date: Mon, 6 Jan 2025 23:37:01 +0800 Subject: [PATCH] Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 6e17616..36fb5fc 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ this will do nothing. ```shell rustup toolchain install nightly-2024-10-12 --profile minimal --component rustc-dev,rust-src,llvm-tools-preview -cargo +nightly-2024-10-12 install rapx --git https://github.com/Artisan-Lab/RAP.git +cargo +nightly-2024-10-12 install rapx --git https://github.com/Artisan-Lab/RAPx.git ``` ## Usage @@ -32,7 +32,7 @@ Alternatively, you can switch to the pinned toolchain ahead of time: rustup default nightly-2024-10-12 # run cargo rapx without +toolchain syntax any more -cargo rap [rapx options] -- [cargo check options] +cargo rapx [rapx options] -- [cargo check options] ``` Check out supported options with `-help`: @@ -62,7 +62,7 @@ Detect bugs such as use-after-free and double free in Rust crates caused by unsa cargo +nightly-2024-10-12 rapx -uaf ``` -If RAP gets stuck after executing `cargo clean`, try manually downloading metadata dependencies by running `cargo metadata`. +If RAPx gets stuck after executing `cargo clean`, try manually downloading metadata dependencies by running `cargo metadata`. The feature is based on our SafeDrop paper, which was published in TOSEM. ```