Analysis Run

019b477e-b302-7075-a3f7-e3f3dc4242a6

complete

Chain ID

1

Address

0x78be5dc8f02b41b0c3146d1b3cabb31797060275

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

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
22465	artifact.fetch	complete	1 / 3	4 months ago
22466	tool.cast_disasm	complete	1 / 3	4 months ago
65558	analysis.bundle	complete	1 / 3	2 weeks ago
65559	capability.graph	complete	1 / 3	2 weeks ago
65560	detector.run	complete	1 / 3	2 weeks ago
65561	validation.fork	complete	1 / 3	2 weeks 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)

7

EXT*/BALANCE

6

Total opcodes

1726

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x008e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x26a4e8d2
0000003c: EQ
0000003d: PUSH2 0x0090
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x3af32abf
00000047: EQ
00000048: PUSH2 0x00d3
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x3ccfd60b
00000052: EQ
00000053: PUSH2 0x012e
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x55a373d6
0000005d: EQ
0000005e: PUSH2 0x0145
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x8da5cb5b
00000068: EQ
00000069: PUSH2 0x019c
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xb4c9d9cb
00000073: EQ
00000074: PUSH2 0x01f3
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0xf2fde38b
0000007e: EQ
0000007f: PUSH2 0x024a
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0xf59c3708
00000089: EQ
0000008a: PUSH2 0x028d
0000008d: JUMPI
0000008e: JUMPDEST
0000008f: STOP
00000090: JUMPDEST
00000091: CALLVALUE
00000092: DUP1
00000093: ISZERO
00000094: PUSH2 0x009c
00000097: JUMPI
00000098: PUSH1 0x00
0000009a: DUP1
0000009b: REVERT
0000009c: JUMPDEST
0000009d: POP
0000009e: PUSH2 0x00d1
000000a1: PUSH1 0x04
000000a3: DUP1
000000a4: CALLDATASIZE
000000a5: SUB
000000a6: DUP2
000000a7: ADD
000000a8: SWAP1
000000a9: DUP1
000000aa: DUP1
000000ab: CALLDATALOAD
000000ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000c1: AND
000000c2: SWAP1
000000c3: PUSH1 0x20
000000c5: ADD
000000c6: SWAP1
000000c7: SWAP3
000000c8: SWAP2
000000c9: SWAP1
000000ca: POP
000000cb: POP
000000cc: POP
000000cd: PUSH2 0x02dc
000000d0: JUMP
000000d1: JUMPDEST
000000d2: STOP
000000d3: JUMPDEST
000000d4: CALLVALUE
000000d5: DUP1
000000d6: ISZERO
000000d7: PUSH2 0x00df
000000da: JUMPI
000000db: PUSH1 0x00
000000dd: DUP1
000000de: REVERT
000000df: JUMPDEST
000000e0: POP
000000e1: PUSH2 0x0114
000000e4: PUSH1 0x04
000000e6: DUP1
000000e7: CALLDATASIZE
000000e8: SUB
000000e9: DUP2
000000ea: ADD
000000eb: SWAP1
000000ec: DUP1
000000ed: DUP1
000000ee: CALLDATALOAD
000000ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000104: AND
00000105: SWAP1
00000106: PUSH1 0x20
00000108: ADD
00000109: SWAP1
0000010a: SWAP3
0000010b: SWAP2
0000010c: SWAP1
0000010d: POP
0000010e: POP
0000010f: POP
00000110: PUSH2 0x03e5
00000113: JUMP
00000114: JUMPDEST
00000115: PUSH1 0x40
00000117: MLOAD
00000118: DUP1
00000119: DUP3
0000011a: ISZERO
0000011b: ISZERO
0000011c: ISZERO
0000011d: ISZERO
0000011e: DUP2
0000011f: MSTORE
00000120: PUSH1 0x20
00000122: ADD
00000123: SWAP2
00000124: POP
00000125: POP
00000126: PUSH1 0x40
00000128: MLOAD
00000129: DUP1
0000012a: SWAP2
0000012b: SUB
0000012c: SWAP1
0000012d: RETURN
0000012e: JUMPDEST
0000012f: CALLVALUE
00000130: DUP1
00000131: ISZERO
00000132: PUSH2 0x013a
00000135: JUMPI
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: POP
0000013c: PUSH2 0x0143
0000013f: PUSH2 0x0405
00000142: JUMP
00000143: JUMPDEST
00000144: STOP
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: POP
00000153: PUSH2 0x015a
00000156: PUSH2 0x0766
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: MLOAD
0000015e: DUP1
0000015f: DUP3
00000160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000175: AND
00000176: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018b: AND
0000018c: DUP2
0000018d: MSTORE
0000018e: PUSH1 0x20
00000190: ADD
00000191: SWAP2
00000192: POP
00000193: POP
00000194: PUSH1 0x40
00000196: MLOAD
00000197: DUP1
00000198: SWAP2
00000199: SUB
0000019a: SWAP1
0000019b: RETURN
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: DUP1
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: POP
000001aa: PUSH2 0x01b1
000001ad: PUSH2 0x078c
000001b0: JUMP
000001b1: JUMPDEST
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: DUP1
000001b6: DUP3
000001b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001cc: AND
000001cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001e2: AND
000001e3: DUP2
000001e4: MSTORE
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: SWAP2
000001e9: POP
000001ea: POP
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: SWAP2
000001f0: SUB
000001f1: SWAP1
000001f2: RETURN
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0248
00000204: PUSH1 0x04
00000206: DUP1
00000207: CALLDATASIZE
00000208: SUB
00000209: DUP2
0000020a: ADD
0000020b: SWAP1
0000020c: DUP1
0000020d: DUP1
0000020e: CALLDATALOAD
0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000224: AND
00000225: SWAP1
00000226: PUSH1 0x20
00000228: ADD
00000229: SWAP1
0000022a: SWAP3
0000022b: SWAP2
0000022c: SWAP1
0000022d: DUP1
0000022e: CALLDATALOAD
0000022f: SWAP1
00000230: PUSH1 0x20
00000232: ADD
00000233: SWAP1
00000234: SWAP3
00000235: SWAP2
00000236: SWAP1
00000237: DUP1
00000238: CALLDATALOAD
00000239: SWAP1
0000023a: PUSH1 0x20
0000023c: ADD
0000023d: SWAP1
0000023e: SWAP3
0000023f: SWAP2
00000240: SWAP1
00000241: POP
00000242: POP
00000243: POP
00000244: PUSH2 0x07b2
00000247: JUMP
00000248: JUMPDEST
00000249: STOP
0000024a: JUMPDEST
0000024b: CALLVALUE
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x0256
00000251: JUMPI
00000252: PUSH1 0x00
00000254: DUP1
00000255: REVERT
00000256: JUMPDEST
00000257: POP
00000258: PUSH2 0x028b
0000025b: PUSH1 0x04
0000025d: DUP1
0000025e: CALLDATASIZE
0000025f: SUB
00000260: DUP2
00000261: ADD
00000262: SWAP1
00000263: DUP1
00000264: DUP1
00000265: CALLDATALOAD
00000266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027b: AND
0000027c: SWAP1
0000027d: PUSH1 0x20
0000027f: ADD
00000280: SWAP1
00000281: SWAP3
00000282: SWAP2
00000283: SWAP1
00000284: POP
00000285: POP
00000286: POP
00000287: PUSH2 0x0cc1
0000028a: JUMP
0000028b: JUMPDEST
0000028c: STOP
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x02da
0000029e: PUSH1 0x04
000002a0: DUP1
000002a1: CALLDATASIZE
000002a2: SUB
000002a3: DUP2
000002a4: ADD
000002a5: SWAP1
000002a6: DUP1
000002a7: DUP1
000002a8: CALLDATALOAD
000002a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002be: AND
000002bf: SWAP1
000002c0: PUSH1 0x20
000002c2: ADD
000002c3: SWAP1
000002c4: SWAP3
000002c5: SWAP2
000002c6: SWAP1
000002c7: DUP1
000002c8: CALLDATALOAD
000002c9: ISZERO
000002ca: ISZERO
000002cb: SWAP1
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: SWAP1
000002d0: SWAP3
000002d1: SWAP2
000002d2: SWAP1
000002d3: POP
000002d4: POP
000002d5: POP
000002d6: PUSH2 0x0e6f
000002d9: JUMP
000002da: JUMPDEST
000002db: STOP
000002dc: JUMPDEST
000002dd: PUSH1 0x03
000002df: PUSH1 0x00
000002e1: SWAP1
000002e2: SLOAD
000002e3: SWAP1
000002e4: PUSH2 0x0100
000002e7: EXP
000002e8: SWAP1
000002e9: DIV
000002ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ff: AND
00000300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000315: AND
00000316: CALLER
00000317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032c: AND
0000032d: EQ
0000032e: ISZERO
0000032f: ISZERO
00000330: PUSH2 0x03a1
00000333: JUMPI
00000334: PUSH1 0x40
00000336: MLOAD
00000337: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000358: DUP2
00000359: MSTORE
0000035a: PUSH1 0x04
0000035c: ADD
0000035d: DUP1
0000035e: DUP1
0000035f: PUSH1 0x20
00000361: ADD
00000362: DUP3
00000363: DUP2
00000364: SUB
00000365: DUP3
00000366: MSTORE
00000367: PUSH1 0x14
00000369: DUP2
0000036a: MSTORE
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: DUP1
0000036f: PUSH32 0x556e617574686f72697a6564206163636573732e000000000000000000000000
00000390: DUP2
00000391: MSTORE
00000392: POP
00000393: PUSH1 0x20
00000395: ADD
00000396: SWAP2
00000397: POP
00000398: POP
00000399: PUSH1 0x40
0000039b: MLOAD
0000039c: DUP1
0000039d: SWAP2
0000039e: SUB
0000039f: SWAP1
000003a0: REVERT
000003a1: JUMPDEST
000003a2: DUP1
000003a3: PUSH1 0x01
000003a5: PUSH1 0x00
000003a7: PUSH2 0x0100
000003aa: EXP
000003ab: DUP2
000003ac: SLOAD
000003ad: DUP2
000003ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c3: MUL
000003c4: NOT
000003c5: AND
000003c6: SWAP1
000003c7: DUP4
000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003dd: AND
000003de: MUL
000003df: OR
000003e0: SWAP1
000003e1: SSTORE
000003e2: POP
000003e3: POP
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH1 0x02
000003e8: PUSH1 0x20
000003ea: MSTORE
000003eb: DUP1
000003ec: PUSH1 0x00
000003ee: MSTORE
000003ef: PUSH1 0x40
000003f1: PUSH1 0x00
000003f3: KECCAK256
000003f4: PUSH1 0x00
000003f6: SWAP2
000003f7: POP
000003f8: SLOAD
000003f9: SWAP1
000003fa: PUSH2 0x0100
000003fd: EXP
000003fe: SWAP1
000003ff: DIV
00000400: PUSH1 0xff
00000402: AND
00000403: DUP2
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x03
00000408: PUSH1 0x00
0000040a: SWAP1
0000040b: SLOAD
0000040c: SWAP1
0000040d: PUSH2 0x0100
00000410: EXP
00000411: SWAP1
00000412: DIV
00000413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000428: AND
00000429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043e: AND
0000043f: CALLER
00000440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000455: AND
00000456: EQ
00000457: ISZERO
00000458: ISZERO
00000459: PUSH2 0x04ca
0000045c: JUMPI
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000481: DUP2
00000482: MSTORE
00000483: PUSH1 0x04
00000485: ADD
00000486: DUP1
00000487: DUP1
00000488: PUSH1 0x20
0000048a: ADD
0000048b: DUP3
0000048c: DUP2
0000048d: SUB
0000048e: DUP3
0000048f: MSTORE
00000490: PUSH1 0x14
00000492: DUP2
00000493: MSTORE
00000494: PUSH1 0x20
00000496: ADD
00000497: DUP1
00000498: PUSH32 0x556e617574686f72697a6564206163636573732e000000000000000000000000
000004b9: DUP2
000004ba: MSTORE
000004bb: POP
000004bc: PUSH1 0x20
000004be: ADD
000004bf: SWAP2
000004c0: POP
000004c1: POP
000004c2: PUSH1 0x40
000004c4: MLOAD
000004c5: DUP1
000004c6: SWAP2
000004c7: SUB
000004c8: SWAP1
000004c9: REVERT
000004ca: JUMPDEST
000004cb: PUSH1 0x03
000004cd: PUSH1 0x00
000004cf: SWAP1
000004d0: SLOAD
000004d1: SWAP1
000004d2: PUSH2 0x0100
000004d5: EXP
000004d6: SWAP1
000004d7: DIV
000004d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ed: AND
000004ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000503: AND
00000504: PUSH2 0x08fc
00000507: ADDRESS
00000508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051d: AND
0000051e: BALANCE
0000051f: SWAP1
00000520: DUP2
00000521: ISZERO
00000522: MUL
00000523: SWAP1
00000524: PUSH1 0x40
00000526: MLOAD
00000527: PUSH1 0x00
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: DUP1
0000052d: DUP4
0000052e: SUB
0000052f: DUP2
00000530: DUP6
00000531: DUP9
00000532: DUP9
00000533: CALL
00000534: SWAP4
00000535: POP
00000536: POP
00000537: POP
00000538: POP
00000539: ISZERO
0000053a: DUP1
0000053b: ISZERO
0000053c: PUSH2 0x0549
0000053f: JUMPI
00000540: RETURNDATASIZE
00000541: PUSH1 0x00
00000543: DUP1
00000544: RETURNDATACOPY
00000545: RETURNDATASIZE
00000546: PUSH1 0x00
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH1 0x01
0000054d: PUSH1 0x00
0000054f: SWAP1
00000550: SLOAD
00000551: SWAP1
00000552: PUSH2 0x0100
00000555: EXP
00000556: SWAP1
00000557: DIV
00000558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056d: AND
0000056e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000583: AND
00000584: PUSH4 0xa9059cbb
00000589: PUSH1 0x03
0000058b: PUSH1 0x00
0000058d: SWAP1
0000058e: SLOAD
0000058f: SWAP1
00000590: PUSH2 0x0100
00000593: EXP
00000594: SWAP1
00000595: DIV
00000596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ab: AND
000005ac: PUSH1 0x01
000005ae: PUSH1 0x00
000005b0: SWAP1
000005b1: SLOAD
000005b2: SWAP1
000005b3: PUSH2 0x0100
000005b6: EXP
000005b7: SWAP1
000005b8: DIV
000005b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ce: AND
000005cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e4: AND
000005e5: PUSH4 0x70a08231
000005ea: ADDRESS
000005eb: PUSH1 0x40
000005ed: MLOAD
000005ee: DUP3
000005ef: PUSH4 0xffffffff
000005f4: AND
000005f5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000613: MUL
00000614: DUP2
00000615: MSTORE
00000616: PUSH1 0x04
00000618: ADD
00000619: DUP1
0000061a: DUP3
0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000630: AND
00000631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000646: AND
00000647: DUP2
00000648: MSTORE
00000649: PUSH1 0x20
0000064b: ADD
0000064c: SWAP2
0000064d: POP
0000064e: POP
0000064f: PUSH1 0x20
00000651: PUSH1 0x40
00000653: MLOAD
00000654: DUP1
00000655: DUP4
00000656: SUB
00000657: DUP2
00000658: PUSH1 0x00
0000065a: DUP8
0000065b: DUP1
0000065c: EXTCODESIZE
0000065d: ISZERO
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: GAS
0000066b: CALL
0000066c: ISZERO
0000066d: DUP1
0000066e: ISZERO
0000066f: PUSH2 0x067c
00000672: JUMPI
00000673: RETURNDATASIZE
00000674: PUSH1 0x00
00000676: DUP1
00000677: RETURNDATACOPY
00000678: RETURNDATASIZE
00000679: PUSH1 0x00
0000067b: REVERT
0000067c: JUMPDEST
0000067d: POP
0000067e: POP
0000067f: POP
00000680: POP
00000681: PUSH1 0x40
00000683: MLOAD
00000684: RETURNDATASIZE
00000685: PUSH1 0x20
00000687: DUP2
00000688: LT
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: DUP2
00000694: ADD
00000695: SWAP1
00000696: DUP1
00000697: DUP1
00000698: MLOAD
00000699: SWAP1
0000069a: PUSH1 0x20
0000069c: ADD
0000069d: SWAP1
0000069e: SWAP3
0000069f: SWAP2
000006a0: SWAP1
000006a1: POP
000006a2: POP
000006a3: POP
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: DUP4
000006a8: PUSH4 0xffffffff
000006ad: AND
000006ae: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000006cc: MUL
000006cd: DUP2
000006ce: MSTORE
000006cf: PUSH1 0x04
000006d1: ADD
000006d2: DUP1
000006d3: DUP4
000006d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e9: AND
000006ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ff: AND
00000700: DUP2
00000701: MSTORE
00000702: PUSH1 0x20
00000704: ADD
00000705: DUP3
00000706: DUP2
00000707: MSTORE
00000708: PUSH1 0x20
0000070a: ADD
0000070b: SWAP3
0000070c: POP
0000070d: POP
0000070e: POP
0000070f: PUSH1 0x20
00000711: PUSH1 0x40
00000713: MLOAD
00000714: DUP1
00000715: DUP4
00000716: SUB
00000717: DUP2
00000718: PUSH1 0x00
0000071a: DUP8
0000071b: DUP1
0000071c: EXTCODESIZE
0000071d: ISZERO
0000071e: DUP1
0000071f: ISZERO
00000720: PUSH2 0x0728
00000723: JUMPI
00000724: PUSH1 0x00
00000726: DUP1
00000727: REVERT
00000728: JUMPDEST
00000729: POP
0000072a: GAS
0000072b: CALL
0000072c: ISZERO
0000072d: DUP1
0000072e: ISZERO
0000072f: PUSH2 0x073c
00000732: JUMPI
00000733: RETURNDATASIZE
00000734: PUSH1 0x00
00000736: DUP1
00000737: RETURNDATACOPY
00000738: RETURNDATASIZE
00000739: PUSH1 0x00
0000073b: REVERT
0000073c: JUMPDEST
0000073d: POP
0000073e: POP
0000073f: POP
00000740: POP
00000741: PUSH1 0x40
00000743: MLOAD
00000744: RETURNDATASIZE
00000745: PUSH1 0x20
00000747: DUP2
00000748: LT
00000749: ISZERO
0000074a: PUSH2 0x0752
0000074d: JUMPI
0000074e: PUSH1 0x00
00000750: DUP1
00000751: REVERT
00000752: JUMPDEST
00000753: DUP2
00000754: ADD
00000755: SWAP1
00000756: DUP1
00000757: DUP1
00000758: MLOAD
00000759: SWAP1
0000075a: PUSH1 0x20
0000075c: ADD
0000075d: SWAP1
0000075e: SWAP3
0000075f: SWAP2
00000760: SWAP1
00000761: POP
00000762: POP
00000763: POP
00000764: POP
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH1 0x01
00000769: PUSH1 0x00
0000076b: SWAP1
0000076c: SLOAD
0000076d: SWAP1
0000076e: PUSH2 0x0100
00000771: EXP
00000772: SWAP1
00000773: DIV
00000774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000789: AND
0000078a: DUP2
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH1 0x03
0000078f: PUSH1 0x00
00000791: SWAP1
00000792: SLOAD
00000793: SWAP1
00000794: PUSH2 0x0100
00000797: EXP
00000798: SWAP1
00000799: DIV
0000079a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007af: AND
000007b0: DUP2
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH1 0x00
000007b5: PUSH1 0x02
000007b7: PUSH1 0x00
000007b9: CALLER
000007ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cf: AND
000007d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e5: AND
000007e6: DUP2
000007e7: MSTORE
000007e8: PUSH1 0x20
000007ea: ADD
000007eb: SWAP1
000007ec: DUP2
000007ed: MSTORE
000007ee: PUSH1 0x20
000007f0: ADD
000007f1: PUSH1 0x00
000007f3: KECCAK256
000007f4: PUSH1 0x00
000007f6: SWAP1
000007f7: SLOAD
000007f8: SWAP1
000007f9: PUSH2 0x0100
000007fc: EXP
000007fd: SWAP1
000007fe: DIV
000007ff: PUSH1 0xff
00000801: AND
00000802: ISZERO
00000803: ISZERO
00000804: PUSH2 0x089b
00000807: JUMPI
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000082c: DUP2
0000082d: MSTORE
0000082e: PUSH1 0x04
00000830: ADD
00000831: DUP1
00000832: DUP1
00000833: PUSH1 0x20
00000835: ADD
00000836: DUP3
00000837: DUP2
00000838: SUB
00000839: DUP3
0000083a: MSTORE
0000083b: PUSH1 0x25
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: ADD
00000842: DUP1
00000843: PUSH32 0x546865206d6573736167652073656e646572206973206e6f742077686974656c
00000864: DUP2
00000865: MSTORE
00000866: PUSH1 0x20
00000868: ADD
00000869: PUSH32 0x6973746564000000000000000000000000000000000000000000000000000000
0000088a: DUP2
0000088b: MSTORE
0000088c: POP
0000088d: PUSH1 0x40
0000088f: ADD
00000890: SWAP2
00000891: POP
00000892: POP
00000893: PUSH1 0x40
00000895: MLOAD
00000896: DUP1
00000897: SWAP2
00000898: SUB
00000899: SWAP1
0000089a: REVERT
0000089b: JUMPDEST
0000089c: PUSH2 0x08b0
0000089f: GASPRICE
000008a0: PUSH1 0x00
000008a2: SLOAD
000008a3: PUSH2 0x0f8f
000008a6: SWAP1
000008a7: SWAP2
000008a8: SWAP1
000008a9: PUSH4 0xffffffff
000008ae: AND
000008af: JUMP
000008b0: JUMPDEST
000008b1: SWAP1
000008b2: POP
000008b3: DUP1
000008b4: DUP4
000008b5: ADD
000008b6: ADDRESS
000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cc: AND
000008cd: BALANCE
000008ce: GT
000008cf: ISZERO
000008d0: ISZERO
000008d1: PUSH2 0x0942
000008d4: JUMPI
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x04
000008fd: ADD
000008fe: DUP1
000008ff: DUP1
00000900: PUSH1 0x20
00000902: ADD
00000903: DUP3
00000904: DUP2
00000905: SUB
00000906: DUP3
00000907: MSTORE
00000908: PUSH1 0x1b
0000090a: DUP2
0000090b: MSTORE
0000090c: PUSH1 0x20
0000090e: ADD
0000090f: DUP1
00000910: PUSH32 0x496e73756666696369656e742045746865722062616c616e63652e0000000000
00000931: DUP2
00000932: MSTORE
00000933: POP
00000934: PUSH1 0x20
00000936: ADD
00000937: SWAP2
00000938: POP
00000939: POP
0000093a: PUSH1 0x40
0000093c: MLOAD
0000093d: DUP1
0000093e: SWAP2
0000093f: SUB
00000940: SWAP1
00000941: REVERT
00000942: JUMPDEST
00000943: DUP2
00000944: PUSH1 0x01
00000946: PUSH1 0x00
00000948: SWAP1
00000949: SLOAD
0000094a: SWAP1
0000094b: PUSH2 0x0100
0000094e: EXP
0000094f: SWAP1
00000950: DIV
00000951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000966: AND
00000967: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097c: AND
0000097d: PUSH4 0x70a08231
00000982: ADDRESS
00000983: PUSH1 0x40
00000985: MLOAD
00000986: DUP3
00000987: PUSH4 0xffffffff
0000098c: AND
0000098d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000009ab: MUL
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x04
000009b0: ADD
000009b1: DUP1
000009b2: DUP3
000009b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c8: AND
000009c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009de: AND
000009df: DUP2
000009e0: MSTORE
000009e1: PUSH1 0x20
000009e3: ADD
000009e4: SWAP2
000009e5: POP
000009e6: POP
000009e7: PUSH1 0x20
000009e9: PUSH1 0x40
000009eb: MLOAD
000009ec: DUP1
000009ed: DUP4
000009ee: SUB
000009ef: DUP2
000009f0: PUSH1 0x00
000009f2: DUP8
000009f3: DUP1
000009f4: EXTCODESIZE
000009f5: ISZERO
000009f6: DUP1
000009f7: ISZERO
000009f8: PUSH2 0x0a00
000009fb: JUMPI
000009fc: PUSH1 0x00
000009fe: DUP1
000009ff: REVERT
00000a00: JUMPDEST
00000a01: POP
00000a02: GAS
00000a03: CALL
00000a04: ISZERO
00000a05: DUP1
00000a06: ISZERO
00000a07: PUSH2 0x0a14
00000a0a: JUMPI
00000a0b: RETURNDATASIZE
00000a0c: PUSH1 0x00
00000a0e: DUP1
00000a0f: RETURNDATACOPY
00000a10: RETURNDATASIZE
00000a11: PUSH1 0x00
00000a13: REVERT
00000a14: JUMPDEST
00000a15: POP
00000a16: POP
00000a17: POP
00000a18: POP
00000a19: PUSH1 0x40
00000a1b: MLOAD
00000a1c: RETURNDATASIZE
00000a1d: PUSH1 0x20
00000a1f: DUP2
00000a20: LT
00000a21: ISZERO
00000a22: PUSH2 0x0a2a
00000a25: JUMPI
00000a26: PUSH1 0x00
00000a28: DUP1
00000a29: REVERT
00000a2a: JUMPDEST
00000a2b: DUP2
00000a2c: ADD
00000a2d: SWAP1
00000a2e: DUP1
00000a2f: DUP1
00000a30: MLOAD
00000a31: SWAP1
00000a32: PUSH1 0x20
00000a34: ADD
00000a35: SWAP1
00000a36: SWAP3
00000a37: SWAP2
00000a38: SWAP1
00000a39: POP
00000a3a: POP
00000a3b: POP
00000a3c: LT
00000a3d: ISZERO
00000a3e: ISZERO
00000a3f: ISZERO
00000a40: PUSH2 0x0ab1
00000a43: JUMPI
00000a44: PUSH1 0x40
00000a46: MLOAD
00000a47: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a68: DUP2
00000a69: MSTORE
00000a6a: PUSH1 0x04
00000a6c: ADD
00000a6d: DUP1
00000a6e: DUP1
00000a6f: PUSH1 0x20
00000a71: ADD
00000a72: DUP3
00000a73: DUP2
00000a74: SUB
00000a75: DUP3
00000a76: MSTORE
00000a77: PUSH1 0x1b
00000a79: DUP2
00000a7a: MSTORE
00000a7b: PUSH1 0x20
00000a7d: ADD
00000a7e: DUP1
00000a7f: PUSH32 0x496e73756666696369656e7420546f6b656e2062616c616e63652e0000000000
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: POP
00000aa3: PUSH1 0x20
00000aa5: ADD
00000aa6: SWAP2
00000aa7: POP
00000aa8: POP
00000aa9: PUSH1 0x40
00000aab: MLOAD
00000aac: DUP1
00000aad: SWAP2
00000aae: SUB
00000aaf: SWAP1
00000ab0: REVERT
00000ab1: JUMPDEST
00000ab2: DUP4
00000ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac8: AND
00000ac9: PUSH2 0x08fc
00000acc: DUP5
00000acd: SWAP1
00000ace: DUP2
00000acf: ISZERO
00000ad0: MUL
00000ad1: SWAP1
00000ad2: PUSH1 0x40
00000ad4: MLOAD
00000ad5: PUSH1 0x00
00000ad7: PUSH1 0x40
00000ad9: MLOAD
00000ada: DUP1
00000adb: DUP4
00000adc: SUB
00000add: DUP2
00000ade: DUP6
00000adf: DUP9
00000ae0: DUP9
00000ae1: CALL
00000ae2: SWAP4
00000ae3: POP
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: ISZERO
00000ae8: DUP1
00000ae9: ISZERO
00000aea: PUSH2 0x0af7
00000aed: JUMPI
00000aee: RETURNDATASIZE
00000aef: PUSH1 0x00
00000af1: DUP1
00000af2: RETURNDATACOPY
00000af3: RETURNDATASIZE
00000af4: PUSH1 0x00
00000af6: REVERT
00000af7: JUMPDEST
00000af8: POP
00000af9: PUSH1 0x01
00000afb: PUSH1 0x00
00000afd: SWAP1
00000afe: SLOAD
00000aff: SWAP1
00000b00: PUSH2 0x0100
00000b03: EXP
00000b04: SWAP1
00000b05: DIV
00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1b: AND
00000b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b31: AND
00000b32: PUSH4 0xa9059cbb
00000b37: DUP6
00000b38: DUP5
00000b39: PUSH1 0x40
00000b3b: MLOAD
00000b3c: DUP4
00000b3d: PUSH4 0xffffffff
00000b42: AND
00000b43: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000b61: MUL
00000b62: DUP2
00000b63: MSTORE
00000b64: PUSH1 0x04
00000b66: ADD
00000b67: DUP1
00000b68: DUP4
00000b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7e: AND
00000b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b94: AND
00000b95: DUP2
00000b96: MSTORE
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: DUP3
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x20
00000b9f: ADD
00000ba0: SWAP3
00000ba1: POP
00000ba2: POP
00000ba3: POP
00000ba4: PUSH1 0x20
00000ba6: PUSH1 0x40
00000ba8: MLOAD
00000ba9: DUP1
00000baa: DUP4
00000bab: SUB
00000bac: DUP2
00000bad: PUSH1 0x00
00000baf: DUP8
00000bb0: DUP1
00000bb1: EXTCODESIZE
00000bb2: ISZERO
00000bb3: DUP1
00000bb4: ISZERO
00000bb5: PUSH2 0x0bbd
00000bb8: JUMPI
00000bb9: PUSH1 0x00
00000bbb: DUP1
00000bbc: REVERT
00000bbd: JUMPDEST
00000bbe: POP
00000bbf: GAS
00000bc0: CALL
00000bc1: ISZERO
00000bc2: DUP1
00000bc3: ISZERO
00000bc4: PUSH2 0x0bd1
00000bc7: JUMPI
00000bc8: RETURNDATASIZE
00000bc9: PUSH1 0x00
00000bcb: DUP1
00000bcc: RETURNDATACOPY
00000bcd: RETURNDATASIZE
00000bce: PUSH1 0x00
00000bd0: REVERT
00000bd1: JUMPDEST
00000bd2: POP
00000bd3: POP
00000bd4: POP
00000bd5: POP
00000bd6: PUSH1 0x40
00000bd8: MLOAD
00000bd9: RETURNDATASIZE
00000bda: PUSH1 0x20
00000bdc: DUP2
00000bdd: LT
00000bde: ISZERO
00000bdf: PUSH2 0x0be7
00000be2: JUMPI
00000be3: PUSH1 0x00
00000be5: DUP1
00000be6: REVERT
00000be7: JUMPDEST
00000be8: DUP2
00000be9: ADD
00000bea: SWAP1
00000beb: DUP1
00000bec: DUP1
00000bed: MLOAD
00000bee: SWAP1
00000bef: PUSH1 0x20
00000bf1: ADD
00000bf2: SWAP1
00000bf3: SWAP3
00000bf4: SWAP2
00000bf5: SWAP1
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: CALLER
00000bfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c10: AND
00000c11: PUSH2 0x08fc
00000c14: DUP3
00000c15: SWAP1
00000c16: DUP2
00000c17: ISZERO
00000c18: MUL
00000c19: SWAP1
00000c1a: PUSH1 0x40
00000c1c: MLOAD
00000c1d: PUSH1 0x00
00000c1f: PUSH1 0x40
00000c21: MLOAD
00000c22: DUP1
00000c23: DUP4
00000c24: SUB
00000c25: DUP2
00000c26: DUP6
00000c27: DUP9
00000c28: DUP9
00000c29: CALL
00000c2a: SWAP4
00000c2b: POP
00000c2c: POP
00000c2d: POP
00000c2e: POP
00000c2f: ISZERO
00000c30: DUP1
00000c31: ISZERO
00000c32: PUSH2 0x0c3f
00000c35: JUMPI
00000c36: RETURNDATASIZE
00000c37: PUSH1 0x00
00000c39: DUP1
00000c3a: RETURNDATACOPY
00000c3b: RETURNDATASIZE
00000c3c: PUSH1 0x00
00000c3e: REVERT
00000c3f: JUMPDEST
00000c40: POP
00000c41: PUSH32 0xd8511049ac82c6abea40d22d779a226f98fa364ff7c5e4f2e0200e77a2b8eaca
00000c62: DUP5
00000c63: DUP5
00000c64: DUP5
00000c65: TIMESTAMP
00000c66: PUSH1 0x40
00000c68: MLOAD
00000c69: DUP1
00000c6a: DUP6
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c96: AND
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x20
00000c9b: ADD
00000c9c: DUP5
00000c9d: DUP2
00000c9e: MSTORE
00000c9f: PUSH1 0x20
00000ca1: ADD
00000ca2: DUP4
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x20
00000ca7: ADD
00000ca8: DUP3
00000ca9: DUP2
00000caa: MSTORE
00000cab: PUSH1 0x20
00000cad: ADD
00000cae: SWAP5
00000caf: POP
00000cb0: POP
00000cb1: POP
00000cb2: POP
00000cb3: POP
00000cb4: PUSH1 0x40
00000cb6: MLOAD
00000cb7: DUP1
00000cb8: SWAP2
00000cb9: SUB
00000cba: SWAP1
00000cbb: LOG1
00000cbc: POP
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x03
00000cc4: PUSH1 0x00
00000cc6: SWAP1
00000cc7: SLOAD
00000cc8: SWAP1
00000cc9: PUSH2 0x0100
00000ccc: EXP
00000ccd: SWAP1
00000cce: DIV
00000ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce4: AND
00000ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfa: AND
00000cfb: CALLER
00000cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d11: AND
00000d12: EQ
00000d13: ISZERO
00000d14: ISZERO
00000d15: PUSH2 0x0d86
00000d18: JUMPI
00000d19: PUSH1 0x40
00000d1b: MLOAD
00000d1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d3d: DUP2
00000d3e: MSTORE
00000d3f: PUSH1 0x04
00000d41: ADD
00000d42: DUP1
00000d43: DUP1
00000d44: PUSH1 0x20
00000d46: ADD
00000d47: DUP3
00000d48: DUP2
00000d49: SUB
00000d4a: DUP3
00000d4b: MSTORE
00000d4c: PUSH1 0x14
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH1 0x20
00000d52: ADD
00000d53: DUP1
00000d54: PUSH32 0x556e617574686f72697a6564206163636573732e000000000000000000000000
00000d75: DUP2
00000d76: MSTORE
00000d77: POP
00000d78: PUSH1 0x20
00000d7a: ADD
00000d7b: SWAP2
00000d7c: POP
00000d7d: POP
00000d7e: PUSH1 0x40
00000d80: MLOAD
00000d81: DUP1
00000d82: SWAP2
00000d83: SUB
00000d84: SWAP1
00000d85: REVERT
00000d86: JUMPDEST
00000d87: PUSH1 0x00
00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9e: AND
00000d9f: DUP2
00000da0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db5: AND
00000db6: EQ
00000db7: ISZERO
00000db8: ISZERO
00000db9: ISZERO
00000dba: PUSH2 0x0e2b
00000dbd: JUMPI
00000dbe: PUSH1 0x40
00000dc0: MLOAD
00000dc1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x04
00000de6: ADD
00000de7: DUP1
00000de8: DUP1
00000de9: PUSH1 0x20
00000deb: ADD
00000dec: DUP3
00000ded: DUP2
00000dee: SUB
00000def: DUP3
00000df0: MSTORE
00000df1: PUSH1 0x1e
00000df3: DUP2
00000df4: MSTORE
00000df5: PUSH1 0x20
00000df7: ADD
00000df8: DUP1
00000df9: PUSH32 0x5573657220616464726573732073686f756c64206e6f74206265203078300000
00000e1a: DUP2
00000e1b: MSTORE
00000e1c: POP
00000e1d: PUSH1 0x20
00000e1f: ADD
00000e20: SWAP2
00000e21: POP
00000e22: POP
00000e23: PUSH1 0x40
00000e25: MLOAD
00000e26: DUP1
00000e27: SWAP2
00000e28: SUB
00000e29: SWAP1
00000e2a: REVERT
00000e2b: JUMPDEST
00000e2c: DUP1
00000e2d: PUSH1 0x03
00000e2f: PUSH1 0x00
00000e31: PUSH2 0x0100
00000e34: EXP
00000e35: DUP2
00000e36: SLOAD
00000e37: DUP2
00000e38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4d: MUL
00000e4e: NOT
00000e4f: AND
00000e50: SWAP1
00000e51: DUP4
00000e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e67: AND
00000e68: MUL
00000e69: OR
00000e6a: SWAP1
00000e6b: SSTORE
00000e6c: POP
00000e6d: POP
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: PUSH1 0x03
00000e72: PUSH1 0x00
00000e74: SWAP1
00000e75: SLOAD
00000e76: SWAP1
00000e77: PUSH2 0x0100
00000e7a: EXP
00000e7b: SWAP1
00000e7c: DIV
00000e7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e92: AND
00000e93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea8: AND
00000ea9: CALLER
00000eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebf: AND
00000ec0: EQ
00000ec1: ISZERO
00000ec2: ISZERO
00000ec3: PUSH2 0x0f34
00000ec6: JUMPI
00000ec7: PUSH1 0x40
00000ec9: MLOAD
00000eca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x04
00000eef: ADD
00000ef0: DUP1
00000ef1: DUP1
00000ef2: PUSH1 0x20
00000ef4: ADD
00000ef5: DUP3
00000ef6: DUP2
00000ef7: SUB
00000ef8: DUP3
00000ef9: MSTORE
00000efa: PUSH1 0x14
00000efc: DUP2
00000efd: MSTORE
00000efe: PUSH1 0x20
00000f00: ADD
00000f01: DUP1
00000f02: PUSH32 0x556e617574686f72697a6564206163636573732e000000000000000000000000
00000f23: DUP2
00000f24: MSTORE
00000f25: POP
00000f26: PUSH1 0x20
00000f28: ADD
00000f29: SWAP2
00000f2a: POP
00000f2b: POP
00000f2c: PUSH1 0x40
00000f2e: MLOAD
00000f2f: DUP1
00000f30: SWAP2
00000f31: SUB
00000f32: SWAP1
00000f33: REVERT
00000f34: JUMPDEST
00000f35: DUP1
00000f36: PUSH1 0x02
00000f38: PUSH1 0x00
00000f3a: DUP5
00000f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f50: AND
00000f51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f66: AND
00000f67: DUP2
00000f68: MSTORE
00000f69: PUSH1 0x20
00000f6b: ADD
00000f6c: SWAP1
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x20
00000f71: ADD
00000f72: PUSH1 0x00
00000f74: KECCAK256
00000f75: PUSH1 0x00
00000f77: PUSH2 0x0100
00000f7a: EXP
00000f7b: DUP2
00000f7c: SLOAD
00000f7d: DUP2
00000f7e: PUSH1 0xff
00000f80: MUL
00000f81: NOT
00000f82: AND
00000f83: SWAP1
00000f84: DUP4
00000f85: ISZERO
00000f86: ISZERO
00000f87: MUL
00000f88: OR
00000f89: SWAP1
00000f8a: SSTORE
00000f8b: POP
00000f8c: POP
00000f8d: POP
00000f8e: JUMP
00000f8f: JUMPDEST
00000f90: PUSH1 0x00
00000f92: DUP1
00000f93: DUP4
00000f94: EQ
00000f95: ISZERO
00000f96: PUSH2 0x0fa2
00000f99: JUMPI
00000f9a: PUSH1 0x00
00000f9c: SWAP1
00000f9d: POP
00000f9e: PUSH2 0x0fc1
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: DUP2
00000fa4: DUP4
00000fa5: MUL
00000fa6: SWAP1
00000fa7: POP
00000fa8: DUP2
00000fa9: DUP4
00000faa: DUP3
00000fab: DUP2
00000fac: ISZERO
00000fad: ISZERO
00000fae: PUSH2 0x0fb3
00000fb1: JUMPI
00000fb2: INVALID
00000fb3: JUMPDEST
00000fb4: DIV
00000fb5: EQ
00000fb6: ISZERO
00000fb7: ISZERO
00000fb8: PUSH2 0x0fbd
00000fbb: JUMPI
00000fbc: INVALID
00000fbd: JUMPDEST
00000fbe: DUP1
00000fbf: SWAP1
00000fc0: POP
00000fc1: JUMPDEST
00000fc2: SWAP3
00000fc3: SWAP2
00000fc4: POP
00000fc5: POP
00000fc6: JUMP
00000fc7: STOP
00000fc8: LOG1
00000fc9: PUSH6 0x627a7a723058
00000fd0: KECCAK256
00000fd1: CALLVALUE
00000fd2: TLOAD
00000fd3: UNKNOWN(0xC2)
00000fd4: UNKNOWN(0xC6)
00000fd5: UNKNOWN(0xB5)
00000fd6: UNKNOWN(0xD1)
00000fd7: DUP16
00000fd8: UNKNOWN(0xB8)
00000fd9: RETURN
00000fda: UNKNOWN(0xDE)
00000fdb: UNKNOWN(0xEA)
00000fdc: UNKNOWN(0xA7)
00000fdd: POP
00000fde: UNKNOWN(0xDE)
00000fdf: CALLER
00000fe0: SWAP2
00000fe1: RETURNDATACOPY
00000fe2: UNKNOWN(0xC7)
00000fe3: SWAP10
00000fe4: PUSH15

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x3d071633ed87d6d006b20b52ec85c62a2ca8e36cacffd1ef309cfb0bb114db14 call_targets: 0x78be5dc8f02b41b0c3146d1b3cabb31797060275 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3d071633ed87d6d006b20b52ec85c62a2ca8e36cacffd1ef309cfb0bb114db14", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x78be5dc8f02b41b0c3146d1b3cabb31797060275" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26a4e8d2", "selector": "0x26a4e8d2", "calldata_variants": [ "0x26a4e8d2", "0x26a4e8d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3af32abf", "selector": "0x3af32abf", "calldata_variants": [ "0x3af32abf", "0x3af32abf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x55a373d6", "selector": "0x55a373d6", "calldata_variants": [ "0x55a373d6", "0x55a373d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb4c9d9cb", "selector": "0xb4c9d9cb", "calldata_variants": [ "0xb4c9d9cb", "0xb4c9d9cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1331, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1643, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1835, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [ { "pc": 790, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1087, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3323, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3753, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 7 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x3d071633ed87d6d006b20b52ec85c62a2ca8e36cacffd1ef309cfb0bb114db14 call_targets: 0x78be5dc8f02b41b0c3146d1b3cabb31797060275 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3d071633ed87d6d006b20b52ec85c62a2ca8e36cacffd1ef309cfb0bb114db14", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x78be5dc8f02b41b0c3146d1b3cabb31797060275" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26a4e8d2", "selector": "0x26a4e8d2", "calldata_variants": [ "0x26a4e8d2", "0x26a4e8d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3af32abf", "selector": "0x3af32abf", "calldata_variants": [ "0x3af32abf", "0x3af32abf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x55a373d6", "selector": "0x55a373d6", "calldata_variants": [ "0x55a373d6", "0x55a373d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb4c9d9cb", "selector": "0xb4c9d9cb", "calldata_variants": [ "0xb4c9d9cb", "0xb4c9d9cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1331, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1643, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1835, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [ { "pc": 790, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1087, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3323, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3753, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

medium

other

detector

Untrusted CALL target/value reachable

45

no

view

trace_id: 0x3d071633ed87d6d006b20b52ec85c62a2ca8e36cacffd1ef309cfb0bb114db14

call_targets: 0x78be5dc8f02b41b0c3146d1b3cabb31797060275

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3d071633ed87d6d006b20b52ec85c62a2ca8e36cacffd1ef309cfb0bb114db14",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x78be5dc8f02b41b0c3146d1b3cabb31797060275"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x26a4e8d2",
            "selector": "0x26a4e8d2",
            "calldata_variants": [
                "0x26a4e8d2",
                "0x26a4e8d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3af32abf",
            "selector": "0x3af32abf",
            "calldata_variants": [
                "0x3af32abf",
                "0x3af32abf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x55a373d6",
            "selector": "0x55a373d6",
            "calldata_variants": [
                "0x55a373d6",
                "0x55a373d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb4c9d9cb",
            "selector": "0xb4c9d9cb",
            "calldata_variants": [
                "0xb4c9d9cb",
                "0xb4c9d9cb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1331,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1643,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1835,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [
        {
            "pc": 790,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1087,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3323,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3753,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 7
}