From 28eec48603c389ec477fe6859213cfe8b2ec6ed7 Mon Sep 17 00:00:00 2001
From: aisr <china.xuhui@gmail.com>
Date: Mon, 6 Jan 2025 23:01:29 +0800
Subject: [PATCH] change to rapx

---
 .gitignore     |  2 +-
 tests/rap.txt  |  5 +++++
 tests/rapx.txt | 14 --------------
 3 files changed, 6 insertions(+), 15 deletions(-)
 create mode 100644 tests/rap.txt
 delete mode 100644 tests/rapx.txt

diff --git a/.gitignore b/.gitignore
index 87d2dde..b5b0038 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,4 @@
 .vscode/
 target/
 Cargo.lock
-rap.txt
+rapx.txt
diff --git a/tests/rap.txt b/tests/rap.txt
new file mode 100644
index 0000000..e6fcc07
--- /dev/null
+++ b/tests/rap.txt
@@ -0,0 +1,5 @@
+    Checking rcanary02 v0.1.0 (/home/aisr/RAPx/tests/support/leak/leak_proxy)
+22:10:21|RAP|INFO|: Start analysis with RAP.
+22:10:21|RAP|WARN|: RCanary: Leak Function: Unsat DefId(0:6 ~ rcanary02[476b]::main) src/main.rs:5:1: 9:2 (#0)
+22:10:21|RAP|WARN|: RCanary: LeakItem Candidates: _2 = std::boxed::Box::<&str>::into_raw(move _3) -> [return: bb2, unwind: bb3], src/main.rs:7:15: 7:33 (#0)
+    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.15s
diff --git a/tests/rapx.txt b/tests/rapx.txt
deleted file mode 100644
index 8844e80..0000000
--- a/tests/rapx.txt
+++ /dev/null
@@ -1,14 +0,0 @@
-    Checking rcanary02 v0.1.0 (/home/aisr/RAPx/tests/support/leak/leak_proxy)
-22:33:39|RAP|INFO|: Start analysis with RAP.
-22:33:39|RAP|WARN|: Double free detected in function main
-warning: Memory Leak detected.
- --> src/main.rs:7:15
-  |
-5 | fn main() {
-6 |     let buf = Box::new("buffer");
-7 |     let ptr = Box::into_raw(buf);
-  |               ------------------ Memory Leak Candidates.
-8 |     let _proxy = Proxy { _p:ptr };
-9 | }
-  |
-    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.16s