Skip to content

Commit

Permalink
Merge pull request #19 from lisa-analyzer/not-jumpdest-top
Browse files Browse the repository at this point in the history 
Implementation of NotJumpdestTop and FakeMissedJumps
  • Loading branch information
@VincenzoArceri
VincenzoArceri authored May 20, 2024
2 parents 8eb6b25 + acba68f commit 94343b5
Show file tree
Hide file tree
Showing 7,779 changed files with 7,640,242 additions and 12,761,230 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
5,000 changes: 5,000 additions & 0 deletions benchmark/5000-benchmark.txt
View file

Large diffs are not rendered by default.

9 changes: 9 additions & 0 deletions benchmark/unsolved.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
0x6fc0c6b5be2ec4c4192ad107df1f7f616d254bfb
0x8a903238adde9942e46a219ba1b64a047d059c15
0x7dbe6839bdfccbebf97aa51bea8abb6af4bd4574
0x0595dc4959ab53bf5502e0dbae4992c7afe0b1d4
0xAa2B3180f13EA0c943f7462A2bdbd66d3e969018
0x088658e721474f07c0294ef4b4138c492753c0d3
0x344eda5ceafec3805821d6481058ad34494fc2c1
0x6FE40E37485e91603630CE42350E07723a1fcbaF
0x2eff8129d9c6238dab892d4f6c52371515a92f50
13 changes: 13 additions & 0 deletions ...0x000000000000003607fce1aC9e043a86675C5C2F/0x000000000000003607fce1aC9e043a86675C5C2F.sol
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6104,3 +6104,16 @@ ADDRESS
'22'(Unknown Opcode)
'2f'(Unknown Opcode)
RETURNDATACOPY
LOG2
PUSH5 0x6970667358
'22'(Unknown Opcode)
SLT
SHA3
'ec'(Unknown Opcode)
PUSH10 0xe097faa40b1dd7edff68
LOG2
CREATE2
'c6'(Unknown Opcode)
SWAP1
MSTORE
PUSH31 0x70894098594d1c74088f56d40ba064736f6c63430008170033
21 changes: 21 additions & 0 deletions ...0x00000000000060D035a8002956B5fb02e3968eec/0x00000000000060D035a8002956B5fb02e3968eec.sol
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8080,3 +8080,24 @@ PUSH1 0x24
PUSH1 0x00
REVERT
INVALID
LOG2
PUSH5 0x6970667358
'22'(Unknown Opcode)
SLT
SHA3
XOR
'ce'(Unknown Opcode)
PUSH8 0x3f691e4734eefc4a
'22'(Unknown Opcode)
SWAP11
'b3'(Unknown Opcode)
'bf'(Unknown Opcode)
AND
INVALID
'a9'(Unknown Opcode)
'c3'(Unknown Opcode)
CODESIZE
PUSH15 0x513cf9501ed41b8916304d64736f6c
PUSH4 0x43000817
STOP
CALLER
12 changes: 12 additions & 0 deletions ...0x000000000000A6fA31F5fC51c1640aAc76866750/0x000000000000A6fA31F5fC51c1640aAc76866750.sol
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2169,3 +2169,15 @@ DUP2
PUSH2 0x0eae
JUMP
INVALID
LOG2
PUSH5 0x6970667358
'22'(Unknown Opcode)
SLT
SHA3
PUSH31 0xfd8fbb6a46e6d3e53c6db6694ba92f97c4d51e5b7c00932edd3ff98d406d9d
PUSH5 0x736f6c6343
STOP
ADDMOD
OR
STOP
CALLER
Loading

0 comments on commit 94343b5

Please sign in to comment.