TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-adcb-736c-a0ee-23242b75fb17

complete
Chain ID
1
Address
0x970609f90e695e4fe3a6a7ee87e4dae7da8deecc
Block Number
—
Created
Fri, Dec 19, 2025 8:19 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
17671 artifact.fetch complete 1 / 3 3 months ago
17672 tool.cast_disasm complete 1 / 3 3 months ago
61302 analysis.bundle complete 1 / 3 1 week ago
61303 capability.graph complete 1 / 3 1 week ago
61304 detector.run complete 1 / 3 1 week ago
61305 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
5
EXT*/BALANCE
2
Total opcodes
2224
Flags
create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x3644e515
00000019: GT
0000001a: PUSH2 0x00a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0e30db0
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0e30db0
0000003a: EQ
0000003b: PUSH2 0x04b6
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd505accf
00000045: EQ
00000046: PUSH2 0x04be
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdd62ed3e
00000050: EQ
00000051: PUSH2 0x052b
00000054: JUMPI
00000055: PUSH2 0x013d
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xa9059cbb
00000060: EQ
00000061: PUSH2 0x043d
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xaa67c919
0000006b: EQ
0000006c: PUSH2 0x0483
0000006f: JUMPI
00000070: PUSH2 0x013d
00000073: JUMP
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0x3644e515
0000007b: EQ
0000007c: PUSH2 0x0393
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x70a08231
00000086: EQ
00000087: PUSH2 0x03a8
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x7ecebe00
00000091: EQ
00000092: PUSH2 0x03e8
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x95d89b41
0000009c: EQ
0000009d: PUSH2 0x0428
000000a0: JUMPI
000000a1: PUSH2 0x013d
000000a4: JUMP
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x23b872dd
000000ac: GT
000000ad: PUSH2 0x00fc
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x305bee16
000000b7: GT
000000b8: PUSH2 0x00e1
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x305bee16
000000c2: EQ
000000c3: PUSH2 0x030d
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x30adf81f
000000cd: EQ
000000ce: PUSH2 0x0353
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x313ce567
000000d8: EQ
000000d9: PUSH2 0x0368
000000dc: JUMPI
000000dd: PUSH2 0x013d
000000e0: JUMP
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x23b872dd
000000e8: EQ
000000e9: PUSH2 0x0293
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x2e1a7d4d
000000f3: EQ
000000f4: PUSH2 0x02e3
000000f7: JUMPI
000000f8: PUSH2 0x013d
000000fb: JUMP
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x06fdde03
00000103: EQ
00000104: PUSH2 0x0142
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x095ea7b3
0000010e: EQ
0000010f: PUSH2 0x01cc
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x18160ddd
00000119: EQ
0000011a: PUSH2 0x0226
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x205c2878
00000124: EQ
00000125: PUSH2 0x024d
00000128: JUMPI
00000129: PUSH2 0x013d
0000012c: JUMP
0000012d: JUMPDEST
0000012e: CALLDATASIZE
0000012f: PUSH2 0x013d
00000132: JUMPI
00000133: PUSH2 0x013a
00000136: PUSH2 0x0573
00000139: JUMP
0000013a: JUMPDEST
0000013b: POP
0000013c: STOP
0000013d: JUMPDEST
0000013e: PUSH1 0x00
00000140: DUP1
00000141: REVERT
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x0157
00000153: PUSH2 0x05a2
00000156: JUMP
00000157: JUMPDEST
00000158: PUSH1 0x40
0000015a: DUP1
0000015b: MLOAD
0000015c: PUSH1 0x20
0000015e: DUP1
0000015f: DUP3
00000160: MSTORE
00000161: DUP4
00000162: MLOAD
00000163: DUP2
00000164: DUP4
00000165: ADD
00000166: MSTORE
00000167: DUP4
00000168: MLOAD
00000169: SWAP2
0000016a: SWAP3
0000016b: DUP4
0000016c: SWAP3
0000016d: SWAP1
0000016e: DUP4
0000016f: ADD
00000170: SWAP2
00000171: DUP6
00000172: ADD
00000173: SWAP1
00000174: DUP1
00000175: DUP4
00000176: DUP4
00000177: PUSH1 0x00
00000179: JUMPDEST
0000017a: DUP4
0000017b: DUP2
0000017c: LT
0000017d: ISZERO
0000017e: PUSH2 0x0191
00000181: JUMPI
00000182: DUP2
00000183: DUP2
00000184: ADD
00000185: MLOAD
00000186: DUP4
00000187: DUP3
00000188: ADD
00000189: MSTORE
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: PUSH2 0x0179
00000190: JUMP
00000191: JUMPDEST
00000192: POP
00000193: POP
00000194: POP
00000195: POP
00000196: SWAP1
00000197: POP
00000198: SWAP1
00000199: DUP2
0000019a: ADD
0000019b: SWAP1
0000019c: PUSH1 0x1f
0000019e: AND
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x01be
000001a4: JUMPI
000001a5: DUP1
000001a6: DUP3
000001a7: SUB
000001a8: DUP1
000001a9: MLOAD
000001aa: PUSH1 0x01
000001ac: DUP4
000001ad: PUSH1 0x20
000001af: SUB
000001b0: PUSH2 0x0100
000001b3: EXP
000001b4: SUB
000001b5: NOT
000001b6: AND
000001b7: DUP2
000001b8: MSTORE
000001b9: PUSH1 0x20
000001bb: ADD
000001bc: SWAP2
000001bd: POP
000001be: JUMPDEST
000001bf: POP
000001c0: SWAP3
000001c1: POP
000001c2: POP
000001c3: POP
000001c4: PUSH1 0x40
000001c6: MLOAD
000001c7: DUP1
000001c8: SWAP2
000001c9: SUB
000001ca: SWAP1
000001cb: RETURN
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x0212
000001dd: PUSH1 0x04
000001df: DUP1
000001e0: CALLDATASIZE
000001e1: SUB
000001e2: PUSH1 0x40
000001e4: DUP2
000001e5: LT
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000206: DUP2
00000207: CALLDATALOAD
00000208: AND
00000209: SWAP1
0000020a: PUSH1 0x20
0000020c: ADD
0000020d: CALLDATALOAD
0000020e: PUSH2 0x05d9
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH1 0x40
00000215: DUP1
00000216: MLOAD
00000217: SWAP2
00000218: ISZERO
00000219: ISZERO
0000021a: DUP3
0000021b: MSTORE
0000021c: MLOAD
0000021d: SWAP1
0000021e: DUP2
0000021f: SWAP1
00000220: SUB
00000221: PUSH1 0x20
00000223: ADD
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x023b
00000237: PUSH2 0x05f0
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH1 0x40
0000023e: DUP1
0000023f: MLOAD
00000240: SWAP2
00000241: DUP3
00000242: MSTORE
00000243: MLOAD
00000244: SWAP1
00000245: DUP2
00000246: SWAP1
00000247: SUB
00000248: PUSH1 0x20
0000024a: ADD
0000024b: SWAP1
0000024c: RETURN
0000024d: JUMPDEST
0000024e: CALLVALUE
0000024f: DUP1
00000250: ISZERO
00000251: PUSH2 0x0259
00000254: JUMPI
00000255: PUSH1 0x00
00000257: DUP1
00000258: REVERT
00000259: JUMPDEST
0000025a: POP
0000025b: PUSH2 0x0212
0000025e: PUSH1 0x04
00000260: DUP1
00000261: CALLDATASIZE
00000262: SUB
00000263: PUSH1 0x40
00000265: DUP2
00000266: LT
00000267: ISZERO
00000268: PUSH2 0x0270
0000026b: JUMPI
0000026c: PUSH1 0x00
0000026e: DUP1
0000026f: REVERT
00000270: JUMPDEST
00000271: POP
00000272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000287: DUP2
00000288: CALLDATALOAD
00000289: AND
0000028a: SWAP1
0000028b: PUSH1 0x20
0000028d: ADD
0000028e: CALLDATALOAD
0000028f: PUSH2 0x05f4
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x0212
000002a4: PUSH1 0x04
000002a6: DUP1
000002a7: CALLDATASIZE
000002a8: SUB
000002a9: PUSH1 0x60
000002ab: DUP2
000002ac: LT
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002cd: DUP2
000002ce: CALLDATALOAD
000002cf: DUP2
000002d0: AND
000002d1: SWAP2
000002d2: PUSH1 0x20
000002d4: DUP2
000002d5: ADD
000002d6: CALLDATALOAD
000002d7: SWAP1
000002d8: SWAP2
000002d9: AND
000002da: SWAP1
000002db: PUSH1 0x40
000002dd: ADD
000002de: CALLDATALOAD
000002df: PUSH2 0x0716
000002e2: JUMP
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: DUP1
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: PUSH2 0x0212
000002f4: PUSH1 0x04
000002f6: DUP1
000002f7: CALLDATASIZE
000002f8: SUB
000002f9: PUSH1 0x20
000002fb: DUP2
000002fc: LT
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: CALLDATALOAD
00000309: PUSH2 0x07e5
0000030c: JUMP
0000030d: JUMPDEST
0000030e: CALLVALUE
0000030f: DUP1
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: POP
0000031b: PUSH2 0x0212
0000031e: PUSH1 0x04
00000320: DUP1
00000321: CALLDATASIZE
00000322: SUB
00000323: PUSH1 0x40
00000325: DUP2
00000326: LT
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000347: DUP2
00000348: CALLDATALOAD
00000349: AND
0000034a: SWAP1
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: CALLDATALOAD
0000034f: PUSH2 0x08e7
00000352: JUMP
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x023b
00000364: PUSH2 0x0af7
00000367: JUMP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x037d
00000379: PUSH2 0x0b1b
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH1 0x40
00000380: DUP1
00000381: MLOAD
00000382: PUSH1 0xff
00000384: SWAP1
00000385: SWAP3
00000386: AND
00000387: DUP3
00000388: MSTORE
00000389: MLOAD
0000038a: SWAP1
0000038b: DUP2
0000038c: SWAP1
0000038d: SUB
0000038e: PUSH1 0x20
00000390: ADD
00000391: SWAP1
00000392: RETURN
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x023b
000003a4: PUSH2 0x0b20
000003a7: JUMP
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: DUP1
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: POP
000003b6: PUSH2 0x023b
000003b9: PUSH1 0x04
000003bb: DUP1
000003bc: CALLDATASIZE
000003bd: SUB
000003be: PUSH1 0x20
000003c0: DUP2
000003c1: LT
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: POP
000003cd: CALLDATALOAD
000003ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e3: AND
000003e4: PUSH2 0x0b44
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x023b
000003f9: PUSH1 0x04
000003fb: DUP1
000003fc: CALLDATASIZE
000003fd: SUB
000003fe: PUSH1 0x20
00000400: DUP2
00000401: LT
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: POP
0000040d: CALLDATALOAD
0000040e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000423: AND
00000424: PUSH2 0x0b56
00000427: JUMP
00000428: JUMPDEST
00000429: CALLVALUE
0000042a: DUP1
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: POP
00000436: PUSH2 0x0157
00000439: PUSH2 0x0b68
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: PUSH2 0x0212
0000044e: PUSH1 0x04
00000450: DUP1
00000451: CALLDATASIZE
00000452: SUB
00000453: PUSH1 0x40
00000455: DUP2
00000456: LT
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000477: DUP2
00000478: CALLDATALOAD
00000479: AND
0000047a: SWAP1
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: CALLDATALOAD
0000047f: PUSH2 0x0b9f
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH2 0x0212
00000487: PUSH1 0x04
00000489: DUP1
0000048a: CALLDATASIZE
0000048b: SUB
0000048c: PUSH1 0x20
0000048e: DUP2
0000048f: LT
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: CALLDATALOAD
0000049c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b1: AND
000004b2: PUSH2 0x0bac
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x023b
000004ba: PUSH2 0x0573
000004bd: JUMP
000004be: JUMPDEST
000004bf: CALLVALUE
000004c0: DUP1
000004c1: ISZERO
000004c2: PUSH2 0x04ca
000004c5: JUMPI
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: REVERT
000004ca: JUMPDEST
000004cb: POP
000004cc: PUSH2 0x0529
000004cf: PUSH1 0x04
000004d1: DUP1
000004d2: CALLDATASIZE
000004d3: SUB
000004d4: PUSH1 0xe0
000004d6: DUP2
000004d7: LT
000004d8: ISZERO
000004d9: PUSH2 0x04e1
000004dc: JUMPI
000004dd: PUSH1 0x00
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f8: DUP2
000004f9: CALLDATALOAD
000004fa: DUP2
000004fb: AND
000004fc: SWAP2
000004fd: PUSH1 0x20
000004ff: DUP2
00000500: ADD
00000501: CALLDATALOAD
00000502: SWAP1
00000503: SWAP2
00000504: AND
00000505: SWAP1
00000506: PUSH1 0x40
00000508: DUP2
00000509: ADD
0000050a: CALLDATALOAD
0000050b: SWAP1
0000050c: PUSH1 0x60
0000050e: DUP2
0000050f: ADD
00000510: CALLDATALOAD
00000511: SWAP1
00000512: PUSH1 0xff
00000514: PUSH1 0x80
00000516: DUP3
00000517: ADD
00000518: CALLDATALOAD
00000519: AND
0000051a: SWAP1
0000051b: PUSH1 0xa0
0000051d: DUP2
0000051e: ADD
0000051f: CALLDATALOAD
00000520: SWAP1
00000521: PUSH1 0xc0
00000523: ADD
00000524: CALLDATALOAD
00000525: PUSH2 0x0c0e
00000528: JUMP
00000529: JUMPDEST
0000052a: STOP
0000052b: JUMPDEST
0000052c: CALLVALUE
0000052d: DUP1
0000052e: ISZERO
0000052f: PUSH2 0x0537
00000532: JUMPI
00000533: PUSH1 0x00
00000535: DUP1
00000536: REVERT
00000537: JUMPDEST
00000538: POP
00000539: PUSH2 0x023b
0000053c: PUSH1 0x04
0000053e: DUP1
0000053f: CALLDATASIZE
00000540: SUB
00000541: PUSH1 0x40
00000543: DUP2
00000544: LT
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: POP
00000550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000565: DUP2
00000566: CALLDATALOAD
00000567: DUP2
00000568: AND
00000569: SWAP2
0000056a: PUSH1 0x20
0000056c: ADD
0000056d: CALLDATALOAD
0000056e: AND
0000056f: PUSH2 0x0ef8
00000572: JUMP
00000573: JUMPDEST
00000574: CALLER
00000575: PUSH1 0x00
00000577: SWAP1
00000578: DUP2
00000579: MSTORE
0000057a: PUSH1 0x01
0000057c: PUSH1 0x20
0000057e: MSTORE
0000057f: PUSH1 0x40
00000581: DUP2
00000582: KECCAK256
00000583: SLOAD
00000584: PUSH2 0x058d
00000587: SWAP1
00000588: CALLVALUE
00000589: PUSH2 0x0f15
0000058c: JUMP
0000058d: JUMPDEST
0000058e: CALLER
0000058f: PUSH1 0x00
00000591: SWAP1
00000592: DUP2
00000593: MSTORE
00000594: PUSH1 0x01
00000596: PUSH1 0x20
00000598: MSTORE
00000599: PUSH1 0x40
0000059b: SWAP1
0000059c: KECCAK256
0000059d: SSTORE
0000059e: POP
0000059f: CALLVALUE
000005a0: SWAP1
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH1 0x40
000005a5: DUP1
000005a6: MLOAD
000005a7: DUP1
000005a8: DUP3
000005a9: ADD
000005aa: SWAP1
000005ab: SWAP2
000005ac: MSTORE
000005ad: PUSH1 0x16
000005af: DUP2
000005b0: MSTORE
000005b1: PUSH32 0x5363757272795377617020537461736820457468657200000000000000000000
000005d2: PUSH1 0x20
000005d4: DUP3
000005d5: ADD
000005d6: MSTORE
000005d7: SWAP1
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH1 0x00
000005dc: PUSH2 0x05e6
000005df: CALLER
000005e0: DUP5
000005e1: DUP5
000005e2: PUSH2 0x0f87
000005e5: JUMP
000005e6: JUMPDEST
000005e7: POP
000005e8: PUSH1 0x01
000005ea: JUMPDEST
000005eb: SWAP3
000005ec: SWAP2
000005ed: POP
000005ee: POP
000005ef: JUMP
000005f0: JUMPDEST
000005f1: SELFBALANCE
000005f2: SWAP1
000005f3: JUMP
000005f4: JUMPDEST
000005f5: CALLER
000005f6: PUSH1 0x00
000005f8: SWAP1
000005f9: DUP2
000005fa: MSTORE
000005fb: PUSH1 0x04
000005fd: PUSH1 0x20
000005ff: MSTORE
00000600: PUSH1 0x40
00000602: DUP2
00000603: KECCAK256
00000604: SLOAD
00000605: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
00000626: SWAP1
00000627: PUSH2 0x0631
0000062a: SWAP1
0000062b: NUMBER
0000062c: SWAP1
0000062d: PUSH2 0x0fc0
00000630: JUMP
00000631: JUMPDEST
00000632: LT
00000633: ISZERO
00000634: PUSH2 0x069e
00000637: JUMPI
00000638: PUSH1 0x40
0000063a: DUP1
0000063b: MLOAD
0000063c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x20
00000661: PUSH1 0x04
00000663: DUP3
00000664: ADD
00000665: MSTORE
00000666: PUSH1 0x11
00000668: PUSH1 0x24
0000066a: DUP3
0000066b: ADD
0000066c: MSTORE
0000066d: PUSH32 0x53746173684554483a20424c4f434b4544000000000000000000000000000000
0000068e: PUSH1 0x44
00000690: DUP3
00000691: ADD
00000692: MSTORE
00000693: SWAP1
00000694: MLOAD
00000695: SWAP1
00000696: DUP2
00000697: SWAP1
00000698: SUB
00000699: PUSH1 0x64
0000069b: ADD
0000069c: SWAP1
0000069d: REVERT
0000069e: JUMPDEST
0000069f: CALLER
000006a0: PUSH1 0x00
000006a2: SWAP1
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x01
000006a7: PUSH1 0x20
000006a9: MSTORE
000006aa: PUSH1 0x40
000006ac: SWAP1
000006ad: KECCAK256
000006ae: SLOAD
000006af: PUSH2 0x06b8
000006b2: SWAP1
000006b3: DUP4
000006b4: PUSH2 0x0fc0
000006b7: JUMP
000006b8: JUMPDEST
000006b9: CALLER
000006ba: PUSH1 0x00
000006bc: SWAP1
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x01
000006c1: PUSH1 0x20
000006c3: MSTORE
000006c4: PUSH1 0x40
000006c6: DUP1
000006c7: DUP3
000006c8: KECCAK256
000006c9: SWAP3
000006ca: SWAP1
000006cb: SWAP3
000006cc: SSTORE
000006cd: SWAP1
000006ce: MLOAD
000006cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e4: DUP6
000006e5: AND
000006e6: SWAP2
000006e7: DUP5
000006e8: ISZERO
000006e9: PUSH2 0x08fc
000006ec: MUL
000006ed: SWAP2
000006ee: DUP6
000006ef: SWAP2
000006f0: DUP2
000006f1: DUP2
000006f2: DUP2
000006f3: DUP6
000006f4: DUP9
000006f5: DUP9
000006f6: CALL
000006f7: SWAP4
000006f8: POP
000006f9: POP
000006fa: POP
000006fb: POP
000006fc: ISZERO
000006fd: DUP1
000006fe: ISZERO
000006ff: PUSH2 0x070c
00000702: JUMPI
00000703: RETURNDATASIZE
00000704: PUSH1 0x00
00000706: DUP1
00000707: RETURNDATACOPY
00000708: RETURNDATASIZE
00000709: PUSH1 0x00
0000070b: REVERT
0000070c: JUMPDEST
0000070d: POP
0000070e: PUSH1 0x01
00000710: SWAP4
00000711: SWAP3
00000712: POP
00000713: POP
00000714: POP
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072c: DUP4
0000072d: AND
0000072e: PUSH1 0x00
00000730: SWAP1
00000731: DUP2
00000732: MSTORE
00000733: PUSH1 0x02
00000735: PUSH1 0x20
00000737: SWAP1
00000738: DUP2
00000739: MSTORE
0000073a: PUSH1 0x40
0000073c: DUP1
0000073d: DUP4
0000073e: KECCAK256
0000073f: CALLER
00000740: DUP5
00000741: MSTORE
00000742: SWAP1
00000743: SWAP2
00000744: MSTORE
00000745: DUP2
00000746: KECCAK256
00000747: SLOAD
00000748: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000769: EQ
0000076a: PUSH2 0x07da
0000076d: JUMPI
0000076e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000783: DUP5
00000784: AND
00000785: PUSH1 0x00
00000787: SWAP1
00000788: DUP2
00000789: MSTORE
0000078a: PUSH1 0x02
0000078c: PUSH1 0x20
0000078e: SWAP1
0000078f: DUP2
00000790: MSTORE
00000791: PUSH1 0x40
00000793: DUP1
00000794: DUP4
00000795: KECCAK256
00000796: CALLER
00000797: DUP5
00000798: MSTORE
00000799: SWAP1
0000079a: SWAP2
0000079b: MSTORE
0000079c: SWAP1
0000079d: KECCAK256
0000079e: SLOAD
0000079f: PUSH2 0x07a8
000007a2: SWAP1
000007a3: DUP4
000007a4: PUSH2 0x0fc0
000007a7: JUMP
000007a8: JUMPDEST
000007a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007be: DUP6
000007bf: AND
000007c0: PUSH1 0x00
000007c2: SWAP1
000007c3: DUP2
000007c4: MSTORE
000007c5: PUSH1 0x02
000007c7: PUSH1 0x20
000007c9: SWAP1
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x40
000007ce: DUP1
000007cf: DUP4
000007d0: KECCAK256
000007d1: CALLER
000007d2: DUP5
000007d3: MSTORE
000007d4: SWAP1
000007d5: SWAP2
000007d6: MSTORE
000007d7: SWAP1
000007d8: KECCAK256
000007d9: SSTORE
000007da: JUMPDEST
000007db: PUSH2 0x070c
000007de: DUP5
000007df: DUP5
000007e0: DUP5
000007e1: PUSH2 0x1032
000007e4: JUMP
000007e5: JUMPDEST
000007e6: CALLER
000007e7: PUSH1 0x00
000007e9: SWAP1
000007ea: DUP2
000007eb: MSTORE
000007ec: PUSH1 0x04
000007ee: PUSH1 0x20
000007f0: MSTORE
000007f1: PUSH1 0x40
000007f3: DUP2
000007f4: KECCAK256
000007f5: SLOAD
000007f6: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
00000817: SWAP1
00000818: PUSH2 0x0822
0000081b: SWAP1
0000081c: NUMBER
0000081d: SWAP1
0000081e: PUSH2 0x0fc0
00000821: JUMP
00000822: JUMPDEST
00000823: LT
00000824: ISZERO
00000825: PUSH2 0x088f
00000828: JUMPI
00000829: PUSH1 0x40
0000082b: DUP1
0000082c: MLOAD
0000082d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: PUSH1 0x04
00000854: DUP3
00000855: ADD
00000856: MSTORE
00000857: PUSH1 0x11
00000859: PUSH1 0x24
0000085b: DUP3
0000085c: ADD
0000085d: MSTORE
0000085e: PUSH32 0x53746173684554483a20424c4f434b4544000000000000000000000000000000
0000087f: PUSH1 0x44
00000881: DUP3
00000882: ADD
00000883: MSTORE
00000884: SWAP1
00000885: MLOAD
00000886: SWAP1
00000887: DUP2
00000888: SWAP1
00000889: SUB
0000088a: PUSH1 0x64
0000088c: ADD
0000088d: SWAP1
0000088e: REVERT
0000088f: JUMPDEST
00000890: CALLER
00000891: PUSH1 0x00
00000893: SWAP1
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x01
00000898: PUSH1 0x20
0000089a: MSTORE
0000089b: PUSH1 0x40
0000089d: SWAP1
0000089e: KECCAK256
0000089f: SLOAD
000008a0: PUSH2 0x08a9
000008a3: SWAP1
000008a4: DUP4
000008a5: PUSH2 0x0fc0
000008a8: JUMP
000008a9: JUMPDEST
000008aa: CALLER
000008ab: PUSH1 0x00
000008ad: DUP2
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x01
000008b2: PUSH1 0x20
000008b4: MSTORE
000008b5: PUSH1 0x40
000008b7: DUP1
000008b8: DUP3
000008b9: KECCAK256
000008ba: SWAP4
000008bb: SWAP1
000008bc: SWAP4
000008bd: SSTORE
000008be: SWAP2
000008bf: MLOAD
000008c0: SWAP1
000008c1: SWAP2
000008c2: DUP5
000008c3: ISZERO
000008c4: PUSH2 0x08fc
000008c7: MUL
000008c8: SWAP2
000008c9: DUP6
000008ca: SWAP2
000008cb: DUP2
000008cc: DUP2
000008cd: DUP2
000008ce: DUP6
000008cf: DUP9
000008d0: DUP9
000008d1: CALL
000008d2: SWAP4
000008d3: POP
000008d4: POP
000008d5: POP
000008d6: POP
000008d7: ISZERO
000008d8: DUP1
000008d9: ISZERO
000008da: PUSH2 0x05e6
000008dd: JUMPI
000008de: RETURNDATASIZE
000008df: PUSH1 0x00
000008e1: DUP1
000008e2: RETURNDATACOPY
000008e3: RETURNDATASIZE
000008e4: PUSH1 0x00
000008e6: REVERT
000008e7: JUMPDEST
000008e8: PUSH1 0x00
000008ea: PUSH32 0x00000000000000000000000016edcb6af0d62c3eb3c6b3b0537d7007ca3f9835
0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000920: AND
00000921: PUSH4 0xb17b658d
00000926: CALLER
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: DUP3
0000092b: PUSH4 0xffffffff
00000930: AND
00000931: PUSH1 0xe0
00000933: SHL
00000934: DUP2
00000935: MSTORE
00000936: PUSH1 0x04
00000938: ADD
00000939: DUP1
0000093a: DUP3
0000093b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000950: AND
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x20
00000955: ADD
00000956: SWAP2
00000957: POP
00000958: POP
00000959: PUSH1 0x20
0000095b: PUSH1 0x40
0000095d: MLOAD
0000095e: DUP1
0000095f: DUP4
00000960: SUB
00000961: DUP2
00000962: DUP7
00000963: DUP1
00000964: EXTCODESIZE
00000965: ISZERO
00000966: DUP1
00000967: ISZERO
00000968: PUSH2 0x0970
0000096b: JUMPI
0000096c: PUSH1 0x00
0000096e: DUP1
0000096f: REVERT
00000970: JUMPDEST
00000971: POP
00000972: GAS
00000973: STATICCALL
00000974: ISZERO
00000975: DUP1
00000976: ISZERO
00000977: PUSH2 0x0984
0000097a: JUMPI
0000097b: RETURNDATASIZE
0000097c: PUSH1 0x00
0000097e: DUP1
0000097f: RETURNDATACOPY
00000980: RETURNDATASIZE
00000981: PUSH1 0x00
00000983: REVERT
00000984: JUMPDEST
00000985: POP
00000986: POP
00000987: POP
00000988: POP
00000989: PUSH1 0x40
0000098b: MLOAD
0000098c: RETURNDATASIZE
0000098d: PUSH1 0x20
0000098f: DUP2
00000990: LT
00000991: ISZERO
00000992: PUSH2 0x099a
00000995: JUMPI
00000996: PUSH1 0x00
00000998: DUP1
00000999: REVERT
0000099a: JUMPDEST
0000099b: POP
0000099c: MLOAD
0000099d: PUSH2 0x0a07
000009a0: JUMPI
000009a1: PUSH1 0x40
000009a3: DUP1
000009a4: MLOAD
000009a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x20
000009ca: PUSH1 0x04
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: PUSH1 0x13
000009d1: PUSH1 0x24
000009d3: DUP3
000009d4: ADD
000009d5: MSTORE
000009d6: PUSH32 0x53746173684554483a20464f5242494444454e00000000000000000000000000
000009f7: PUSH1 0x44
000009f9: DUP3
000009fa: ADD
000009fb: MSTORE
000009fc: SWAP1
000009fd: MLOAD
000009fe: SWAP1
000009ff: DUP2
00000a00: SWAP1
00000a01: SUB
00000a02: PUSH1 0x64
00000a04: ADD
00000a05: SWAP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: PUSH2 0x0a12
00000a0b: CALLER
00000a0c: DUP5
00000a0d: DUP5
00000a0e: PUSH2 0x1032
00000a11: JUMP
00000a12: JUMPDEST
00000a13: PUSH32 0x00000000000000000000000016edcb6af0d62c3eb3c6b3b0537d7007ca3f9835
00000a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a49: AND
00000a4a: PUSH4 0xb17b658d
00000a4f: DUP5
00000a50: PUSH1 0x40
00000a52: MLOAD
00000a53: DUP3
00000a54: PUSH4 0xffffffff
00000a59: AND
00000a5a: PUSH1 0xe0
00000a5c: SHL
00000a5d: DUP2
00000a5e: MSTORE
00000a5f: PUSH1 0x04
00000a61: ADD
00000a62: DUP1
00000a63: DUP3
00000a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a79: AND
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x20
00000a7e: ADD
00000a7f: SWAP2
00000a80: POP
00000a81: POP
00000a82: PUSH1 0x20
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: DUP1
00000a88: DUP4
00000a89: SUB
00000a8a: DUP2
00000a8b: DUP7
00000a8c: DUP1
00000a8d: EXTCODESIZE
00000a8e: ISZERO
00000a8f: DUP1
00000a90: ISZERO
00000a91: PUSH2 0x0a99
00000a94: JUMPI
00000a95: PUSH1 0x00
00000a97: DUP1
00000a98: REVERT
00000a99: JUMPDEST
00000a9a: POP
00000a9b: GAS
00000a9c: STATICCALL
00000a9d: ISZERO
00000a9e: DUP1
00000a9f: ISZERO
00000aa0: PUSH2 0x0aad
00000aa3: JUMPI
00000aa4: RETURNDATASIZE
00000aa5: PUSH1 0x00
00000aa7: DUP1
00000aa8: RETURNDATACOPY
00000aa9: RETURNDATASIZE
00000aaa: PUSH1 0x00
00000aac: REVERT
00000aad: JUMPDEST
00000aae: POP
00000aaf: POP
00000ab0: POP
00000ab1: POP
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: RETURNDATASIZE
00000ab6: PUSH1 0x20
00000ab8: DUP2
00000ab9: LT
00000aba: ISZERO
00000abb: PUSH2 0x0ac3
00000abe: JUMPI
00000abf: PUSH1 0x00
00000ac1: DUP1
00000ac2: REVERT
00000ac3: JUMPDEST
00000ac4: POP
00000ac5: MLOAD
00000ac6: PUSH2 0x05e6
00000ac9: JUMPI
00000aca: POP
00000acb: POP
00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae1: AND
00000ae2: PUSH1 0x00
00000ae4: SWAP1
00000ae5: DUP2
00000ae6: MSTORE
00000ae7: PUSH1 0x04
00000ae9: PUSH1 0x20
00000aeb: MSTORE
00000aec: PUSH1 0x40
00000aee: SWAP1
00000aef: KECCAK256
00000af0: NUMBER
00000af1: SWAP1
00000af2: SSTORE
00000af3: PUSH1 0x01
00000af5: SWAP1
00000af6: JUMP
00000af7: JUMPDEST
00000af8: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000b19: DUP2
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: PUSH1 0x12
00000b1e: SWAP1
00000b1f: JUMP
00000b20: JUMPDEST
00000b21: PUSH32 0x5b857d36ac2548ecd9718d3ef25657dc9a7eeead918b786b15b8a47ecc5c5ede
00000b42: DUP2
00000b43: JUMP
00000b44: JUMPDEST
00000b45: PUSH1 0x01
00000b47: PUSH1 0x20
00000b49: MSTORE
00000b4a: PUSH1 0x00
00000b4c: SWAP1
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x40
00000b51: SWAP1
00000b52: KECCAK256
00000b53: SLOAD
00000b54: DUP2
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH1 0x03
00000b59: PUSH1 0x20
00000b5b: MSTORE
00000b5c: PUSH1 0x00
00000b5e: SWAP1
00000b5f: DUP2
00000b60: MSTORE
00000b61: PUSH1 0x40
00000b63: SWAP1
00000b64: KECCAK256
00000b65: SLOAD
00000b66: DUP2
00000b67: JUMP
00000b68: JUMPDEST
00000b69: PUSH1 0x40
00000b6b: DUP1
00000b6c: MLOAD
00000b6d: DUP1
00000b6e: DUP3
00000b6f: ADD
00000b70: SWAP1
00000b71: SWAP2
00000b72: MSTORE
00000b73: PUSH1 0x09
00000b75: DUP2
00000b76: MSTORE
00000b77: PUSH32 0x73746173682d4554480000000000000000000000000000000000000000000000
00000b98: PUSH1 0x20
00000b9a: DUP3
00000b9b: ADD
00000b9c: MSTORE
00000b9d: SWAP1
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: PUSH1 0x00
00000ba2: PUSH2 0x05e6
00000ba5: CALLER
00000ba6: DUP5
00000ba7: DUP5
00000ba8: PUSH2 0x1032
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc2: DUP2
00000bc3: AND
00000bc4: PUSH1 0x00
00000bc6: SWAP1
00000bc7: DUP2
00000bc8: MSTORE
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0x20
00000bcd: MSTORE
00000bce: PUSH1 0x40
00000bd0: DUP2
00000bd1: KECCAK256
00000bd2: SLOAD
00000bd3: PUSH2 0x0bdc
00000bd6: SWAP1
00000bd7: CALLVALUE
00000bd8: PUSH2 0x0f15
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf2: SWAP3
00000bf3: SWAP1
00000bf4: SWAP3
00000bf5: AND
00000bf6: PUSH1 0x00
00000bf8: SWAP1
00000bf9: DUP2
00000bfa: MSTORE
00000bfb: PUSH1 0x01
00000bfd: PUSH1 0x20
00000bff: DUP2
00000c00: SWAP1
00000c01: MSTORE
00000c02: PUSH1 0x40
00000c04: SWAP1
00000c05: SWAP2
00000c06: KECCAK256
00000c07: SWAP3
00000c08: SWAP1
00000c09: SWAP3
00000c0a: SSTORE
00000c0b: POP
00000c0c: SWAP1
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: TIMESTAMP
00000c10: DUP5
00000c11: LT
00000c12: ISZERO
00000c13: PUSH2 0x0c7d
00000c16: JUMPI
00000c17: PUSH1 0x40
00000c19: DUP1
00000c1a: MLOAD
00000c1b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c3c: DUP2
00000c3d: MSTORE
00000c3e: PUSH1 0x20
00000c40: PUSH1 0x04
00000c42: DUP3
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH1 0x12
00000c47: PUSH1 0x24
00000c49: DUP3
00000c4a: ADD
00000c4b: MSTORE
00000c4c: PUSH32 0x534c4f5745524332303a20455850495245440000000000000000000000000000
00000c6d: PUSH1 0x44
00000c6f: DUP3
00000c70: ADD
00000c71: MSTORE
00000c72: SWAP1
00000c73: MLOAD
00000c74: SWAP1
00000c75: DUP2
00000c76: SWAP1
00000c77: SUB
00000c78: PUSH1 0x64
00000c7a: ADD
00000c7b: SWAP1
00000c7c: REVERT
00000c7d: JUMPDEST
00000c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c93: DUP1
00000c94: DUP9
00000c95: AND
00000c96: PUSH1 0x00
00000c98: DUP2
00000c99: DUP2
00000c9a: MSTORE
00000c9b: PUSH1 0x03
00000c9d: PUSH1 0x20
00000c9f: SWAP1
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x40
00000ca4: DUP1
00000ca5: DUP4
00000ca6: KECCAK256
00000ca7: DUP1
00000ca8: SLOAD
00000ca9: PUSH1 0x01
00000cab: DUP1
00000cac: DUP3
00000cad: ADD
00000cae: SWAP1
00000caf: SWAP3
00000cb0: SSTORE
00000cb1: DUP3
00000cb2: MLOAD
00000cb3: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000cd4: DUP2
00000cd5: DUP7
00000cd6: ADD
00000cd7: MSTORE
00000cd8: DUP1
00000cd9: DUP5
00000cda: ADD
00000cdb: SWAP7
00000cdc: SWAP1
00000cdd: SWAP7
00000cde: MSTORE
00000cdf: SWAP6
00000ce0: DUP13
00000ce1: AND
00000ce2: PUSH1 0x60
00000ce4: DUP7
00000ce5: ADD
00000ce6: MSTORE
00000ce7: PUSH1 0x80
00000ce9: DUP6
00000cea: ADD
00000ceb: DUP12
00000cec: SWAP1
00000ced: MSTORE
00000cee: PUSH1 0xa0
00000cf0: DUP6
00000cf1: ADD
00000cf2: SWAP6
00000cf3: SWAP1
00000cf4: SWAP6
00000cf5: MSTORE
00000cf6: PUSH1 0xc0
00000cf8: DUP1
00000cf9: DUP6
00000cfa: ADD
00000cfb: DUP11
00000cfc: SWAP1
00000cfd: MSTORE
00000cfe: DUP2
00000cff: MLOAD
00000d00: DUP1
00000d01: DUP7
00000d02: SUB
00000d03: SWAP1
00000d04: SWAP2
00000d05: ADD
00000d06: DUP2
00000d07: MSTORE
00000d08: PUSH1 0xe0
00000d0a: DUP6
00000d0b: ADD
00000d0c: DUP3
00000d0d: MSTORE
00000d0e: DUP1
00000d0f: MLOAD
00000d10: SWAP1
00000d11: DUP4
00000d12: ADD
00000d13: KECCAK256
00000d14: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00000d35: PUSH2 0x0100
00000d38: DUP7
00000d39: ADD
00000d3a: MSTORE
00000d3b: PUSH32 0x5b857d36ac2548ecd9718d3ef25657dc9a7eeead918b786b15b8a47ecc5c5ede
00000d5c: PUSH2 0x0102
00000d5f: DUP7
00000d60: ADD
00000d61: MSTORE
00000d62: PUSH2 0x0122
00000d65: DUP1
00000d66: DUP7
00000d67: ADD
00000d68: SWAP2
00000d69: SWAP1
00000d6a: SWAP2
00000d6b: MSTORE
00000d6c: DUP2
00000d6d: MLOAD
00000d6e: DUP1
00000d6f: DUP7
00000d70: SUB
00000d71: SWAP1
00000d72: SWAP2
00000d73: ADD
00000d74: DUP2
00000d75: MSTORE
00000d76: PUSH2 0x0142
00000d79: DUP6
00000d7a: ADD
00000d7b: DUP1
00000d7c: DUP4
00000d7d: MSTORE
00000d7e: DUP2
00000d7f: MLOAD
00000d80: SWAP2
00000d81: DUP5
00000d82: ADD
00000d83: SWAP2
00000d84: SWAP1
00000d85: SWAP2
00000d86: KECCAK256
00000d87: SWAP1
00000d88: DUP5
00000d89: SWAP1
00000d8a: MSTORE
00000d8b: PUSH2 0x0162
00000d8e: DUP6
00000d8f: ADD
00000d90: DUP1
00000d91: DUP4
00000d92: MSTORE
00000d93: DUP2
00000d94: SWAP1
00000d95: MSTORE
00000d96: PUSH1 0xff
00000d98: DUP10
00000d99: AND
00000d9a: PUSH2 0x0182
00000d9d: DUP7
00000d9e: ADD
00000d9f: MSTORE
00000da0: PUSH2 0x01a2
00000da3: DUP6
00000da4: ADD
00000da5: DUP9
00000da6: SWAP1
00000da7: MSTORE
00000da8: PUSH2 0x01c2
00000dab: DUP6
00000dac: ADD
00000dad: DUP8
00000dae: SWAP1
00000daf: MSTORE
00000db0: SWAP1
00000db1: MLOAD
00000db2: SWAP1
00000db3: SWAP5
00000db4: SWAP3
00000db5: SWAP4
00000db6: PUSH2 0x01e2
00000db9: DUP1
00000dba: DUP3
00000dbb: ADD
00000dbc: SWAP4
00000dbd: SWAP3
00000dbe: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000ddf: DUP2
00000de0: ADD
00000de1: SWAP3
00000de2: DUP2
00000de3: SWAP1
00000de4: SUB
00000de5: SWAP1
00000de6: SWAP2
00000de7: ADD
00000de8: SWAP1
00000de9: DUP6
00000dea: GAS
00000deb: STATICCALL
00000dec: ISZERO
00000ded: DUP1
00000dee: ISZERO
00000def: PUSH2 0x0dfc
00000df2: JUMPI
00000df3: RETURNDATASIZE
00000df4: PUSH1 0x00
00000df6: DUP1
00000df7: RETURNDATACOPY
00000df8: RETURNDATASIZE
00000df9: PUSH1 0x00
00000dfb: REVERT
00000dfc: JUMPDEST
00000dfd: POP
00000dfe: POP
00000dff: PUSH1 0x40
00000e01: MLOAD
00000e02: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000e23: ADD
00000e24: MLOAD
00000e25: SWAP2
00000e26: POP
00000e27: POP
00000e28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3d: DUP2
00000e3e: AND
00000e3f: ISZERO
00000e40: DUP1
00000e41: ISZERO
00000e42: SWAP1
00000e43: PUSH2 0x0e77
00000e46: JUMPI
00000e47: POP
00000e48: DUP9
00000e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5e: AND
00000e5f: DUP2
00000e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e75: AND
00000e76: EQ
00000e77: JUMPDEST
00000e78: PUSH2 0x0ee2
00000e7b: JUMPI
00000e7c: PUSH1 0x40
00000e7e: DUP1
00000e7f: MLOAD
00000e80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x20
00000ea5: PUSH1 0x04
00000ea7: DUP3
00000ea8: ADD
00000ea9: MSTORE
00000eaa: PUSH1 0x1c
00000eac: PUSH1 0x24
00000eae: DUP3
00000eaf: ADD
00000eb0: MSTORE
00000eb1: PUSH32 0x534c4f5745524332303a20494e56414c49445f5349474e415455524500000000
00000ed2: PUSH1 0x44
00000ed4: DUP3
00000ed5: ADD
00000ed6: MSTORE
00000ed7: SWAP1
00000ed8: MLOAD
00000ed9: SWAP1
00000eda: DUP2
00000edb: SWAP1
00000edc: SUB
00000edd: PUSH1 0x64
00000edf: ADD
00000ee0: SWAP1
00000ee1: REVERT
00000ee2: JUMPDEST
00000ee3: PUSH2 0x0eed
00000ee6: DUP10
00000ee7: DUP10
00000ee8: DUP10
00000ee9: PUSH2 0x0f87
00000eec: JUMP
00000eed: JUMPDEST
00000eee: POP
00000eef: POP
00000ef0: POP
00000ef1: POP
00000ef2: POP
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: POP
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: PUSH1 0x02
00000efb: PUSH1 0x20
00000efd: SWAP1
00000efe: DUP2
00000eff: MSTORE
00000f00: PUSH1 0x00
00000f02: SWAP3
00000f03: DUP4
00000f04: MSTORE
00000f05: PUSH1 0x40
00000f07: DUP1
00000f08: DUP5
00000f09: KECCAK256
00000f0a: SWAP1
00000f0b: SWAP2
00000f0c: MSTORE
00000f0d: SWAP1
00000f0e: DUP3
00000f0f: MSTORE
00000f10: SWAP1
00000f11: KECCAK256
00000f12: SLOAD
00000f13: DUP2
00000f14: JUMP
00000f15: JUMPDEST
00000f16: DUP1
00000f17: DUP3
00000f18: ADD
00000f19: DUP3
00000f1a: DUP2
00000f1b: LT
00000f1c: ISZERO
00000f1d: PUSH2 0x05ea
00000f20: JUMPI
00000f21: PUSH1 0x40
00000f23: DUP1
00000f24: MLOAD
00000f25: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f46: DUP2
00000f47: MSTORE
00000f48: PUSH1 0x20
00000f4a: PUSH1 0x04
00000f4c: DUP3
00000f4d: ADD
00000f4e: MSTORE
00000f4f: PUSH1 0x14
00000f51: PUSH1 0x24
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH32 0x64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000
00000f77: PUSH1 0x44
00000f79: DUP3
00000f7a: ADD
00000f7b: MSTORE
00000f7c: SWAP1
00000f7d: MLOAD
00000f7e: SWAP1
00000f7f: DUP2
00000f80: SWAP1
00000f81: SUB
00000f82: PUSH1 0x64
00000f84: ADD
00000f85: SWAP1
00000f86: REVERT
00000f87: JUMPDEST
00000f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9d: SWAP3
00000f9e: DUP4
00000f9f: AND
00000fa0: PUSH1 0x00
00000fa2: SWAP1
00000fa3: DUP2
00000fa4: MSTORE
00000fa5: PUSH1 0x02
00000fa7: PUSH1 0x20
00000fa9: SWAP1
00000faa: DUP2
00000fab: MSTORE
00000fac: PUSH1 0x40
00000fae: DUP1
00000faf: DUP4
00000fb0: KECCAK256
00000fb1: SWAP5
00000fb2: SWAP1
00000fb3: SWAP6
00000fb4: AND
00000fb5: DUP3
00000fb6: MSTORE
00000fb7: SWAP3
00000fb8: SWAP1
00000fb9: SWAP3
00000fba: MSTORE
00000fbb: SWAP2
00000fbc: SWAP1
00000fbd: KECCAK256
00000fbe: SSTORE
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: DUP1
00000fc2: DUP3
00000fc3: SUB
00000fc4: DUP3
00000fc5: DUP2
00000fc6: GT
00000fc7: ISZERO
00000fc8: PUSH2 0x05ea
00000fcb: JUMPI
00000fcc: PUSH1 0x40
00000fce: DUP1
00000fcf: MLOAD
00000fd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ff1: DUP2
00000ff2: MSTORE
00000ff3: PUSH1 0x20
00000ff5: PUSH1 0x04
00000ff7: DUP3
00000ff8: ADD
00000ff9: MSTORE
00000ffa: PUSH1 0x15
00000ffc: PUSH1 0x24
00000ffe: DUP3
00000fff: ADD
00001000: MSTORE
00001001: PUSH32 0x64732d6d6174682d7375622d756e646572666c6f770000000000000000000000
00001022: PUSH1 0x44
00001024: DUP3
00001025: ADD
00001026: MSTORE
00001027: SWAP1
00001028: MLOAD
00001029: SWAP1
0000102a: DUP2
0000102b: SWAP1
0000102c: SUB
0000102d: PUSH1 0x64
0000102f: ADD
00001030: SWAP1
00001031: REVERT
00001032: JUMPDEST
00001033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001048: DUP4
00001049: AND
0000104a: PUSH1 0x00
0000104c: SWAP1
0000104d: DUP2
0000104e: MSTORE
0000104f: PUSH1 0x04
00001051: PUSH1 0x20
00001053: MSTORE
00001054: PUSH1 0x40
00001056: SWAP1
00001057: KECCAK256
00001058: SLOAD
00001059: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000005
0000107a: SWAP1
0000107b: PUSH2 0x1085
0000107e: SWAP1
0000107f: NUMBER
00001080: SWAP1
00001081: PUSH2 0x0fc0
00001084: JUMP
00001085: JUMPDEST
00001086: LT
00001087: ISZERO
00001088: PUSH2 0x10f2
0000108b: JUMPI
0000108c: PUSH1 0x40
0000108e: DUP1
0000108f: MLOAD
00001090: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010b1: DUP2
000010b2: MSTORE
000010b3: PUSH1 0x20
000010b5: PUSH1 0x04
000010b7: DUP3
000010b8: ADD
000010b9: MSTORE
000010ba: PUSH1 0x12
000010bc: PUSH1 0x24
000010be: DUP3
000010bf: ADD
000010c0: MSTORE
000010c1: PUSH32 0x534c4f5745524332303a20424c4f434b45440000000000000000000000000000
000010e2: PUSH1 0x44
000010e4: DUP3
000010e5: ADD
000010e6: MSTORE
000010e7: SWAP1
000010e8: MLOAD
000010e9: SWAP1
000010ea: DUP2
000010eb: SWAP1
000010ec: SUB
000010ed: PUSH1 0x64
000010ef: ADD
000010f0: SWAP1
000010f1: REVERT
000010f2: JUMPDEST
000010f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001108: DUP4
00001109: AND
0000110a: PUSH1 0x00
0000110c: SWAP1
0000110d: DUP2
0000110e: MSTORE
0000110f: PUSH1 0x01
00001111: PUSH1 0x20
00001113: MSTORE
00001114: PUSH1 0x40
00001116: SWAP1
00001117: KECCAK256
00001118: SLOAD
00001119: PUSH2 0x1122
0000111c: SWAP1
0000111d: DUP3
0000111e: PUSH2 0x0fc0
00001121: JUMP
00001122: JUMPDEST
00001123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001138: DUP1
00001139: DUP6
0000113a: AND
0000113b: PUSH1 0x00
0000113d: SWAP1
0000113e: DUP2
0000113f: MSTORE
00001140: PUSH1 0x01
00001142: PUSH1 0x20
00001144: MSTORE
00001145: PUSH1 0x40
00001147: DUP1
00001148: DUP3
00001149: KECCAK256
0000114a: SWAP4
0000114b: SWAP1
0000114c: SWAP4
0000114d: SSTORE
0000114e: SWAP1
0000114f: DUP5
00001150: AND
00001151: DUP2
00001152: MSTORE
00001153: KECCAK256
00001154: SLOAD
00001155: PUSH2 0x115e
00001158: SWAP1
00001159: DUP3
0000115a: PUSH2 0x0f15
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001174: SWAP1
00001175: SWAP3
00001176: AND
00001177: PUSH1 0x00
00001179: SWAP1
0000117a: DUP2
0000117b: MSTORE
0000117c: PUSH1 0x01
0000117e: PUSH1 0x20
00001180: MSTORE
00001181: PUSH1 0x40
00001183: SWAP1
00001184: KECCAK256
00001185: SWAP2
00001186: SWAP1
00001187: SWAP2
00001188: SSTORE
00001189: POP
0000118a: POP
0000118b: JUMP
0000118c: INVALID
0000118d: LOG2
0000118e: PUSH5 0x6970667358
00001194: UNKNOWN(0x22)
00001195: SLT
00001196: KECCAK256
00001197: SWAP10
00001198: MLOAD
00001199: UNKNOWN(0xDD)
0000119a: ADD
0000119b: UNKNOWN(0xA9)
0000119c: OR
0000119d: SDIV
0000119e: UNKNOWN(0x2E)
0000119f: DUP1
000011a0: JUMPDEST
000011a1: PUSH6 0xc8a41fe94442
000011a8: CREATE2
000011a9: SWAP16
000011aa: AND
000011ab: UNKNOWN(0x0D)
000011ac: LOG1
000011ad: BLOBBASEFEE
000011ae: DUP9
000011af: UNKNOWN(0xDF)
000011b0: KECCAK256
000011b1: SAR
000011b2: RETURNDATASIZE
000011b3: SWAP16
000011b4: KECCAK256
000011b5: ADDMOD
000011b6: UNKNOWN(0xC9)
000011b7: PUSH5 0x736f6c6343
000011bd: STOP
000011be: MOD
000011bf: UNKNOWN(0x0C)
000011c0: STOP
000011c1: CALLER
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xf43590d58a6f4106cd1f69c8821f382732ce6a2edfda4fa9e5f9be1c0bbb6142
call_targets: 0x970609f90e695e4fe3a6a7ee87e4dae7da8deecc
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf43590d58a6f4106cd1f69c8821f382732ce6a2edfda4fa9e5f9be1c0bbb6142",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x970609f90e695e4fe3a6a7ee87e4dae7da8deecc"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa67c919",
            "selector": "0xaa67c919",
            "calldata_variants": [
                "0xaa67c919",
                "0xaa67c9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3644e515",
            "selector": "0x3644e515",
            "calldata_variants": [
                "0x3644e515",
                "0x3644e5150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1782,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2257,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf43590d58a6f4106cd1f69c8821f382732ce6a2edfda4fa9e5f9be1c0bbb6142
call_targets: 0x970609f90e695e4fe3a6a7ee87e4dae7da8deecc
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf43590d58a6f4106cd1f69c8821f382732ce6a2edfda4fa9e5f9be1c0bbb6142",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x970609f90e695e4fe3a6a7ee87e4dae7da8deecc"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa67c919",
            "selector": "0xaa67c919",
            "calldata_variants": [
                "0xaa67c919",
                "0xaa67c9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3644e515",
            "selector": "0x3644e515",
            "calldata_variants": [
                "0x3644e515",
                "0x3644e5150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1782,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2257,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x06e8a212818ec072f5d974ded1d0340b485db8b66ad644276083bba9f91d890f
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x06e8a212818ec072f5d974ded1d0340b485db8b66ad644276083bba9f91d890f",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd505accf",
            "selector": "0xd505accf",
            "calldata_variants": [
                "0xd505accf",
                "0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa67c919",
            "selector": "0xaa67c919",
            "calldata_variants": [
                "0xaa67c919",
                "0xaa67c9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3644e515",
            "selector": "0x3644e515",
            "calldata_variants": [
                "0x3644e515",
                "0x3644e5150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7ecebe00",
            "selector": "0x7ecebe00",
            "calldata_variants": [
                "0x7ecebe00",
                "0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 1
}