diff --git a/script-python/journal/EtherSolve/EtherSolve.jar b/script-python/journal/EtherSolve/EtherSolve.jar new file mode 100644 index 000000000..fc5c02114 Binary files /dev/null and b/script-python/journal/EtherSolve/EtherSolve.jar differ diff --git a/script-python/journal/reentrancy/results/buggy_10_1-result.json b/script-python/journal/reentrancy/results/buggy_10_1-result.json deleted file mode 100644 index 0b49b9748..000000000 --- a/script-python/journal/reentrancy/results/buggy_10_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_10_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 214, - "opcodes": 66, - "download-bytecode": false, - "actual-time": 214, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_11_1-result.json b/script-python/journal/reentrancy/results/buggy_11_1-result.json deleted file mode 100644 index 0e225cebf..000000000 --- a/script-python/journal/reentrancy/results/buggy_11_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_11_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 421, - "opcodes": 401, - "download-bytecode": false, - "actual-time": 421, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_11_2-result.json b/script-python/journal/reentrancy/results/buggy_11_2-result.json deleted file mode 100644 index e60596c80..000000000 --- a/script-python/journal/reentrancy/results/buggy_11_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_11_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 165, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 165, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_11_3-result.json b/script-python/journal/reentrancy/results/buggy_11_3-result.json deleted file mode 100644 index 94acd3371..000000000 --- a/script-python/journal/reentrancy/results/buggy_11_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_11_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 112, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 112, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_12_1-result.json b/script-python/journal/reentrancy/results/buggy_12_1-result.json deleted file mode 100644 index aba745b0e..000000000 --- a/script-python/journal/reentrancy/results/buggy_12_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_12_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 216, - "opcodes": 42, - "download-bytecode": false, - "actual-time": 216, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_12_2-result.json b/script-python/journal/reentrancy/results/buggy_12_2-result.json deleted file mode 100644 index 586b7f3cc..000000000 --- a/script-python/journal/reentrancy/results/buggy_12_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_12_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 343, - "opcodes": 204, - "download-bytecode": false, - "actual-time": 343, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_12_3-result.json b/script-python/journal/reentrancy/results/buggy_12_3-result.json deleted file mode 100644 index b8470a7e8..000000000 --- a/script-python/journal/reentrancy/results/buggy_12_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_12_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 267, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 267, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_13_1-result.json b/script-python/journal/reentrancy/results/buggy_13_1-result.json deleted file mode 100644 index 4b0795fbb..000000000 --- a/script-python/journal/reentrancy/results/buggy_13_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_13_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 271, - "opcodes": 651, - "download-bytecode": false, - "actual-time": 271, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_14_1-result.json b/script-python/journal/reentrancy/results/buggy_14_1-result.json deleted file mode 100644 index 732d1e65c..000000000 --- a/script-python/journal/reentrancy/results/buggy_14_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_14_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 256, - "opcodes": 30, - "download-bytecode": false, - "actual-time": 256, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_14_2-result.json b/script-python/journal/reentrancy/results/buggy_14_2-result.json deleted file mode 100644 index 06f1b46de..000000000 --- a/script-python/journal/reentrancy/results/buggy_14_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_14_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 149, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 149, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_14_3-result.json b/script-python/journal/reentrancy/results/buggy_14_3-result.json deleted file mode 100644 index c21a1fbb0..000000000 --- a/script-python/journal/reentrancy/results/buggy_14_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 22, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_14_3.bytecode", - "definitely-unreachable-jumps": 4, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 377, - "opcodes": 479, - "download-bytecode": false, - "actual-time": 377, - "dump-report": false, - "resolved-jumps": 22 -} diff --git a/script-python/journal/reentrancy/results/buggy_15_1-result.json b/script-python/journal/reentrancy/results/buggy_15_1-result.json deleted file mode 100644 index b3cf572fa..000000000 --- a/script-python/journal/reentrancy/results/buggy_15_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_15_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 296, - "opcodes": 651, - "download-bytecode": false, - "actual-time": 296, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_16_1-result.json b/script-python/journal/reentrancy/results/buggy_16_1-result.json deleted file mode 100644 index 169e91094..000000000 --- a/script-python/journal/reentrancy/results/buggy_16_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_16_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 405, - "opcodes": 489, - "download-bytecode": false, - "actual-time": 405, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_16_2-result.json b/script-python/journal/reentrancy/results/buggy_16_2-result.json deleted file mode 100644 index 75219214a..000000000 --- a/script-python/journal/reentrancy/results/buggy_16_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_16_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 189, - "opcodes": 66, - "download-bytecode": false, - "actual-time": 189, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_16_3-result.json b/script-python/journal/reentrancy/results/buggy_16_3-result.json deleted file mode 100644 index c4874700e..000000000 --- a/script-python/journal/reentrancy/results/buggy_16_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_16_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 150, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 150, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_17_1-result.json b/script-python/journal/reentrancy/results/buggy_17_1-result.json deleted file mode 100644 index e889c363d..000000000 --- a/script-python/journal/reentrancy/results/buggy_17_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 14, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_17_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 249, - "opcodes": 653, - "download-bytecode": false, - "actual-time": 249, - "dump-report": false, - "resolved-jumps": 14 -} diff --git a/script-python/journal/reentrancy/results/buggy_17_2-result.json b/script-python/journal/reentrancy/results/buggy_17_2-result.json deleted file mode 100644 index f40c47c9c..000000000 --- a/script-python/journal/reentrancy/results/buggy_17_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_17_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 115, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 115, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_17_3-result.json b/script-python/journal/reentrancy/results/buggy_17_3-result.json deleted file mode 100644 index 5c6972769..000000000 --- a/script-python/journal/reentrancy/results/buggy_17_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_17_3.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 215, - "opcodes": 607, - "download-bytecode": false, - "actual-time": 215, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_17_4-result.json b/script-python/journal/reentrancy/results/buggy_17_4-result.json deleted file mode 100644 index cad7a6d24..000000000 --- a/script-python/journal/reentrancy/results/buggy_17_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_17_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 165, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 165, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_18_1-result.json b/script-python/journal/reentrancy/results/buggy_18_1-result.json deleted file mode 100644 index 3ed371d48..000000000 --- a/script-python/journal/reentrancy/results/buggy_18_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_18_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 358, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 358, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_18_2-result.json b/script-python/journal/reentrancy/results/buggy_18_2-result.json deleted file mode 100644 index 39024bb68..000000000 --- a/script-python/journal/reentrancy/results/buggy_18_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_18_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 176, - "opcodes": 45, - "download-bytecode": false, - "actual-time": 176, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_18_3-result.json b/script-python/journal/reentrancy/results/buggy_18_3-result.json deleted file mode 100644 index eac80f338..000000000 --- a/script-python/journal/reentrancy/results/buggy_18_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_18_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 200, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 200, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_18_4-result.json b/script-python/journal/reentrancy/results/buggy_18_4-result.json deleted file mode 100644 index b04a3a928..000000000 --- a/script-python/journal/reentrancy/results/buggy_18_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 10, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_18_4.bytecode", - "definitely-unreachable-jumps": 2, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 213, - "opcodes": 437, - "download-bytecode": false, - "actual-time": 213, - "dump-report": false, - "resolved-jumps": 10 -} diff --git a/script-python/journal/reentrancy/results/buggy_19_1-result.json b/script-python/journal/reentrancy/results/buggy_19_1-result.json deleted file mode 100644 index 5a3db1f8c..000000000 --- a/script-python/journal/reentrancy/results/buggy_19_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_19_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 260, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 260, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_19_2-result.json b/script-python/journal/reentrancy/results/buggy_19_2-result.json deleted file mode 100644 index 55e257359..000000000 --- a/script-python/journal/reentrancy/results/buggy_19_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": -1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 0, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_19_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 145, - "opcodes": 128, - "download-bytecode": false, - "actual-time": 145, - "dump-report": false, - "resolved-jumps": 0 -} diff --git a/script-python/journal/reentrancy/results/buggy_19_3-result.json b/script-python/journal/reentrancy/results/buggy_19_3-result.json deleted file mode 100644 index f27c737ca..000000000 --- a/script-python/journal/reentrancy/results/buggy_19_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_19_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 269, - "opcodes": 66, - "download-bytecode": false, - "actual-time": 269, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_1_1-result.json b/script-python/journal/reentrancy/results/buggy_1_1-result.json deleted file mode 100644 index fb1dd79ed..000000000 --- a/script-python/journal/reentrancy/results/buggy_1_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_1_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 436, - "opcodes": 340, - "download-bytecode": false, - "actual-time": 436, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_20_1-result.json b/script-python/journal/reentrancy/results/buggy_20_1-result.json deleted file mode 100644 index 40dcd43bb..000000000 --- a/script-python/journal/reentrancy/results/buggy_20_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 9, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_20_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 266, - "opcodes": 577, - "download-bytecode": false, - "actual-time": 266, - "dump-report": false, - "resolved-jumps": 9 -} diff --git a/script-python/journal/reentrancy/results/buggy_20_2-result.json b/script-python/journal/reentrancy/results/buggy_20_2-result.json deleted file mode 100644 index b61a1b9f5..000000000 --- a/script-python/journal/reentrancy/results/buggy_20_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": -1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 0, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_20_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 187, - "opcodes": 53, - "download-bytecode": false, - "actual-time": 187, - "dump-report": false, - "resolved-jumps": 0 -} diff --git a/script-python/journal/reentrancy/results/buggy_21_1-result.json b/script-python/journal/reentrancy/results/buggy_21_1-result.json deleted file mode 100644 index 0b9f88243..000000000 --- a/script-python/journal/reentrancy/results/buggy_21_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_21_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 188, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 188, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_21_2-result.json b/script-python/journal/reentrancy/results/buggy_21_2-result.json deleted file mode 100644 index fc0eae3c1..000000000 --- a/script-python/journal/reentrancy/results/buggy_21_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 2, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_21_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 195, - "opcodes": 213, - "download-bytecode": false, - "actual-time": 195, - "dump-report": false, - "resolved-jumps": 2 -} diff --git a/script-python/journal/reentrancy/results/buggy_22_1-result.json b/script-python/journal/reentrancy/results/buggy_22_1-result.json deleted file mode 100644 index 6458e8aad..000000000 --- a/script-python/journal/reentrancy/results/buggy_22_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": -1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 0, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_22_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 277, - "opcodes": 155, - "download-bytecode": false, - "actual-time": 277, - "dump-report": false, - "resolved-jumps": 0 -} diff --git a/script-python/journal/reentrancy/results/buggy_22_2-result.json b/script-python/journal/reentrancy/results/buggy_22_2-result.json deleted file mode 100644 index 957cf9811..000000000 --- a/script-python/journal/reentrancy/results/buggy_22_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_22_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 248, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 248, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_22_3-result.json b/script-python/journal/reentrancy/results/buggy_22_3-result.json deleted file mode 100644 index e768ce1f5..000000000 --- a/script-python/journal/reentrancy/results/buggy_22_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_22_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 217, - "opcodes": 66, - "download-bytecode": false, - "actual-time": 217, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_22_4-result.json b/script-python/journal/reentrancy/results/buggy_22_4-result.json deleted file mode 100644 index 75743ffc3..000000000 --- a/script-python/journal/reentrancy/results/buggy_22_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_22_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 231, - "opcodes": 21, - "download-bytecode": false, - "actual-time": 231, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_23_1-result.json b/script-python/journal/reentrancy/results/buggy_23_1-result.json deleted file mode 100644 index 34beaaa9a..000000000 --- a/script-python/journal/reentrancy/results/buggy_23_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 22, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_23_1.bytecode", - "definitely-unreachable-jumps": 4, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 408, - "opcodes": 478, - "download-bytecode": false, - "actual-time": 408, - "dump-report": false, - "resolved-jumps": 22 -} diff --git a/script-python/journal/reentrancy/results/buggy_23_2-result.json b/script-python/journal/reentrancy/results/buggy_23_2-result.json deleted file mode 100644 index 13476f08f..000000000 --- a/script-python/journal/reentrancy/results/buggy_23_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_23_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 187, - "opcodes": 51, - "download-bytecode": false, - "actual-time": 187, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_23_3-result.json b/script-python/journal/reentrancy/results/buggy_23_3-result.json deleted file mode 100644 index 2b44851cb..000000000 --- a/script-python/journal/reentrancy/results/buggy_23_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_23_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 179, - "opcodes": 54, - "download-bytecode": false, - "actual-time": 179, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_23_4-result.json b/script-python/journal/reentrancy/results/buggy_23_4-result.json deleted file mode 100644 index 6cb67c83b..000000000 --- a/script-python/journal/reentrancy/results/buggy_23_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_23_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 148, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 148, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_24_1-result.json b/script-python/journal/reentrancy/results/buggy_24_1-result.json deleted file mode 100644 index 280a50daa..000000000 --- a/script-python/journal/reentrancy/results/buggy_24_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 5, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_24_1.bytecode", - "definitely-unreachable-jumps": 1, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 171, - "opcodes": 576, - "download-bytecode": false, - "actual-time": 171, - "dump-report": false, - "resolved-jumps": 5 -} diff --git a/script-python/journal/reentrancy/results/buggy_24_2-result.json b/script-python/journal/reentrancy/results/buggy_24_2-result.json deleted file mode 100644 index 92a13cc4a..000000000 --- a/script-python/journal/reentrancy/results/buggy_24_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_24_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 171, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 171, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_25_1-result.json b/script-python/journal/reentrancy/results/buggy_25_1-result.json deleted file mode 100644 index ac048aa30..000000000 --- a/script-python/journal/reentrancy/results/buggy_25_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_25_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 227, - "opcodes": 114, - "download-bytecode": false, - "actual-time": 227, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_26_1-result.json b/script-python/journal/reentrancy/results/buggy_26_1-result.json deleted file mode 100644 index 7e0746a08..000000000 --- a/script-python/journal/reentrancy/results/buggy_26_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_26_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 163, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 163, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_26_2-result.json b/script-python/journal/reentrancy/results/buggy_26_2-result.json deleted file mode 100644 index 3880fa092..000000000 --- a/script-python/journal/reentrancy/results/buggy_26_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_26_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 213, - "opcodes": 340, - "download-bytecode": false, - "actual-time": 213, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_27_1-result.json b/script-python/journal/reentrancy/results/buggy_27_1-result.json deleted file mode 100644 index 73fa014a1..000000000 --- a/script-python/journal/reentrancy/results/buggy_27_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 9, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_27_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 224, - "opcodes": 424, - "download-bytecode": false, - "actual-time": 224, - "dump-report": false, - "resolved-jumps": 9 -} diff --git a/script-python/journal/reentrancy/results/buggy_27_2-result.json b/script-python/journal/reentrancy/results/buggy_27_2-result.json deleted file mode 100644 index f9c17384a..000000000 --- a/script-python/journal/reentrancy/results/buggy_27_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_27_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 205, - "opcodes": 42, - "download-bytecode": false, - "actual-time": 205, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_27_3-result.json b/script-python/journal/reentrancy/results/buggy_27_3-result.json deleted file mode 100644 index 220558a13..000000000 --- a/script-python/journal/reentrancy/results/buggy_27_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_27_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 178, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 178, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_28_1-result.json b/script-python/journal/reentrancy/results/buggy_28_1-result.json deleted file mode 100644 index 5be862d79..000000000 --- a/script-python/journal/reentrancy/results/buggy_28_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 8, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_28_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 196, - "opcodes": 321, - "download-bytecode": false, - "actual-time": 196, - "dump-report": false, - "resolved-jumps": 8 -} diff --git a/script-python/journal/reentrancy/results/buggy_28_2-result.json b/script-python/journal/reentrancy/results/buggy_28_2-result.json deleted file mode 100644 index 62768140f..000000000 --- a/script-python/journal/reentrancy/results/buggy_28_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_28_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 128, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 128, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_29_1-result.json b/script-python/journal/reentrancy/results/buggy_29_1-result.json deleted file mode 100644 index f6f10affe..000000000 --- a/script-python/journal/reentrancy/results/buggy_29_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_29_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 230, - "opcodes": 120, - "download-bytecode": false, - "actual-time": 230, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_29_2-result.json b/script-python/journal/reentrancy/results/buggy_29_2-result.json deleted file mode 100644 index 845ad1482..000000000 --- a/script-python/journal/reentrancy/results/buggy_29_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_29_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 228, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 228, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_2_1-result.json b/script-python/journal/reentrancy/results/buggy_2_1-result.json deleted file mode 100644 index 89f80ad2e..000000000 --- a/script-python/journal/reentrancy/results/buggy_2_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 20, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_2_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 244, - "opcodes": 523, - "download-bytecode": false, - "actual-time": 244, - "dump-report": false, - "resolved-jumps": 20 -} diff --git a/script-python/journal/reentrancy/results/buggy_30_1-result.json b/script-python/journal/reentrancy/results/buggy_30_1-result.json deleted file mode 100644 index 42ca68ea4..000000000 --- a/script-python/journal/reentrancy/results/buggy_30_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_30_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 136, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 136, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_30_2-result.json b/script-python/journal/reentrancy/results/buggy_30_2-result.json deleted file mode 100644 index d0fff92e3..000000000 --- a/script-python/journal/reentrancy/results/buggy_30_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 24, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_30_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 247, - "opcodes": 613, - "download-bytecode": false, - "actual-time": 247, - "dump-report": false, - "resolved-jumps": 24 -} diff --git a/script-python/journal/reentrancy/results/buggy_30_3-result.json b/script-python/journal/reentrancy/results/buggy_30_3-result.json deleted file mode 100644 index b0a0b25f5..000000000 --- a/script-python/journal/reentrancy/results/buggy_30_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_30_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 252, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 252, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_30_4-result.json b/script-python/journal/reentrancy/results/buggy_30_4-result.json deleted file mode 100644 index 49b99fdba..000000000 --- a/script-python/journal/reentrancy/results/buggy_30_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 12, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_30_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 126, - "opcodes": 443, - "download-bytecode": false, - "actual-time": 126, - "dump-report": false, - "resolved-jumps": 12 -} diff --git a/script-python/journal/reentrancy/results/buggy_30_5-result.json b/script-python/journal/reentrancy/results/buggy_30_5-result.json deleted file mode 100644 index 5dd6b11f0..000000000 --- a/script-python/journal/reentrancy/results/buggy_30_5-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_30_5.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 134, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 134, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_31_1-result.json b/script-python/journal/reentrancy/results/buggy_31_1-result.json deleted file mode 100644 index ca77567e8..000000000 --- a/script-python/journal/reentrancy/results/buggy_31_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_31_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 163, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 163, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_31_2-result.json b/script-python/journal/reentrancy/results/buggy_31_2-result.json deleted file mode 100644 index 473419516..000000000 --- a/script-python/journal/reentrancy/results/buggy_31_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 2, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_31_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 175, - "opcodes": 218, - "download-bytecode": false, - "actual-time": 175, - "dump-report": false, - "resolved-jumps": 2 -} diff --git a/script-python/journal/reentrancy/results/buggy_32_1-result.json b/script-python/journal/reentrancy/results/buggy_32_1-result.json deleted file mode 100644 index 6d6e555c7..000000000 --- a/script-python/journal/reentrancy/results/buggy_32_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 16, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_32_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 571, - "opcodes": 438, - "download-bytecode": false, - "actual-time": 571, - "dump-report": false, - "resolved-jumps": 16 -} diff --git a/script-python/journal/reentrancy/results/buggy_32_2-result.json b/script-python/journal/reentrancy/results/buggy_32_2-result.json deleted file mode 100644 index 3e62eeb2d..000000000 --- a/script-python/journal/reentrancy/results/buggy_32_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_32_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 197, - "opcodes": 51, - "download-bytecode": false, - "actual-time": 197, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_32_3-result.json b/script-python/journal/reentrancy/results/buggy_32_3-result.json deleted file mode 100644 index 99b91b62f..000000000 --- a/script-python/journal/reentrancy/results/buggy_32_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_32_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 214, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 214, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_33_1-result.json b/script-python/journal/reentrancy/results/buggy_33_1-result.json deleted file mode 100644 index ddc9f9987..000000000 --- a/script-python/journal/reentrancy/results/buggy_33_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_33_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 240, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 240, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_33_2-result.json b/script-python/journal/reentrancy/results/buggy_33_2-result.json deleted file mode 100644 index 117db5cea..000000000 --- a/script-python/journal/reentrancy/results/buggy_33_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_33_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 125, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 125, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_33_3-result.json b/script-python/journal/reentrancy/results/buggy_33_3-result.json deleted file mode 100644 index f1181dfa7..000000000 --- a/script-python/journal/reentrancy/results/buggy_33_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 2, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_33_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 294, - "opcodes": 213, - "download-bytecode": false, - "actual-time": 294, - "dump-report": false, - "resolved-jumps": 2 -} diff --git a/script-python/journal/reentrancy/results/buggy_34_1-result.json b/script-python/journal/reentrancy/results/buggy_34_1-result.json deleted file mode 100644 index 72f1d482b..000000000 --- a/script-python/journal/reentrancy/results/buggy_34_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_34_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 600, - "opcodes": 454, - "download-bytecode": false, - "actual-time": 600, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_34_2-result.json b/script-python/journal/reentrancy/results/buggy_34_2-result.json deleted file mode 100644 index 5b10bcbee..000000000 --- a/script-python/journal/reentrancy/results/buggy_34_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_34_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 204, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 204, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_34_3-result.json b/script-python/journal/reentrancy/results/buggy_34_3-result.json deleted file mode 100644 index d08e5e40f..000000000 --- a/script-python/journal/reentrancy/results/buggy_34_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_34_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 190, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 190, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_35_1-result.json b/script-python/journal/reentrancy/results/buggy_35_1-result.json deleted file mode 100644 index 42caa169c..000000000 --- a/script-python/journal/reentrancy/results/buggy_35_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_35_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 202, - "opcodes": 186, - "download-bytecode": false, - "actual-time": 202, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_35_2-result.json b/script-python/journal/reentrancy/results/buggy_35_2-result.json deleted file mode 100644 index e3edbd0cb..000000000 --- a/script-python/journal/reentrancy/results/buggy_35_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_35_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 184, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 184, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_35_3-result.json b/script-python/journal/reentrancy/results/buggy_35_3-result.json deleted file mode 100644 index 413f77074..000000000 --- a/script-python/journal/reentrancy/results/buggy_35_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_35_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 149, - "opcodes": 69, - "download-bytecode": false, - "actual-time": 149, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_36_1-result.json b/script-python/journal/reentrancy/results/buggy_36_1-result.json deleted file mode 100644 index 3679e1191..000000000 --- a/script-python/journal/reentrancy/results/buggy_36_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": -1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 0, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_36_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 249, - "opcodes": 155, - "download-bytecode": false, - "actual-time": 249, - "dump-report": false, - "resolved-jumps": 0 -} diff --git a/script-python/journal/reentrancy/results/buggy_36_2-result.json b/script-python/journal/reentrancy/results/buggy_36_2-result.json deleted file mode 100644 index 07f3f4fe9..000000000 --- a/script-python/journal/reentrancy/results/buggy_36_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_36_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 273, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 273, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_36_3-result.json b/script-python/journal/reentrancy/results/buggy_36_3-result.json deleted file mode 100644 index 62bf9cdf0..000000000 --- a/script-python/journal/reentrancy/results/buggy_36_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_36_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 233, - "opcodes": 66, - "download-bytecode": false, - "actual-time": 233, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_36_4-result.json b/script-python/journal/reentrancy/results/buggy_36_4-result.json deleted file mode 100644 index 78a3b35eb..000000000 --- a/script-python/journal/reentrancy/results/buggy_36_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_36_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 191, - "opcodes": 21, - "download-bytecode": false, - "actual-time": 191, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_37_1-result.json b/script-python/journal/reentrancy/results/buggy_37_1-result.json deleted file mode 100644 index 1965793dc..000000000 --- a/script-python/journal/reentrancy/results/buggy_37_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_37_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 417, - "opcodes": 415, - "download-bytecode": false, - "actual-time": 417, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_37_2-result.json b/script-python/journal/reentrancy/results/buggy_37_2-result.json deleted file mode 100644 index 922c07971..000000000 --- a/script-python/journal/reentrancy/results/buggy_37_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_37_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 218, - "opcodes": 87, - "download-bytecode": false, - "actual-time": 218, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_37_3-result.json b/script-python/journal/reentrancy/results/buggy_37_3-result.json deleted file mode 100644 index e9b580ac4..000000000 --- a/script-python/journal/reentrancy/results/buggy_37_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_37_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 322, - "opcodes": 45, - "download-bytecode": false, - "actual-time": 322, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_38_1-result.json b/script-python/journal/reentrancy/results/buggy_38_1-result.json deleted file mode 100644 index b47275662..000000000 --- a/script-python/journal/reentrancy/results/buggy_38_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 8, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_38_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 397, - "opcodes": 321, - "download-bytecode": false, - "actual-time": 397, - "dump-report": false, - "resolved-jumps": 8 -} diff --git a/script-python/journal/reentrancy/results/buggy_38_2-result.json b/script-python/journal/reentrancy/results/buggy_38_2-result.json deleted file mode 100644 index 38822a77e..000000000 --- a/script-python/journal/reentrancy/results/buggy_38_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_38_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 171, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 171, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_39_1-result.json b/script-python/journal/reentrancy/results/buggy_39_1-result.json deleted file mode 100644 index 5cf078e85..000000000 --- a/script-python/journal/reentrancy/results/buggy_39_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_39_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 325, - "opcodes": 356, - "download-bytecode": false, - "actual-time": 325, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_3_1-result.json b/script-python/journal/reentrancy/results/buggy_3_1-result.json deleted file mode 100644 index a6c5a33a3..000000000 --- a/script-python/journal/reentrancy/results/buggy_3_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 20, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_3_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 279, - "opcodes": 523, - "download-bytecode": false, - "actual-time": 279, - "dump-report": false, - "resolved-jumps": 20 -} diff --git a/script-python/journal/reentrancy/results/buggy_40_1-result.json b/script-python/journal/reentrancy/results/buggy_40_1-result.json deleted file mode 100644 index eed1ce81a..000000000 --- a/script-python/journal/reentrancy/results/buggy_40_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_40_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 219, - "opcodes": 51, - "download-bytecode": false, - "actual-time": 219, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_40_2-result.json b/script-python/journal/reentrancy/results/buggy_40_2-result.json deleted file mode 100644 index 4e49b2d96..000000000 --- a/script-python/journal/reentrancy/results/buggy_40_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_40_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 238, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 238, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_40_3-result.json b/script-python/journal/reentrancy/results/buggy_40_3-result.json deleted file mode 100644 index dd5cac69e..000000000 --- a/script-python/journal/reentrancy/results/buggy_40_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 22, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_40_3.bytecode", - "definitely-unreachable-jumps": 4, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 395, - "opcodes": 543, - "download-bytecode": false, - "actual-time": 395, - "dump-report": false, - "resolved-jumps": 22 -} diff --git a/script-python/journal/reentrancy/results/buggy_41_1-result.json b/script-python/journal/reentrancy/results/buggy_41_1-result.json deleted file mode 100644 index 7076810b2..000000000 --- a/script-python/journal/reentrancy/results/buggy_41_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_41_1.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 292, - "opcodes": 651, - "download-bytecode": false, - "actual-time": 292, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_42_1-result.json b/script-python/journal/reentrancy/results/buggy_42_1-result.json deleted file mode 100644 index fba716c76..000000000 --- a/script-python/journal/reentrancy/results/buggy_42_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_42_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 231, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 231, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_42_2-result.json b/script-python/journal/reentrancy/results/buggy_42_2-result.json deleted file mode 100644 index ff165f017..000000000 --- a/script-python/journal/reentrancy/results/buggy_42_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_42_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 144, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 144, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_42_3-result.json b/script-python/journal/reentrancy/results/buggy_42_3-result.json deleted file mode 100644 index b9cb6696e..000000000 --- a/script-python/journal/reentrancy/results/buggy_42_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 2, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_42_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 186, - "opcodes": 213, - "download-bytecode": false, - "actual-time": 186, - "dump-report": false, - "resolved-jumps": 2 -} diff --git a/script-python/journal/reentrancy/results/buggy_43_1-result.json b/script-python/journal/reentrancy/results/buggy_43_1-result.json deleted file mode 100644 index 2ff5caecf..000000000 --- a/script-python/journal/reentrancy/results/buggy_43_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_43_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 131, - "opcodes": 21, - "download-bytecode": false, - "actual-time": 131, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_43_2-result.json b/script-python/journal/reentrancy/results/buggy_43_2-result.json deleted file mode 100644 index 78c33f0e8..000000000 --- a/script-python/journal/reentrancy/results/buggy_43_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_43_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 185, - "opcodes": 21, - "download-bytecode": false, - "actual-time": 185, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_43_3-result.json b/script-python/journal/reentrancy/results/buggy_43_3-result.json deleted file mode 100644 index f1f44523d..000000000 --- a/script-python/journal/reentrancy/results/buggy_43_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_43_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 245, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 245, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_43_4-result.json b/script-python/journal/reentrancy/results/buggy_43_4-result.json deleted file mode 100644 index 98471d01a..000000000 --- a/script-python/journal/reentrancy/results/buggy_43_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_43_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 249, - "opcodes": 117, - "download-bytecode": false, - "actual-time": 249, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_43_5-result.json b/script-python/journal/reentrancy/results/buggy_43_5-result.json deleted file mode 100644 index 6d66fcff3..000000000 --- a/script-python/journal/reentrancy/results/buggy_43_5-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_43_5.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 198, - "opcodes": 45, - "download-bytecode": false, - "actual-time": 198, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_43_6-result.json b/script-python/journal/reentrancy/results/buggy_43_6-result.json deleted file mode 100644 index 4e080126e..000000000 --- a/script-python/journal/reentrancy/results/buggy_43_6-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_43_6.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 218, - "opcodes": 27, - "download-bytecode": false, - "actual-time": 218, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_44_1-result.json b/script-python/journal/reentrancy/results/buggy_44_1-result.json deleted file mode 100644 index 805394366..000000000 --- a/script-python/journal/reentrancy/results/buggy_44_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_44_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 178, - "opcodes": 42, - "download-bytecode": false, - "actual-time": 178, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_44_2-result.json b/script-python/journal/reentrancy/results/buggy_44_2-result.json deleted file mode 100644 index f7fe3d2d5..000000000 --- a/script-python/journal/reentrancy/results/buggy_44_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_44_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 233, - "opcodes": 117, - "download-bytecode": false, - "actual-time": 233, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_44_3-result.json b/script-python/journal/reentrancy/results/buggy_44_3-result.json deleted file mode 100644 index 55b16ed54..000000000 --- a/script-python/journal/reentrancy/results/buggy_44_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_44_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 261, - "opcodes": 21, - "download-bytecode": false, - "actual-time": 261, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_44_4-result.json b/script-python/journal/reentrancy/results/buggy_44_4-result.json deleted file mode 100644 index b8123c740..000000000 --- a/script-python/journal/reentrancy/results/buggy_44_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_44_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 115, - "opcodes": 24, - "download-bytecode": false, - "actual-time": 115, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_44_5-result.json b/script-python/journal/reentrancy/results/buggy_44_5-result.json deleted file mode 100644 index 0f6c7c492..000000000 --- a/script-python/journal/reentrancy/results/buggy_44_5-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_44_5.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 279, - "opcodes": 63, - "download-bytecode": false, - "actual-time": 279, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_44_6-result.json b/script-python/journal/reentrancy/results/buggy_44_6-result.json deleted file mode 100644 index e57658116..000000000 --- a/script-python/journal/reentrancy/results/buggy_44_6-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_44_6.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 199, - "opcodes": 27, - "download-bytecode": false, - "actual-time": 199, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_45_1-result.json b/script-python/journal/reentrancy/results/buggy_45_1-result.json deleted file mode 100644 index b31f0b221..000000000 --- a/script-python/journal/reentrancy/results/buggy_45_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 4, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_45_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 146, - "opcodes": 200, - "download-bytecode": false, - "actual-time": 146, - "dump-report": false, - "resolved-jumps": 4 -} diff --git a/script-python/journal/reentrancy/results/buggy_46_1-result.json b/script-python/journal/reentrancy/results/buggy_46_1-result.json deleted file mode 100644 index 3837e2b14..000000000 --- a/script-python/journal/reentrancy/results/buggy_46_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_46_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 186, - "opcodes": 66, - "download-bytecode": false, - "actual-time": 186, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_47_1-result.json b/script-python/journal/reentrancy/results/buggy_47_1-result.json deleted file mode 100644 index 1975b0f31..000000000 --- a/script-python/journal/reentrancy/results/buggy_47_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 5, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_47_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 240, - "opcodes": 416, - "download-bytecode": false, - "actual-time": 240, - "dump-report": false, - "resolved-jumps": 5 -} diff --git a/script-python/journal/reentrancy/results/buggy_47_2-result.json b/script-python/journal/reentrancy/results/buggy_47_2-result.json deleted file mode 100644 index f02a6b2ce..000000000 --- a/script-python/journal/reentrancy/results/buggy_47_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_47_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 502, - "opcodes": 350, - "download-bytecode": false, - "actual-time": 502, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_48_1-result.json b/script-python/journal/reentrancy/results/buggy_48_1-result.json deleted file mode 100644 index 457253297..000000000 --- a/script-python/journal/reentrancy/results/buggy_48_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_48_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 114, - "opcodes": 84, - "download-bytecode": false, - "actual-time": 114, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_48_2-result.json b/script-python/journal/reentrancy/results/buggy_48_2-result.json deleted file mode 100644 index 2aaf34a83..000000000 --- a/script-python/journal/reentrancy/results/buggy_48_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_48_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 380, - "opcodes": 432, - "download-bytecode": false, - "actual-time": 380, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_48_3-result.json b/script-python/journal/reentrancy/results/buggy_48_3-result.json deleted file mode 100644 index 632ee3027..000000000 --- a/script-python/journal/reentrancy/results/buggy_48_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_48_3.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 238, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 238, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_49_1-result.json b/script-python/journal/reentrancy/results/buggy_49_1-result.json deleted file mode 100644 index fea7c0398..000000000 --- a/script-python/journal/reentrancy/results/buggy_49_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 15, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_49_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 432, - "opcodes": 356, - "download-bytecode": false, - "actual-time": 432, - "dump-report": false, - "resolved-jumps": 15 -} diff --git a/script-python/journal/reentrancy/results/buggy_4_1-result.json b/script-python/journal/reentrancy/results/buggy_4_1-result.json deleted file mode 100644 index 1485742a3..000000000 --- a/script-python/journal/reentrancy/results/buggy_4_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 41, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_4_1.bytecode", - "definitely-unreachable-jumps": 11, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 520, - "opcodes": 1056, - "download-bytecode": false, - "actual-time": 520, - "dump-report": false, - "resolved-jumps": 41 -} diff --git a/script-python/journal/reentrancy/results/buggy_50_1-result.json b/script-python/journal/reentrancy/results/buggy_50_1-result.json deleted file mode 100644 index 16662ab0e..000000000 --- a/script-python/journal/reentrancy/results/buggy_50_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_50_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 275, - "opcodes": 153, - "download-bytecode": false, - "actual-time": 275, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_5_1-result.json b/script-python/journal/reentrancy/results/buggy_5_1-result.json deleted file mode 100644 index e33d6226a..000000000 --- a/script-python/journal/reentrancy/results/buggy_5_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_5_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 230, - "opcodes": 42, - "download-bytecode": false, - "actual-time": 230, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_5_2-result.json b/script-python/journal/reentrancy/results/buggy_5_2-result.json deleted file mode 100644 index c87f90711..000000000 --- a/script-python/journal/reentrancy/results/buggy_5_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_5_2.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 306, - "opcodes": 702, - "download-bytecode": false, - "actual-time": 306, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_5_3-result.json b/script-python/journal/reentrancy/results/buggy_5_3-result.json deleted file mode 100644 index 2d31d22b2..000000000 --- a/script-python/journal/reentrancy/results/buggy_5_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_5_3.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 254, - "opcodes": 648, - "download-bytecode": false, - "actual-time": 254, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_6_1-result.json b/script-python/journal/reentrancy/results/buggy_6_1-result.json deleted file mode 100644 index 25d21df48..000000000 --- a/script-python/journal/reentrancy/results/buggy_6_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": -1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 0, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_6_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 190, - "opcodes": 222, - "download-bytecode": false, - "actual-time": 190, - "dump-report": false, - "resolved-jumps": 0 -} diff --git a/script-python/journal/reentrancy/results/buggy_7_1-result.json b/script-python/journal/reentrancy/results/buggy_7_1-result.json deleted file mode 100644 index 6970186a4..000000000 --- a/script-python/journal/reentrancy/results/buggy_7_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": -1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 0, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_7_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 237, - "opcodes": 222, - "download-bytecode": false, - "actual-time": 237, - "dump-report": false, - "resolved-jumps": 0 -} diff --git a/script-python/journal/reentrancy/results/buggy_8_1-result.json b/script-python/journal/reentrancy/results/buggy_8_1-result.json deleted file mode 100644 index 88e98e46e..000000000 --- a/script-python/journal/reentrancy/results/buggy_8_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_8_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 198, - "opcodes": 42, - "download-bytecode": false, - "actual-time": 198, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_8_2-result.json b/script-python/journal/reentrancy/results/buggy_8_2-result.json deleted file mode 100644 index 94ed22a91..000000000 --- a/script-python/journal/reentrancy/results/buggy_8_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_8_2.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 327, - "opcodes": 648, - "download-bytecode": false, - "actual-time": 327, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_8_3-result.json b/script-python/journal/reentrancy/results/buggy_8_3-result.json deleted file mode 100644 index a7d34c1db..000000000 --- a/script-python/journal/reentrancy/results/buggy_8_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 28, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_8_3.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 330, - "opcodes": 702, - "download-bytecode": false, - "actual-time": 330, - "dump-report": false, - "resolved-jumps": 28 -} diff --git a/script-python/journal/reentrancy/results/buggy_9_1-result.json b/script-python/journal/reentrancy/results/buggy_9_1-result.json deleted file mode 100644 index cd04b408a..000000000 --- a/script-python/journal/reentrancy/results/buggy_9_1-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_9_1.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 205, - "opcodes": 42, - "download-bytecode": false, - "actual-time": 205, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_9_2-result.json b/script-python/journal/reentrancy/results/buggy_9_2-result.json deleted file mode 100644 index 0b5bbc294..000000000 --- a/script-python/journal/reentrancy/results/buggy_9_2-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 1, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_9_2.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 180, - "opcodes": 16, - "download-bytecode": false, - "actual-time": 180, - "dump-report": false, - "resolved-jumps": 1 -} diff --git a/script-python/journal/reentrancy/results/buggy_9_3-result.json b/script-python/journal/reentrancy/results/buggy_9_3-result.json deleted file mode 100644 index 512f2de5f..000000000 --- a/script-python/journal/reentrancy/results/buggy_9_3-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 29, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_9_3.bytecode", - "definitely-unreachable-jumps": 3, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 347, - "opcodes": 741, - "download-bytecode": false, - "actual-time": 347, - "dump-report": false, - "resolved-jumps": 29 -} diff --git a/script-python/journal/reentrancy/results/buggy_9_4-result.json b/script-python/journal/reentrancy/results/buggy_9_4-result.json deleted file mode 100644 index 7435ca084..000000000 --- a/script-python/journal/reentrancy/results/buggy_9_4-result.json +++ /dev/null @@ -1,25 +0,0 @@ -Picked up _JAVA_OPTIONS: -Xmx16000M -{ - "solved-jumps-percent": 1, - "current-thread": "main", - "dump-CFG": false, - "stack-size": 32, - "stack-set-size": 10, - "jumps": 16, - "time-lost-to-get-storage": 0, - "maybe-unsound-jumps": 0, - "output-directory": "execution/results/null", - "cores": 1, - "filepath": "./reentrancy/bytecode/buggy_9_4.bytecode", - "definitely-unreachable-jumps": 0, - "unsound-jumps": 0, - "dump-statistics": false, - "maybe-unreachable-jumps": 0, - "use-storage-live": false, - "time": 410, - "opcodes": 434, - "download-bytecode": false, - "actual-time": 410, - "dump-report": false, - "resolved-jumps": 16 -} diff --git a/script-python/journal/run-benchmark.py b/script-python/journal/run-benchmark.py index f6be18509..1c5d36796 100644 --- a/script-python/journal/run-benchmark.py +++ b/script-python/journal/run-benchmark.py @@ -7,20 +7,64 @@ # Directory paths bytecode_dir = './reentrancy/bytecode' results_dir = './reentrancy/results' +result_evmlisa_dir = results_dir + '/evmlisa' +result_ethersolve_dir = results_dir + '/ethersolve' max_threads = os.cpu_count() - 3 # Core avaiable +#################################### Utility +def delete_tmp_files(directory): + """ + Deletes files in the specified directory that contain 'opcodes' in their name. + + Args: + directory (str): The path to the directory from which to delete files. + """ + try: + for filename in os.listdir(directory): + if 'opcodes' in filename: + file_path = os.path.join(directory, filename) + os.remove(file_path) + # print(f"Deleted: {file_path}") + except Exception as e: + print(f"An error occurred: {e}") + +def clean_files(directory_path): + """ + Removes lines containing "Picked up _JAVA_OPTIONS" from all files in the specified directory. + + Args: + directory_path (str): The path to the directory containing files to clean. + """ + for filename in os.listdir(directory_path): + file_path = os.path.join(directory_path, filename) + + if os.path.isfile(file_path): + with open(file_path, 'r') as file: + lines = file.readlines() + + cleaned_lines = [line for line in lines if "Picked up _JAVA_OPTIONS" not in line] + + if len(cleaned_lines) != len(lines): + with open(file_path, 'w') as file: + file.writelines(cleaned_lines) + # print(f"Cleaned {filename}") + # else: + # print(f"No changes made to {filename}") + +#################################### EVMLiSA + def build_evmlisa(): - print("Building EVMLiSA...") + print("[EVMLISA] Building EVMLiSA...") command = ( f"cd ../../ && " - f"./gradlew build 2> /dev/null && " + f"./gradlew build > /dev/null 2> /dev/null && " f"./gradlew distZip > /dev/null 2> /dev/null && " f"unzip -o build/distributions/evm-lisa.zip -d script-python/journal/execution > /dev/null" ) subprocess.run(command, shell=True, check=True) - print("EVMLiSA built successfully.") + print("[EVMLISA] EVMLiSA built successfully.") -def run_analysis(bytecode_file): +def run_evmlisa(bytecode_file): """ Runs the EVMLiSA analysis for a given bytecode file. @@ -32,7 +76,7 @@ def run_analysis(bytecode_file): """ bytecode_filename = os.path.basename(bytecode_file) result_filename = f"{os.path.splitext(bytecode_filename)[0]}-result.json" - result_filepath = os.path.join(results_dir, result_filename) + result_filepath = os.path.join(result_evmlisa_dir, result_filename) command = ( f"./execution/evm-lisa/bin/evm-lisa " @@ -46,31 +90,15 @@ def run_analysis(bytecode_file): subprocess.run(command, shell=True, check=True) return result_filepath except subprocess.CalledProcessError as e: - print(f"Error analyzing {bytecode_file}: {e}") + print(f"[EVMLISA] Error analyzing {bytecode_file}: {e}") return None - -def delete_tmp_files(directory): - """ - Deletes files in the specified directory that contain 'opcodes' in their name. - Args: - directory (str): The path to the directory from which to delete files. - """ - try: - for filename in os.listdir(directory): - if 'opcodes' in filename: - file_path = os.path.join(directory, filename) - os.remove(file_path) - # print(f"Deleted: {file_path}") - except Exception as e: - print(f"An error occurred: {e}") - -def main(): +def evmlisa(): """ Main function to run EVMLiSA analyses on multiple bytecode files. """ - # Create results directory if it doesn't exist - os.makedirs(results_dir, exist_ok=True) + delete_tmp_files(result_evmlisa_dir) + os.makedirs(result_evmlisa_dir, exist_ok=True) # Build EVMLiSA build_evmlisa() @@ -78,24 +106,101 @@ def main(): # Find all bytecode files bytecode_files = [os.path.join(bytecode_dir, f) for f in os.listdir(bytecode_dir) if f.endswith(".bytecode")] num_files = len(bytecode_files) - print(f"Found {num_files} bytecode files for analysis.") - print(f"Starting {max_threads} parallels analysis") + print(f"[EVMLISA] Found {num_files} bytecode files for analysis.") + print(f"[EVMLISA] Starting {max_threads} parallels analysis") analysis_ended = 0 # Run analyses in parallel with ThreadPoolExecutor(max_workers=max_threads) as executor: - future_to_file = {executor.submit(run_analysis, file): file for file in bytecode_files} + future_to_file = {executor.submit(run_evmlisa, file): file for file in bytecode_files} - with tqdm(total=num_files, desc="Analyzing bytecode files") as pbar: + with tqdm(total=num_files, desc="[EVMLISA] Analyzing bytecode files") as pbar: for future in as_completed(future_to_file): result_file = future.result() if result_file: # print(f"Analysis complete for {result_file}") analysis_ended += 1 pbar.update(1) - print(f"Completed {analysis_ended}/{num_files}.") + print(f"[EVMLISA] Completed {analysis_ended}/{num_files}.") delete_tmp_files(bytecode_dir) +#################################### EtherSolve + +def run_ethersolve(bytecode_file): + """ + Runs the EtherSolve analysis for a given bytecode file. + + Args: + bytecode_file (str): The path to the bytecode file. + + Returns: + str: The name of the results file. + """ + bytecode_filename = os.path.basename(bytecode_file) + filename = os.path.splitext(bytecode_filename)[0] + result_filename = filename + "-result.json" + result_filepath = os.path.join(result_ethersolve_dir, result_filename) + + command = ( + f"sleep 1 && " + f"java -jar EtherSolve/EtherSolve.jar " + f"{bytecode_file} " + f"--json --creation " + f"--re-entrancy " + f"-o {result_filepath} 2> /dev/null && " + f"mv *re-entrancy.csv {result_ethersolve_dir}/{filename}-reentrancy.csv" + ) + + try: + subprocess.run(command, shell=True, check=True) + return result_filepath + except subprocess.CalledProcessError as e: + # print(f"[ETHERSOLVE] Error analyzing {bytecode_file}: {e}") + return None + +def ethersolve(): + """ + Main function to run EtherSolve analyses on multiple bytecode files. + """ + delete_tmp_files(result_ethersolve_dir) + os.makedirs(result_ethersolve_dir, exist_ok=True) + + # Find all bytecode files + bytecode_files = [os.path.join(bytecode_dir, f) for f in os.listdir(bytecode_dir) if f.endswith(".bytecode")] + num_files = len(bytecode_files) + print(f"[ETHERSOLVE] Found {num_files} bytecode files for analysis.") + print(f"[ETHERSOLVE] Starting {max_threads} parallels analysis") + + analysis_ended = 0 + + # Run analyses in parallel + with ThreadPoolExecutor(max_workers=1) as executor: + future_to_file = {executor.submit(run_ethersolve, file): file for file in bytecode_files} + + with tqdm(total=num_files, desc="[ETHERSOLVE] Analyzing bytecode files") as pbar: + for future in as_completed(future_to_file): + result_file = future.result() + if result_file: + # print(f"Analysis complete for {result_file}") + analysis_ended += 1 + pbar.update(1) + print(f"[ETHERSOLVE] Completed {analysis_ended}/{num_files}.") + delete_tmp_files(bytecode_dir) + +#################################### Main + if __name__ == "__main__": - main() \ No newline at end of file + evmlisa_thread = threading.Thread(target=evmlisa) + ethersolve_thread = threading.Thread(target=ethersolve) + + evmlisa_thread.start() + ethersolve_thread.start() + + evmlisa_thread.join() + ethersolve_thread.join() + + print("Finished") + clean_files(result_evmlisa_dir) + + # TODO print of results \ No newline at end of file