Added path for tx-origin solidifi benchmark results

lisa-analyzer · Dec 29, 2024 · 4984144 · 4984144
1 parent 8cd1314
commit 4984144
Show file tree

Hide file tree

Showing 205 changed files with 5 additions and 204 deletions.
diff --git a/.gitignore b/.gitignore
@@ -34,6 +34,11 @@ scripts/python/journal/reentrancy-slise-db1/json/
 scripts/python/journal/reentrancy-slise-db1/bytecode/
 scripts/python/journal/reentrancy-slise-db1/match-file-index.json
 
+# SolidiFI tx-origin
+scripts/python/journal/tx-origin-solidifi/results/
+scripts/python/journal/tx-origin-solidifi/json/
+scripts/python/journal/tx-origin-solidifi/bytecode/
+
 scripts/python/journal/execution/
 scripts/python/journal/images/
 scripts/python/journal/DAppSCAN/

diff --git a/scripts/python/journal/reentrancy-solidifi/bytecode/ethersolve/buggy_1.bytecode b/scripts/python/journal/reentrancy-solidifi/bytecode/ethersolve/buggy_1.bytecode