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

Analysis Run

019b477e-db00-727d-ae8a-90496fc3f92a

complete
Chain ID
1
Address
0xe04d02747d14f0947b246dcbec4ed18648cb738b
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
29565 artifact.fetch complete 1 / 3 3 months ago
29566 tool.cast_disasm complete 1 / 3 3 months ago
108505 analysis.bundle complete 1 / 3 1 week ago
108506 capability.graph complete 1 / 3 1 week ago
108507 detector.run complete 1 / 3 1 week ago
108508 validation.fork complete 1 / 3 1 week 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
0
Total opcodes
1721
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 0x008a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0059
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x715018a6
00000024: EQ
00000025: PUSH2 0x0118
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8b7afe2e
0000002f: EQ
00000030: PUSH2 0x012f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8da5cb5b
0000003a: EQ
0000003b: PUSH2 0x015a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe64e0b43
00000045: EQ
00000046: PUSH2 0x0185
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x01ae
00000054: JUMPI
00000055: PUSH2 0x0091
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x0562b9f7
00000060: EQ
00000061: PUSH2 0x0093
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x2b66d72e
0000006b: EQ
0000006c: PUSH2 0x00bc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3a41992c
00000076: EQ
00000077: PUSH2 0x00d8
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x3ccfd60b
00000081: EQ
00000082: PUSH2 0x0101
00000085: JUMPI
00000086: PUSH2 0x0091
00000089: JUMP
0000008a: JUMPDEST
0000008b: CALLDATASIZE
0000008c: PUSH2 0x0091
0000008f: JUMPI
00000090: STOP
00000091: JUMPDEST
00000092: STOP
00000093: JUMPDEST
00000094: CALLVALUE
00000095: DUP1
00000096: ISZERO
00000097: PUSH2 0x009f
0000009a: JUMPI
0000009b: PUSH1 0x00
0000009d: DUP1
0000009e: REVERT
0000009f: JUMPDEST
000000a0: POP
000000a1: PUSH2 0x00ba
000000a4: PUSH1 0x04
000000a6: DUP1
000000a7: CALLDATASIZE
000000a8: SUB
000000a9: DUP2
000000aa: ADD
000000ab: SWAP1
000000ac: PUSH2 0x00b5
000000af: SWAP2
000000b0: SWAP1
000000b1: PUSH2 0x07ca
000000b4: JUMP
000000b5: JUMPDEST
000000b6: PUSH2 0x01d7
000000b9: JUMP
000000ba: JUMPDEST
000000bb: STOP
000000bc: JUMPDEST
000000bd: PUSH2 0x00d6
000000c0: PUSH1 0x04
000000c2: DUP1
000000c3: CALLDATASIZE
000000c4: SUB
000000c5: DUP2
000000c6: ADD
000000c7: SWAP1
000000c8: PUSH2 0x00d1
000000cb: SWAP2
000000cc: SWAP1
000000cd: PUSH2 0x085c
000000d0: JUMP
000000d1: JUMPDEST
000000d2: PUSH2 0x02b1
000000d5: JUMP
000000d6: JUMPDEST
000000d7: STOP
000000d8: JUMPDEST
000000d9: CALLVALUE
000000da: DUP1
000000db: ISZERO
000000dc: PUSH2 0x00e4
000000df: JUMPI
000000e0: PUSH1 0x00
000000e2: DUP1
000000e3: REVERT
000000e4: JUMPDEST
000000e5: POP
000000e6: PUSH2 0x00ff
000000e9: PUSH1 0x04
000000eb: DUP1
000000ec: CALLDATASIZE
000000ed: SUB
000000ee: DUP2
000000ef: ADD
000000f0: SWAP1
000000f1: PUSH2 0x00fa
000000f4: SWAP2
000000f5: SWAP1
000000f6: PUSH2 0x0907
000000f9: JUMP
000000fa: JUMPDEST
000000fb: PUSH2 0x0307
000000fe: JUMP
000000ff: JUMPDEST
00000100: STOP
00000101: JUMPDEST
00000102: CALLVALUE
00000103: DUP1
00000104: ISZERO
00000105: PUSH2 0x010d
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: POP
0000010f: PUSH2 0x0116
00000112: PUSH2 0x044d
00000115: JUMP
00000116: JUMPDEST
00000117: STOP
00000118: JUMPDEST
00000119: CALLVALUE
0000011a: DUP1
0000011b: ISZERO
0000011c: PUSH2 0x0124
0000011f: JUMPI
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: POP
00000126: PUSH2 0x012d
00000129: PUSH2 0x052c
0000012c: JUMP
0000012d: JUMPDEST
0000012e: STOP
0000012f: JUMPDEST
00000130: CALLVALUE
00000131: DUP1
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: POP
0000013d: PUSH2 0x0144
00000140: PUSH2 0x0540
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH1 0x40
00000147: MLOAD
00000148: PUSH2 0x0151
0000014b: SWAP2
0000014c: SWAP1
0000014d: PUSH2 0x098a
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH1 0x40
00000154: MLOAD
00000155: DUP1
00000156: SWAP2
00000157: SUB
00000158: SWAP1
00000159: RETURN
0000015a: JUMPDEST
0000015b: CALLVALUE
0000015c: DUP1
0000015d: ISZERO
0000015e: PUSH2 0x0166
00000161: JUMPI
00000162: PUSH1 0x00
00000164: DUP1
00000165: REVERT
00000166: JUMPDEST
00000167: POP
00000168: PUSH2 0x016f
0000016b: PUSH2 0x0548
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH1 0x40
00000172: MLOAD
00000173: PUSH2 0x017c
00000176: SWAP2
00000177: SWAP1
00000178: PUSH2 0x09b4
0000017b: JUMP
0000017c: JUMPDEST
0000017d: PUSH1 0x40
0000017f: MLOAD
00000180: DUP1
00000181: SWAP2
00000182: SUB
00000183: SWAP1
00000184: RETURN
00000185: JUMPDEST
00000186: CALLVALUE
00000187: DUP1
00000188: ISZERO
00000189: PUSH2 0x0191
0000018c: JUMPI
0000018d: PUSH1 0x00
0000018f: DUP1
00000190: REVERT
00000191: JUMPDEST
00000192: POP
00000193: PUSH2 0x01ac
00000196: PUSH1 0x04
00000198: DUP1
00000199: CALLDATASIZE
0000019a: SUB
0000019b: DUP2
0000019c: ADD
0000019d: SWAP1
0000019e: PUSH2 0x01a7
000001a1: SWAP2
000001a2: SWAP1
000001a3: PUSH2 0x09cf
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH2 0x0571
000001ab: JUMP
000001ac: JUMPDEST
000001ad: STOP
000001ae: JUMPDEST
000001af: CALLVALUE
000001b0: DUP1
000001b1: ISZERO
000001b2: PUSH2 0x01ba
000001b5: JUMPI
000001b6: PUSH1 0x00
000001b8: DUP1
000001b9: REVERT
000001ba: JUMPDEST
000001bb: POP
000001bc: PUSH2 0x01d5
000001bf: PUSH1 0x04
000001c1: DUP1
000001c2: CALLDATASIZE
000001c3: SUB
000001c4: DUP2
000001c5: ADD
000001c6: SWAP1
000001c7: PUSH2 0x01d0
000001ca: SWAP2
000001cb: SWAP1
000001cc: PUSH2 0x09cf
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH2 0x05bd
000001d4: JUMP
000001d5: JUMPDEST
000001d6: STOP
000001d7: JUMPDEST
000001d8: PUSH2 0x01df
000001db: PUSH2 0x0640
000001de: JUMP
000001df: JUMPDEST
000001e0: PUSH1 0x00
000001e2: PUSH1 0x01
000001e4: PUSH1 0x00
000001e6: SWAP1
000001e7: SLOAD
000001e8: SWAP1
000001e9: PUSH2 0x0100
000001ec: EXP
000001ed: SWAP1
000001ee: DIV
000001ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000204: AND
00000205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000021a: AND
0000021b: DUP3
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: PUSH2 0x0227
00000222: SWAP1
00000223: PUSH2 0x0a2d
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x00
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: DUP4
0000022f: SUB
00000230: DUP2
00000231: DUP6
00000232: DUP8
00000233: GAS
00000234: CALL
00000235: SWAP3
00000236: POP
00000237: POP
00000238: POP
00000239: RETURNDATASIZE
0000023a: DUP1
0000023b: PUSH1 0x00
0000023d: DUP2
0000023e: EQ
0000023f: PUSH2 0x0264
00000242: JUMPI
00000243: PUSH1 0x40
00000245: MLOAD
00000246: SWAP2
00000247: POP
00000248: PUSH1 0x1f
0000024a: NOT
0000024b: PUSH1 0x3f
0000024d: RETURNDATASIZE
0000024e: ADD
0000024f: AND
00000250: DUP3
00000251: ADD
00000252: PUSH1 0x40
00000254: MSTORE
00000255: RETURNDATASIZE
00000256: DUP3
00000257: MSTORE
00000258: RETURNDATASIZE
00000259: PUSH1 0x00
0000025b: PUSH1 0x20
0000025d: DUP5
0000025e: ADD
0000025f: RETURNDATACOPY
00000260: PUSH2 0x0269
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x60
00000267: SWAP2
00000268: POP
00000269: JUMPDEST
0000026a: POP
0000026b: POP
0000026c: SWAP1
0000026d: POP
0000026e: DUP1
0000026f: PUSH2 0x02ad
00000272: JUMPI
00000273: PUSH1 0x40
00000275: MLOAD
00000276: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x04
0000029b: ADD
0000029c: PUSH2 0x02a4
0000029f: SWAP1
000002a0: PUSH2 0x0a9f
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: DUP1
000002a9: SWAP2
000002aa: SUB
000002ab: SWAP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: POP
000002b0: JUMP
000002b1: JUMPDEST
000002b2: CALLER
000002b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c8: AND
000002c9: PUSH32 0x6c08739efe35f044209cc5778450323c8f3d5357b1f1e6b78125257986451627
000002ea: DUP4
000002eb: DUP4
000002ec: CALLVALUE
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: PUSH2 0x02fb
000002f3: SWAP4
000002f4: SWAP3
000002f5: SWAP2
000002f6: SWAP1
000002f7: PUSH2 0x0b0c
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: DUP1
00000300: SWAP2
00000301: SUB
00000302: SWAP1
00000303: LOG2
00000304: POP
00000305: POP
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x02
0000030a: PUSH1 0x00
0000030c: SWAP1
0000030d: SLOAD
0000030e: SWAP1
0000030f: PUSH2 0x0100
00000312: EXP
00000313: SWAP1
00000314: DIV
00000315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032a: AND
0000032b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000340: AND
00000341: CALLER
00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000357: AND
00000358: EQ
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: PUSH1 0x00
00000364: DUP2
00000365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037a: AND
0000037b: DUP4
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: PUSH2 0x0387
00000382: SWAP1
00000383: PUSH2 0x0a2d
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x00
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: DUP1
0000038e: DUP4
0000038f: SUB
00000390: DUP2
00000391: DUP6
00000392: DUP8
00000393: GAS
00000394: CALL
00000395: SWAP3
00000396: POP
00000397: POP
00000398: POP
00000399: RETURNDATASIZE
0000039a: DUP1
0000039b: PUSH1 0x00
0000039d: DUP2
0000039e: EQ
0000039f: PUSH2 0x03c4
000003a2: JUMPI
000003a3: PUSH1 0x40
000003a5: MLOAD
000003a6: SWAP2
000003a7: POP
000003a8: PUSH1 0x1f
000003aa: NOT
000003ab: PUSH1 0x3f
000003ad: RETURNDATASIZE
000003ae: ADD
000003af: AND
000003b0: DUP3
000003b1: ADD
000003b2: PUSH1 0x40
000003b4: MSTORE
000003b5: RETURNDATASIZE
000003b6: DUP3
000003b7: MSTORE
000003b8: RETURNDATASIZE
000003b9: PUSH1 0x00
000003bb: PUSH1 0x20
000003bd: DUP5
000003be: ADD
000003bf: RETURNDATACOPY
000003c0: PUSH2 0x03c9
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH1 0x60
000003c7: SWAP2
000003c8: POP
000003c9: JUMPDEST
000003ca: POP
000003cb: POP
000003cc: SWAP1
000003cd: POP
000003ce: DUP1
000003cf: PUSH2 0x040d
000003d2: JUMPI
000003d3: PUSH1 0x40
000003d5: MLOAD
000003d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003f7: DUP2
000003f8: MSTORE
000003f9: PUSH1 0x04
000003fb: ADD
000003fc: PUSH2 0x0404
000003ff: SWAP1
00000400: PUSH2 0x0a9f
00000403: JUMP
00000404: JUMPDEST
00000405: PUSH1 0x40
00000407: MLOAD
00000408: DUP1
00000409: SWAP2
0000040a: SUB
0000040b: SWAP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: PUSH32 0x199c4fb4aa558750b62fda789a0482cc0cccee60343523ba4a9e154e5150a82c
0000042f: DUP6
00000430: DUP6
00000431: PUSH1 0x40
00000433: MLOAD
00000434: PUSH2 0x043e
00000437: SWAP3
00000438: SWAP2
00000439: SWAP1
0000043a: PUSH2 0x0b3e
0000043d: JUMP
0000043e: JUMPDEST
0000043f: PUSH1 0x40
00000441: MLOAD
00000442: DUP1
00000443: SWAP2
00000444: SUB
00000445: SWAP1
00000446: LOG1
00000447: POP
00000448: POP
00000449: POP
0000044a: POP
0000044b: POP
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH2 0x0455
00000451: PUSH2 0x0640
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH1 0x00
00000458: SELFBALANCE
00000459: SWAP1
0000045a: POP
0000045b: PUSH1 0x00
0000045d: PUSH1 0x01
0000045f: PUSH1 0x00
00000461: SWAP1
00000462: SLOAD
00000463: SWAP1
00000464: PUSH2 0x0100
00000467: EXP
00000468: SWAP1
00000469: DIV
0000046a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047f: AND
00000480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000495: AND
00000496: DUP3
00000497: PUSH1 0x40
00000499: MLOAD
0000049a: PUSH2 0x04a2
0000049d: SWAP1
0000049e: PUSH2 0x0a2d
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH1 0x00
000004a5: PUSH1 0x40
000004a7: MLOAD
000004a8: DUP1
000004a9: DUP4
000004aa: SUB
000004ab: DUP2
000004ac: DUP6
000004ad: DUP8
000004ae: GAS
000004af: CALL
000004b0: SWAP3
000004b1: POP
000004b2: POP
000004b3: POP
000004b4: RETURNDATASIZE
000004b5: DUP1
000004b6: PUSH1 0x00
000004b8: DUP2
000004b9: EQ
000004ba: PUSH2 0x04df
000004bd: JUMPI
000004be: PUSH1 0x40
000004c0: MLOAD
000004c1: SWAP2
000004c2: POP
000004c3: PUSH1 0x1f
000004c5: NOT
000004c6: PUSH1 0x3f
000004c8: RETURNDATASIZE
000004c9: ADD
000004ca: AND
000004cb: DUP3
000004cc: ADD
000004cd: PUSH1 0x40
000004cf: MSTORE
000004d0: RETURNDATASIZE
000004d1: DUP3
000004d2: MSTORE
000004d3: RETURNDATASIZE
000004d4: PUSH1 0x00
000004d6: PUSH1 0x20
000004d8: DUP5
000004d9: ADD
000004da: RETURNDATACOPY
000004db: PUSH2 0x04e4
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH1 0x60
000004e2: SWAP2
000004e3: POP
000004e4: JUMPDEST
000004e5: POP
000004e6: POP
000004e7: SWAP1
000004e8: POP
000004e9: DUP1
000004ea: PUSH2 0x0528
000004ed: JUMPI
000004ee: PUSH1 0x40
000004f0: MLOAD
000004f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000512: DUP2
00000513: MSTORE
00000514: PUSH1 0x04
00000516: ADD
00000517: PUSH2 0x051f
0000051a: SWAP1
0000051b: PUSH2 0x0a9f
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x40
00000522: MLOAD
00000523: DUP1
00000524: SWAP2
00000525: SUB
00000526: SWAP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: POP
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH2 0x0534
00000530: PUSH2 0x0640
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x053e
00000538: PUSH1 0x00
0000053a: PUSH2 0x06be
0000053d: JUMP
0000053e: JUMPDEST
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH1 0x00
00000543: SELFBALANCE
00000544: SWAP1
00000545: POP
00000546: SWAP1
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: PUSH1 0x00
0000054e: SWAP1
0000054f: SLOAD
00000550: SWAP1
00000551: PUSH2 0x0100
00000554: EXP
00000555: SWAP1
00000556: DIV
00000557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056c: AND
0000056d: SWAP1
0000056e: POP
0000056f: SWAP1
00000570: JUMP
00000571: JUMPDEST
00000572: PUSH2 0x0579
00000575: PUSH2 0x0640
00000578: JUMP
00000579: JUMPDEST
0000057a: DUP1
0000057b: PUSH1 0x02
0000057d: PUSH1 0x00
0000057f: PUSH2 0x0100
00000582: EXP
00000583: DUP2
00000584: SLOAD
00000585: DUP2
00000586: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059b: MUL
0000059c: NOT
0000059d: AND
0000059e: SWAP1
0000059f: DUP4
000005a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b5: AND
000005b6: MUL
000005b7: OR
000005b8: SWAP1
000005b9: SSTORE
000005ba: POP
000005bb: POP
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x05c5
000005c1: PUSH2 0x0640
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH1 0x00
000005c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005dd: AND
000005de: DUP2
000005df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f4: AND
000005f5: SUB
000005f6: PUSH2 0x0634
000005f9: JUMPI
000005fa: PUSH1 0x40
000005fc: MLOAD
000005fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000061e: DUP2
0000061f: MSTORE
00000620: PUSH1 0x04
00000622: ADD
00000623: PUSH2 0x062b
00000626: SWAP1
00000627: PUSH2 0x0bd4
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: DUP1
00000630: SWAP2
00000631: SUB
00000632: SWAP1
00000633: REVERT
00000634: JUMPDEST
00000635: PUSH2 0x063d
00000638: DUP2
00000639: PUSH2 0x06be
0000063c: JUMP
0000063d: JUMPDEST
0000063e: POP
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH2 0x0648
00000644: PUSH2 0x0782
00000647: JUMP
00000648: JUMPDEST
00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065e: AND
0000065f: PUSH2 0x0666
00000662: PUSH2 0x0548
00000665: JUMP
00000666: JUMPDEST
00000667: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067c: AND
0000067d: EQ
0000067e: PUSH2 0x06bc
00000681: JUMPI
00000682: PUSH1 0x40
00000684: MLOAD
00000685: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006a6: DUP2
000006a7: MSTORE
000006a8: PUSH1 0x04
000006aa: ADD
000006ab: PUSH2 0x06b3
000006ae: SWAP1
000006af: PUSH2 0x0c40
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: DUP1
000006b8: SWAP2
000006b9: SUB
000006ba: SWAP1
000006bb: REVERT
000006bc: JUMPDEST
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: PUSH1 0x00
000006c4: SWAP1
000006c5: SLOAD
000006c6: SWAP1
000006c7: PUSH2 0x0100
000006ca: EXP
000006cb: SWAP1
000006cc: DIV
000006cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e2: AND
000006e3: SWAP1
000006e4: POP
000006e5: DUP2
000006e6: PUSH1 0x00
000006e8: DUP1
000006e9: PUSH2 0x0100
000006ec: EXP
000006ed: DUP2
000006ee: SLOAD
000006ef: DUP2
000006f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000705: MUL
00000706: NOT
00000707: AND
00000708: SWAP1
00000709: DUP4
0000070a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071f: AND
00000720: MUL
00000721: OR
00000722: SWAP1
00000723: SSTORE
00000724: POP
00000725: DUP2
00000726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000073b: AND
0000073c: DUP2
0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000752: AND
00000753: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000774: PUSH1 0x40
00000776: MLOAD
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: DUP1
0000077b: SWAP2
0000077c: SUB
0000077d: SWAP1
0000077e: LOG3
0000077f: POP
00000780: POP
00000781: JUMP
00000782: JUMPDEST
00000783: PUSH1 0x00
00000785: CALLER
00000786: SWAP1
00000787: POP
00000788: SWAP1
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH1 0x00
0000078d: DUP1
0000078e: REVERT
0000078f: JUMPDEST
00000790: PUSH1 0x00
00000792: DUP1
00000793: REVERT
00000794: JUMPDEST
00000795: PUSH1 0x00
00000797: DUP2
00000798: SWAP1
00000799: POP
0000079a: SWAP2
0000079b: SWAP1
0000079c: POP
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH2 0x07a7
000007a2: DUP2
000007a3: PUSH2 0x0794
000007a6: JUMP
000007a7: JUMPDEST
000007a8: DUP2
000007a9: EQ
000007aa: PUSH2 0x07b2
000007ad: JUMPI
000007ae: PUSH1 0x00
000007b0: DUP1
000007b1: REVERT
000007b2: JUMPDEST
000007b3: POP
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH1 0x00
000007b8: DUP2
000007b9: CALLDATALOAD
000007ba: SWAP1
000007bb: POP
000007bc: PUSH2 0x07c4
000007bf: DUP2
000007c0: PUSH2 0x079e
000007c3: JUMP
000007c4: JUMPDEST
000007c5: SWAP3
000007c6: SWAP2
000007c7: POP
000007c8: POP
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH1 0x00
000007cd: PUSH1 0x20
000007cf: DUP3
000007d0: DUP5
000007d1: SUB
000007d2: SLT
000007d3: ISZERO
000007d4: PUSH2 0x07e0
000007d7: JUMPI
000007d8: PUSH2 0x07df
000007db: PUSH2 0x078a
000007de: JUMP
000007df: JUMPDEST
000007e0: JUMPDEST
000007e1: PUSH1 0x00
000007e3: PUSH2 0x07ee
000007e6: DUP5
000007e7: DUP3
000007e8: DUP6
000007e9: ADD
000007ea: PUSH2 0x07b5
000007ed: JUMP
000007ee: JUMPDEST
000007ef: SWAP2
000007f0: POP
000007f1: POP
000007f2: SWAP3
000007f3: SWAP2
000007f4: POP
000007f5: POP
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: REVERT
000007fc: JUMPDEST
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: REVERT
00000801: JUMPDEST
00000802: PUSH1 0x00
00000804: DUP1
00000805: REVERT
00000806: JUMPDEST
00000807: PUSH1 0x00
00000809: DUP1
0000080a: DUP4
0000080b: PUSH1 0x1f
0000080d: DUP5
0000080e: ADD
0000080f: SLT
00000810: PUSH2 0x081c
00000813: JUMPI
00000814: PUSH2 0x081b
00000817: PUSH2 0x07f7
0000081a: JUMP
0000081b: JUMPDEST
0000081c: JUMPDEST
0000081d: DUP3
0000081e: CALLDATALOAD
0000081f: SWAP1
00000820: POP
00000821: PUSH8 0xffffffffffffffff
0000082a: DUP2
0000082b: GT
0000082c: ISZERO
0000082d: PUSH2 0x0839
00000830: JUMPI
00000831: PUSH2 0x0838
00000834: PUSH2 0x07fc
00000837: JUMP
00000838: JUMPDEST
00000839: JUMPDEST
0000083a: PUSH1 0x20
0000083c: DUP4
0000083d: ADD
0000083e: SWAP2
0000083f: POP
00000840: DUP4
00000841: PUSH1 0x01
00000843: DUP3
00000844: MUL
00000845: DUP4
00000846: ADD
00000847: GT
00000848: ISZERO
00000849: PUSH2 0x0855
0000084c: JUMPI
0000084d: PUSH2 0x0854
00000850: PUSH2 0x0801
00000853: JUMP
00000854: JUMPDEST
00000855: JUMPDEST
00000856: SWAP3
00000857: POP
00000858: SWAP3
00000859: SWAP1
0000085a: POP
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH1 0x00
0000085f: DUP1
00000860: PUSH1 0x20
00000862: DUP4
00000863: DUP6
00000864: SUB
00000865: SLT
00000866: ISZERO
00000867: PUSH2 0x0873
0000086a: JUMPI
0000086b: PUSH2 0x0872
0000086e: PUSH2 0x078a
00000871: JUMP
00000872: JUMPDEST
00000873: JUMPDEST
00000874: PUSH1 0x00
00000876: DUP4
00000877: ADD
00000878: CALLDATALOAD
00000879: PUSH8 0xffffffffffffffff
00000882: DUP2
00000883: GT
00000884: ISZERO
00000885: PUSH2 0x0891
00000888: JUMPI
00000889: PUSH2 0x0890
0000088c: PUSH2 0x078f
0000088f: JUMP
00000890: JUMPDEST
00000891: JUMPDEST
00000892: PUSH2 0x089d
00000895: DUP6
00000896: DUP3
00000897: DUP7
00000898: ADD
00000899: PUSH2 0x0806
0000089c: JUMP
0000089d: JUMPDEST
0000089e: SWAP3
0000089f: POP
000008a0: SWAP3
000008a1: POP
000008a2: POP
000008a3: SWAP3
000008a4: POP
000008a5: SWAP3
000008a6: SWAP1
000008a7: POP
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH1 0x00
000008ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c1: DUP3
000008c2: AND
000008c3: SWAP1
000008c4: POP
000008c5: SWAP2
000008c6: SWAP1
000008c7: POP
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x00
000008cc: PUSH2 0x08d4
000008cf: DUP3
000008d0: PUSH2 0x08a9
000008d3: JUMP
000008d4: JUMPDEST
000008d5: SWAP1
000008d6: POP
000008d7: SWAP2
000008d8: SWAP1
000008d9: POP
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08e4
000008df: DUP2
000008e0: PUSH2 0x08c9
000008e3: JUMP
000008e4: JUMPDEST
000008e5: DUP2
000008e6: EQ
000008e7: PUSH2 0x08ef
000008ea: JUMPI
000008eb: PUSH1 0x00
000008ed: DUP1
000008ee: REVERT
000008ef: JUMPDEST
000008f0: POP
000008f1: JUMP
000008f2: JUMPDEST
000008f3: PUSH1 0x00
000008f5: DUP2
000008f6: CALLDATALOAD
000008f7: SWAP1
000008f8: POP
000008f9: PUSH2 0x0901
000008fc: DUP2
000008fd: PUSH2 0x08db
00000900: JUMP
00000901: JUMPDEST
00000902: SWAP3
00000903: SWAP2
00000904: POP
00000905: POP
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH1 0x00
0000090a: DUP1
0000090b: PUSH1 0x00
0000090d: DUP1
0000090e: PUSH1 0x60
00000910: DUP6
00000911: DUP8
00000912: SUB
00000913: SLT
00000914: ISZERO
00000915: PUSH2 0x0921
00000918: JUMPI
00000919: PUSH2 0x0920
0000091c: PUSH2 0x078a
0000091f: JUMP
00000920: JUMPDEST
00000921: JUMPDEST
00000922: PUSH1 0x00
00000924: DUP6
00000925: ADD
00000926: CALLDATALOAD
00000927: PUSH8 0xffffffffffffffff
00000930: DUP2
00000931: GT
00000932: ISZERO
00000933: PUSH2 0x093f
00000936: JUMPI
00000937: PUSH2 0x093e
0000093a: PUSH2 0x078f
0000093d: JUMP
0000093e: JUMPDEST
0000093f: JUMPDEST
00000940: PUSH2 0x094b
00000943: DUP8
00000944: DUP3
00000945: DUP9
00000946: ADD
00000947: PUSH2 0x0806
0000094a: JUMP
0000094b: JUMPDEST
0000094c: SWAP5
0000094d: POP
0000094e: SWAP5
0000094f: POP
00000950: POP
00000951: PUSH1 0x20
00000953: PUSH2 0x095e
00000956: DUP8
00000957: DUP3
00000958: DUP9
00000959: ADD
0000095a: PUSH2 0x07b5
0000095d: JUMP
0000095e: JUMPDEST
0000095f: SWAP3
00000960: POP
00000961: POP
00000962: PUSH1 0x40
00000964: PUSH2 0x096f
00000967: DUP8
00000968: DUP3
00000969: DUP9
0000096a: ADD
0000096b: PUSH2 0x08f2
0000096e: JUMP
0000096f: JUMPDEST
00000970: SWAP2
00000971: POP
00000972: POP
00000973: SWAP3
00000974: SWAP6
00000975: SWAP2
00000976: SWAP5
00000977: POP
00000978: SWAP3
00000979: POP
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH2 0x0984
0000097f: DUP2
00000980: PUSH2 0x0794
00000983: JUMP
00000984: JUMPDEST
00000985: DUP3
00000986: MSTORE
00000987: POP
00000988: POP
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH1 0x00
0000098d: PUSH1 0x20
0000098f: DUP3
00000990: ADD
00000991: SWAP1
00000992: POP
00000993: PUSH2 0x099f
00000996: PUSH1 0x00
00000998: DUP4
00000999: ADD
0000099a: DUP5
0000099b: PUSH2 0x097b
0000099e: JUMP
0000099f: JUMPDEST
000009a0: SWAP3
000009a1: SWAP2
000009a2: POP
000009a3: POP
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH2 0x09ae
000009a9: DUP2
000009aa: PUSH2 0x08c9
000009ad: JUMP
000009ae: JUMPDEST
000009af: DUP3
000009b0: MSTORE
000009b1: POP
000009b2: POP
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH1 0x00
000009b7: PUSH1 0x20
000009b9: DUP3
000009ba: ADD
000009bb: SWAP1
000009bc: POP
000009bd: PUSH2 0x09c9
000009c0: PUSH1 0x00
000009c2: DUP4
000009c3: ADD
000009c4: DUP5
000009c5: PUSH2 0x09a5
000009c8: JUMP
000009c9: JUMPDEST
000009ca: SWAP3
000009cb: SWAP2
000009cc: POP
000009cd: POP
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x00
000009d2: PUSH1 0x20
000009d4: DUP3
000009d5: DUP5
000009d6: SUB
000009d7: SLT
000009d8: ISZERO
000009d9: PUSH2 0x09e5
000009dc: JUMPI
000009dd: PUSH2 0x09e4
000009e0: PUSH2 0x078a
000009e3: JUMP
000009e4: JUMPDEST
000009e5: JUMPDEST
000009e6: PUSH1 0x00
000009e8: PUSH2 0x09f3
000009eb: DUP5
000009ec: DUP3
000009ed: DUP6
000009ee: ADD
000009ef: PUSH2 0x08f2
000009f2: JUMP
000009f3: JUMPDEST
000009f4: SWAP2
000009f5: POP
000009f6: POP
000009f7: SWAP3
000009f8: SWAP2
000009f9: POP
000009fa: POP
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x00
000009ff: DUP2
00000a00: SWAP1
00000a01: POP
00000a02: SWAP3
00000a03: SWAP2
00000a04: POP
00000a05: POP
00000a06: JUMP
00000a07: JUMPDEST
00000a08: POP
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: PUSH1 0x00
00000a0d: PUSH2 0x0a17
00000a10: PUSH1 0x00
00000a12: DUP4
00000a13: PUSH2 0x09fc
00000a16: JUMP
00000a17: JUMPDEST
00000a18: SWAP2
00000a19: POP
00000a1a: PUSH2 0x0a22
00000a1d: DUP3
00000a1e: PUSH2 0x0a07
00000a21: JUMP
00000a22: JUMPDEST
00000a23: PUSH1 0x00
00000a25: DUP3
00000a26: ADD
00000a27: SWAP1
00000a28: POP
00000a29: SWAP2
00000a2a: SWAP1
00000a2b: POP
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: PUSH1 0x00
00000a30: PUSH2 0x0a38
00000a33: DUP3
00000a34: PUSH2 0x0a0a
00000a37: JUMP
00000a38: JUMPDEST
00000a39: SWAP2
00000a3a: POP
00000a3b: DUP2
00000a3c: SWAP1
00000a3d: POP
00000a3e: SWAP2
00000a3f: SWAP1
00000a40: POP
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH1 0x00
00000a45: DUP3
00000a46: DUP3
00000a47: MSTORE
00000a48: PUSH1 0x20
00000a4a: DUP3
00000a4b: ADD
00000a4c: SWAP1
00000a4d: POP
00000a4e: SWAP3
00000a4f: SWAP2
00000a50: POP
00000a51: POP
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000
00000a75: PUSH1 0x00
00000a77: DUP3
00000a78: ADD
00000a79: MSTORE
00000a7a: POP
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH1 0x00
00000a7f: PUSH2 0x0a89
00000a82: PUSH1 0x14
00000a84: DUP4
00000a85: PUSH2 0x0a42
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: SWAP2
00000a8b: POP
00000a8c: PUSH2 0x0a94
00000a8f: DUP3
00000a90: PUSH2 0x0a53
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x20
00000a97: DUP3
00000a98: ADD
00000a99: SWAP1
00000a9a: POP
00000a9b: SWAP2
00000a9c: SWAP1
00000a9d: POP
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: PUSH1 0x00
00000aa2: PUSH1 0x20
00000aa4: DUP3
00000aa5: ADD
00000aa6: SWAP1
00000aa7: POP
00000aa8: DUP2
00000aa9: DUP2
00000aaa: SUB
00000aab: PUSH1 0x00
00000aad: DUP4
00000aae: ADD
00000aaf: MSTORE
00000ab0: PUSH2 0x0ab8
00000ab3: DUP2
00000ab4: PUSH2 0x0a7c
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: SWAP1
00000aba: POP
00000abb: SWAP2
00000abc: SWAP1
00000abd: POP
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: DUP3
00000ac1: DUP2
00000ac2: DUP4
00000ac3: CALLDATACOPY
00000ac4: PUSH1 0x00
00000ac6: DUP4
00000ac7: DUP4
00000ac8: ADD
00000ac9: MSTORE
00000aca: POP
00000acb: POP
00000acc: POP
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH1 0x00
00000ad1: PUSH1 0x1f
00000ad3: NOT
00000ad4: PUSH1 0x1f
00000ad6: DUP4
00000ad7: ADD
00000ad8: AND
00000ad9: SWAP1
00000ada: POP
00000adb: SWAP2
00000adc: SWAP1
00000add: POP
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: PUSH1 0x00
00000ae2: PUSH2 0x0aeb
00000ae5: DUP4
00000ae6: DUP6
00000ae7: PUSH2 0x0a42
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: SWAP4
00000aed: POP
00000aee: PUSH2 0x0af8
00000af1: DUP4
00000af2: DUP6
00000af3: DUP5
00000af4: PUSH2 0x0abf
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH2 0x0b01
00000afc: DUP4
00000afd: PUSH2 0x0ace
00000b00: JUMP
00000b01: JUMPDEST
00000b02: DUP5
00000b03: ADD
00000b04: SWAP1
00000b05: POP
00000b06: SWAP4
00000b07: SWAP3
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: PUSH1 0x00
00000b0f: PUSH1 0x40
00000b11: DUP3
00000b12: ADD
00000b13: SWAP1
00000b14: POP
00000b15: DUP2
00000b16: DUP2
00000b17: SUB
00000b18: PUSH1 0x00
00000b1a: DUP4
00000b1b: ADD
00000b1c: MSTORE
00000b1d: PUSH2 0x0b27
00000b20: DUP2
00000b21: DUP6
00000b22: DUP8
00000b23: PUSH2 0x0adf
00000b26: JUMP
00000b27: JUMPDEST
00000b28: SWAP1
00000b29: POP
00000b2a: PUSH2 0x0b36
00000b2d: PUSH1 0x20
00000b2f: DUP4
00000b30: ADD
00000b31: DUP5
00000b32: PUSH2 0x097b
00000b35: JUMP
00000b36: JUMPDEST
00000b37: SWAP5
00000b38: SWAP4
00000b39: POP
00000b3a: POP
00000b3b: POP
00000b3c: POP
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH1 0x00
00000b41: PUSH1 0x20
00000b43: DUP3
00000b44: ADD
00000b45: SWAP1
00000b46: POP
00000b47: DUP2
00000b48: DUP2
00000b49: SUB
00000b4a: PUSH1 0x00
00000b4c: DUP4
00000b4d: ADD
00000b4e: MSTORE
00000b4f: PUSH2 0x0b59
00000b52: DUP2
00000b53: DUP5
00000b54: DUP7
00000b55: PUSH2 0x0adf
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: SWAP1
00000b5b: POP
00000b5c: SWAP4
00000b5d: SWAP3
00000b5e: POP
00000b5f: POP
00000b60: POP
00000b61: JUMP
00000b62: JUMPDEST
00000b63: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000b84: PUSH1 0x00
00000b86: DUP3
00000b87: ADD
00000b88: MSTORE
00000b89: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000baa: PUSH1 0x20
00000bac: DUP3
00000bad: ADD
00000bae: MSTORE
00000baf: POP
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x00
00000bb4: PUSH2 0x0bbe
00000bb7: PUSH1 0x26
00000bb9: DUP4
00000bba: PUSH2 0x0a42
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: SWAP2
00000bc0: POP
00000bc1: PUSH2 0x0bc9
00000bc4: DUP3
00000bc5: PUSH2 0x0b62
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH1 0x40
00000bcc: DUP3
00000bcd: ADD
00000bce: SWAP1
00000bcf: POP
00000bd0: SWAP2
00000bd1: SWAP1
00000bd2: POP
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH1 0x00
00000bd7: PUSH1 0x20
00000bd9: DUP3
00000bda: ADD
00000bdb: SWAP1
00000bdc: POP
00000bdd: DUP2
00000bde: DUP2
00000bdf: SUB
00000be0: PUSH1 0x00
00000be2: DUP4
00000be3: ADD
00000be4: MSTORE
00000be5: PUSH2 0x0bed
00000be8: DUP2
00000be9: PUSH2 0x0bb1
00000bec: JUMP
00000bed: JUMPDEST
00000bee: SWAP1
00000bef: POP
00000bf0: SWAP2
00000bf1: SWAP1
00000bf2: POP
00000bf3: JUMP
00000bf4: JUMPDEST
00000bf5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000c16: PUSH1 0x00
00000c18: DUP3
00000c19: ADD
00000c1a: MSTORE
00000c1b: POP
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: PUSH1 0x00
00000c20: PUSH2 0x0c2a
00000c23: PUSH1 0x20
00000c25: DUP4
00000c26: PUSH2 0x0a42
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: SWAP2
00000c2c: POP
00000c2d: PUSH2 0x0c35
00000c30: DUP3
00000c31: PUSH2 0x0bf4
00000c34: JUMP
00000c35: JUMPDEST
00000c36: PUSH1 0x20
00000c38: DUP3
00000c39: ADD
00000c3a: SWAP1
00000c3b: POP
00000c3c: SWAP2
00000c3d: SWAP1
00000c3e: POP
00000c3f: JUMP
00000c40: JUMPDEST
00000c41: PUSH1 0x00
00000c43: PUSH1 0x20
00000c45: DUP3
00000c46: ADD
00000c47: SWAP1
00000c48: POP
00000c49: DUP2
00000c4a: DUP2
00000c4b: SUB
00000c4c: PUSH1 0x00
00000c4e: DUP4
00000c4f: ADD
00000c50: MSTORE
00000c51: PUSH2 0x0c59
00000c54: DUP2
00000c55: PUSH2 0x0c1d
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: SWAP1
00000c5b: POP
00000c5c: SWAP2
00000c5d: SWAP1
00000c5e: POP
00000c5f: JUMP
00000c60: INVALID
00000c61: LOG2
00000c62: PUSH5 0x6970667358
00000c68: UNKNOWN(0x22)
00000c69: SLT
00000c6a: KECCAK256
00000c6b: OR
00000c6c: COINBASE
00000c6d: UNKNOWN(0xDE)
00000c6e: SUB
00000c6f: UNKNOWN(0xCE)
00000c70: SAR
00000c71: SLOAD
00000c72: LOG3
00000c73: UNKNOWN(0x24)
00000c74: SWAP8
00000c75: SWAP6
00000c76: UNKNOWN(0x1F)
00000c77: PUSH7 0x0b47fd4c183a42
00000c7f: UNKNOWN(0xE5)
00000c80: SWAP16
00000c81: DUP10
00000c82: EXP
00000c83: SWAP16
00000c84: UNKNOWN(0xA6)
00000c85: PUSH3 0xe38a80
00000c89: ADDMOD
00000c8a: PUSH3 0x64736f
00000c8e: PUSH13

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: 0x44fb662f4f0198e958082a529acdee5cac2013accb4f5990405c08830543bf2e
call_targets: 0xe04d02747d14f0947b246dcbec4ed18648cb738b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x44fb662f4f0198e958082a529acdee5cac2013accb4f5990405c08830543bf2e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe04d02747d14f0947b246dcbec4ed18648cb738b"
    ],
    "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": "0x8b7afe2e",
            "selector": "0x8b7afe2e",
            "calldata_variants": [
                "0x8b7afe2e",
                "0x8b7afe2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe64e0b43",
            "selector": "0xe64e0b43",
            "calldata_variants": [
                "0xe64e0b43",
                "0xe64e0b430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0562b9f7",
            "selector": "0x0562b9f7",
            "calldata_variants": [
                "0x0562b9f7",
                "0x0562b9f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b66d72e",
            "selector": "0x2b66d72e",
            "calldata_variants": [
                "0x2b66d72e",
                "0x2b66d72e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a41992c",
            "selector": "0x3a41992c",
            "calldata_variants": [
                "0x3a41992c",
                "0x3a41992c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 564,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 916,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1199,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x44fb662f4f0198e958082a529acdee5cac2013accb4f5990405c08830543bf2e
call_targets: 0xe04d02747d14f0947b246dcbec4ed18648cb738b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x44fb662f4f0198e958082a529acdee5cac2013accb4f5990405c08830543bf2e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe04d02747d14f0947b246dcbec4ed18648cb738b"
    ],
    "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": "0x8b7afe2e",
            "selector": "0x8b7afe2e",
            "calldata_variants": [
                "0x8b7afe2e",
                "0x8b7afe2e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe64e0b43",
            "selector": "0xe64e0b43",
            "calldata_variants": [
                "0xe64e0b43",
                "0xe64e0b430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0562b9f7",
            "selector": "0x0562b9f7",
            "calldata_variants": [
                "0x0562b9f7",
                "0x0562b9f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b66d72e",
            "selector": "0x2b66d72e",
            "calldata_variants": [
                "0x2b66d72e",
                "0x2b66d72e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a41992c",
            "selector": "0x3a41992c",
            "calldata_variants": [
                "0x3a41992c",
                "0x3a41992c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 564,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 916,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1199,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}