change to rapx

Artisan-Lab · Jan 6, 2025 · 28eec48 · 28eec48
1 parent 3954163
commit 28eec48
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 15 deletions.
diff --git 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
@@ -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