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

Analysis Run

019b477e-cee6-7392-ae47-dd57a94abaac

complete
Chain ID
1
Address
0x9bf8c4b164703696a89699fcaf3e2a48e4e3b816
Block Number
—
Created
Mon, Dec 22, 2025 7:17 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
Verified
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
27285 artifact.fetch complete 1 / 3 3 months ago
27286 tool.cast_disasm complete 1 / 3 3 months ago
70678 analysis.bundle complete 1 / 3 2 weeks ago
70679 capability.graph complete 1 / 3 2 weeks ago
70680 detector.run complete 1 / 3 2 weeks ago
70681 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

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
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
1935
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00c0
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9852595c
00000019: GT
0000001a: PUSH2 0x0074
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce7c2ac2
00000024: GT
00000025: PUSH2 0x004e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xce7c2ac2
0000002f: EQ
00000030: PUSH2 0x0242
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd79779b2
0000003a: EQ
0000003b: PUSH2 0x0278
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe33b7de3
00000045: EQ
00000046: PUSH2 0x02ae
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x9852595c
00000055: EQ
00000056: PUSH2 0x01cc
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0xa3f8eace
00000060: EQ
00000061: PUSH2 0x0202
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc45ac050
0000006b: EQ
0000006c: PUSH2 0x0222
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0x406072a9
0000007b: GT
0000007c: PUSH2 0x00a5
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x406072a9
00000086: EQ
00000087: PUSH2 0x0154
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x48b75044
00000091: EQ
00000092: PUSH2 0x0174
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x8b83209b
0000009c: EQ
0000009d: PUSH2 0x0194
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x19165587
000000ac: EQ
000000ad: PUSH2 0x010e
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x3a98ef39
000000b7: EQ
000000b8: PUSH2 0x0130
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: CALLDATASIZE
000000c2: PUSH2 0x0109
000000c5: JUMPI
000000c6: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
000000e7: CALLER
000000e8: PUSH1 0x40
000000ea: DUP1
000000eb: MLOAD
000000ec: PUSH1 0x01
000000ee: PUSH1 0x01
000000f0: PUSH1 0xa0
000000f2: SHL
000000f3: SUB
000000f4: SWAP1
000000f5: SWAP3
000000f6: AND
000000f7: DUP3
000000f8: MSTORE
000000f9: CALLVALUE
000000fa: PUSH1 0x20
000000fc: DUP4
000000fd: ADD
000000fe: MSTORE
000000ff: ADD
00000100: PUSH1 0x40
00000102: MLOAD
00000103: DUP1
00000104: SWAP2
00000105: SUB
00000106: SWAP1
00000107: LOG1
00000108: STOP
00000109: JUMPDEST
0000010a: PUSH1 0x00
0000010c: DUP1
0000010d: REVERT
0000010e: JUMPDEST
0000010f: CALLVALUE
00000110: DUP1
00000111: ISZERO
00000112: PUSH2 0x011a
00000115: JUMPI
00000116: PUSH1 0x00
00000118: DUP1
00000119: REVERT
0000011a: JUMPDEST
0000011b: POP
0000011c: PUSH2 0x012e
0000011f: PUSH2 0x0129
00000122: CALLDATASIZE
00000123: PUSH1 0x04
00000125: PUSH2 0x0af1
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH2 0x02c3
0000012d: JUMP
0000012e: JUMPDEST
0000012f: STOP
00000130: JUMPDEST
00000131: CALLVALUE
00000132: DUP1
00000133: ISZERO
00000134: PUSH2 0x013c
00000137: JUMPI
00000138: PUSH1 0x00
0000013a: DUP1
0000013b: REVERT
0000013c: JUMPDEST
0000013d: POP
0000013e: PUSH1 0x00
00000140: SLOAD
00000141: JUMPDEST
00000142: PUSH1 0x40
00000144: MLOAD
00000145: SWAP1
00000146: DUP2
00000147: MSTORE
00000148: PUSH1 0x20
0000014a: ADD
0000014b: JUMPDEST
0000014c: PUSH1 0x40
0000014e: MLOAD
0000014f: DUP1
00000150: SWAP2
00000151: SUB
00000152: SWAP1
00000153: RETURN
00000154: JUMPDEST
00000155: CALLVALUE
00000156: DUP1
00000157: ISZERO
00000158: PUSH2 0x0160
0000015b: JUMPI
0000015c: PUSH1 0x00
0000015e: DUP1
0000015f: REVERT
00000160: JUMPDEST
00000161: POP
00000162: PUSH2 0x0141
00000165: PUSH2 0x016f
00000168: CALLDATASIZE
00000169: PUSH1 0x04
0000016b: PUSH2 0x0b0e
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x0432
00000173: JUMP
00000174: JUMPDEST
00000175: CALLVALUE
00000176: DUP1
00000177: ISZERO
00000178: PUSH2 0x0180
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: PUSH2 0x012e
00000185: PUSH2 0x018f
00000188: CALLDATASIZE
00000189: PUSH1 0x04
0000018b: PUSH2 0x0b0e
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH2 0x045f
00000193: JUMP
00000194: JUMPDEST
00000195: CALLVALUE
00000196: DUP1
00000197: ISZERO
00000198: PUSH2 0x01a0
0000019b: JUMPI
0000019c: PUSH1 0x00
0000019e: DUP1
0000019f: REVERT
000001a0: JUMPDEST
000001a1: POP
000001a2: PUSH2 0x01b4
000001a5: PUSH2 0x01af
000001a8: CALLDATASIZE
000001a9: PUSH1 0x04
000001ab: PUSH2 0x0b47
000001ae: JUMP
000001af: JUMPDEST
000001b0: PUSH2 0x05f3
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH1 0x40
000001b7: MLOAD
000001b8: PUSH1 0x01
000001ba: PUSH1 0x01
000001bc: PUSH1 0xa0
000001be: SHL
000001bf: SUB
000001c0: SWAP1
000001c1: SWAP2
000001c2: AND
000001c3: DUP2
000001c4: MSTORE
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: PUSH2 0x014b
000001cb: JUMP
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 0x0141
000001dd: PUSH2 0x01e7
000001e0: CALLDATASIZE
000001e1: PUSH1 0x04
000001e3: PUSH2 0x0af1
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x01
000001ea: PUSH1 0x01
000001ec: PUSH1 0xa0
000001ee: SHL
000001ef: SUB
000001f0: AND
000001f1: PUSH1 0x00
000001f3: SWAP1
000001f4: DUP2
000001f5: MSTORE
000001f6: PUSH1 0x03
000001f8: PUSH1 0x20
000001fa: MSTORE
000001fb: PUSH1 0x40
000001fd: SWAP1
000001fe: KECCAK256
000001ff: SLOAD
00000200: SWAP1
00000201: JUMP
00000202: JUMPDEST
00000203: CALLVALUE
00000204: DUP1
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: POP
00000210: PUSH2 0x0141
00000213: PUSH2 0x021d
00000216: CALLDATASIZE
00000217: PUSH1 0x04
00000219: PUSH2 0x0af1
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH2 0x0623
00000221: JUMP
00000222: JUMPDEST
00000223: CALLVALUE
00000224: DUP1
00000225: ISZERO
00000226: PUSH2 0x022e
00000229: JUMPI
0000022a: PUSH1 0x00
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x0141
00000233: PUSH2 0x023d
00000236: CALLDATASIZE
00000237: PUSH1 0x04
00000239: PUSH2 0x0b0e
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH2 0x066b
00000241: JUMP
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024e
00000249: JUMPI
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: REVERT
0000024e: JUMPDEST
0000024f: POP
00000250: PUSH2 0x0141
00000253: PUSH2 0x025d
00000256: CALLDATASIZE
00000257: PUSH1 0x04
00000259: PUSH2 0x0af1
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x01
00000260: PUSH1 0x01
00000262: PUSH1 0xa0
00000264: SHL
00000265: SUB
00000266: AND
00000267: PUSH1 0x00
00000269: SWAP1
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x02
0000026e: PUSH1 0x20
00000270: MSTORE
00000271: PUSH1 0x40
00000273: SWAP1
00000274: KECCAK256
00000275: SLOAD
00000276: SWAP1
00000277: JUMP
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: DUP1
0000027b: ISZERO
0000027c: PUSH2 0x0284
0000027f: JUMPI
00000280: PUSH1 0x00
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: POP
00000286: PUSH2 0x0141
00000289: PUSH2 0x0293
0000028c: CALLDATASIZE
0000028d: PUSH1 0x04
0000028f: PUSH2 0x0af1
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH1 0x01
00000296: PUSH1 0x01
00000298: PUSH1 0xa0
0000029a: SHL
0000029b: SUB
0000029c: AND
0000029d: PUSH1 0x00
0000029f: SWAP1
000002a0: DUP2
000002a1: MSTORE
000002a2: PUSH1 0x05
000002a4: PUSH1 0x20
000002a6: MSTORE
000002a7: PUSH1 0x40
000002a9: SWAP1
000002aa: KECCAK256
000002ab: SLOAD
000002ac: SWAP1
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH1 0x01
000002be: SLOAD
000002bf: PUSH2 0x0141
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x01
000002c6: PUSH1 0x01
000002c8: PUSH1 0xa0
000002ca: SHL
000002cb: SUB
000002cc: DUP2
000002cd: AND
000002ce: PUSH1 0x00
000002d0: SWAP1
000002d1: DUP2
000002d2: MSTORE
000002d3: PUSH1 0x02
000002d5: PUSH1 0x20
000002d7: MSTORE
000002d8: PUSH1 0x40
000002da: SWAP1
000002db: KECCAK256
000002dc: SLOAD
000002dd: PUSH2 0x033c
000002e0: JUMPI
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: PUSH3 0x461bcd
000002e8: PUSH1 0xe5
000002ea: SHL
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: PUSH1 0x04
000002f1: DUP3
000002f2: ADD
000002f3: MSTORE
000002f4: PUSH1 0x26
000002f6: PUSH1 0x24
000002f8: DUP3
000002f9: ADD
000002fa: MSTORE
000002fb: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
0000031c: PUSH1 0x44
0000031e: DUP3
0000031f: ADD
00000320: MSTORE
00000321: PUSH6 0x736861726573
00000328: PUSH1 0xd0
0000032a: SHL
0000032b: PUSH1 0x64
0000032d: DUP3
0000032e: ADD
0000032f: MSTORE
00000330: PUSH1 0x84
00000332: ADD
00000333: JUMPDEST
00000334: PUSH1 0x40
00000336: MLOAD
00000337: DUP1
00000338: SWAP2
00000339: SUB
0000033a: SWAP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: PUSH1 0x00
0000033f: PUSH2 0x0347
00000342: DUP3
00000343: PUSH2 0x0623
00000346: JUMP
00000347: JUMPDEST
00000348: SWAP1
00000349: POP
0000034a: DUP1
0000034b: PUSH1 0x00
0000034d: SUB
0000034e: PUSH2 0x03ad
00000351: JUMPI
00000352: PUSH1 0x40
00000354: MLOAD
00000355: PUSH3 0x461bcd
00000359: PUSH1 0xe5
0000035b: SHL
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: PUSH1 0x04
00000362: DUP3
00000363: ADD
00000364: MSTORE
00000365: PUSH1 0x2b
00000367: PUSH1 0x24
00000369: DUP3
0000036a: ADD
0000036b: MSTORE
0000036c: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
0000038d: PUSH1 0x44
0000038f: DUP3
00000390: ADD
00000391: MSTORE
00000392: PUSH11 0x191d59481c185e5b595b9d
0000039e: PUSH1 0xaa
000003a0: SHL
000003a1: PUSH1 0x64
000003a3: DUP3
000003a4: ADD
000003a5: MSTORE
000003a6: PUSH1 0x84
000003a8: ADD
000003a9: PUSH2 0x0333
000003ac: JUMP
000003ad: JUMPDEST
000003ae: DUP1
000003af: PUSH1 0x01
000003b1: PUSH1 0x00
000003b3: DUP3
000003b4: DUP3
000003b5: SLOAD
000003b6: PUSH2 0x03bf
000003b9: SWAP2
000003ba: SWAP1
000003bb: PUSH2 0x0b76
000003be: JUMP
000003bf: JUMPDEST
000003c0: SWAP1
000003c1: SWAP2
000003c2: SSTORE
000003c3: POP
000003c4: POP
000003c5: PUSH1 0x01
000003c7: PUSH1 0x01
000003c9: PUSH1 0xa0
000003cb: SHL
000003cc: SUB
000003cd: DUP3
000003ce: AND
000003cf: PUSH1 0x00
000003d1: SWAP1
000003d2: DUP2
000003d3: MSTORE
000003d4: PUSH1 0x03
000003d6: PUSH1 0x20
000003d8: MSTORE
000003d9: PUSH1 0x40
000003db: SWAP1
000003dc: KECCAK256
000003dd: DUP1
000003de: SLOAD
000003df: DUP3
000003e0: ADD
000003e1: SWAP1
000003e2: SSTORE
000003e3: PUSH2 0x03ec
000003e6: DUP3
000003e7: DUP3
000003e8: PUSH2 0x0711
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH1 0x40
000003ef: DUP1
000003f0: MLOAD
000003f1: PUSH1 0x01
000003f3: PUSH1 0x01
000003f5: PUSH1 0xa0
000003f7: SHL
000003f8: SUB
000003f9: DUP5
000003fa: AND
000003fb: DUP2
000003fc: MSTORE
000003fd: PUSH1 0x20
000003ff: DUP2
00000400: ADD
00000401: DUP4
00000402: SWAP1
00000403: MSTORE
00000404: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000425: SWAP2
00000426: ADD
00000427: PUSH1 0x40
00000429: MLOAD
0000042a: DUP1
0000042b: SWAP2
0000042c: SUB
0000042d: SWAP1
0000042e: LOG1
0000042f: POP
00000430: POP
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH1 0x01
00000435: PUSH1 0x01
00000437: PUSH1 0xa0
00000439: SHL
0000043a: SUB
0000043b: DUP1
0000043c: DUP4
0000043d: AND
0000043e: PUSH1 0x00
00000440: SWAP1
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x06
00000445: PUSH1 0x20
00000447: SWAP1
00000448: DUP2
00000449: MSTORE
0000044a: PUSH1 0x40
0000044c: DUP1
0000044d: DUP4
0000044e: KECCAK256
0000044f: SWAP4
00000450: DUP6
00000451: AND
00000452: DUP4
00000453: MSTORE
00000454: SWAP3
00000455: SWAP1
00000456: MSTORE
00000457: KECCAK256
00000458: SLOAD
00000459: JUMPDEST
0000045a: SWAP3
0000045b: SWAP2
0000045c: POP
0000045d: POP
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x01
00000462: PUSH1 0x01
00000464: PUSH1 0xa0
00000466: SHL
00000467: SUB
00000468: DUP2
00000469: AND
0000046a: PUSH1 0x00
0000046c: SWAP1
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x02
00000471: PUSH1 0x20
00000473: MSTORE
00000474: PUSH1 0x40
00000476: SWAP1
00000477: KECCAK256
00000478: SLOAD
00000479: PUSH2 0x04d3
0000047c: JUMPI
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: PUSH3 0x461bcd
00000484: PUSH1 0xe5
00000486: SHL
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x20
0000048b: PUSH1 0x04
0000048d: DUP3
0000048e: ADD
0000048f: MSTORE
00000490: PUSH1 0x26
00000492: PUSH1 0x24
00000494: DUP3
00000495: ADD
00000496: MSTORE
00000497: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
000004b8: PUSH1 0x44
000004ba: DUP3
000004bb: ADD
000004bc: MSTORE
000004bd: PUSH6 0x736861726573
000004c4: PUSH1 0xd0
000004c6: SHL
000004c7: PUSH1 0x64
000004c9: DUP3
000004ca: ADD
000004cb: MSTORE
000004cc: PUSH1 0x84
000004ce: ADD
000004cf: PUSH2 0x0333
000004d2: JUMP
000004d3: JUMPDEST
000004d4: PUSH1 0x00
000004d6: PUSH2 0x04df
000004d9: DUP4
000004da: DUP4
000004db: PUSH2 0x066b
000004de: JUMP
000004df: JUMPDEST
000004e0: SWAP1
000004e1: POP
000004e2: DUP1
000004e3: PUSH1 0x00
000004e5: SUB
000004e6: PUSH2 0x0545
000004e9: JUMPI
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: PUSH3 0x461bcd
000004f1: PUSH1 0xe5
000004f3: SHL
000004f4: DUP2
000004f5: MSTORE
000004f6: PUSH1 0x20
000004f8: PUSH1 0x04
000004fa: DUP3
000004fb: ADD
000004fc: MSTORE
000004fd: PUSH1 0x2b
000004ff: PUSH1 0x24
00000501: DUP3
00000502: ADD
00000503: MSTORE
00000504: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000525: PUSH1 0x44
00000527: DUP3
00000528: ADD
00000529: MSTORE
0000052a: PUSH11 0x191d59481c185e5b595b9d
00000536: PUSH1 0xaa
00000538: SHL
00000539: PUSH1 0x64
0000053b: DUP3
0000053c: ADD
0000053d: MSTORE
0000053e: PUSH1 0x84
00000540: ADD
00000541: PUSH2 0x0333
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x01
00000548: PUSH1 0x01
0000054a: PUSH1 0xa0
0000054c: SHL
0000054d: SUB
0000054e: DUP4
0000054f: AND
00000550: PUSH1 0x00
00000552: SWAP1
00000553: DUP2
00000554: MSTORE
00000555: PUSH1 0x05
00000557: PUSH1 0x20
00000559: MSTORE
0000055a: PUSH1 0x40
0000055c: DUP2
0000055d: KECCAK256
0000055e: DUP1
0000055f: SLOAD
00000560: DUP4
00000561: SWAP3
00000562: SWAP1
00000563: PUSH2 0x056d
00000566: SWAP1
00000567: DUP5
00000568: SWAP1
00000569: PUSH2 0x0b76
0000056c: JUMP
0000056d: JUMPDEST
0000056e: SWAP1
0000056f: SWAP2
00000570: SSTORE
00000571: POP
00000572: POP
00000573: PUSH1 0x01
00000575: PUSH1 0x01
00000577: PUSH1 0xa0
00000579: SHL
0000057a: SUB
0000057b: DUP1
0000057c: DUP5
0000057d: AND
0000057e: PUSH1 0x00
00000580: SWAP1
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x06
00000585: PUSH1 0x20
00000587: SWAP1
00000588: DUP2
00000589: MSTORE
0000058a: PUSH1 0x40
0000058c: DUP1
0000058d: DUP4
0000058e: KECCAK256
0000058f: SWAP4
00000590: DUP7
00000591: AND
00000592: DUP4
00000593: MSTORE
00000594: SWAP3
00000595: SWAP1
00000596: MSTORE
00000597: KECCAK256
00000598: DUP1
00000599: SLOAD
0000059a: DUP3
0000059b: ADD
0000059c: SWAP1
0000059d: SSTORE
0000059e: PUSH2 0x05a8
000005a1: DUP4
000005a2: DUP4
000005a3: DUP4
000005a4: PUSH2 0x082f
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x40
000005ab: DUP1
000005ac: MLOAD
000005ad: PUSH1 0x01
000005af: PUSH1 0x01
000005b1: PUSH1 0xa0
000005b3: SHL
000005b4: SUB
000005b5: DUP5
000005b6: DUP2
000005b7: AND
000005b8: DUP3
000005b9: MSTORE
000005ba: PUSH1 0x20
000005bc: DUP3
000005bd: ADD
000005be: DUP5
000005bf: SWAP1
000005c0: MSTORE
000005c1: DUP6
000005c2: AND
000005c3: SWAP2
000005c4: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
000005e5: SWAP2
000005e6: ADD
000005e7: PUSH1 0x40
000005e9: MLOAD
000005ea: DUP1
000005eb: SWAP2
000005ec: SUB
000005ed: SWAP1
000005ee: LOG2
000005ef: POP
000005f0: POP
000005f1: POP
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH1 0x00
000005f6: PUSH1 0x04
000005f8: DUP3
000005f9: DUP2
000005fa: SLOAD
000005fb: DUP2
000005fc: LT
000005fd: PUSH2 0x0608
00000600: JUMPI
00000601: PUSH2 0x0608
00000604: PUSH2 0x0b89
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH1 0x00
0000060b: SWAP2
0000060c: DUP3
0000060d: MSTORE
0000060e: PUSH1 0x20
00000610: SWAP1
00000611: SWAP2
00000612: KECCAK256
00000613: ADD
00000614: SLOAD
00000615: PUSH1 0x01
00000617: PUSH1 0x01
00000619: PUSH1 0xa0
0000061b: SHL
0000061c: SUB
0000061d: AND
0000061e: SWAP3
0000061f: SWAP2
00000620: POP
00000621: POP
00000622: JUMP
00000623: JUMPDEST
00000624: PUSH1 0x00
00000626: DUP1
00000627: PUSH2 0x062f
0000062a: PUSH1 0x01
0000062c: SLOAD
0000062d: SWAP1
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH2 0x0639
00000633: SWAP1
00000634: SELFBALANCE
00000635: PUSH2 0x0b76
00000638: JUMP
00000639: JUMPDEST
0000063a: SWAP1
0000063b: POP
0000063c: PUSH2 0x0664
0000063f: DUP4
00000640: DUP3
00000641: PUSH2 0x065f
00000644: DUP7
00000645: PUSH1 0x01
00000647: PUSH1 0x01
00000649: PUSH1 0xa0
0000064b: SHL
0000064c: SUB
0000064d: AND
0000064e: PUSH1 0x00
00000650: SWAP1
00000651: DUP2
00000652: MSTORE
00000653: PUSH1 0x03
00000655: PUSH1 0x20
00000657: MSTORE
00000658: PUSH1 0x40
0000065a: SWAP1
0000065b: KECCAK256
0000065c: SLOAD
0000065d: SWAP1
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH2 0x0896
00000663: JUMP
00000664: JUMPDEST
00000665: SWAP4
00000666: SWAP3
00000667: POP
00000668: POP
00000669: POP
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH1 0x01
0000066e: PUSH1 0x01
00000670: PUSH1 0xa0
00000672: SHL
00000673: SUB
00000674: DUP3
00000675: AND
00000676: PUSH1 0x00
00000678: SWAP1
00000679: DUP2
0000067a: MSTORE
0000067b: PUSH1 0x05
0000067d: PUSH1 0x20
0000067f: MSTORE
00000680: PUSH1 0x40
00000682: DUP2
00000683: KECCAK256
00000684: SLOAD
00000685: DUP2
00000686: SWAP1
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: PUSH4 0x70a08231
0000068f: PUSH1 0xe0
00000691: SHL
00000692: DUP2
00000693: MSTORE
00000694: ADDRESS
00000695: PUSH1 0x04
00000697: DUP3
00000698: ADD
00000699: MSTORE
0000069a: PUSH1 0x01
0000069c: PUSH1 0x01
0000069e: PUSH1 0xa0
000006a0: SHL
000006a1: SUB
000006a2: DUP7
000006a3: AND
000006a4: SWAP1
000006a5: PUSH4 0x70a08231
000006aa: SWAP1
000006ab: PUSH1 0x24
000006ad: ADD
000006ae: PUSH1 0x20
000006b0: PUSH1 0x40
000006b2: MLOAD
000006b3: DUP1
000006b4: DUP4
000006b5: SUB
000006b6: DUP2
000006b7: DUP7
000006b8: GAS
000006b9: STATICCALL
000006ba: ISZERO
000006bb: DUP1
000006bc: ISZERO
000006bd: PUSH2 0x06ca
000006c0: JUMPI
000006c1: RETURNDATASIZE
000006c2: PUSH1 0x00
000006c4: DUP1
000006c5: RETURNDATACOPY
000006c6: RETURNDATASIZE
000006c7: PUSH1 0x00
000006c9: REVERT
000006ca: JUMPDEST
000006cb: POP
000006cc: POP
000006cd: POP
000006ce: POP
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: RETURNDATASIZE
000006d3: PUSH1 0x1f
000006d5: NOT
000006d6: PUSH1 0x1f
000006d8: DUP3
000006d9: ADD
000006da: AND
000006db: DUP3
000006dc: ADD
000006dd: DUP1
000006de: PUSH1 0x40
000006e0: MSTORE
000006e1: POP
000006e2: DUP2
000006e3: ADD
000006e4: SWAP1
000006e5: PUSH2 0x06ee
000006e8: SWAP2
000006e9: SWAP1
000006ea: PUSH2 0x0b9f
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x06f8
000006f2: SWAP2
000006f3: SWAP1
000006f4: PUSH2 0x0b76
000006f7: JUMP
000006f8: JUMPDEST
000006f9: SWAP1
000006fa: POP
000006fb: PUSH2 0x0709
000006fe: DUP4
000006ff: DUP3
00000700: PUSH2 0x065f
00000703: DUP8
00000704: DUP8
00000705: PUSH2 0x0432
00000708: JUMP
00000709: JUMPDEST
0000070a: SWAP5
0000070b: SWAP4
0000070c: POP
0000070d: POP
0000070e: POP
0000070f: POP
00000710: JUMP
00000711: JUMPDEST
00000712: DUP1
00000713: SELFBALANCE
00000714: LT
00000715: ISZERO
00000716: PUSH2 0x0761
00000719: JUMPI
0000071a: PUSH1 0x40
0000071c: MLOAD
0000071d: PUSH3 0x461bcd
00000721: PUSH1 0xe5
00000723: SHL
00000724: DUP2
00000725: MSTORE
00000726: PUSH1 0x20
00000728: PUSH1 0x04
0000072a: DUP3
0000072b: ADD
0000072c: MSTORE
0000072d: PUSH1 0x1d
0000072f: PUSH1 0x24
00000731: DUP3
00000732: ADD
00000733: MSTORE
00000734: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000755: PUSH1 0x44
00000757: DUP3
00000758: ADD
00000759: MSTORE
0000075a: PUSH1 0x64
0000075c: ADD
0000075d: PUSH2 0x0333
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x00
00000764: DUP3
00000765: PUSH1 0x01
00000767: PUSH1 0x01
00000769: PUSH1 0xa0
0000076b: SHL
0000076c: SUB
0000076d: AND
0000076e: DUP3
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: PUSH1 0x00
00000774: PUSH1 0x40
00000776: MLOAD
00000777: DUP1
00000778: DUP4
00000779: SUB
0000077a: DUP2
0000077b: DUP6
0000077c: DUP8
0000077d: GAS
0000077e: CALL
0000077f: SWAP3
00000780: POP
00000781: POP
00000782: POP
00000783: RETURNDATASIZE
00000784: DUP1
00000785: PUSH1 0x00
00000787: DUP2
00000788: EQ
00000789: PUSH2 0x07ae
0000078c: JUMPI
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: SWAP2
00000791: POP
00000792: PUSH1 0x1f
00000794: NOT
00000795: PUSH1 0x3f
00000797: RETURNDATASIZE
00000798: ADD
00000799: AND
0000079a: DUP3
0000079b: ADD
0000079c: PUSH1 0x40
0000079e: MSTORE
0000079f: RETURNDATASIZE
000007a0: DUP3
000007a1: MSTORE
000007a2: RETURNDATASIZE
000007a3: PUSH1 0x00
000007a5: PUSH1 0x20
000007a7: DUP5
000007a8: ADD
000007a9: RETURNDATACOPY
000007aa: PUSH2 0x07b3
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH1 0x60
000007b1: SWAP2
000007b2: POP
000007b3: JUMPDEST
000007b4: POP
000007b5: POP
000007b6: SWAP1
000007b7: POP
000007b8: DUP1
000007b9: PUSH2 0x082a
000007bc: JUMPI
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: PUSH3 0x461bcd
000007c4: PUSH1 0xe5
000007c6: SHL
000007c7: DUP2
000007c8: MSTORE
000007c9: PUSH1 0x20
000007cb: PUSH1 0x04
000007cd: DUP3
000007ce: ADD
000007cf: MSTORE
000007d0: PUSH1 0x3a
000007d2: PUSH1 0x24
000007d4: DUP3
000007d5: ADD
000007d6: MSTORE
000007d7: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000007f8: PUSH1 0x44
000007fa: DUP3
000007fb: ADD
000007fc: MSTORE
000007fd: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
0000081e: PUSH1 0x64
00000820: DUP3
00000821: ADD
00000822: MSTORE
00000823: PUSH1 0x84
00000825: ADD
00000826: PUSH2 0x0333
00000829: JUMP
0000082a: JUMPDEST
0000082b: POP
0000082c: POP
0000082d: POP
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x40
00000832: DUP1
00000833: MLOAD
00000834: PUSH1 0x01
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: SHL
0000083b: SUB
0000083c: DUP5
0000083d: AND
0000083e: PUSH1 0x24
00000840: DUP3
00000841: ADD
00000842: MSTORE
00000843: PUSH1 0x44
00000845: DUP1
00000846: DUP3
00000847: ADD
00000848: DUP5
00000849: SWAP1
0000084a: MSTORE
0000084b: DUP3
0000084c: MLOAD
0000084d: DUP1
0000084e: DUP4
0000084f: SUB
00000850: SWAP1
00000851: SWAP2
00000852: ADD
00000853: DUP2
00000854: MSTORE
00000855: PUSH1 0x64
00000857: SWAP1
00000858: SWAP2
00000859: ADD
0000085a: SWAP1
0000085b: SWAP2
0000085c: MSTORE
0000085d: PUSH1 0x20
0000085f: DUP2
00000860: ADD
00000861: DUP1
00000862: MLOAD
00000863: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000880: AND
00000881: PUSH4 0xa9059cbb
00000886: PUSH1 0xe0
00000888: SHL
00000889: OR
0000088a: SWAP1
0000088b: MSTORE
0000088c: PUSH2 0x082a
0000088f: SWAP1
00000890: DUP5
00000891: SWAP1
00000892: PUSH2 0x08d1
00000895: JUMP
00000896: JUMPDEST
00000897: PUSH1 0x00
00000899: DUP1
0000089a: SLOAD
0000089b: PUSH1 0x01
0000089d: PUSH1 0x01
0000089f: PUSH1 0xa0
000008a1: SHL
000008a2: SUB
000008a3: DUP6
000008a4: AND
000008a5: DUP3
000008a6: MSTORE
000008a7: PUSH1 0x02
000008a9: PUSH1 0x20
000008ab: MSTORE
000008ac: PUSH1 0x40
000008ae: DUP3
000008af: KECCAK256
000008b0: SLOAD
000008b1: DUP4
000008b2: SWAP2
000008b3: SWAP1
000008b4: PUSH2 0x08bd
000008b7: SWAP1
000008b8: DUP7
000008b9: PUSH2 0x0bb8
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH2 0x08c7
000008c1: SWAP2
000008c2: SWAP1
000008c3: PUSH2 0x0bcf
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x0709
000008cb: SWAP2
000008cc: SWAP1
000008cd: PUSH2 0x0bf1
000008d0: JUMP
000008d1: JUMPDEST
000008d2: PUSH1 0x00
000008d4: PUSH2 0x0926
000008d7: DUP3
000008d8: PUSH1 0x40
000008da: MLOAD
000008db: DUP1
000008dc: PUSH1 0x40
000008de: ADD
000008df: PUSH1 0x40
000008e1: MSTORE
000008e2: DUP1
000008e3: PUSH1 0x20
000008e5: DUP2
000008e6: MSTORE
000008e7: PUSH1 0x20
000008e9: ADD
000008ea: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000090b: DUP2
0000090c: MSTORE
0000090d: POP
0000090e: DUP6
0000090f: PUSH1 0x01
00000911: PUSH1 0x01
00000913: PUSH1 0xa0
00000915: SHL
00000916: SUB
00000917: AND
00000918: PUSH2 0x09b6
0000091b: SWAP1
0000091c: SWAP3
0000091d: SWAP2
0000091e: SWAP1
0000091f: PUSH4 0xffffffff
00000924: AND
00000925: JUMP
00000926: JUMPDEST
00000927: DUP1
00000928: MLOAD
00000929: SWAP1
0000092a: SWAP2
0000092b: POP
0000092c: ISZERO
0000092d: PUSH2 0x082a
00000930: JUMPI
00000931: DUP1
00000932: DUP1
00000933: PUSH1 0x20
00000935: ADD
00000936: SWAP1
00000937: MLOAD
00000938: DUP2
00000939: ADD
0000093a: SWAP1
0000093b: PUSH2 0x0944
0000093e: SWAP2
0000093f: SWAP1
00000940: PUSH2 0x0c04
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH2 0x082a
00000948: JUMPI
00000949: PUSH1 0x40
0000094b: MLOAD
0000094c: PUSH3 0x461bcd
00000950: PUSH1 0xe5
00000952: SHL
00000953: DUP2
00000954: MSTORE
00000955: PUSH1 0x20
00000957: PUSH1 0x04
00000959: DUP3
0000095a: ADD
0000095b: MSTORE
0000095c: PUSH1 0x2a
0000095e: PUSH1 0x24
00000960: DUP3
00000961: ADD
00000962: MSTORE
00000963: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00000984: PUSH1 0x44
00000986: DUP3
00000987: ADD
00000988: MSTORE
00000989: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000009aa: PUSH1 0x64
000009ac: DUP3
000009ad: ADD
000009ae: MSTORE
000009af: PUSH1 0x84
000009b1: ADD
000009b2: PUSH2 0x0333
000009b5: JUMP
000009b6: JUMPDEST
000009b7: PUSH1 0x60
000009b9: PUSH2 0x0709
000009bc: DUP5
000009bd: DUP5
000009be: PUSH1 0x00
000009c0: DUP6
000009c1: DUP6
000009c2: PUSH1 0x00
000009c4: DUP1
000009c5: DUP7
000009c6: PUSH1 0x01
000009c8: PUSH1 0x01
000009ca: PUSH1 0xa0
000009cc: SHL
000009cd: SUB
000009ce: AND
000009cf: DUP6
000009d0: DUP8
000009d1: PUSH1 0x40
000009d3: MLOAD
000009d4: PUSH2 0x09dd
000009d7: SWAP2
000009d8: SWAP1
000009d9: PUSH2 0x0c4a
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH1 0x00
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: DUP1
000009e4: DUP4
000009e5: SUB
000009e6: DUP2
000009e7: DUP6
000009e8: DUP8
000009e9: GAS
000009ea: CALL
000009eb: SWAP3
000009ec: POP
000009ed: POP
000009ee: POP
000009ef: RETURNDATASIZE
000009f0: DUP1
000009f1: PUSH1 0x00
000009f3: DUP2
000009f4: EQ
000009f5: PUSH2 0x0a1a
000009f8: JUMPI
000009f9: PUSH1 0x40
000009fb: MLOAD
000009fc: SWAP2
000009fd: POP
000009fe: PUSH1 0x1f
00000a00: NOT
00000a01: PUSH1 0x3f
00000a03: RETURNDATASIZE
00000a04: ADD
00000a05: AND
00000a06: DUP3
00000a07: ADD
00000a08: PUSH1 0x40
00000a0a: MSTORE
00000a0b: RETURNDATASIZE
00000a0c: DUP3
00000a0d: MSTORE
00000a0e: RETURNDATASIZE
00000a0f: PUSH1 0x00
00000a11: PUSH1 0x20
00000a13: DUP5
00000a14: ADD
00000a15: RETURNDATACOPY
00000a16: PUSH2 0x0a1f
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: PUSH1 0x60
00000a1d: SWAP2
00000a1e: POP
00000a1f: JUMPDEST
00000a20: POP
00000a21: SWAP2
00000a22: POP
00000a23: SWAP2
00000a24: POP
00000a25: PUSH2 0x0a30
00000a28: DUP8
00000a29: DUP4
00000a2a: DUP4
00000a2b: DUP8
00000a2c: PUSH2 0x0a3b
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: SWAP8
00000a32: SWAP7
00000a33: POP
00000a34: POP
00000a35: POP
00000a36: POP
00000a37: POP
00000a38: POP
00000a39: POP
00000a3a: JUMP
00000a3b: JUMPDEST
00000a3c: PUSH1 0x60
00000a3e: DUP4
00000a3f: ISZERO
00000a40: PUSH2 0x0aaa
00000a43: JUMPI
00000a44: DUP3
00000a45: MLOAD
00000a46: PUSH1 0x00
00000a48: SUB
00000a49: PUSH2 0x0aa3
00000a4c: JUMPI
00000a4d: PUSH1 0x01
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xa0
00000a53: SHL
00000a54: SUB
00000a55: DUP6
00000a56: AND
00000a57: EXTCODESIZE
00000a58: PUSH2 0x0aa3
00000a5b: JUMPI
00000a5c: PUSH1 0x40
00000a5e: MLOAD
00000a5f: PUSH3 0x461bcd
00000a63: PUSH1 0xe5
00000a65: SHL
00000a66: DUP2
00000a67: MSTORE
00000a68: PUSH1 0x20
00000a6a: PUSH1 0x04
00000a6c: DUP3
00000a6d: ADD
00000a6e: MSTORE
00000a6f: PUSH1 0x1d
00000a71: PUSH1 0x24
00000a73: DUP3
00000a74: ADD
00000a75: MSTORE
00000a76: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000a97: PUSH1 0x44
00000a99: DUP3
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH1 0x64
00000a9e: ADD
00000a9f: PUSH2 0x0333
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: POP
00000aa5: DUP2
00000aa6: PUSH2 0x0709
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: PUSH2 0x0709
00000aae: DUP4
00000aaf: DUP4
00000ab0: DUP2
00000ab1: MLOAD
00000ab2: ISZERO
00000ab3: PUSH2 0x0abf
00000ab6: JUMPI
00000ab7: DUP2
00000ab8: MLOAD
00000ab9: DUP1
00000aba: DUP4
00000abb: PUSH1 0x20
00000abd: ADD
00000abe: REVERT
00000abf: JUMPDEST
00000ac0: DUP1
00000ac1: PUSH1 0x40
00000ac3: MLOAD
00000ac4: PUSH3 0x461bcd
00000ac8: PUSH1 0xe5
00000aca: SHL
00000acb: DUP2
00000acc: MSTORE
00000acd: PUSH1 0x04
00000acf: ADD
00000ad0: PUSH2 0x0333
00000ad3: SWAP2
00000ad4: SWAP1
00000ad5: PUSH2 0x0c66
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: PUSH1 0x01
00000adc: PUSH1 0x01
00000ade: PUSH1 0xa0
00000ae0: SHL
00000ae1: SUB
00000ae2: DUP2
00000ae3: AND
00000ae4: DUP2
00000ae5: EQ
00000ae6: PUSH2 0x0aee
00000ae9: JUMPI
00000aea: PUSH1 0x00
00000aec: DUP1
00000aed: REVERT
00000aee: JUMPDEST
00000aef: POP
00000af0: JUMP
00000af1: JUMPDEST
00000af2: PUSH1 0x00
00000af4: PUSH1 0x20
00000af6: DUP3
00000af7: DUP5
00000af8: SUB
00000af9: SLT
00000afa: ISZERO
00000afb: PUSH2 0x0b03
00000afe: JUMPI
00000aff: PUSH1 0x00
00000b01: DUP1
00000b02: REVERT
00000b03: JUMPDEST
00000b04: DUP2
00000b05: CALLDATALOAD
00000b06: PUSH2 0x0664
00000b09: DUP2
00000b0a: PUSH2 0x0ad9
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x00
00000b11: DUP1
00000b12: PUSH1 0x40
00000b14: DUP4
00000b15: DUP6
00000b16: SUB
00000b17: SLT
00000b18: ISZERO
00000b19: PUSH2 0x0b21
00000b1c: JUMPI
00000b1d: PUSH1 0x00
00000b1f: DUP1
00000b20: REVERT
00000b21: JUMPDEST
00000b22: DUP3
00000b23: CALLDATALOAD
00000b24: PUSH2 0x0b2c
00000b27: DUP2
00000b28: PUSH2 0x0ad9
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: SWAP2
00000b2e: POP
00000b2f: PUSH1 0x20
00000b31: DUP4
00000b32: ADD
00000b33: CALLDATALOAD
00000b34: PUSH2 0x0b3c
00000b37: DUP2
00000b38: PUSH2 0x0ad9
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: DUP1
00000b3e: SWAP2
00000b3f: POP
00000b40: POP
00000b41: SWAP3
00000b42: POP
00000b43: SWAP3
00000b44: SWAP1
00000b45: POP
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH1 0x00
00000b4a: PUSH1 0x20
00000b4c: DUP3
00000b4d: DUP5
00000b4e: SUB
00000b4f: SLT
00000b50: ISZERO
00000b51: PUSH2 0x0b59
00000b54: JUMPI
00000b55: PUSH1 0x00
00000b57: DUP1
00000b58: REVERT
00000b59: JUMPDEST
00000b5a: POP
00000b5b: CALLDATALOAD
00000b5c: SWAP2
00000b5d: SWAP1
00000b5e: POP
00000b5f: JUMP
00000b60: JUMPDEST
00000b61: PUSH4 0x4e487b71
00000b66: PUSH1 0xe0
00000b68: SHL
00000b69: PUSH1 0x00
00000b6b: MSTORE
00000b6c: PUSH1 0x11
00000b6e: PUSH1 0x04
00000b70: MSTORE
00000b71: PUSH1 0x24
00000b73: PUSH1 0x00
00000b75: REVERT
00000b76: JUMPDEST
00000b77: DUP1
00000b78: DUP3
00000b79: ADD
00000b7a: DUP1
00000b7b: DUP3
00000b7c: GT
00000b7d: ISZERO
00000b7e: PUSH2 0x0459
00000b81: JUMPI
00000b82: PUSH2 0x0459
00000b85: PUSH2 0x0b60
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH4 0x4e487b71
00000b8f: PUSH1 0xe0
00000b91: SHL
00000b92: PUSH1 0x00
00000b94: MSTORE
00000b95: PUSH1 0x32
00000b97: PUSH1 0x04
00000b99: MSTORE
00000b9a: PUSH1 0x24
00000b9c: PUSH1 0x00
00000b9e: REVERT
00000b9f: JUMPDEST
00000ba0: PUSH1 0x00
00000ba2: PUSH1 0x20
00000ba4: DUP3
00000ba5: DUP5
00000ba6: SUB
00000ba7: SLT
00000ba8: ISZERO
00000ba9: PUSH2 0x0bb1
00000bac: JUMPI
00000bad: PUSH1 0x00
00000baf: DUP1
00000bb0: REVERT
00000bb1: JUMPDEST
00000bb2: POP
00000bb3: MLOAD
00000bb4: SWAP2
00000bb5: SWAP1
00000bb6: POP
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: DUP1
00000bba: DUP3
00000bbb: MUL
00000bbc: DUP2
00000bbd: ISZERO
00000bbe: DUP3
00000bbf: DUP3
00000bc0: DIV
00000bc1: DUP5
00000bc2: EQ
00000bc3: OR
00000bc4: PUSH2 0x0459
00000bc7: JUMPI
00000bc8: PUSH2 0x0459
00000bcb: PUSH2 0x0b60
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x00
00000bd2: DUP3
00000bd3: PUSH2 0x0bec
00000bd6: JUMPI
00000bd7: PUSH4 0x4e487b71
00000bdc: PUSH1 0xe0
00000bde: SHL
00000bdf: PUSH1 0x00
00000be1: MSTORE
00000be2: PUSH1 0x12
00000be4: PUSH1 0x04
00000be6: MSTORE
00000be7: PUSH1 0x24
00000be9: PUSH1 0x00
00000beb: REVERT
00000bec: JUMPDEST
00000bed: POP
00000bee: DIV
00000bef: SWAP1
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: DUP2
00000bf3: DUP2
00000bf4: SUB
00000bf5: DUP2
00000bf6: DUP2
00000bf7: GT
00000bf8: ISZERO
00000bf9: PUSH2 0x0459
00000bfc: JUMPI
00000bfd: PUSH2 0x0459
00000c00: PUSH2 0x0b60
00000c03: JUMP
00000c04: JUMPDEST
00000c05: PUSH1 0x00
00000c07: PUSH1 0x20
00000c09: DUP3
00000c0a: DUP5
00000c0b: SUB
00000c0c: SLT
00000c0d: ISZERO
00000c0e: PUSH2 0x0c16
00000c11: JUMPI
00000c12: PUSH1 0x00
00000c14: DUP1
00000c15: REVERT
00000c16: JUMPDEST
00000c17: DUP2
00000c18: MLOAD
00000c19: DUP1
00000c1a: ISZERO
00000c1b: ISZERO
00000c1c: DUP2
00000c1d: EQ
00000c1e: PUSH2 0x0664
00000c21: JUMPI
00000c22: PUSH1 0x00
00000c24: DUP1
00000c25: REVERT
00000c26: JUMPDEST
00000c27: PUSH1 0x00
00000c29: JUMPDEST
00000c2a: DUP4
00000c2b: DUP2
00000c2c: LT
00000c2d: ISZERO
00000c2e: PUSH2 0x0c41
00000c31: JUMPI
00000c32: DUP2
00000c33: DUP2
00000c34: ADD
00000c35: MLOAD
00000c36: DUP4
00000c37: DUP3
00000c38: ADD
00000c39: MSTORE
00000c3a: PUSH1 0x20
00000c3c: ADD
00000c3d: PUSH2 0x0c29
00000c40: JUMP
00000c41: JUMPDEST
00000c42: POP
00000c43: POP
00000c44: PUSH1 0x00
00000c46: SWAP2
00000c47: ADD
00000c48: MSTORE
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: PUSH1 0x00
00000c4d: DUP3
00000c4e: MLOAD
00000c4f: PUSH2 0x0c5c
00000c52: DUP2
00000c53: DUP5
00000c54: PUSH1 0x20
00000c56: DUP8
00000c57: ADD
00000c58: PUSH2 0x0c26
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: SWAP2
00000c5e: SWAP1
00000c5f: SWAP2
00000c60: ADD
00000c61: SWAP3
00000c62: SWAP2
00000c63: POP
00000c64: POP
00000c65: JUMP
00000c66: JUMPDEST
00000c67: PUSH1 0x20
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x00
00000c6d: DUP3
00000c6e: MLOAD
00000c6f: DUP1
00000c70: PUSH1 0x20
00000c72: DUP5
00000c73: ADD
00000c74: MSTORE
00000c75: PUSH2 0x0c85
00000c78: DUP2
00000c79: PUSH1 0x40
00000c7b: DUP6
00000c7c: ADD
00000c7d: PUSH1 0x20
00000c7f: DUP8
00000c80: ADD
00000c81: PUSH2 0x0c26
00000c84: JUMP
00000c85: JUMPDEST
00000c86: PUSH1 0x1f
00000c88: ADD
00000c89: PUSH1 0x1f
00000c8b: NOT
00000c8c: AND
00000c8d: SWAP2
00000c8e: SWAP1
00000c8f: SWAP2
00000c90: ADD
00000c91: PUSH1 0x40
00000c93: ADD
00000c94: SWAP3
00000c95: SWAP2
00000c96: POP
00000c97: POP
00000c98: JUMP
00000c99: INVALID
00000c9a: LOG2
00000c9b: PUSH5 0x6970667358
00000ca1: UNKNOWN(0x22)
00000ca2: SLT
00000ca3: KECCAK256
00000ca4: SWAP6
00000ca5: SWAP5
00000ca6: UNKNOWN(0xA6)
00000ca7: PUSH0
00000ca8: DUP9
00000ca9: DUP14
00000caa: UNKNOWN(0x29)
00000cab: UNKNOWN(0xE9)
00000cac: UNKNOWN(0xB6)
00000cad: PUSH30 0x8a09273770b7b3d51a754b7936f208a6c4dd48fc68f964736f6c63430008
00000ccc: SLT
00000ccd: STOP
00000cce: CALLER

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: 0x0b77549a19eb48f0efbc770bc46e4ce1b416a23a4fa299ee55f322349f84c913
call_targets: 0x9bf8c4b164703696a89699fcaf3e2a48e4e3b816
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0b77549a19eb48f0efbc770bc46e4ce1b416a23a4fa299ee55f322349f84c913",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9bf8c4b164703696a89699fcaf3e2a48e4e3b816"
    ],
    "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": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f8eace",
            "selector": "0xa3f8eace",
            "calldata_variants": [
                "0xa3f8eace",
                "0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45ac050",
            "selector": "0xc45ac050",
            "calldata_variants": [
                "0xc45ac050",
                "0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406072a9",
            "selector": "0x406072a9",
            "calldata_variants": [
                "0x406072a9",
                "0x406072a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48b75044",
            "selector": "0x48b75044",
            "calldata_variants": [
                "0x48b75044",
                "0x48b750440000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1918,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2538,
            "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: 0x0b77549a19eb48f0efbc770bc46e4ce1b416a23a4fa299ee55f322349f84c913
call_targets: 0x9bf8c4b164703696a89699fcaf3e2a48e4e3b816
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0b77549a19eb48f0efbc770bc46e4ce1b416a23a4fa299ee55f322349f84c913",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9bf8c4b164703696a89699fcaf3e2a48e4e3b816"
    ],
    "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": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd79779b2",
            "selector": "0xd79779b2",
            "calldata_variants": [
                "0xd79779b2",
                "0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe33b7de3",
            "selector": "0xe33b7de3",
            "calldata_variants": [
                "0xe33b7de3",
                "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9852595c",
            "selector": "0x9852595c",
            "calldata_variants": [
                "0x9852595c",
                "0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f8eace",
            "selector": "0xa3f8eace",
            "calldata_variants": [
                "0xa3f8eace",
                "0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45ac050",
            "selector": "0xc45ac050",
            "calldata_variants": [
                "0xc45ac050",
                "0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406072a9",
            "selector": "0x406072a9",
            "calldata_variants": [
                "0x406072a9",
                "0x406072a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48b75044",
            "selector": "0x48b75044",
            "calldata_variants": [
                "0x48b75044",
                "0x48b750440000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1918,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2538,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}