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

Analysis Run

019b477e-cd63-7391-9439-65c4e810d0c2

complete
Chain ID
1
Address
0x3a0af7b0636ea35f6979f0b9ce3fa0183c692066
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
Bytecode only
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
27025 artifact.fetch complete 1 / 3 3 months ago
27026 tool.cast_disasm complete 1 / 3 3 months ago
92073 analysis.bundle complete 1 / 3 1 week ago
92074 capability.graph complete 1 / 3 1 week ago
92075 detector.run complete 1 / 3 1 week ago
92076 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
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
1864
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 0x004e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: EQ
0000001a: PUSH2 0x005a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x765e3f55
00000024: EQ
00000025: PUSH2 0x0071
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x009a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc82f8d9e
0000003a: EQ
0000003b: PUSH2 0x00c5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x00ee
00000049: JUMPI
0000004a: PUSH2 0x0055
0000004d: JUMP
0000004e: JUMPDEST
0000004f: CALLDATASIZE
00000050: PUSH2 0x0055
00000053: JUMPI
00000054: STOP
00000055: JUMPDEST
00000056: PUSH1 0x00
00000058: DUP1
00000059: REVERT
0000005a: JUMPDEST
0000005b: CALLVALUE
0000005c: DUP1
0000005d: ISZERO
0000005e: PUSH2 0x0066
00000061: JUMPI
00000062: PUSH1 0x00
00000064: DUP1
00000065: REVERT
00000066: JUMPDEST
00000067: POP
00000068: PUSH2 0x006f
0000006b: PUSH2 0x0117
0000006e: JUMP
0000006f: JUMPDEST
00000070: STOP
00000071: JUMPDEST
00000072: CALLVALUE
00000073: DUP1
00000074: ISZERO
00000075: PUSH2 0x007d
00000078: JUMPI
00000079: PUSH1 0x00
0000007b: DUP1
0000007c: REVERT
0000007d: JUMPDEST
0000007e: POP
0000007f: PUSH2 0x0098
00000082: PUSH1 0x04
00000084: DUP1
00000085: CALLDATASIZE
00000086: SUB
00000087: DUP2
00000088: ADD
00000089: SWAP1
0000008a: PUSH2 0x0093
0000008d: SWAP2
0000008e: SWAP1
0000008f: PUSH2 0x0779
00000092: JUMP
00000093: JUMPDEST
00000094: PUSH2 0x012b
00000097: JUMP
00000098: JUMPDEST
00000099: STOP
0000009a: JUMPDEST
0000009b: CALLVALUE
0000009c: DUP1
0000009d: ISZERO
0000009e: PUSH2 0x00a6
000000a1: JUMPI
000000a2: PUSH1 0x00
000000a4: DUP1
000000a5: REVERT
000000a6: JUMPDEST
000000a7: POP
000000a8: PUSH2 0x00af
000000ab: PUSH2 0x01ae
000000ae: JUMP
000000af: JUMPDEST
000000b0: PUSH1 0x40
000000b2: MLOAD
000000b3: PUSH2 0x00bc
000000b6: SWAP2
000000b7: SWAP1
000000b8: PUSH2 0x09bf
000000bb: JUMP
000000bc: JUMPDEST
000000bd: PUSH1 0x40
000000bf: MLOAD
000000c0: DUP1
000000c1: SWAP2
000000c2: SUB
000000c3: SWAP1
000000c4: RETURN
000000c5: JUMPDEST
000000c6: CALLVALUE
000000c7: DUP1
000000c8: ISZERO
000000c9: PUSH2 0x00d1
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: POP
000000d3: PUSH2 0x00ec
000000d6: PUSH1 0x04
000000d8: DUP1
000000d9: CALLDATASIZE
000000da: SUB
000000db: DUP2
000000dc: ADD
000000dd: SWAP1
000000de: PUSH2 0x00e7
000000e1: SWAP2
000000e2: SWAP1
000000e3: PUSH2 0x07e6
000000e6: JUMP
000000e7: JUMPDEST
000000e8: PUSH2 0x01d7
000000eb: JUMP
000000ec: JUMPDEST
000000ed: STOP
000000ee: JUMPDEST
000000ef: CALLVALUE
000000f0: DUP1
000000f1: ISZERO
000000f2: PUSH2 0x00fa
000000f5: JUMPI
000000f6: PUSH1 0x00
000000f8: DUP1
000000f9: REVERT
000000fa: JUMPDEST
000000fb: POP
000000fc: PUSH2 0x0115
000000ff: PUSH1 0x04
00000101: DUP1
00000102: CALLDATASIZE
00000103: SUB
00000104: DUP2
00000105: ADD
00000106: SWAP1
00000107: PUSH2 0x0110
0000010a: SWAP2
0000010b: SWAP1
0000010c: PUSH2 0x074c
0000010f: JUMP
00000110: JUMPDEST
00000111: PUSH2 0x020f
00000114: JUMP
00000115: JUMPDEST
00000116: STOP
00000117: JUMPDEST
00000118: PUSH2 0x011f
0000011b: PUSH2 0x0293
0000011e: JUMP
0000011f: JUMPDEST
00000120: PUSH2 0x0129
00000123: PUSH1 0x00
00000125: PUSH2 0x0311
00000128: JUMP
00000129: JUMPDEST
0000012a: JUMP
0000012b: JUMPDEST
0000012c: PUSH2 0x0133
0000012f: PUSH2 0x0293
00000132: JUMP
00000133: JUMPDEST
00000134: PUSH1 0x00
00000136: DUP3
00000137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000014c: AND
0000014d: DUP3
0000014e: PUSH1 0x40
00000150: MLOAD
00000151: PUSH2 0x0159
00000154: SWAP1
00000155: PUSH2 0x09aa
00000158: JUMP
00000159: JUMPDEST
0000015a: PUSH1 0x00
0000015c: PUSH1 0x40
0000015e: MLOAD
0000015f: DUP1
00000160: DUP4
00000161: SUB
00000162: DUP2
00000163: DUP6
00000164: DUP8
00000165: GAS
00000166: CALL
00000167: SWAP3
00000168: POP
00000169: POP
0000016a: POP
0000016b: RETURNDATASIZE
0000016c: DUP1
0000016d: PUSH1 0x00
0000016f: DUP2
00000170: EQ
00000171: PUSH2 0x0196
00000174: JUMPI
00000175: PUSH1 0x40
00000177: MLOAD
00000178: SWAP2
00000179: POP
0000017a: PUSH1 0x1f
0000017c: NOT
0000017d: PUSH1 0x3f
0000017f: RETURNDATASIZE
00000180: ADD
00000181: AND
00000182: DUP3
00000183: ADD
00000184: PUSH1 0x40
00000186: MSTORE
00000187: RETURNDATASIZE
00000188: DUP3
00000189: MSTORE
0000018a: RETURNDATASIZE
0000018b: PUSH1 0x00
0000018d: PUSH1 0x20
0000018f: DUP5
00000190: ADD
00000191: RETURNDATACOPY
00000192: PUSH2 0x019b
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH1 0x60
00000199: SWAP2
0000019a: POP
0000019b: JUMPDEST
0000019c: POP
0000019d: POP
0000019e: SWAP1
0000019f: POP
000001a0: DUP1
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: POP
000001ab: POP
000001ac: POP
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH1 0x00
000001b1: DUP1
000001b2: PUSH1 0x00
000001b4: SWAP1
000001b5: SLOAD
000001b6: SWAP1
000001b7: PUSH2 0x0100
000001ba: EXP
000001bb: SWAP1
000001bc: DIV
000001bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d2: AND
000001d3: SWAP1
000001d4: POP
000001d5: SWAP1
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH2 0x01df
000001db: PUSH2 0x0293
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH2 0x020a
000001e3: DUP3
000001e4: DUP3
000001e5: DUP6
000001e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fb: AND
000001fc: PUSH2 0x03d5
000001ff: SWAP1
00000200: SWAP3
00000201: SWAP2
00000202: SWAP1
00000203: PUSH4 0xffffffff
00000208: AND
00000209: JUMP
0000020a: JUMPDEST
0000020b: POP
0000020c: POP
0000020d: POP
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH2 0x0217
00000213: PUSH2 0x0293
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x00
0000021a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000022f: AND
00000230: DUP2
00000231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000246: AND
00000247: EQ
00000248: ISZERO
00000249: PUSH2 0x0287
0000024c: JUMPI
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000271: DUP2
00000272: MSTORE
00000273: PUSH1 0x04
00000275: ADD
00000276: PUSH2 0x027e
00000279: SWAP1
0000027a: PUSH2 0x0a25
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: DUP1
00000283: SWAP2
00000284: SUB
00000285: SWAP1
00000286: REVERT
00000287: JUMPDEST
00000288: PUSH2 0x0290
0000028b: DUP2
0000028c: PUSH2 0x0311
0000028f: JUMP
00000290: JUMPDEST
00000291: POP
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH2 0x029b
00000297: PUSH2 0x045b
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002b1: AND
000002b2: PUSH2 0x02b9
000002b5: PUSH2 0x01ae
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002cf: AND
000002d0: EQ
000002d1: PUSH2 0x030f
000002d4: JUMPI
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000002f9: DUP2
000002fa: MSTORE
000002fb: PUSH1 0x04
000002fd: ADD
000002fe: PUSH2 0x0306
00000301: SWAP1
00000302: PUSH2 0x0a65
00000305: JUMP
00000306: JUMPDEST
00000307: PUSH1 0x40
00000309: MLOAD
0000030a: DUP1
0000030b: SWAP2
0000030c: SUB
0000030d: SWAP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x00
00000314: DUP1
00000315: PUSH1 0x00
00000317: SWAP1
00000318: SLOAD
00000319: SWAP1
0000031a: PUSH2 0x0100
0000031d: EXP
0000031e: SWAP1
0000031f: DIV
00000320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000335: AND
00000336: SWAP1
00000337: POP
00000338: DUP2
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: PUSH2 0x0100
0000033f: EXP
00000340: DUP2
00000341: SLOAD
00000342: DUP2
00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000358: MUL
00000359: NOT
0000035a: AND
0000035b: SWAP1
0000035c: DUP4
0000035d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000372: AND
00000373: MUL
00000374: OR
00000375: SWAP1
00000376: SSTORE
00000377: POP
00000378: DUP2
00000379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038e: AND
0000038f: DUP2
00000390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a5: AND
000003a6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000003c7: PUSH1 0x40
000003c9: MLOAD
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: DUP1
000003ce: SWAP2
000003cf: SUB
000003d0: SWAP1
000003d1: LOG3
000003d2: POP
000003d3: POP
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH2 0x0456
000003d9: DUP4
000003da: PUSH4 0xa9059cbb
000003df: PUSH1 0xe0
000003e1: SHL
000003e2: DUP5
000003e3: DUP5
000003e4: PUSH1 0x40
000003e6: MLOAD
000003e7: PUSH1 0x24
000003e9: ADD
000003ea: PUSH2 0x03f4
000003ed: SWAP3
000003ee: SWAP2
000003ef: SWAP1
000003f0: PUSH2 0x09da
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: PUSH1 0x20
000003fa: DUP2
000003fb: DUP4
000003fc: SUB
000003fd: SUB
000003fe: DUP2
000003ff: MSTORE
00000400: SWAP1
00000401: PUSH1 0x40
00000403: MSTORE
00000404: SWAP1
00000405: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000422: NOT
00000423: AND
00000424: PUSH1 0x20
00000426: DUP3
00000427: ADD
00000428: DUP1
00000429: MLOAD
0000042a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000447: DUP4
00000448: DUP2
00000449: DUP4
0000044a: AND
0000044b: OR
0000044c: DUP4
0000044d: MSTORE
0000044e: POP
0000044f: POP
00000450: POP
00000451: POP
00000452: PUSH2 0x0463
00000455: JUMP
00000456: JUMPDEST
00000457: POP
00000458: POP
00000459: POP
0000045a: JUMP
0000045b: JUMPDEST
0000045c: PUSH1 0x00
0000045e: CALLER
0000045f: SWAP1
00000460: POP
00000461: SWAP1
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x00
00000466: PUSH2 0x04c5
00000469: DUP3
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: DUP1
0000046e: PUSH1 0x40
00000470: ADD
00000471: PUSH1 0x40
00000473: MSTORE
00000474: DUP1
00000475: PUSH1 0x20
00000477: DUP2
00000478: MSTORE
00000479: PUSH1 0x20
0000047b: ADD
0000047c: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000049d: DUP2
0000049e: MSTORE
0000049f: POP
000004a0: DUP6
000004a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b6: AND
000004b7: PUSH2 0x052a
000004ba: SWAP1
000004bb: SWAP3
000004bc: SWAP2
000004bd: SWAP1
000004be: PUSH4 0xffffffff
000004c3: AND
000004c4: JUMP
000004c5: JUMPDEST
000004c6: SWAP1
000004c7: POP
000004c8: PUSH1 0x00
000004ca: DUP2
000004cb: MLOAD
000004cc: GT
000004cd: ISZERO
000004ce: PUSH2 0x0525
000004d1: JUMPI
000004d2: DUP1
000004d3: DUP1
000004d4: PUSH1 0x20
000004d6: ADD
000004d7: SWAP1
000004d8: MLOAD
000004d9: DUP2
000004da: ADD
000004db: SWAP1
000004dc: PUSH2 0x04e5
000004df: SWAP2
000004e0: SWAP1
000004e1: PUSH2 0x07b9
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH2 0x0524
000004e9: JUMPI
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000050e: DUP2
0000050f: MSTORE
00000510: PUSH1 0x04
00000512: ADD
00000513: PUSH2 0x051b
00000516: SWAP1
00000517: PUSH2 0x0aa5
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x40
0000051e: MLOAD
0000051f: DUP1
00000520: SWAP2
00000521: SUB
00000522: SWAP1
00000523: REVERT
00000524: JUMPDEST
00000525: JUMPDEST
00000526: POP
00000527: POP
00000528: POP
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x60
0000052d: PUSH2 0x0539
00000530: DUP5
00000531: DUP5
00000532: PUSH1 0x00
00000534: DUP6
00000535: PUSH2 0x0542
00000538: JUMP
00000539: JUMPDEST
0000053a: SWAP1
0000053b: POP
0000053c: SWAP4
0000053d: SWAP3
0000053e: POP
0000053f: POP
00000540: POP
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x60
00000545: DUP3
00000546: SELFBALANCE
00000547: LT
00000548: ISZERO
00000549: PUSH2 0x0587
0000054c: JUMPI
0000054d: PUSH1 0x40
0000054f: MLOAD
00000550: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000571: DUP2
00000572: MSTORE
00000573: PUSH1 0x04
00000575: ADD
00000576: PUSH2 0x057e
00000579: SWAP1
0000057a: PUSH2 0x0a45
0000057d: JUMP
0000057e: JUMPDEST
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: DUP1
00000583: SWAP2
00000584: SUB
00000585: SWAP1
00000586: REVERT
00000587: JUMPDEST
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: DUP7
0000058c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a1: AND
000005a2: DUP6
000005a3: DUP8
000005a4: PUSH1 0x40
000005a6: MLOAD
000005a7: PUSH2 0x05b0
000005aa: SWAP2
000005ab: SWAP1
000005ac: PUSH2 0x0993
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x00
000005b3: PUSH1 0x40
000005b5: MLOAD
000005b6: DUP1
000005b7: DUP4
000005b8: SUB
000005b9: DUP2
000005ba: DUP6
000005bb: DUP8
000005bc: GAS
000005bd: CALL
000005be: SWAP3
000005bf: POP
000005c0: POP
000005c1: POP
000005c2: RETURNDATASIZE
000005c3: DUP1
000005c4: PUSH1 0x00
000005c6: DUP2
000005c7: EQ
000005c8: PUSH2 0x05ed
000005cb: JUMPI
000005cc: PUSH1 0x40
000005ce: MLOAD
000005cf: SWAP2
000005d0: POP
000005d1: PUSH1 0x1f
000005d3: NOT
000005d4: PUSH1 0x3f
000005d6: RETURNDATASIZE
000005d7: ADD
000005d8: AND
000005d9: DUP3
000005da: ADD
000005db: PUSH1 0x40
000005dd: MSTORE
000005de: RETURNDATASIZE
000005df: DUP3
000005e0: MSTORE
000005e1: RETURNDATASIZE
000005e2: PUSH1 0x00
000005e4: PUSH1 0x20
000005e6: DUP5
000005e7: ADD
000005e8: RETURNDATACOPY
000005e9: PUSH2 0x05f2
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x60
000005f0: SWAP2
000005f1: POP
000005f2: JUMPDEST
000005f3: POP
000005f4: SWAP2
000005f5: POP
000005f6: SWAP2
000005f7: POP
000005f8: PUSH2 0x0603
000005fb: DUP8
000005fc: DUP4
000005fd: DUP4
000005fe: DUP8
000005ff: PUSH2 0x060f
00000602: JUMP
00000603: JUMPDEST
00000604: SWAP3
00000605: POP
00000606: POP
00000607: POP
00000608: SWAP5
00000609: SWAP4
0000060a: POP
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x60
00000612: DUP4
00000613: ISZERO
00000614: PUSH2 0x0672
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP4
0000061b: MLOAD
0000061c: EQ
0000061d: ISZERO
0000061e: PUSH2 0x066a
00000621: JUMPI
00000622: PUSH2 0x062a
00000625: DUP6
00000626: PUSH2 0x0685
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH2 0x0669
0000062e: JUMPI
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000653: DUP2
00000654: MSTORE
00000655: PUSH1 0x04
00000657: ADD
00000658: PUSH2 0x0660
0000065b: SWAP1
0000065c: PUSH2 0x0a85
0000065f: JUMP
00000660: JUMPDEST
00000661: PUSH1 0x40
00000663: MLOAD
00000664: DUP1
00000665: SWAP2
00000666: SUB
00000667: SWAP1
00000668: REVERT
00000669: JUMPDEST
0000066a: JUMPDEST
0000066b: DUP3
0000066c: SWAP1
0000066d: POP
0000066e: PUSH2 0x067d
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH2 0x067c
00000676: DUP4
00000677: DUP4
00000678: PUSH2 0x06a8
0000067b: JUMP
0000067c: JUMPDEST
0000067d: JUMPDEST
0000067e: SWAP5
0000067f: SWAP4
00000680: POP
00000681: POP
00000682: POP
00000683: POP
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x00
00000688: DUP1
00000689: DUP3
0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069f: AND
000006a0: EXTCODESIZE
000006a1: GT
000006a2: SWAP1
000006a3: POP
000006a4: SWAP2
000006a5: SWAP1
000006a6: POP
000006a7: JUMP
000006a8: JUMPDEST
000006a9: PUSH1 0x00
000006ab: DUP3
000006ac: MLOAD
000006ad: GT
000006ae: ISZERO
000006af: PUSH2 0x06bb
000006b2: JUMPI
000006b3: DUP2
000006b4: MLOAD
000006b5: DUP1
000006b6: DUP4
000006b7: PUSH1 0x20
000006b9: ADD
000006ba: REVERT
000006bb: JUMPDEST
000006bc: DUP1
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006e1: DUP2
000006e2: MSTORE
000006e3: PUSH1 0x04
000006e5: ADD
000006e6: PUSH2 0x06ef
000006e9: SWAP2
000006ea: SWAP1
000006eb: PUSH2 0x0a03
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x40
000006f2: MLOAD
000006f3: DUP1
000006f4: SWAP2
000006f5: SUB
000006f6: SWAP1
000006f7: REVERT
000006f8: JUMPDEST
000006f9: PUSH1 0x00
000006fb: DUP2
000006fc: CALLDATALOAD
000006fd: SWAP1
000006fe: POP
000006ff: PUSH2 0x0707
00000702: DUP2
00000703: PUSH2 0x0cdc
00000706: JUMP
00000707: JUMPDEST
00000708: SWAP3
00000709: SWAP2
0000070a: POP
0000070b: POP
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH1 0x00
00000710: DUP2
00000711: MLOAD
00000712: SWAP1
00000713: POP
00000714: PUSH2 0x071c
00000717: DUP2
00000718: PUSH2 0x0cf3
0000071b: JUMP
0000071c: JUMPDEST
0000071d: SWAP3
0000071e: SWAP2
0000071f: POP
00000720: POP
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x00
00000725: DUP2
00000726: CALLDATALOAD
00000727: SWAP1
00000728: POP
00000729: PUSH2 0x0731
0000072c: DUP2
0000072d: PUSH2 0x0d0a
00000730: JUMP
00000731: JUMPDEST
00000732: SWAP3
00000733: SWAP2
00000734: POP
00000735: POP
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x00
0000073a: DUP2
0000073b: CALLDATALOAD
0000073c: SWAP1
0000073d: POP
0000073e: PUSH2 0x0746
00000741: DUP2
00000742: PUSH2 0x0d21
00000745: JUMP
00000746: JUMPDEST
00000747: SWAP3
00000748: SWAP2
00000749: POP
0000074a: POP
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH1 0x00
0000074f: PUSH1 0x20
00000751: DUP3
00000752: DUP5
00000753: SUB
00000754: SLT
00000755: ISZERO
00000756: PUSH2 0x0762
00000759: JUMPI
0000075a: PUSH2 0x0761
0000075d: PUSH2 0x0b84
00000760: JUMP
00000761: JUMPDEST
00000762: JUMPDEST
00000763: PUSH1 0x00
00000765: PUSH2 0x0770
00000768: DUP5
00000769: DUP3
0000076a: DUP6
0000076b: ADD
0000076c: PUSH2 0x06f8
0000076f: JUMP
00000770: JUMPDEST
00000771: SWAP2
00000772: POP
00000773: POP
00000774: SWAP3
00000775: SWAP2
00000776: POP
00000777: POP
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH1 0x00
0000077c: DUP1
0000077d: PUSH1 0x40
0000077f: DUP4
00000780: DUP6
00000781: SUB
00000782: SLT
00000783: ISZERO
00000784: PUSH2 0x0790
00000787: JUMPI
00000788: PUSH2 0x078f
0000078b: PUSH2 0x0b84
0000078e: JUMP
0000078f: JUMPDEST
00000790: JUMPDEST
00000791: PUSH1 0x00
00000793: PUSH2 0x079e
00000796: DUP6
00000797: DUP3
00000798: DUP7
00000799: ADD
0000079a: PUSH2 0x06f8
0000079d: JUMP
0000079e: JUMPDEST
0000079f: SWAP3
000007a0: POP
000007a1: POP
000007a2: PUSH1 0x20
000007a4: PUSH2 0x07af
000007a7: DUP6
000007a8: DUP3
000007a9: DUP7
000007aa: ADD
000007ab: PUSH2 0x0737
000007ae: JUMP
000007af: JUMPDEST
000007b0: SWAP2
000007b1: POP
000007b2: POP
000007b3: SWAP3
000007b4: POP
000007b5: SWAP3
000007b6: SWAP1
000007b7: POP
000007b8: JUMP
000007b9: JUMPDEST
000007ba: PUSH1 0x00
000007bc: PUSH1 0x20
000007be: DUP3
000007bf: DUP5
000007c0: SUB
000007c1: SLT
000007c2: ISZERO
000007c3: PUSH2 0x07cf
000007c6: JUMPI
000007c7: PUSH2 0x07ce
000007ca: PUSH2 0x0b84
000007cd: JUMP
000007ce: JUMPDEST
000007cf: JUMPDEST
000007d0: PUSH1 0x00
000007d2: PUSH2 0x07dd
000007d5: DUP5
000007d6: DUP3
000007d7: DUP6
000007d8: ADD
000007d9: PUSH2 0x070d
000007dc: JUMP
000007dd: JUMPDEST
000007de: SWAP2
000007df: POP
000007e0: POP
000007e1: SWAP3
000007e2: SWAP2
000007e3: POP
000007e4: POP
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH1 0x00
000007e9: DUP1
000007ea: PUSH1 0x00
000007ec: PUSH1 0x60
000007ee: DUP5
000007ef: DUP7
000007f0: SUB
000007f1: SLT
000007f2: ISZERO
000007f3: PUSH2 0x07ff
000007f6: JUMPI
000007f7: PUSH2 0x07fe
000007fa: PUSH2 0x0b84
000007fd: JUMP
000007fe: JUMPDEST
000007ff: JUMPDEST
00000800: PUSH1 0x00
00000802: PUSH2 0x080d
00000805: DUP7
00000806: DUP3
00000807: DUP8
00000808: ADD
00000809: PUSH2 0x0722
0000080c: JUMP
0000080d: JUMPDEST
0000080e: SWAP4
0000080f: POP
00000810: POP
00000811: PUSH1 0x20
00000813: PUSH2 0x081e
00000816: DUP7
00000817: DUP3
00000818: DUP8
00000819: ADD
0000081a: PUSH2 0x06f8
0000081d: JUMP
0000081e: JUMPDEST
0000081f: SWAP3
00000820: POP
00000821: POP
00000822: PUSH1 0x40
00000824: PUSH2 0x082f
00000827: DUP7
00000828: DUP3
00000829: DUP8
0000082a: ADD
0000082b: PUSH2 0x0737
0000082e: JUMP
0000082f: JUMPDEST
00000830: SWAP2
00000831: POP
00000832: POP
00000833: SWAP3
00000834: POP
00000835: SWAP3
00000836: POP
00000837: SWAP3
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH2 0x0842
0000083d: DUP2
0000083e: PUSH2 0x0af7
00000841: JUMP
00000842: JUMPDEST
00000843: DUP3
00000844: MSTORE
00000845: POP
00000846: POP
00000847: JUMP
00000848: JUMPDEST
00000849: PUSH1 0x00
0000084b: PUSH2 0x0853
0000084e: DUP3
0000084f: PUSH2 0x0ac5
00000852: JUMP
00000853: JUMPDEST
00000854: PUSH2 0x085d
00000857: DUP2
00000858: DUP6
00000859: PUSH2 0x0adb
0000085c: JUMP
0000085d: JUMPDEST
0000085e: SWAP4
0000085f: POP
00000860: PUSH2 0x086d
00000863: DUP2
00000864: DUP6
00000865: PUSH1 0x20
00000867: DUP7
00000868: ADD
00000869: PUSH2 0x0b51
0000086c: JUMP
0000086d: JUMPDEST
0000086e: DUP1
0000086f: DUP5
00000870: ADD
00000871: SWAP2
00000872: POP
00000873: POP
00000874: SWAP3
00000875: SWAP2
00000876: POP
00000877: POP
00000878: JUMP
00000879: JUMPDEST
0000087a: PUSH1 0x00
0000087c: PUSH2 0x0884
0000087f: DUP3
00000880: PUSH2 0x0ad0
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH2 0x088e
00000888: DUP2
00000889: DUP6
0000088a: PUSH2 0x0ae6
0000088d: JUMP
0000088e: JUMPDEST
0000088f: SWAP4
00000890: POP
00000891: PUSH2 0x089e
00000894: DUP2
00000895: DUP6
00000896: PUSH1 0x20
00000898: DUP7
00000899: ADD
0000089a: PUSH2 0x0b51
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH2 0x08a7
000008a2: DUP2
000008a3: PUSH2 0x0b89
000008a6: JUMP
000008a7: JUMPDEST
000008a8: DUP5
000008a9: ADD
000008aa: SWAP2
000008ab: POP
000008ac: POP
000008ad: SWAP3
000008ae: SWAP2
000008af: POP
000008b0: POP
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x00
000008b5: PUSH2 0x08bf
000008b8: PUSH1 0x26
000008ba: DUP4
000008bb: PUSH2 0x0ae6
000008be: JUMP
000008bf: JUMPDEST
000008c0: SWAP2
000008c1: POP
000008c2: PUSH2 0x08ca
000008c5: DUP3
000008c6: PUSH2 0x0b9a
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH1 0x40
000008cd: DUP3
000008ce: ADD
000008cf: SWAP1
000008d0: POP
000008d1: SWAP2
000008d2: SWAP1
000008d3: POP
000008d4: JUMP
000008d5: JUMPDEST
000008d6: PUSH1 0x00
000008d8: PUSH2 0x08e2
000008db: PUSH1 0x26
000008dd: DUP4
000008de: PUSH2 0x0ae6
000008e1: JUMP
000008e2: JUMPDEST
000008e3: SWAP2
000008e4: POP
000008e5: PUSH2 0x08ed
000008e8: DUP3
000008e9: PUSH2 0x0be9
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x40
000008f0: DUP3
000008f1: ADD
000008f2: SWAP1
000008f3: POP
000008f4: SWAP2
000008f5: SWAP1
000008f6: POP
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x00
000008fb: PUSH2 0x0905
000008fe: PUSH1 0x20
00000900: DUP4
00000901: PUSH2 0x0ae6
00000904: JUMP
00000905: JUMPDEST
00000906: SWAP2
00000907: POP
00000908: PUSH2 0x0910
0000090b: DUP3
0000090c: PUSH2 0x0c38
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH1 0x20
00000913: DUP3
00000914: ADD
00000915: SWAP1
00000916: POP
00000917: SWAP2
00000918: SWAP1
00000919: POP
0000091a: JUMP
0000091b: JUMPDEST
0000091c: PUSH1 0x00
0000091e: PUSH2 0x0928
00000921: PUSH1 0x00
00000923: DUP4
00000924: PUSH2 0x0adb
00000927: JUMP
00000928: JUMPDEST
00000929: SWAP2
0000092a: POP
0000092b: PUSH2 0x0933
0000092e: DUP3
0000092f: PUSH2 0x0c61
00000932: JUMP
00000933: JUMPDEST
00000934: PUSH1 0x00
00000936: DUP3
00000937: ADD
00000938: SWAP1
00000939: POP
0000093a: SWAP2
0000093b: SWAP1
0000093c: POP
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH1 0x00
00000941: PUSH2 0x094b
00000944: PUSH1 0x1d
00000946: DUP4
00000947: PUSH2 0x0ae6
0000094a: JUMP
0000094b: JUMPDEST
0000094c: SWAP2
0000094d: POP
0000094e: PUSH2 0x0956
00000951: DUP3
00000952: PUSH2 0x0c64
00000955: JUMP
00000956: JUMPDEST
00000957: PUSH1 0x20
00000959: DUP3
0000095a: ADD
0000095b: SWAP1
0000095c: POP
0000095d: SWAP2
0000095e: SWAP1
0000095f: POP
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH1 0x00
00000964: PUSH2 0x096e
00000967: PUSH1 0x2a
00000969: DUP4
0000096a: PUSH2 0x0ae6
0000096d: JUMP
0000096e: JUMPDEST
0000096f: SWAP2
00000970: POP
00000971: PUSH2 0x0979
00000974: DUP3
00000975: PUSH2 0x0c8d
00000978: JUMP
00000979: JUMPDEST
0000097a: PUSH1 0x40
0000097c: DUP3
0000097d: ADD
0000097e: SWAP1
0000097f: POP
00000980: SWAP2
00000981: SWAP1
00000982: POP
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH2 0x098d
00000988: DUP2
00000989: PUSH2 0x0b47
0000098c: JUMP
0000098d: JUMPDEST
0000098e: DUP3
0000098f: MSTORE
00000990: POP
00000991: POP
00000992: JUMP
00000993: JUMPDEST
00000994: PUSH1 0x00
00000996: PUSH2 0x099f
00000999: DUP3
0000099a: DUP5
0000099b: PUSH2 0x0848
0000099e: JUMP
0000099f: JUMPDEST
000009a0: SWAP2
000009a1: POP
000009a2: DUP2
000009a3: SWAP1
000009a4: POP
000009a5: SWAP3
000009a6: SWAP2
000009a7: POP
000009a8: POP
000009a9: JUMP
000009aa: JUMPDEST
000009ab: PUSH1 0x00
000009ad: PUSH2 0x09b5
000009b0: DUP3
000009b1: PUSH2 0x091b
000009b4: JUMP
000009b5: JUMPDEST
000009b6: SWAP2
000009b7: POP
000009b8: DUP2
000009b9: SWAP1
000009ba: POP
000009bb: SWAP2
000009bc: SWAP1
000009bd: POP
000009be: JUMP
000009bf: JUMPDEST
000009c0: PUSH1 0x00
000009c2: PUSH1 0x20
000009c4: DUP3
000009c5: ADD
000009c6: SWAP1
000009c7: POP
000009c8: PUSH2 0x09d4
000009cb: PUSH1 0x00
000009cd: DUP4
000009ce: ADD
000009cf: DUP5
000009d0: PUSH2 0x0839
000009d3: JUMP
000009d4: JUMPDEST
000009d5: SWAP3
000009d6: SWAP2
000009d7: POP
000009d8: POP
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x00
000009dd: PUSH1 0x40
000009df: DUP3
000009e0: ADD
000009e1: SWAP1
000009e2: POP
000009e3: PUSH2 0x09ef
000009e6: PUSH1 0x00
000009e8: DUP4
000009e9: ADD
000009ea: DUP6
000009eb: PUSH2 0x0839
000009ee: JUMP
000009ef: JUMPDEST
000009f0: PUSH2 0x09fc
000009f3: PUSH1 0x20
000009f5: DUP4
000009f6: ADD
000009f7: DUP5
000009f8: PUSH2 0x0984
000009fb: JUMP
000009fc: JUMPDEST
000009fd: SWAP4
000009fe: SWAP3
000009ff: POP
00000a00: POP
00000a01: POP
00000a02: JUMP
00000a03: JUMPDEST
00000a04: PUSH1 0x00
00000a06: PUSH1 0x20
00000a08: DUP3
00000a09: ADD
00000a0a: SWAP1
00000a0b: POP
00000a0c: DUP2
00000a0d: DUP2
00000a0e: SUB
00000a0f: PUSH1 0x00
00000a11: DUP4
00000a12: ADD
00000a13: MSTORE
00000a14: PUSH2 0x0a1d
00000a17: DUP2
00000a18: DUP5
00000a19: PUSH2 0x0879
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: SWAP1
00000a1f: POP
00000a20: SWAP3
00000a21: SWAP2
00000a22: POP
00000a23: POP
00000a24: JUMP
00000a25: JUMPDEST
00000a26: PUSH1 0x00
00000a28: PUSH1 0x20
00000a2a: DUP3
00000a2b: ADD
00000a2c: SWAP1
00000a2d: POP
00000a2e: DUP2
00000a2f: DUP2
00000a30: SUB
00000a31: PUSH1 0x00
00000a33: DUP4
00000a34: ADD
00000a35: MSTORE
00000a36: PUSH2 0x0a3e
00000a39: DUP2
00000a3a: PUSH2 0x08b2
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: SWAP1
00000a40: POP
00000a41: SWAP2
00000a42: SWAP1
00000a43: POP
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH1 0x00
00000a48: PUSH1 0x20
00000a4a: DUP3
00000a4b: ADD
00000a4c: SWAP1
00000a4d: POP
00000a4e: DUP2
00000a4f: DUP2
00000a50: SUB
00000a51: PUSH1 0x00
00000a53: DUP4
00000a54: ADD
00000a55: MSTORE
00000a56: PUSH2 0x0a5e
00000a59: DUP2
00000a5a: PUSH2 0x08d5
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: SWAP1
00000a60: POP
00000a61: SWAP2
00000a62: SWAP1
00000a63: POP
00000a64: JUMP
00000a65: JUMPDEST
00000a66: PUSH1 0x00
00000a68: PUSH1 0x20
00000a6a: DUP3
00000a6b: ADD
00000a6c: SWAP1
00000a6d: POP
00000a6e: DUP2
00000a6f: DUP2
00000a70: SUB
00000a71: PUSH1 0x00
00000a73: DUP4
00000a74: ADD
00000a75: MSTORE
00000a76: PUSH2 0x0a7e
00000a79: DUP2
00000a7a: PUSH2 0x08f8
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: SWAP1
00000a80: POP
00000a81: SWAP2
00000a82: SWAP1
00000a83: POP
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x00
00000a88: PUSH1 0x20
00000a8a: DUP3
00000a8b: ADD
00000a8c: SWAP1
00000a8d: POP
00000a8e: DUP2
00000a8f: DUP2
00000a90: SUB
00000a91: PUSH1 0x00
00000a93: DUP4
00000a94: ADD
00000a95: MSTORE
00000a96: PUSH2 0x0a9e
00000a99: DUP2
00000a9a: PUSH2 0x093e
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: SWAP1
00000aa0: POP
00000aa1: SWAP2
00000aa2: SWAP1
00000aa3: POP
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: PUSH1 0x00
00000aa8: PUSH1 0x20
00000aaa: DUP3
00000aab: ADD
00000aac: SWAP1
00000aad: POP
00000aae: DUP2
00000aaf: DUP2
00000ab0: SUB
00000ab1: PUSH1 0x00
00000ab3: DUP4
00000ab4: ADD
00000ab5: MSTORE
00000ab6: PUSH2 0x0abe
00000ab9: DUP2
00000aba: PUSH2 0x0961
00000abd: JUMP
00000abe: JUMPDEST
00000abf: SWAP1
00000ac0: POP
00000ac1: SWAP2
00000ac2: SWAP1
00000ac3: POP
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: PUSH1 0x00
00000ac8: DUP2
00000ac9: MLOAD
00000aca: SWAP1
00000acb: POP
00000acc: SWAP2
00000acd: SWAP1
00000ace: POP
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH1 0x00
00000ad3: DUP2
00000ad4: MLOAD
00000ad5: SWAP1
00000ad6: POP
00000ad7: SWAP2
00000ad8: SWAP1
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH1 0x00
00000ade: DUP2
00000adf: SWAP1
00000ae0: POP
00000ae1: SWAP3
00000ae2: SWAP2
00000ae3: POP
00000ae4: POP
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: PUSH1 0x00
00000ae9: DUP3
00000aea: DUP3
00000aeb: MSTORE
00000aec: PUSH1 0x20
00000aee: DUP3
00000aef: ADD
00000af0: SWAP1
00000af1: POP
00000af2: SWAP3
00000af3: SWAP2
00000af4: POP
00000af5: POP
00000af6: JUMP
00000af7: JUMPDEST
00000af8: PUSH1 0x00
00000afa: PUSH2 0x0b02
00000afd: DUP3
00000afe: PUSH2 0x0b27
00000b01: JUMP
00000b02: JUMPDEST
00000b03: SWAP1
00000b04: POP
00000b05: SWAP2
00000b06: SWAP1
00000b07: POP
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH1 0x00
00000b0c: DUP2
00000b0d: ISZERO
00000b0e: ISZERO
00000b0f: SWAP1
00000b10: POP
00000b11: SWAP2
00000b12: SWAP1
00000b13: POP
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x00
00000b18: PUSH2 0x0b20
00000b1b: DUP3
00000b1c: PUSH2 0x0af7
00000b1f: JUMP
00000b20: JUMPDEST
00000b21: SWAP1
00000b22: POP
00000b23: SWAP2
00000b24: SWAP1
00000b25: POP
00000b26: JUMP
00000b27: JUMPDEST
00000b28: PUSH1 0x00
00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3f: DUP3
00000b40: AND
00000b41: SWAP1
00000b42: POP
00000b43: SWAP2
00000b44: SWAP1
00000b45: POP
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH1 0x00
00000b4a: DUP2
00000b4b: SWAP1
00000b4c: POP
00000b4d: SWAP2
00000b4e: SWAP1
00000b4f: POP
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x00
00000b54: JUMPDEST
00000b55: DUP4
00000b56: DUP2
00000b57: LT
00000b58: ISZERO
00000b59: PUSH2 0x0b6f
00000b5c: JUMPI
00000b5d: DUP1
00000b5e: DUP3
00000b5f: ADD
00000b60: MLOAD
00000b61: DUP2
00000b62: DUP5
00000b63: ADD
00000b64: MSTORE
00000b65: PUSH1 0x20
00000b67: DUP2
00000b68: ADD
00000b69: SWAP1
00000b6a: POP
00000b6b: PUSH2 0x0b54
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: DUP4
00000b71: DUP2
00000b72: GT
00000b73: ISZERO
00000b74: PUSH2 0x0b7e
00000b77: JUMPI
00000b78: PUSH1 0x00
00000b7a: DUP5
00000b7b: DUP5
00000b7c: ADD
00000b7d: MSTORE
00000b7e: JUMPDEST
00000b7f: POP
00000b80: POP
00000b81: POP
00000b82: POP
00000b83: JUMP
00000b84: JUMPDEST
00000b85: PUSH1 0x00
00000b87: DUP1
00000b88: REVERT
00000b89: JUMPDEST
00000b8a: PUSH1 0x00
00000b8c: PUSH1 0x1f
00000b8e: NOT
00000b8f: PUSH1 0x1f
00000b91: DUP4
00000b92: ADD
00000b93: AND
00000b94: SWAP1
00000b95: POP
00000b96: SWAP2
00000b97: SWAP1
00000b98: POP
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000bbc: PUSH1 0x00
00000bbe: DUP3
00000bbf: ADD
00000bc0: MSTORE
00000bc1: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000be2: PUSH1 0x20
00000be4: DUP3
00000be5: ADD
00000be6: MSTORE
00000be7: POP
00000be8: JUMP
00000be9: JUMPDEST
00000bea: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00000c0b: PUSH1 0x00
00000c0d: DUP3
00000c0e: ADD
00000c0f: MSTORE
00000c10: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00000c31: PUSH1 0x20
00000c33: DUP3
00000c34: ADD
00000c35: MSTORE
00000c36: POP
00000c37: JUMP
00000c38: JUMPDEST
00000c39: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000c5a: PUSH1 0x00
00000c5c: DUP3
00000c5d: ADD
00000c5e: MSTORE
00000c5f: POP
00000c60: JUMP
00000c61: JUMPDEST
00000c62: POP
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000c86: PUSH1 0x00
00000c88: DUP3
00000c89: ADD
00000c8a: MSTORE
00000c8b: POP
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00000caf: PUSH1 0x00
00000cb1: DUP3
00000cb2: ADD
00000cb3: MSTORE
00000cb4: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00000cd5: PUSH1 0x20
00000cd7: DUP3
00000cd8: ADD
00000cd9: MSTORE
00000cda: POP
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH2 0x0ce5
00000ce0: DUP2
00000ce1: PUSH2 0x0af7
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: DUP2
00000ce7: EQ
00000ce8: PUSH2 0x0cf0
00000ceb: JUMPI
00000cec: PUSH1 0x00
00000cee: DUP1
00000cef: REVERT
00000cf0: JUMPDEST
00000cf1: POP
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: PUSH2 0x0cfc
00000cf7: DUP2
00000cf8: PUSH2 0x0b09
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: DUP2
00000cfe: EQ
00000cff: PUSH2 0x0d07
00000d02: JUMPI
00000d03: PUSH1 0x00
00000d05: DUP1
00000d06: REVERT
00000d07: JUMPDEST
00000d08: POP
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: PUSH2 0x0d13
00000d0e: DUP2
00000d0f: PUSH2 0x0b15
00000d12: JUMP
00000d13: JUMPDEST
00000d14: DUP2
00000d15: EQ
00000d16: PUSH2 0x0d1e
00000d19: JUMPI
00000d1a: PUSH1 0x00
00000d1c: DUP1
00000d1d: REVERT
00000d1e: JUMPDEST
00000d1f: POP
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH2 0x0d2a
00000d25: DUP2
00000d26: PUSH2 0x0b47
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: DUP2
00000d2c: EQ
00000d2d: PUSH2 0x0d35
00000d30: JUMPI
00000d31: PUSH1 0x00
00000d33: DUP1
00000d34: REVERT
00000d35: JUMPDEST
00000d36: POP
00000d37: JUMP
00000d38: INVALID
00000d39: LOG2
00000d3a: PUSH5 0x6970667358
00000d40: UNKNOWN(0x22)
00000d41: SLT
00000d42: KECCAK256
00000d43: ORIGIN
00000d44: UNKNOWN(0xA6)
00000d45: UNKNOWN(0xB6)
00000d46: LT
00000d47: PUSH22 0xa1be823ed525ff3d4c045cacc41353bc951cf403662e
00000d5e: UNKNOWN(0xAC)
00000d5f: SWAP4
00000d60: STATICCALL
00000d61: CODESIZE
00000d62: UNKNOWN(0xD5)
00000d63: PUSH5 0x736f6c6343
00000d69: STOP
00000d6a: ADDMOD
00000d6b: SMOD
00000d6c: STOP
00000d6d: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no —
view
validation_json 
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x765e3f55",
            "selector": "0x765e3f55",
            "calldata_variants": [
                "0x765e3f55",
                "0x765e3f550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc82f8d9e",
            "selector": "0xc82f8d9e",
            "calldata_variants": [
                "0xc82f8d9e",
                "0xc82f8d9e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 3395,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xb09d0ad76cf21206b41cc106c2aca9ef9f169b030bafa8d6c347f40ab023e577
call_targets: 0x3a0af7b0636ea35f6979f0b9ce3fa0183c692066
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb09d0ad76cf21206b41cc106c2aca9ef9f169b030bafa8d6c347f40ab023e577",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3a0af7b0636ea35f6979f0b9ce3fa0183c692066"
    ],
    "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": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x765e3f55",
            "selector": "0x765e3f55",
            "calldata_variants": [
                "0x765e3f55",
                "0x765e3f550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc82f8d9e",
            "selector": "0xc82f8d9e",
            "calldata_variants": [
                "0xc82f8d9e",
                "0xc82f8d9e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 358,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1469,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 3395,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xb09d0ad76cf21206b41cc106c2aca9ef9f169b030bafa8d6c347f40ab023e577
call_targets: 0x3a0af7b0636ea35f6979f0b9ce3fa0183c692066
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb09d0ad76cf21206b41cc106c2aca9ef9f169b030bafa8d6c347f40ab023e577",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3a0af7b0636ea35f6979f0b9ce3fa0183c692066"
    ],
    "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": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x765e3f55",
            "selector": "0x765e3f55",
            "calldata_variants": [
                "0x765e3f55",
                "0x765e3f550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc82f8d9e",
            "selector": "0xc82f8d9e",
            "calldata_variants": [
                "0xc82f8d9e",
                "0xc82f8d9e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 358,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1469,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 3395,
            "type": "tx_origin_used"
        }
    ]
}