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

Analysis Run

019b477e-d23f-7358-af7e-ffdf37f873ad

complete
Chain ID
1
Address
0xf95619379fa681caac49f4a635126a448f171c60
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
27911 artifact.fetch complete 1 / 3 3 months ago
27912 tool.cast_disasm complete 1 / 3 3 months ago
103417 analysis.bundle complete 1 / 3 1 week ago
103418 capability.graph complete 1 / 3 1 week ago
103419 detector.run complete 1 / 3 1 week ago
103420 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
2
Total opcodes
2016
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 0x00ab
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x715018a6
00000024: EQ
00000025: PUSH2 0x02aa
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x7cb549be
0000002f: EQ
00000030: PUSH2 0x02bf
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8da5cb5b
0000003a: EQ
0000003b: PUSH2 0x02d4
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xce7c2ac2
00000045: EQ
00000046: PUSH2 0x02f6
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0325
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x0345
0000005f: JUMPI
00000060: PUSH2 0x01f0
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x144fa6d7
0000006b: EQ
0000006c: PUSH2 0x01f5
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x36bdee74
00000076: EQ
00000077: PUSH2 0x0215
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x3ccfd60b
00000081: EQ
00000082: PUSH2 0x0240
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x47e7ef24
0000008c: EQ
0000008d: PUSH2 0x0255
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x4e71d92d
00000097: EQ
00000098: PUSH2 0x0275
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x5eebea20
000000a2: EQ
000000a3: PUSH2 0x028a
000000a6: JUMPI
000000a7: PUSH2 0x01f0
000000aa: JUMP
000000ab: JUMPDEST
000000ac: CALLDATASIZE
000000ad: PUSH2 0x01f0
000000b0: JUMPI
000000b1: CALLVALUE
000000b2: PUSH2 0x00ba
000000b5: JUMPI
000000b6: PUSH2 0x01ee
000000b9: JUMP
000000ba: JUMPDEST
000000bb: PUSH1 0x02
000000bd: SLOAD
000000be: PUSH1 0x40
000000c0: MLOAD
000000c1: PUSH4 0x70a08231
000000c6: PUSH1 0xe0
000000c8: SHL
000000c9: DUP2
000000ca: MSTORE
000000cb: PUSH1 0x00
000000cd: SWAP2
000000ce: PUSH1 0x01
000000d0: PUSH1 0x01
000000d2: PUSH1 0xa0
000000d4: SHL
000000d5: SUB
000000d6: AND
000000d7: SWAP1
000000d8: PUSH4 0x70a08231
000000dd: SWAP1
000000de: PUSH2 0x00eb
000000e1: SWAP1
000000e2: ADDRESS
000000e3: SWAP1
000000e4: PUSH1 0x04
000000e6: ADD
000000e7: PUSH2 0x0992
000000ea: JUMP
000000eb: JUMPDEST
000000ec: PUSH1 0x20
000000ee: PUSH1 0x40
000000f0: MLOAD
000000f1: DUP1
000000f2: DUP4
000000f3: SUB
000000f4: DUP2
000000f5: DUP7
000000f6: DUP1
000000f7: EXTCODESIZE
000000f8: ISZERO
000000f9: DUP1
000000fa: ISZERO
000000fb: PUSH2 0x0103
000000fe: JUMPI
000000ff: PUSH1 0x00
00000101: DUP1
00000102: REVERT
00000103: JUMPDEST
00000104: POP
00000105: GAS
00000106: STATICCALL
00000107: ISZERO
00000108: DUP1
00000109: ISZERO
0000010a: PUSH2 0x0117
0000010d: JUMPI
0000010e: RETURNDATASIZE
0000010f: PUSH1 0x00
00000111: DUP1
00000112: RETURNDATACOPY
00000113: RETURNDATASIZE
00000114: PUSH1 0x00
00000116: REVERT
00000117: JUMPDEST
00000118: POP
00000119: POP
0000011a: POP
0000011b: POP
0000011c: PUSH1 0x40
0000011e: MLOAD
0000011f: RETURNDATASIZE
00000120: PUSH1 0x1f
00000122: NOT
00000123: PUSH1 0x1f
00000125: DUP3
00000126: ADD
00000127: AND
00000128: DUP3
00000129: ADD
0000012a: DUP1
0000012b: PUSH1 0x40
0000012d: MSTORE
0000012e: POP
0000012f: DUP2
00000130: ADD
00000131: SWAP1
00000132: PUSH2 0x013b
00000135: SWAP2
00000136: SWAP1
00000137: PUSH2 0x0977
0000013a: JUMP
0000013b: JUMPDEST
0000013c: SWAP1
0000013d: POP
0000013e: DUP1
0000013f: PUSH2 0x015e
00000142: JUMPI
00000143: PUSH1 0x04
00000145: SLOAD
00000146: PUSH2 0x0158
00000149: SWAP1
0000014a: PUSH1 0x01
0000014c: PUSH1 0x01
0000014e: PUSH1 0xa0
00000150: SHL
00000151: SUB
00000152: AND
00000153: CALLVALUE
00000154: PUSH2 0x035a
00000157: JUMP
00000158: JUMPDEST
00000159: POP
0000015a: PUSH2 0x01ee
0000015d: JUMP
0000015e: JUMPDEST
0000015f: PUSH1 0x00
00000161: PUSH2 0x016b
00000164: PUSH1 0x02
00000166: CALLVALUE
00000167: PUSH2 0x0b9d
0000016a: JUMP
0000016b: JUMPDEST
0000016c: SWAP1
0000016d: POP
0000016e: PUSH1 0x00
00000170: DUP3
00000171: PUSH2 0x0182
00000174: PUSH8 0x0de0b6b3a7640000
0000017d: DUP5
0000017e: PUSH2 0x0bbd
00000181: JUMP
00000182: JUMPDEST
00000183: PUSH2 0x018c
00000186: SWAP2
00000187: SWAP1
00000188: PUSH2 0x0b9d
0000018b: JUMP
0000018c: JUMPDEST
0000018d: SWAP1
0000018e: POP
0000018f: DUP1
00000190: PUSH1 0x03
00000192: PUSH1 0x00
00000194: DUP3
00000195: DUP3
00000196: SLOAD
00000197: PUSH2 0x01a0
0000019a: SWAP2
0000019b: SWAP1
0000019c: PUSH2 0x0b85
0000019f: JUMP
000001a0: JUMPDEST
000001a1: SWAP3
000001a2: POP
000001a3: POP
000001a4: DUP2
000001a5: SWAP1
000001a6: SSTORE
000001a7: POP
000001a8: DUP2
000001a9: PUSH1 0x05
000001ab: PUSH1 0x00
000001ad: DUP3
000001ae: DUP3
000001af: SLOAD
000001b0: PUSH2 0x01b9
000001b3: SWAP2
000001b4: SWAP1
000001b5: PUSH2 0x0b85
000001b8: JUMP
000001b9: JUMPDEST
000001ba: SWAP1
000001bb: SWAP2
000001bc: SSTORE
000001bd: POP
000001be: PUSH1 0x00
000001c0: SWAP1
000001c1: POP
000001c2: PUSH2 0x01cb
000001c5: DUP4
000001c6: CALLVALUE
000001c7: PUSH2 0x0bdc
000001ca: JUMP
000001cb: JUMPDEST
000001cc: SWAP1
000001cd: POP
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01e9
000001d3: JUMPI
000001d4: PUSH1 0x04
000001d6: SLOAD
000001d7: PUSH2 0x01e9
000001da: SWAP1
000001db: PUSH1 0x01
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: SHL
000001e2: SUB
000001e3: AND
000001e4: DUP3
000001e5: PUSH2 0x035a
000001e8: JUMP
000001e9: JUMPDEST
000001ea: POP
000001eb: POP
000001ec: POP
000001ed: POP
000001ee: JUMPDEST
000001ef: STOP
000001f0: JUMPDEST
000001f1: PUSH1 0x00
000001f3: DUP1
000001f4: REVERT
000001f5: JUMPDEST
000001f6: CALLVALUE
000001f7: DUP1
000001f8: ISZERO
000001f9: PUSH2 0x0201
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: POP
00000203: PUSH2 0x01ee
00000206: PUSH2 0x0210
00000209: CALLDATASIZE
0000020a: PUSH1 0x04
0000020c: PUSH2 0x0910
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH2 0x0404
00000214: JUMP
00000215: JUMPDEST
00000216: CALLVALUE
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0221
0000021c: JUMPI
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: POP
00000223: PUSH2 0x022a
00000226: PUSH2 0x0432
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH1 0x40
0000022d: MLOAD
0000022e: PUSH2 0x0237
00000231: SWAP2
00000232: SWAP1
00000233: PUSH2 0x0b66
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x40
0000023a: MLOAD
0000023b: DUP1
0000023c: SWAP2
0000023d: SUB
0000023e: SWAP1
0000023f: RETURN
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x01ee
00000251: PUSH2 0x0438
00000254: JUMP
00000255: JUMPDEST
00000256: CALLVALUE
00000257: DUP1
00000258: ISZERO
00000259: PUSH2 0x0261
0000025c: JUMPI
0000025d: PUSH1 0x00
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: POP
00000263: PUSH2 0x01ee
00000266: PUSH2 0x0270
00000269: CALLDATASIZE
0000026a: PUSH1 0x04
0000026c: PUSH2 0x092c
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x054e
00000274: JUMP
00000275: JUMPDEST
00000276: CALLVALUE
00000277: DUP1
00000278: ISZERO
00000279: PUSH2 0x0281
0000027c: JUMPI
0000027d: PUSH1 0x00
0000027f: DUP1
00000280: REVERT
00000281: JUMPDEST
00000282: POP
00000283: PUSH2 0x01ee
00000286: PUSH2 0x05ee
00000289: JUMP
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH2 0x022a
0000029b: PUSH2 0x02a5
0000029e: CALLDATASIZE
0000029f: PUSH1 0x04
000002a1: PUSH2 0x0910
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH2 0x0650
000002a9: JUMP
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH2 0x01ee
000002bb: PUSH2 0x06c4
000002be: JUMP
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x022a
000002d0: PUSH2 0x06d8
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02e0
000002db: JUMPI
000002dc: PUSH1 0x00
000002de: DUP1
000002df: REVERT
000002e0: JUMPDEST
000002e1: POP
000002e2: PUSH2 0x02e9
000002e5: PUSH2 0x06de
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH1 0x40
000002ec: MLOAD
000002ed: PUSH2 0x0237
000002f0: SWAP2
000002f1: SWAP1
000002f2: PUSH2 0x0992
000002f5: JUMP
000002f6: JUMPDEST
000002f7: CALLVALUE
000002f8: DUP1
000002f9: ISZERO
000002fa: PUSH2 0x0302
000002fd: JUMPI
000002fe: PUSH1 0x00
00000300: DUP1
00000301: REVERT
00000302: JUMPDEST
00000303: POP
00000304: PUSH2 0x0316
00000307: PUSH2 0x0311
0000030a: CALLDATASIZE
0000030b: PUSH1 0x04
0000030d: PUSH2 0x0910
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH2 0x06ed
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: PUSH2 0x0237
0000031d: SWAP4
0000031e: SWAP3
0000031f: SWAP2
00000320: SWAP1
00000321: PUSH2 0x0b6f
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x01ee
00000336: PUSH2 0x0340
00000339: CALLDATASIZE
0000033a: PUSH1 0x04
0000033c: PUSH2 0x0910
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x070d
00000344: JUMP
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: POP
00000353: PUSH2 0x02e9
00000356: PUSH2 0x0744
00000359: JUMP
0000035a: JUMPDEST
0000035b: DUP1
0000035c: SELFBALANCE
0000035d: LT
0000035e: ISZERO
0000035f: PUSH2 0x0383
00000362: JUMPI
00000363: PUSH1 0x40
00000365: MLOAD
00000366: PUSH3 0x461bcd
0000036a: PUSH1 0xe5
0000036c: SHL
0000036d: DUP2
0000036e: MSTORE
0000036f: PUSH1 0x04
00000371: ADD
00000372: PUSH2 0x037a
00000375: SWAP1
00000376: PUSH2 0x0a97
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: MLOAD
0000037e: DUP1
0000037f: SWAP2
00000380: SUB
00000381: SWAP1
00000382: REVERT
00000383: JUMPDEST
00000384: PUSH1 0x00
00000386: DUP3
00000387: PUSH1 0x01
00000389: PUSH1 0x01
0000038b: PUSH1 0xa0
0000038d: SHL
0000038e: SUB
0000038f: AND
00000390: DUP3
00000391: PUSH1 0x40
00000393: MLOAD
00000394: PUSH2 0x039c
00000397: SWAP1
00000398: PUSH2 0x098f
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x00
0000039f: PUSH1 0x40
000003a1: MLOAD
000003a2: DUP1
000003a3: DUP4
000003a4: SUB
000003a5: DUP2
000003a6: DUP6
000003a7: DUP8
000003a8: GAS
000003a9: CALL
000003aa: SWAP3
000003ab: POP
000003ac: POP
000003ad: POP
000003ae: RETURNDATASIZE
000003af: DUP1
000003b0: PUSH1 0x00
000003b2: DUP2
000003b3: EQ
000003b4: PUSH2 0x03d9
000003b7: JUMPI
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: SWAP2
000003bc: POP
000003bd: PUSH1 0x1f
000003bf: NOT
000003c0: PUSH1 0x3f
000003c2: RETURNDATASIZE
000003c3: ADD
000003c4: AND
000003c5: DUP3
000003c6: ADD
000003c7: PUSH1 0x40
000003c9: MSTORE
000003ca: RETURNDATASIZE
000003cb: DUP3
000003cc: MSTORE
000003cd: RETURNDATASIZE
000003ce: PUSH1 0x00
000003d0: PUSH1 0x20
000003d2: DUP5
000003d3: ADD
000003d4: RETURNDATACOPY
000003d5: PUSH2 0x03de
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x60
000003dc: SWAP2
000003dd: POP
000003de: JUMPDEST
000003df: POP
000003e0: POP
000003e1: SWAP1
000003e2: POP
000003e3: DUP1
000003e4: PUSH2 0x03ff
000003e7: JUMPI
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: PUSH3 0x461bcd
000003ef: PUSH1 0xe5
000003f1: SHL
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x04
000003f6: ADD
000003f7: PUSH2 0x037a
000003fa: SWAP1
000003fb: PUSH2 0x0a3a
000003fe: JUMP
000003ff: JUMPDEST
00000400: POP
00000401: POP
00000402: POP
00000403: JUMP
00000404: JUMPDEST
00000405: PUSH2 0x040c
00000408: PUSH2 0x0753
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH1 0x02
0000040f: DUP1
00000410: SLOAD
00000411: PUSH1 0x01
00000413: PUSH1 0x01
00000415: PUSH1 0xa0
00000417: SHL
00000418: SUB
00000419: NOT
0000041a: AND
0000041b: PUSH1 0x01
0000041d: PUSH1 0x01
0000041f: PUSH1 0xa0
00000421: SHL
00000422: SUB
00000423: DUP4
00000424: AND
00000425: OR
00000426: SWAP1
00000427: SSTORE
00000428: PUSH2 0x042f
0000042b: PUSH2 0x06c4
0000042e: JUMP
0000042f: JUMPDEST
00000430: POP
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH1 0x05
00000435: SLOAD
00000436: DUP2
00000437: JUMP
00000438: JUMPDEST
00000439: CALLER
0000043a: PUSH1 0x00
0000043c: SWAP1
0000043d: DUP2
0000043e: MSTORE
0000043f: PUSH1 0x01
00000441: PUSH1 0x20
00000443: DUP2
00000444: DUP2
00000445: MSTORE
00000446: PUSH1 0x40
00000448: SWAP3
00000449: DUP4
0000044a: SWAP1
0000044b: KECCAK256
0000044c: DUP4
0000044d: MLOAD
0000044e: PUSH1 0x60
00000450: DUP2
00000451: ADD
00000452: DUP6
00000453: MSTORE
00000454: DUP2
00000455: SLOAD
00000456: DUP2
00000457: MSTORE
00000458: SWAP3
00000459: DUP2
0000045a: ADD
0000045b: SLOAD
0000045c: SWAP2
0000045d: DUP4
0000045e: ADD
0000045f: DUP3
00000460: SWAP1
00000461: MSTORE
00000462: PUSH1 0x02
00000464: ADD
00000465: SLOAD
00000466: SWAP3
00000467: DUP3
00000468: ADD
00000469: SWAP3
0000046a: SWAP1
0000046b: SWAP3
0000046c: MSTORE
0000046d: SWAP1
0000046e: PUSH2 0x0489
00000471: JUMPI
00000472: PUSH1 0x40
00000474: MLOAD
00000475: PUSH3 0x461bcd
00000479: PUSH1 0xe5
0000047b: SHL
0000047c: DUP2
0000047d: MSTORE
0000047e: PUSH1 0x04
00000480: ADD
00000481: PUSH2 0x037a
00000484: SWAP1
00000485: PUSH2 0x0b03
00000488: JUMP
00000489: JUMPDEST
0000048a: DUP1
0000048b: MLOAD
0000048c: TIMESTAMP
0000048d: SWAP1
0000048e: PUSH2 0x049a
00000491: SWAP1
00000492: PUSH3 0x093a80
00000496: PUSH2 0x0b85
00000499: JUMP
0000049a: JUMPDEST
0000049b: LT
0000049c: PUSH2 0x04b7
0000049f: JUMPI
000004a0: PUSH1 0x40
000004a2: MLOAD
000004a3: PUSH3 0x461bcd
000004a7: PUSH1 0xe5
000004a9: SHL
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x04
000004ae: ADD
000004af: PUSH2 0x037a
000004b2: SWAP1
000004b3: PUSH2 0x0b2f
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH1 0x02
000004ba: SLOAD
000004bb: PUSH1 0x20
000004bd: DUP3
000004be: ADD
000004bf: MLOAD
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: PUSH4 0xa9059cbb
000004c8: PUSH1 0xe0
000004ca: SHL
000004cb: DUP2
000004cc: MSTORE
000004cd: PUSH1 0x01
000004cf: PUSH1 0x01
000004d1: PUSH1 0xa0
000004d3: SHL
000004d4: SUB
000004d5: SWAP1
000004d6: SWAP3
000004d7: AND
000004d8: SWAP2
000004d9: PUSH4 0xa9059cbb
000004de: SWAP2
000004df: PUSH2 0x04ed
000004e2: SWAP2
000004e3: CALLER
000004e4: SWAP2
000004e5: SWAP1
000004e6: PUSH1 0x04
000004e8: ADD
000004e9: PUSH2 0x09a6
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x20
000004f0: PUSH1 0x40
000004f2: MLOAD
000004f3: DUP1
000004f4: DUP4
000004f5: SUB
000004f6: DUP2
000004f7: PUSH1 0x00
000004f9: DUP8
000004fa: DUP1
000004fb: EXTCODESIZE
000004fc: ISZERO
000004fd: DUP1
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: POP
00000509: GAS
0000050a: CALL
0000050b: ISZERO
0000050c: DUP1
0000050d: ISZERO
0000050e: PUSH2 0x051b
00000511: JUMPI
00000512: RETURNDATASIZE
00000513: PUSH1 0x00
00000515: DUP1
00000516: RETURNDATACOPY
00000517: RETURNDATASIZE
00000518: PUSH1 0x00
0000051a: REVERT
0000051b: JUMPDEST
0000051c: POP
0000051d: POP
0000051e: POP
0000051f: POP
00000520: PUSH1 0x40
00000522: MLOAD
00000523: RETURNDATASIZE
00000524: PUSH1 0x1f
00000526: NOT
00000527: PUSH1 0x1f
00000529: DUP3
0000052a: ADD
0000052b: AND
0000052c: DUP3
0000052d: ADD
0000052e: DUP1
0000052f: PUSH1 0x40
00000531: MSTORE
00000532: POP
00000533: DUP2
00000534: ADD
00000535: SWAP1
00000536: PUSH2 0x053f
00000539: SWAP2
0000053a: SWAP1
0000053b: PUSH2 0x0957
0000053e: JUMP
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x042f
00000544: CALLER
00000545: DUP3
00000546: PUSH1 0x00
00000548: PUSH1 0x01
0000054a: PUSH2 0x0792
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x02
00000551: SLOAD
00000552: PUSH1 0x01
00000554: PUSH1 0x01
00000556: PUSH1 0xa0
00000558: SHL
00000559: SUB
0000055a: AND
0000055b: CALLER
0000055c: EQ
0000055d: PUSH2 0x0576
00000560: JUMPI
00000561: PUSH4 0x4e487b71
00000566: PUSH1 0xe0
00000568: SHL
00000569: PUSH1 0x00
0000056b: MSTORE
0000056c: PUSH1 0x01
0000056e: PUSH1 0x04
00000570: MSTORE
00000571: PUSH1 0x24
00000573: PUSH1 0x00
00000575: REVERT
00000576: JUMPDEST
00000577: PUSH1 0x00
00000579: DUP2
0000057a: GT
0000057b: PUSH2 0x0596
0000057e: JUMPI
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: PUSH3 0x461bcd
00000586: PUSH1 0xe5
00000588: SHL
00000589: DUP2
0000058a: MSTORE
0000058b: PUSH1 0x04
0000058d: ADD
0000058e: PUSH2 0x037a
00000591: SWAP1
00000592: PUSH2 0x0a05
00000595: JUMP
00000596: JUMPDEST
00000597: PUSH1 0x01
00000599: PUSH1 0x01
0000059b: PUSH1 0xa0
0000059d: SHL
0000059e: SUB
0000059f: DUP3
000005a0: AND
000005a1: PUSH1 0x00
000005a3: SWAP1
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x01
000005a8: PUSH1 0x20
000005aa: DUP2
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x40
000005af: SWAP3
000005b0: DUP4
000005b1: SWAP1
000005b2: KECCAK256
000005b3: DUP4
000005b4: MLOAD
000005b5: PUSH1 0x60
000005b7: DUP2
000005b8: ADD
000005b9: DUP6
000005ba: MSTORE
000005bb: DUP2
000005bc: SLOAD
000005bd: DUP2
000005be: MSTORE
000005bf: SWAP3
000005c0: DUP2
000005c1: ADD
000005c2: SLOAD
000005c3: SWAP2
000005c4: DUP4
000005c5: ADD
000005c6: DUP3
000005c7: SWAP1
000005c8: MSTORE
000005c9: PUSH1 0x02
000005cb: ADD
000005cc: SLOAD
000005cd: SWAP3
000005ce: DUP3
000005cf: ADD
000005d0: SWAP3
000005d1: SWAP1
000005d2: SWAP3
000005d3: MSTORE
000005d4: SWAP1
000005d5: PUSH2 0x03ff
000005d8: SWAP1
000005d9: DUP5
000005da: SWAP1
000005db: DUP4
000005dc: SWAP1
000005dd: PUSH2 0x05e7
000005e0: SWAP1
000005e1: DUP7
000005e2: SWAP1
000005e3: PUSH2 0x0b85
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH1 0x01
000005ea: PUSH2 0x0792
000005ed: JUMP
000005ee: JUMPDEST
000005ef: CALLER
000005f0: PUSH1 0x00
000005f2: SWAP1
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH1 0x01
000005f7: PUSH1 0x20
000005f9: DUP2
000005fa: DUP2
000005fb: MSTORE
000005fc: PUSH1 0x40
000005fe: SWAP3
000005ff: DUP4
00000600: SWAP1
00000601: KECCAK256
00000602: DUP4
00000603: MLOAD
00000604: PUSH1 0x60
00000606: DUP2
00000607: ADD
00000608: DUP6
00000609: MSTORE
0000060a: DUP2
0000060b: SLOAD
0000060c: DUP2
0000060d: MSTORE
0000060e: SWAP3
0000060f: DUP2
00000610: ADD
00000611: SLOAD
00000612: SWAP2
00000613: DUP4
00000614: ADD
00000615: DUP3
00000616: SWAP1
00000617: MSTORE
00000618: PUSH1 0x02
0000061a: ADD
0000061b: SLOAD
0000061c: SWAP3
0000061d: DUP3
0000061e: ADD
0000061f: SWAP3
00000620: SWAP1
00000621: SWAP3
00000622: MSTORE
00000623: SWAP1
00000624: PUSH2 0x063f
00000627: JUMPI
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: PUSH3 0x461bcd
0000062f: PUSH1 0xe5
00000631: SHL
00000632: DUP2
00000633: MSTORE
00000634: PUSH1 0x04
00000636: ADD
00000637: PUSH2 0x037a
0000063a: SWAP1
0000063b: PUSH2 0x0b03
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH2 0x042f
00000643: CALLER
00000644: DUP3
00000645: DUP4
00000646: PUSH1 0x20
00000648: ADD
00000649: MLOAD
0000064a: PUSH1 0x00
0000064c: PUSH2 0x0792
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH1 0x01
00000653: PUSH1 0x01
00000655: PUSH1 0xa0
00000657: SHL
00000658: SUB
00000659: DUP2
0000065a: AND
0000065b: PUSH1 0x00
0000065d: SWAP1
0000065e: DUP2
0000065f: MSTORE
00000660: PUSH1 0x01
00000662: PUSH1 0x20
00000664: DUP2
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x40
00000669: DUP1
0000066a: DUP5
0000066b: KECCAK256
0000066c: DUP2
0000066d: MLOAD
0000066e: PUSH1 0x60
00000670: DUP2
00000671: ADD
00000672: DUP4
00000673: MSTORE
00000674: DUP2
00000675: SLOAD
00000676: DUP2
00000677: MSTORE
00000678: SWAP4
00000679: DUP2
0000067a: ADD
0000067b: SLOAD
0000067c: SWAP3
0000067d: DUP5
0000067e: ADD
0000067f: SWAP3
00000680: SWAP1
00000681: SWAP3
00000682: MSTORE
00000683: PUSH1 0x02
00000685: SWAP1
00000686: SWAP2
00000687: ADD
00000688: SLOAD
00000689: SWAP1
0000068a: DUP3
0000068b: ADD
0000068c: DUP2
0000068d: SWAP1
0000068e: MSTORE
0000068f: PUSH1 0x03
00000691: SLOAD
00000692: PUSH8 0x0de0b6b3a7640000
0000069b: SWAP2
0000069c: PUSH2 0x06a4
0000069f: SWAP2
000006a0: PUSH2 0x0bdc
000006a3: JUMP
000006a4: JUMPDEST
000006a5: DUP3
000006a6: PUSH1 0x20
000006a8: ADD
000006a9: MLOAD
000006aa: PUSH2 0x06b3
000006ad: SWAP2
000006ae: SWAP1
000006af: PUSH2 0x0bbd
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH2 0x06bd
000006b7: SWAP2
000006b8: SWAP1
000006b9: PUSH2 0x0b9d
000006bc: JUMP
000006bd: JUMPDEST
000006be: SWAP4
000006bf: SWAP3
000006c0: POP
000006c1: POP
000006c2: POP
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH2 0x06cc
000006c8: PUSH2 0x0753
000006cb: JUMP
000006cc: JUMPDEST
000006cd: PUSH2 0x06d6
000006d0: PUSH1 0x00
000006d2: PUSH2 0x08bc
000006d5: JUMP
000006d6: JUMPDEST
000006d7: JUMP
000006d8: JUMPDEST
000006d9: PUSH1 0x03
000006db: SLOAD
000006dc: DUP2
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH1 0x00
000006e1: SLOAD
000006e2: PUSH1 0x01
000006e4: PUSH1 0x01
000006e6: PUSH1 0xa0
000006e8: SHL
000006e9: SUB
000006ea: AND
000006eb: SWAP1
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x01
000006f0: PUSH1 0x20
000006f2: DUP2
000006f3: SWAP1
000006f4: MSTORE
000006f5: PUSH1 0x00
000006f7: SWAP2
000006f8: DUP3
000006f9: MSTORE
000006fa: PUSH1 0x40
000006fc: SWAP1
000006fd: SWAP2
000006fe: KECCAK256
000006ff: DUP1
00000700: SLOAD
00000701: SWAP2
00000702: DUP2
00000703: ADD
00000704: SLOAD
00000705: PUSH1 0x02
00000707: SWAP1
00000708: SWAP2
00000709: ADD
0000070a: SLOAD
0000070b: DUP4
0000070c: JUMP
0000070d: JUMPDEST
0000070e: PUSH2 0x0715
00000711: PUSH2 0x0753
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH1 0x01
00000718: PUSH1 0x01
0000071a: PUSH1 0xa0
0000071c: SHL
0000071d: SUB
0000071e: DUP2
0000071f: AND
00000720: PUSH2 0x073b
00000723: JUMPI
00000724: PUSH1 0x40
00000726: MLOAD
00000727: PUSH3 0x461bcd
0000072b: PUSH1 0xe5
0000072d: SHL
0000072e: DUP2
0000072f: MSTORE
00000730: PUSH1 0x04
00000732: ADD
00000733: PUSH2 0x037a
00000736: SWAP1
00000737: PUSH2 0x09bf
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH2 0x042f
0000073f: DUP2
00000740: PUSH2 0x08bc
00000743: JUMP
00000744: JUMPDEST
00000745: PUSH1 0x02
00000747: SLOAD
00000748: PUSH1 0x01
0000074a: PUSH1 0x01
0000074c: PUSH1 0xa0
0000074e: SHL
0000074f: SUB
00000750: AND
00000751: DUP2
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH2 0x075b
00000757: PUSH2 0x090c
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x01
0000075e: PUSH1 0x01
00000760: PUSH1 0xa0
00000762: SHL
00000763: SUB
00000764: AND
00000765: PUSH2 0x076c
00000768: PUSH2 0x06de
0000076b: JUMP
0000076c: JUMPDEST
0000076d: PUSH1 0x01
0000076f: PUSH1 0x01
00000771: PUSH1 0xa0
00000773: SHL
00000774: SUB
00000775: AND
00000776: EQ
00000777: PUSH2 0x06d6
0000077a: JUMPI
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: PUSH3 0x461bcd
00000782: PUSH1 0xe5
00000784: SHL
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x04
00000789: ADD
0000078a: PUSH2 0x037a
0000078d: SWAP1
0000078e: PUSH2 0x0ace
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x00
00000795: DUP4
00000796: PUSH1 0x20
00000798: ADD
00000799: MLOAD
0000079a: PUSH1 0x00
0000079c: EQ
0000079d: PUSH2 0x07d7
000007a0: JUMPI
000007a1: PUSH8 0x0de0b6b3a7640000
000007aa: DUP5
000007ab: PUSH1 0x40
000007ad: ADD
000007ae: MLOAD
000007af: PUSH1 0x03
000007b1: SLOAD
000007b2: PUSH2 0x07bb
000007b5: SWAP2
000007b6: SWAP1
000007b7: PUSH2 0x0bdc
000007ba: JUMP
000007bb: JUMPDEST
000007bc: DUP6
000007bd: PUSH1 0x20
000007bf: ADD
000007c0: MLOAD
000007c1: PUSH2 0x07ca
000007c4: SWAP2
000007c5: SWAP1
000007c6: PUSH2 0x0bbd
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH2 0x07d4
000007ce: SWAP2
000007cf: SWAP1
000007d0: PUSH2 0x0b9d
000007d3: JUMP
000007d4: JUMPDEST
000007d5: SWAP1
000007d6: POP
000007d7: JUMPDEST
000007d8: DUP3
000007d9: PUSH2 0x0808
000007dc: JUMPI
000007dd: PUSH1 0x01
000007df: PUSH1 0x01
000007e1: PUSH1 0xa0
000007e3: SHL
000007e4: SUB
000007e5: DUP6
000007e6: AND
000007e7: PUSH1 0x00
000007e9: SWAP1
000007ea: DUP2
000007eb: MSTORE
000007ec: PUSH1 0x01
000007ee: PUSH1 0x20
000007f0: DUP2
000007f1: SWAP1
000007f2: MSTORE
000007f3: PUSH1 0x40
000007f5: DUP3
000007f6: KECCAK256
000007f7: DUP3
000007f8: DUP2
000007f9: SSTORE
000007fa: SWAP1
000007fb: DUP2
000007fc: ADD
000007fd: DUP3
000007fe: SWAP1
000007ff: SSTORE
00000800: PUSH1 0x02
00000802: ADD
00000803: SSTORE
00000804: PUSH2 0x08a5
00000807: JUMP
00000808: JUMPDEST
00000809: DUP2
0000080a: ISZERO
0000080b: PUSH2 0x085b
0000080e: JUMPI
0000080f: PUSH1 0x40
00000811: DUP1
00000812: MLOAD
00000813: PUSH1 0x60
00000815: DUP2
00000816: ADD
00000817: DUP3
00000818: MSTORE
00000819: TIMESTAMP
0000081a: DUP2
0000081b: MSTORE
0000081c: PUSH1 0x20
0000081e: DUP1
0000081f: DUP3
00000820: ADD
00000821: DUP7
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x03
00000826: SLOAD
00000827: DUP4
00000828: DUP6
00000829: ADD
0000082a: SWAP1
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x01
0000082f: PUSH1 0x01
00000831: PUSH1 0xa0
00000833: SHL
00000834: SUB
00000835: DUP11
00000836: AND
00000837: PUSH1 0x00
00000839: SWAP1
0000083a: DUP2
0000083b: MSTORE
0000083c: PUSH1 0x01
0000083e: SWAP4
0000083f: DUP5
00000840: SWAP1
00000841: MSTORE
00000842: SWAP5
00000843: SWAP1
00000844: SWAP5
00000845: KECCAK256
00000846: SWAP3
00000847: MLOAD
00000848: DUP4
00000849: SSTORE
0000084a: MLOAD
0000084b: SWAP1
0000084c: DUP3
0000084d: ADD
0000084e: SSTORE
0000084f: SWAP1
00000850: MLOAD
00000851: PUSH1 0x02
00000853: SWAP1
00000854: SWAP2
00000855: ADD
00000856: SSTORE
00000857: PUSH2 0x08a5
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH1 0x40
0000085e: DUP1
0000085f: MLOAD
00000860: PUSH1 0x60
00000862: DUP2
00000863: ADD
00000864: DUP3
00000865: MSTORE
00000866: DUP6
00000867: MLOAD
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x20
0000086c: DUP1
0000086d: DUP3
0000086e: ADD
0000086f: DUP7
00000870: DUP2
00000871: MSTORE
00000872: PUSH1 0x03
00000874: SLOAD
00000875: DUP4
00000876: DUP6
00000877: ADD
00000878: SWAP1
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x01
0000087d: PUSH1 0x01
0000087f: PUSH1 0xa0
00000881: SHL
00000882: SUB
00000883: DUP11
00000884: AND
00000885: PUSH1 0x00
00000887: SWAP1
00000888: DUP2
00000889: MSTORE
0000088a: PUSH1 0x01
0000088c: SWAP4
0000088d: DUP5
0000088e: SWAP1
0000088f: MSTORE
00000890: SWAP5
00000891: SWAP1
00000892: SWAP5
00000893: KECCAK256
00000894: SWAP3
00000895: MLOAD
00000896: DUP4
00000897: SSTORE
00000898: MLOAD
00000899: SWAP1
0000089a: DUP3
0000089b: ADD
0000089c: SSTORE
0000089d: SWAP1
0000089e: MLOAD
0000089f: PUSH1 0x02
000008a1: SWAP1
000008a2: SWAP2
000008a3: ADD
000008a4: SSTORE
000008a5: JUMPDEST
000008a6: DUP1
000008a7: ISZERO
000008a8: PUSH2 0x08b5
000008ab: JUMPI
000008ac: PUSH2 0x08b5
000008af: DUP6
000008b0: DUP3
000008b1: PUSH2 0x035a
000008b4: JUMP
000008b5: JUMPDEST
000008b6: POP
000008b7: POP
000008b8: POP
000008b9: POP
000008ba: POP
000008bb: JUMP
000008bc: JUMPDEST
000008bd: PUSH1 0x00
000008bf: DUP1
000008c0: SLOAD
000008c1: PUSH1 0x01
000008c3: PUSH1 0x01
000008c5: PUSH1 0xa0
000008c7: SHL
000008c8: SUB
000008c9: DUP4
000008ca: DUP2
000008cb: AND
000008cc: PUSH1 0x01
000008ce: PUSH1 0x01
000008d0: PUSH1 0xa0
000008d2: SHL
000008d3: SUB
000008d4: NOT
000008d5: DUP4
000008d6: AND
000008d7: DUP2
000008d8: OR
000008d9: DUP5
000008da: SSTORE
000008db: PUSH1 0x40
000008dd: MLOAD
000008de: SWAP2
000008df: SWAP1
000008e0: SWAP3
000008e1: AND
000008e2: SWAP3
000008e3: DUP4
000008e4: SWAP2
000008e5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000906: SWAP2
00000907: SWAP1
00000908: LOG3
00000909: POP
0000090a: POP
0000090b: JUMP
0000090c: JUMPDEST
0000090d: CALLER
0000090e: SWAP1
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH1 0x00
00000913: PUSH1 0x20
00000915: DUP3
00000916: DUP5
00000917: SUB
00000918: SLT
00000919: ISZERO
0000091a: PUSH2 0x0921
0000091d: JUMPI
0000091e: DUP1
0000091f: DUP2
00000920: REVERT
00000921: JUMPDEST
00000922: DUP2
00000923: CALLDATALOAD
00000924: PUSH2 0x06bd
00000927: DUP2
00000928: PUSH2 0x0c09
0000092b: JUMP
0000092c: JUMPDEST
0000092d: PUSH1 0x00
0000092f: DUP1
00000930: PUSH1 0x40
00000932: DUP4
00000933: DUP6
00000934: SUB
00000935: SLT
00000936: ISZERO
00000937: PUSH2 0x093e
0000093a: JUMPI
0000093b: DUP1
0000093c: DUP2
0000093d: REVERT
0000093e: JUMPDEST
0000093f: DUP3
00000940: CALLDATALOAD
00000941: PUSH2 0x0949
00000944: DUP2
00000945: PUSH2 0x0c09
00000948: JUMP
00000949: JUMPDEST
0000094a: SWAP5
0000094b: PUSH1 0x20
0000094d: SWAP4
0000094e: SWAP1
0000094f: SWAP4
00000950: ADD
00000951: CALLDATALOAD
00000952: SWAP4
00000953: POP
00000954: POP
00000955: POP
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH1 0x00
0000095a: PUSH1 0x20
0000095c: DUP3
0000095d: DUP5
0000095e: SUB
0000095f: SLT
00000960: ISZERO
00000961: PUSH2 0x0968
00000964: JUMPI
00000965: DUP1
00000966: DUP2
00000967: REVERT
00000968: JUMPDEST
00000969: DUP2
0000096a: MLOAD
0000096b: DUP1
0000096c: ISZERO
0000096d: ISZERO
0000096e: DUP2
0000096f: EQ
00000970: PUSH2 0x06bd
00000973: JUMPI
00000974: DUP2
00000975: DUP3
00000976: REVERT
00000977: JUMPDEST
00000978: PUSH1 0x00
0000097a: PUSH1 0x20
0000097c: DUP3
0000097d: DUP5
0000097e: SUB
0000097f: SLT
00000980: ISZERO
00000981: PUSH2 0x0988
00000984: JUMPI
00000985: DUP1
00000986: DUP2
00000987: REVERT
00000988: JUMPDEST
00000989: POP
0000098a: MLOAD
0000098b: SWAP2
0000098c: SWAP1
0000098d: POP
0000098e: JUMP
0000098f: JUMPDEST
00000990: SWAP1
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH1 0x01
00000995: PUSH1 0x01
00000997: PUSH1 0xa0
00000999: SHL
0000099a: SUB
0000099b: SWAP2
0000099c: SWAP1
0000099d: SWAP2
0000099e: AND
0000099f: DUP2
000009a0: MSTORE
000009a1: PUSH1 0x20
000009a3: ADD
000009a4: SWAP1
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x01
000009a9: PUSH1 0x01
000009ab: PUSH1 0xa0
000009ad: SHL
000009ae: SUB
000009af: SWAP3
000009b0: SWAP1
000009b1: SWAP3
000009b2: AND
000009b3: DUP3
000009b4: MSTORE
000009b5: PUSH1 0x20
000009b7: DUP3
000009b8: ADD
000009b9: MSTORE
000009ba: PUSH1 0x40
000009bc: ADD
000009bd: SWAP1
000009be: JUMP
000009bf: JUMPDEST
000009c0: PUSH1 0x20
000009c2: DUP1
000009c3: DUP3
000009c4: MSTORE
000009c5: PUSH1 0x26
000009c7: SWAP1
000009c8: DUP3
000009c9: ADD
000009ca: MSTORE
000009cb: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000009ec: PUSH1 0x40
000009ee: DUP3
000009ef: ADD
000009f0: MSTORE
000009f1: PUSH6 0x646472657373
000009f8: PUSH1 0xd0
000009fa: SHL
000009fb: PUSH1 0x60
000009fd: DUP3
000009fe: ADD
000009ff: MSTORE
00000a00: PUSH1 0x80
00000a02: ADD
00000a03: SWAP1
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x20
00000a08: DUP1
00000a09: DUP3
00000a0a: MSTORE
00000a0b: DUP2
00000a0c: DUP2
00000a0d: ADD
00000a0e: MSTORE
00000a0f: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e207a65726f
00000a30: PUSH1 0x40
00000a32: DUP3
00000a33: ADD
00000a34: MSTORE
00000a35: PUSH1 0x60
00000a37: ADD
00000a38: SWAP1
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x20
00000a3d: DUP1
00000a3e: DUP3
00000a3f: MSTORE
00000a40: PUSH1 0x3a
00000a42: SWAP1
00000a43: DUP3
00000a44: ADD
00000a45: MSTORE
00000a46: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00000a67: PUSH1 0x40
00000a69: DUP3
00000a6a: ADD
00000a6b: MSTORE
00000a6c: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00000a8d: PUSH1 0x60
00000a8f: DUP3
00000a90: ADD
00000a91: MSTORE
00000a92: PUSH1 0x80
00000a94: ADD
00000a95: SWAP1
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x20
00000a9a: DUP1
00000a9b: DUP3
00000a9c: MSTORE
00000a9d: PUSH1 0x1d
00000a9f: SWAP1
00000aa0: DUP3
00000aa1: ADD
00000aa2: MSTORE
00000aa3: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00000ac4: PUSH1 0x40
00000ac6: DUP3
00000ac7: ADD
00000ac8: MSTORE
00000ac9: PUSH1 0x60
00000acb: ADD
00000acc: SWAP1
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH1 0x20
00000ad1: DUP1
00000ad2: DUP3
00000ad3: MSTORE
00000ad4: DUP2
00000ad5: DUP2
00000ad6: ADD
00000ad7: MSTORE
00000ad8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000af9: PUSH1 0x40
00000afb: DUP3
00000afc: ADD
00000afd: MSTORE
00000afe: PUSH1 0x60
00000b00: ADD
00000b01: SWAP1
00000b02: JUMP
00000b03: JUMPDEST
00000b04: PUSH1 0x20
00000b06: DUP1
00000b07: DUP3
00000b08: MSTORE
00000b09: PUSH1 0x12
00000b0b: SWAP1
00000b0c: DUP3
00000b0d: ADD
00000b0e: MSTORE
00000b0f: PUSH18 0x139bc81a5b9a5d1a585b0819195c1bdcda5d
00000b22: PUSH1 0x72
00000b24: SHL
00000b25: PUSH1 0x40
00000b27: DUP3
00000b28: ADD
00000b29: MSTORE
00000b2a: PUSH1 0x60
00000b2c: ADD
00000b2d: SWAP1
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH1 0x20
00000b32: DUP1
00000b33: DUP3
00000b34: MSTORE
00000b35: PUSH1 0x17
00000b37: SWAP1
00000b38: DUP3
00000b39: ADD
00000b3a: MSTORE
00000b3b: PUSH32 0x7769746864726177206166746572206f6e65207765656b000000000000000000
00000b5c: PUSH1 0x40
00000b5e: DUP3
00000b5f: ADD
00000b60: MSTORE
00000b61: PUSH1 0x60
00000b63: ADD
00000b64: SWAP1
00000b65: JUMP
00000b66: JUMPDEST
00000b67: SWAP1
00000b68: DUP2
00000b69: MSTORE
00000b6a: PUSH1 0x20
00000b6c: ADD
00000b6d: SWAP1
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: SWAP3
00000b71: DUP4
00000b72: MSTORE
00000b73: PUSH1 0x20
00000b75: DUP4
00000b76: ADD
00000b77: SWAP2
00000b78: SWAP1
00000b79: SWAP2
00000b7a: MSTORE
00000b7b: PUSH1 0x40
00000b7d: DUP3
00000b7e: ADD
00000b7f: MSTORE
00000b80: PUSH1 0x60
00000b82: ADD
00000b83: SWAP1
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x00
00000b88: DUP3
00000b89: NOT
00000b8a: DUP3
00000b8b: GT
00000b8c: ISZERO
00000b8d: PUSH2 0x0b98
00000b90: JUMPI
00000b91: PUSH2 0x0b98
00000b94: PUSH2 0x0bf3
00000b97: JUMP
00000b98: JUMPDEST
00000b99: POP
00000b9a: ADD
00000b9b: SWAP1
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x00
00000ba0: DUP3
00000ba1: PUSH2 0x0bb8
00000ba4: JUMPI
00000ba5: PUSH4 0x4e487b71
00000baa: PUSH1 0xe0
00000bac: SHL
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x12
00000bb1: PUSH1 0x04
00000bb3: MSTORE
00000bb4: PUSH1 0x24
00000bb6: DUP2
00000bb7: REVERT
00000bb8: JUMPDEST
00000bb9: POP
00000bba: DIV
00000bbb: SWAP1
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: PUSH1 0x00
00000bc0: DUP2
00000bc1: PUSH1 0x00
00000bc3: NOT
00000bc4: DIV
00000bc5: DUP4
00000bc6: GT
00000bc7: DUP3
00000bc8: ISZERO
00000bc9: ISZERO
00000bca: AND
00000bcb: ISZERO
00000bcc: PUSH2 0x0bd7
00000bcf: JUMPI
00000bd0: PUSH2 0x0bd7
00000bd3: PUSH2 0x0bf3
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: POP
00000bd9: MUL
00000bda: SWAP1
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH1 0x00
00000bdf: DUP3
00000be0: DUP3
00000be1: LT
00000be2: ISZERO
00000be3: PUSH2 0x0bee
00000be6: JUMPI
00000be7: PUSH2 0x0bee
00000bea: PUSH2 0x0bf3
00000bed: JUMP
00000bee: JUMPDEST
00000bef: POP
00000bf0: SUB
00000bf1: SWAP1
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH4 0x4e487b71
00000bf9: PUSH1 0xe0
00000bfb: SHL
00000bfc: PUSH1 0x00
00000bfe: MSTORE
00000bff: PUSH1 0x11
00000c01: PUSH1 0x04
00000c03: MSTORE
00000c04: PUSH1 0x24
00000c06: PUSH1 0x00
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: PUSH1 0x01
00000c0c: PUSH1 0x01
00000c0e: PUSH1 0xa0
00000c10: SHL
00000c11: SUB
00000c12: DUP2
00000c13: AND
00000c14: DUP2
00000c15: EQ
00000c16: PUSH2 0x042f
00000c19: JUMPI
00000c1a: PUSH1 0x00
00000c1c: DUP1
00000c1d: REVERT
00000c1e: INVALID
00000c1f: LOG2
00000c20: PUSH5 0x6970667358
00000c26: UNKNOWN(0x22)
00000c27: SLT
00000c28: KECCAK256
00000c29: LOG4
00000c2a: SWAP16
00000c2b: UNKNOWN(0xDA)
00000c2c: SWAP11
00000c2d: MSTORE8
00000c2e: SHL
00000c2f: UNKNOWN(0x4B)
00000c30: UNKNOWN(0xDC)
00000c31: PUSH4 0x4d1093c2
00000c36: UNKNOWN(0x24)
00000c37: DIFFICULTY
00000c38: UNKNOWN(0x4E)
00000c39: DIV
00000c3a: MCOPY
00000c3b: MSTORE
00000c3c: LOG1
00000c3d: SLOAD
00000c3e: TIMESTAMP
00000c3f: UNKNOWN(0x0D)
00000c40: MSTORE8
00000c41: ADD
00000c42: TIMESTAMP
00000c43: CALLDATASIZE
00000c44: PUSH19

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x2391cac71be4e5e8cdbbd25f0baac56debb01e0d9daa820243a9e5b1f7b6cbc0
call_targets: 0xf95619379fa681caac49f4a635126a448f171c60
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2391cac71be4e5e8cdbbd25f0baac56debb01e0d9daa820243a9e5b1f7b6cbc0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf95619379fa681caac49f4a635126a448f171c60"
    ],
    "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": "0x7cb549be",
            "selector": "0x7cb549be",
            "calldata_variants": [
                "0x7cb549be",
                "0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36bdee74",
            "selector": "0x36bdee74",
            "calldata_variants": [
                "0x36bdee74",
                "0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 937,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1290,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x2391cac71be4e5e8cdbbd25f0baac56debb01e0d9daa820243a9e5b1f7b6cbc0
call_targets: 0xf95619379fa681caac49f4a635126a448f171c60
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2391cac71be4e5e8cdbbd25f0baac56debb01e0d9daa820243a9e5b1f7b6cbc0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf95619379fa681caac49f4a635126a448f171c60"
    ],
    "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": "0x7cb549be",
            "selector": "0x7cb549be",
            "calldata_variants": [
                "0x7cb549be",
                "0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x144fa6d7",
            "selector": "0x144fa6d7",
            "calldata_variants": [
                "0x144fa6d7",
                "0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36bdee74",
            "selector": "0x36bdee74",
            "calldata_variants": [
                "0x36bdee74",
                "0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 937,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1290,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}