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

Analysis Run

019b3844-996d-7141-92a5-10b3ef526480

complete
Chain ID
1
Address
0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
14085 artifact.fetch complete 1 / 3 3 months ago
14086 tool.cast_disasm complete 1 / 3 3 months ago
85192 analysis.bundle complete 1 / 3 1 week ago
85193 capability.graph complete 1 / 3 1 week ago
85194 detector.run complete 1 / 3 1 week ago
85195 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
2
Total opcodes
1695
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 0x00b6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x64a197f3
00000019: GT
0000001a: PUSH2 0x006f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x64a197f3
00000024: EQ
00000025: PUSH2 0x020d
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x0246
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8f32d59b
0000003a: EQ
0000003b: PUSH2 0x025b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xa3f4df7e
00000045: EQ
00000046: PUSH2 0x0284
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xaac1846f
00000050: EQ
00000051: PUSH2 0x030e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xb7f8cf9b
0000005b: EQ
0000005c: PUSH2 0x0323
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xcfb9329a
00000066: EQ
00000067: PUSH2 0x0338
0000006a: JUMPI
0000006b: PUSH2 0x010f
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x0b622ab2
00000076: EQ
00000077: PUSH2 0x0114
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x14f6c3be
00000081: EQ
00000082: PUSH2 0x0145
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x38d995a8
0000008c: EQ
0000008d: PUSH2 0x016c
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x4a945f8d
00000097: EQ
00000098: PUSH2 0x0198
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x5a4d28bb
000000a2: EQ
000000a3: PUSH2 0x01e3
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x5eb52fca
000000ad: EQ
000000ae: PUSH2 0x01f8
000000b1: JUMPI
000000b2: PUSH2 0x010f
000000b5: JUMP
000000b6: JUMPDEST
000000b7: CALLDATASIZE
000000b8: PUSH2 0x010f
000000bb: JUMPI
000000bc: PUSH2 0x00c3
000000bf: PUSH2 0x0362
000000c2: JUMP
000000c3: JUMPDEST
000000c4: PUSH1 0x05
000000c6: SLOAD
000000c7: PUSH2 0x00d6
000000ca: SWAP1
000000cb: CALLVALUE
000000cc: PUSH4 0xffffffff
000000d1: PUSH2 0x03c2
000000d4: AND
000000d5: JUMP
000000d6: JUMPDEST
000000d7: PUSH1 0x05
000000d9: DUP2
000000da: SWAP1
000000db: SSTORE
000000dc: PUSH1 0x40
000000de: DUP1
000000df: MLOAD
000000e0: SWAP2
000000e1: DUP3
000000e2: MSTORE
000000e3: MLOAD
000000e4: PUSH32 0xca232b5abb988c540b959ff6c3bfae3e97fff964fd098c508f9613c0a6bf1a80
00000105: SWAP2
00000106: DUP2
00000107: SWAP1
00000108: SUB
00000109: PUSH1 0x20
0000010b: ADD
0000010c: SWAP1
0000010d: LOG1
0000010e: STOP
0000010f: JUMPDEST
00000110: PUSH1 0x00
00000112: DUP1
00000113: REVERT
00000114: JUMPDEST
00000115: CALLVALUE
00000116: DUP1
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: PUSH2 0x0129
00000125: PUSH2 0x0423
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH1 0x40
0000012c: DUP1
0000012d: MLOAD
0000012e: PUSH1 0x01
00000130: PUSH1 0x01
00000132: PUSH1 0xa0
00000134: SHL
00000135: SUB
00000136: SWAP1
00000137: SWAP3
00000138: AND
00000139: DUP3
0000013a: MSTORE
0000013b: MLOAD
0000013c: SWAP1
0000013d: DUP2
0000013e: SWAP1
0000013f: SUB
00000140: PUSH1 0x20
00000142: ADD
00000143: SWAP1
00000144: RETURN
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 0x0432
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: DUP1
0000015e: MLOAD
0000015f: SWAP2
00000160: DUP3
00000161: MSTORE
00000162: MLOAD
00000163: SWAP1
00000164: DUP2
00000165: SWAP1
00000166: SUB
00000167: PUSH1 0x20
00000169: ADD
0000016a: SWAP1
0000016b: RETURN
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x0196
0000017d: PUSH1 0x04
0000017f: DUP1
00000180: CALLDATASIZE
00000181: SUB
00000182: PUSH1 0x20
00000184: DUP2
00000185: LT
00000186: ISZERO
00000187: PUSH2 0x018f
0000018a: JUMPI
0000018b: PUSH1 0x00
0000018d: DUP1
0000018e: REVERT
0000018f: JUMPDEST
00000190: POP
00000191: CALLDATALOAD
00000192: PUSH2 0x0438
00000195: JUMP
00000196: JUMPDEST
00000197: STOP
00000198: JUMPDEST
00000199: CALLVALUE
0000019a: DUP1
0000019b: ISZERO
0000019c: PUSH2 0x01a4
0000019f: JUMPI
000001a0: PUSH1 0x00
000001a2: DUP1
000001a3: REVERT
000001a4: JUMPDEST
000001a5: POP
000001a6: PUSH2 0x0196
000001a9: PUSH1 0x04
000001ab: DUP1
000001ac: CALLDATASIZE
000001ad: SUB
000001ae: PUSH1 0x80
000001b0: DUP2
000001b1: LT
000001b2: ISZERO
000001b3: PUSH2 0x01bb
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: PUSH1 0x01
000001bf: PUSH1 0x01
000001c1: PUSH1 0xa0
000001c3: SHL
000001c4: SUB
000001c5: DUP2
000001c6: CALLDATALOAD
000001c7: DUP2
000001c8: AND
000001c9: SWAP2
000001ca: PUSH1 0x20
000001cc: DUP2
000001cd: ADD
000001ce: CALLDATALOAD
000001cf: DUP3
000001d0: AND
000001d1: SWAP2
000001d2: PUSH1 0x40
000001d4: DUP3
000001d5: ADD
000001d6: CALLDATALOAD
000001d7: DUP2
000001d8: AND
000001d9: SWAP2
000001da: PUSH1 0x60
000001dc: ADD
000001dd: CALLDATALOAD
000001de: AND
000001df: PUSH2 0x048d
000001e2: JUMP
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x0129
000001f4: PUSH2 0x0646
000001f7: JUMP
000001f8: JUMPDEST
000001f9: CALLVALUE
000001fa: DUP1
000001fb: ISZERO
000001fc: PUSH2 0x0204
000001ff: JUMPI
00000200: PUSH1 0x00
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: POP
00000206: PUSH2 0x015a
00000209: PUSH2 0x0655
0000020c: JUMP
0000020d: JUMPDEST
0000020e: CALLVALUE
0000020f: DUP1
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: PUSH2 0x0196
0000021e: PUSH1 0x04
00000220: DUP1
00000221: CALLDATASIZE
00000222: SUB
00000223: PUSH1 0x40
00000225: DUP2
00000226: LT
00000227: ISZERO
00000228: PUSH2 0x0230
0000022b: JUMPI
0000022c: PUSH1 0x00
0000022e: DUP1
0000022f: REVERT
00000230: JUMPDEST
00000231: POP
00000232: PUSH1 0x01
00000234: PUSH1 0x01
00000236: PUSH1 0xa0
00000238: SHL
00000239: SUB
0000023a: DUP2
0000023b: CALLDATALOAD
0000023c: AND
0000023d: SWAP1
0000023e: PUSH1 0x20
00000240: ADD
00000241: CALLDATALOAD
00000242: PUSH2 0x065b
00000245: JUMP
00000246: JUMPDEST
00000247: CALLVALUE
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0252
0000024d: JUMPI
0000024e: PUSH1 0x00
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: POP
00000254: PUSH2 0x0129
00000257: PUSH2 0x079c
0000025a: JUMP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0267
00000262: JUMPI
00000263: PUSH1 0x00
00000265: DUP1
00000266: REVERT
00000267: JUMPDEST
00000268: POP
00000269: PUSH2 0x0270
0000026c: PUSH2 0x07ab
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: DUP1
00000274: MLOAD
00000275: SWAP2
00000276: ISZERO
00000277: ISZERO
00000278: DUP3
00000279: MSTORE
0000027a: MLOAD
0000027b: SWAP1
0000027c: DUP2
0000027d: SWAP1
0000027e: SUB
0000027f: PUSH1 0x20
00000281: ADD
00000282: SWAP1
00000283: RETURN
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x0299
00000295: PUSH2 0x07bc
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: DUP1
0000029d: MLOAD
0000029e: PUSH1 0x20
000002a0: DUP1
000002a1: DUP3
000002a2: MSTORE
000002a3: DUP4
000002a4: MLOAD
000002a5: DUP2
000002a6: DUP4
000002a7: ADD
000002a8: MSTORE
000002a9: DUP4
000002aa: MLOAD
000002ab: SWAP2
000002ac: SWAP3
000002ad: DUP4
000002ae: SWAP3
000002af: SWAP1
000002b0: DUP4
000002b1: ADD
000002b2: SWAP2
000002b3: DUP6
000002b4: ADD
000002b5: SWAP1
000002b6: DUP1
000002b7: DUP4
000002b8: DUP4
000002b9: PUSH1 0x00
000002bb: JUMPDEST
000002bc: DUP4
000002bd: DUP2
000002be: LT
000002bf: ISZERO
000002c0: PUSH2 0x02d3
000002c3: JUMPI
000002c4: DUP2
000002c5: DUP2
000002c6: ADD
000002c7: MLOAD
000002c8: DUP4
000002c9: DUP3
000002ca: ADD
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: PUSH2 0x02bb
000002d2: JUMP
000002d3: JUMPDEST
000002d4: POP
000002d5: POP
000002d6: POP
000002d7: POP
000002d8: SWAP1
000002d9: POP
000002da: SWAP1
000002db: DUP2
000002dc: ADD
000002dd: SWAP1
000002de: PUSH1 0x1f
000002e0: AND
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x0300
000002e6: JUMPI
000002e7: DUP1
000002e8: DUP3
000002e9: SUB
000002ea: DUP1
000002eb: MLOAD
000002ec: PUSH1 0x01
000002ee: DUP4
000002ef: PUSH1 0x20
000002f1: SUB
000002f2: PUSH2 0x0100
000002f5: EXP
000002f6: SUB
000002f7: NOT
000002f8: AND
000002f9: DUP2
000002fa: MSTORE
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP2
000002ff: POP
00000300: JUMPDEST
00000301: POP
00000302: SWAP3
00000303: POP
00000304: POP
00000305: POP
00000306: PUSH1 0x40
00000308: MLOAD
00000309: DUP1
0000030a: SWAP2
0000030b: SUB
0000030c: SWAP1
0000030d: RETURN
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: DUP1
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: POP
0000031c: PUSH2 0x0129
0000031f: PUSH2 0x07e2
00000322: JUMP
00000323: JUMPDEST
00000324: CALLVALUE
00000325: DUP1
00000326: ISZERO
00000327: PUSH2 0x032f
0000032a: JUMPI
0000032b: PUSH1 0x00
0000032d: DUP1
0000032e: REVERT
0000032f: JUMPDEST
00000330: POP
00000331: PUSH2 0x0129
00000334: PUSH2 0x07f1
00000337: JUMP
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x0196
00000349: PUSH1 0x04
0000034b: DUP1
0000034c: CALLDATASIZE
0000034d: SUB
0000034e: PUSH1 0x20
00000350: DUP2
00000351: LT
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: POP
0000035d: CALLDATALOAD
0000035e: PUSH2 0x0800
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH1 0x01
00000365: SLOAD
00000366: PUSH1 0x01
00000368: PUSH1 0x01
0000036a: PUSH1 0xa0
0000036c: SHL
0000036d: SUB
0000036e: AND
0000036f: CALLER
00000370: EQ
00000371: DUP1
00000372: PUSH2 0x0385
00000375: JUMPI
00000376: POP
00000377: PUSH1 0x04
00000379: SLOAD
0000037a: PUSH1 0x01
0000037c: PUSH1 0x01
0000037e: PUSH1 0xa0
00000380: SHL
00000381: SUB
00000382: AND
00000383: CALLER
00000384: EQ
00000385: JUMPDEST
00000386: PUSH2 0x03c0
00000389: JUMPI
0000038a: PUSH1 0x40
0000038c: MLOAD
0000038d: PUSH3 0x461bcd
00000391: PUSH1 0xe5
00000393: SHL
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x04
00000398: ADD
00000399: DUP1
0000039a: DUP1
0000039b: PUSH1 0x20
0000039d: ADD
0000039e: DUP3
0000039f: DUP2
000003a0: SUB
000003a1: DUP3
000003a2: MSTORE
000003a3: PUSH1 0x31
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x20
000003a9: ADD
000003aa: DUP1
000003ab: PUSH2 0x0b57
000003ae: PUSH1 0x31
000003b0: SWAP2
000003b1: CODECOPY
000003b2: PUSH1 0x40
000003b4: ADD
000003b5: SWAP2
000003b6: POP
000003b7: POP
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: DUP1
000003bc: SWAP2
000003bd: SUB
000003be: SWAP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x00
000003c5: DUP3
000003c6: DUP3
000003c7: ADD
000003c8: DUP4
000003c9: DUP2
000003ca: LT
000003cb: ISZERO
000003cc: PUSH2 0x041c
000003cf: JUMPI
000003d0: PUSH1 0x40
000003d2: DUP1
000003d3: MLOAD
000003d4: PUSH3 0x461bcd
000003d8: PUSH1 0xe5
000003da: SHL
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: PUSH1 0x04
000003e1: DUP3
000003e2: ADD
000003e3: MSTORE
000003e4: PUSH1 0x1b
000003e6: PUSH1 0x24
000003e8: DUP3
000003e9: ADD
000003ea: MSTORE
000003eb: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000040c: PUSH1 0x44
0000040e: DUP3
0000040f: ADD
00000410: MSTORE
00000411: SWAP1
00000412: MLOAD
00000413: SWAP1
00000414: DUP2
00000415: SWAP1
00000416: SUB
00000417: PUSH1 0x64
00000419: ADD
0000041a: SWAP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: SWAP4
0000041e: SWAP3
0000041f: POP
00000420: POP
00000421: POP
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x03
00000426: SLOAD
00000427: PUSH1 0x01
00000429: PUSH1 0x01
0000042b: PUSH1 0xa0
0000042d: SHL
0000042e: SUB
0000042f: AND
00000430: DUP2
00000431: JUMP
00000432: JUMPDEST
00000433: PUSH1 0x05
00000435: SLOAD
00000436: SWAP1
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH2 0x0440
0000043c: PUSH2 0x081b
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH1 0x06
00000443: SLOAD
00000444: PUSH2 0x0453
00000447: SWAP1
00000448: DUP3
00000449: PUSH4 0xffffffff
0000044e: PUSH2 0x088e
00000451: AND
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x06
00000456: DUP2
00000457: SWAP1
00000458: SSTORE
00000459: PUSH1 0x40
0000045b: DUP1
0000045c: MLOAD
0000045d: SWAP2
0000045e: DUP3
0000045f: MSTORE
00000460: MLOAD
00000461: PUSH32 0x0d4c964e4ceac5d740869d39789a7b91888a787b9c33e9365b1a658a21ffb696
00000482: SWAP2
00000483: DUP2
00000484: SWAP1
00000485: SUB
00000486: PUSH1 0x20
00000488: ADD
00000489: SWAP1
0000048a: LOG1
0000048b: POP
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH2 0x0495
00000491: PUSH2 0x07ab
00000494: JUMP
00000495: JUMPDEST
00000496: PUSH2 0x04e6
00000499: JUMPI
0000049a: PUSH1 0x40
0000049c: DUP1
0000049d: MLOAD
0000049e: PUSH3 0x461bcd
000004a2: PUSH1 0xe5
000004a4: SHL
000004a5: DUP2
000004a6: MSTORE
000004a7: PUSH1 0x20
000004a9: PUSH1 0x04
000004ab: DUP3
000004ac: ADD
000004ad: DUP2
000004ae: SWAP1
000004af: MSTORE
000004b0: PUSH1 0x24
000004b2: DUP3
000004b3: ADD
000004b4: MSTORE
000004b5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000004d6: PUSH1 0x44
000004d8: DUP3
000004d9: ADD
000004da: MSTORE
000004db: SWAP1
000004dc: MLOAD
000004dd: SWAP1
000004de: DUP2
000004df: SWAP1
000004e0: SUB
000004e1: PUSH1 0x64
000004e3: ADD
000004e4: SWAP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: PUSH2 0x04ef
000004ea: DUP5
000004eb: PUSH2 0x08d0
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH2 0x04f8
000004f3: DUP4
000004f4: PUSH2 0x08d0
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH2 0x0501
000004fc: DUP3
000004fd: PUSH2 0x08d0
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH2 0x050a
00000505: DUP2
00000506: PUSH2 0x08d0
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH1 0x01
0000050d: DUP1
0000050e: SLOAD
0000050f: PUSH1 0x01
00000511: PUSH1 0x01
00000513: PUSH1 0xa0
00000515: SHL
00000516: SUB
00000517: DUP1
00000518: DUP8
00000519: AND
0000051a: PUSH1 0x01
0000051c: PUSH1 0x01
0000051e: PUSH1 0xa0
00000520: SHL
00000521: SUB
00000522: NOT
00000523: SWAP3
00000524: DUP4
00000525: AND
00000526: DUP2
00000527: OR
00000528: SWAP1
00000529: SWAP4
0000052a: SSTORE
0000052b: PUSH1 0x02
0000052d: DUP1
0000052e: SLOAD
0000052f: DUP8
00000530: DUP4
00000531: AND
00000532: SWAP1
00000533: DUP5
00000534: AND
00000535: OR
00000536: SWAP1
00000537: SSTORE
00000538: PUSH1 0x03
0000053a: DUP1
0000053b: SLOAD
0000053c: DUP7
0000053d: DUP4
0000053e: AND
0000053f: SWAP1
00000540: DUP5
00000541: AND
00000542: OR
00000543: SWAP1
00000544: SSTORE
00000545: PUSH1 0x04
00000547: DUP1
00000548: SLOAD
00000549: SWAP2
0000054a: DUP6
0000054b: AND
0000054c: SWAP2
0000054d: SWAP1
0000054e: SWAP3
0000054f: AND
00000550: OR
00000551: SWAP1
00000552: SSTORE
00000553: PUSH1 0x40
00000555: DUP1
00000556: MLOAD
00000557: SWAP2
00000558: DUP3
00000559: MSTORE
0000055a: MLOAD
0000055b: PUSH32 0x3ca631ffcd2a9b5d9ae18543fc82f58eb4ca33af9e6ab01b7a8e95331e6ed985
0000057c: SWAP2
0000057d: DUP2
0000057e: SWAP1
0000057f: SUB
00000580: PUSH1 0x20
00000582: ADD
00000583: SWAP1
00000584: LOG1
00000585: PUSH1 0x40
00000587: DUP1
00000588: MLOAD
00000589: PUSH1 0x01
0000058b: PUSH1 0x01
0000058d: PUSH1 0xa0
0000058f: SHL
00000590: SUB
00000591: DUP6
00000592: AND
00000593: DUP2
00000594: MSTORE
00000595: SWAP1
00000596: MLOAD
00000597: PUSH32 0x143219c9e69b09e07e095fcc889b43d8f46ca892bba65f08dc3a0050869a5678
000005b8: SWAP2
000005b9: DUP2
000005ba: SWAP1
000005bb: SUB
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: LOG1
000005c1: PUSH1 0x40
000005c3: DUP1
000005c4: MLOAD
000005c5: PUSH1 0x01
000005c7: PUSH1 0x01
000005c9: PUSH1 0xa0
000005cb: SHL
000005cc: SUB
000005cd: DUP5
000005ce: AND
000005cf: DUP2
000005d0: MSTORE
000005d1: SWAP1
000005d2: MLOAD
000005d3: PUSH32 0x82966d27eea39b038ee0fa30cd16532bb24f6e65d31cb58fb227aa5766cdcc7f
000005f4: SWAP2
000005f5: DUP2
000005f6: SWAP1
000005f7: SUB
000005f8: PUSH1 0x20
000005fa: ADD
000005fb: SWAP1
000005fc: LOG1
000005fd: PUSH1 0x40
000005ff: DUP1
00000600: MLOAD
00000601: PUSH1 0x01
00000603: PUSH1 0x01
00000605: PUSH1 0xa0
00000607: SHL
00000608: SUB
00000609: DUP4
0000060a: AND
0000060b: DUP2
0000060c: MSTORE
0000060d: SWAP1
0000060e: MLOAD
0000060f: PUSH32 0x5ee0cae2f063ed938bb55046f6a932fb6ae792bf43624806bb90abe68a50be9b
00000630: SWAP2
00000631: DUP2
00000632: SWAP1
00000633: SUB
00000634: PUSH1 0x20
00000636: ADD
00000637: SWAP1
00000638: LOG1
00000639: PUSH2 0x0640
0000063c: PUSH2 0x0983
0000063f: JUMP
00000640: JUMPDEST
00000641: POP
00000642: POP
00000643: POP
00000644: POP
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x02
00000649: SLOAD
0000064a: PUSH1 0x01
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: SHL
00000651: SUB
00000652: AND
00000653: DUP2
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x06
00000658: SLOAD
00000659: SWAP1
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH2 0x0663
0000065f: PUSH2 0x081b
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x05
00000666: SLOAD
00000667: PUSH2 0x0676
0000066a: SWAP1
0000066b: DUP3
0000066c: PUSH4 0xffffffff
00000671: PUSH2 0x088e
00000674: AND
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x05
00000679: DUP2
0000067a: SWAP1
0000067b: SSTORE
0000067c: PUSH1 0x40
0000067e: DUP1
0000067f: MLOAD
00000680: SWAP2
00000681: DUP3
00000682: MSTORE
00000683: MLOAD
00000684: PUSH32 0xca232b5abb988c540b959ff6c3bfae3e97fff964fd098c508f9613c0a6bf1a80
000006a5: SWAP2
000006a6: DUP2
000006a7: SWAP1
000006a8: SUB
000006a9: PUSH1 0x20
000006ab: ADD
000006ac: SWAP1
000006ad: LOG1
000006ae: PUSH1 0x40
000006b0: DUP1
000006b1: MLOAD
000006b2: PUSH1 0x01
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: SHL
000006b9: SUB
000006ba: DUP5
000006bb: AND
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x20
000006c0: DUP2
000006c1: ADD
000006c2: DUP4
000006c3: SWAP1
000006c4: MSTORE
000006c5: DUP2
000006c6: MLOAD
000006c7: PUSH32 0x6109e2559dfa766aaec7118351d48a523f0a4157f49c8d68749c8ac41318ad12
000006e8: SWAP3
000006e9: SWAP2
000006ea: DUP2
000006eb: SWAP1
000006ec: SUB
000006ed: SWAP1
000006ee: SWAP2
000006ef: ADD
000006f0: SWAP1
000006f1: LOG1
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: PUSH1 0x00
000006f7: SWAP1
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: DUP5
00000701: AND
00000702: SWAP1
00000703: DUP4
00000704: SWAP1
00000705: DUP4
00000706: DUP2
00000707: DUP2
00000708: DUP2
00000709: DUP6
0000070a: DUP8
0000070b: GAS
0000070c: CALL
0000070d: SWAP3
0000070e: POP
0000070f: POP
00000710: POP
00000711: RETURNDATASIZE
00000712: DUP1
00000713: PUSH1 0x00
00000715: DUP2
00000716: EQ
00000717: PUSH2 0x073c
0000071a: JUMPI
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: SWAP2
0000071f: POP
00000720: PUSH1 0x1f
00000722: NOT
00000723: PUSH1 0x3f
00000725: RETURNDATASIZE
00000726: ADD
00000727: AND
00000728: DUP3
00000729: ADD
0000072a: PUSH1 0x40
0000072c: MSTORE
0000072d: RETURNDATASIZE
0000072e: DUP3
0000072f: MSTORE
00000730: RETURNDATASIZE
00000731: PUSH1 0x00
00000733: PUSH1 0x20
00000735: DUP5
00000736: ADD
00000737: RETURNDATACOPY
00000738: PUSH2 0x0741
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH1 0x60
0000073f: SWAP2
00000740: POP
00000741: JUMPDEST
00000742: POP
00000743: POP
00000744: SWAP1
00000745: POP
00000746: DUP1
00000747: PUSH2 0x0797
0000074a: JUMPI
0000074b: PUSH1 0x40
0000074d: DUP1
0000074e: MLOAD
0000074f: PUSH3 0x461bcd
00000753: PUSH1 0xe5
00000755: SHL
00000756: DUP2
00000757: MSTORE
00000758: PUSH1 0x20
0000075a: PUSH1 0x04
0000075c: DUP3
0000075d: ADD
0000075e: MSTORE
0000075f: PUSH1 0x1e
00000761: PUSH1 0x24
00000763: DUP3
00000764: ADD
00000765: MSTORE
00000766: PUSH32 0x416374697665506f6f6c3a2073656e64696e6720455448206661696c65640000
00000787: PUSH1 0x44
00000789: DUP3
0000078a: ADD
0000078b: MSTORE
0000078c: SWAP1
0000078d: MLOAD
0000078e: SWAP1
0000078f: DUP2
00000790: SWAP1
00000791: SUB
00000792: PUSH1 0x64
00000794: ADD
00000795: SWAP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: POP
0000079a: POP
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH1 0x00
0000079f: SLOAD
000007a0: PUSH1 0x01
000007a2: PUSH1 0x01
000007a4: PUSH1 0xa0
000007a6: SHL
000007a7: SUB
000007a8: AND
000007a9: SWAP1
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x00
000007ae: SLOAD
000007af: PUSH1 0x01
000007b1: PUSH1 0x01
000007b3: PUSH1 0xa0
000007b5: SHL
000007b6: SUB
000007b7: AND
000007b8: CALLER
000007b9: EQ
000007ba: SWAP1
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: DUP1
000007c1: PUSH1 0x40
000007c3: ADD
000007c4: PUSH1 0x40
000007c6: MSTORE
000007c7: DUP1
000007c8: PUSH1 0x0a
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: PUSH10 0x1058dd1a5d99541bdbdb
000007da: PUSH1 0xb2
000007dc: SHL
000007dd: DUP2
000007de: MSTORE
000007df: POP
000007e0: DUP2
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x04
000007e5: SLOAD
000007e6: PUSH1 0x01
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa0
000007ec: SHL
000007ed: SUB
000007ee: AND
000007ef: DUP2
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x01
000007f4: SLOAD
000007f5: PUSH1 0x01
000007f7: PUSH1 0x01
000007f9: PUSH1 0xa0
000007fb: SHL
000007fc: SUB
000007fd: AND
000007fe: DUP2
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH2 0x0808
00000804: PUSH2 0x09cd
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH1 0x06
0000080b: SLOAD
0000080c: PUSH2 0x0453
0000080f: SWAP1
00000810: DUP3
00000811: PUSH4 0xffffffff
00000816: PUSH2 0x03c2
00000819: AND
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH1 0x01
0000081e: SLOAD
0000081f: PUSH1 0x01
00000821: PUSH1 0x01
00000823: PUSH1 0xa0
00000825: SHL
00000826: SUB
00000827: AND
00000828: CALLER
00000829: EQ
0000082a: DUP1
0000082b: PUSH2 0x083e
0000082e: JUMPI
0000082f: POP
00000830: PUSH1 0x02
00000832: SLOAD
00000833: PUSH1 0x01
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: SHL
0000083a: SUB
0000083b: AND
0000083c: CALLER
0000083d: EQ
0000083e: JUMPDEST
0000083f: DUP1
00000840: PUSH2 0x0853
00000843: JUMPI
00000844: POP
00000845: PUSH1 0x03
00000847: SLOAD
00000848: PUSH1 0x01
0000084a: PUSH1 0x01
0000084c: PUSH1 0xa0
0000084e: SHL
0000084f: SUB
00000850: AND
00000851: CALLER
00000852: EQ
00000853: JUMPDEST
00000854: PUSH2 0x03c0
00000857: JUMPI
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: PUSH3 0x461bcd
0000085f: PUSH1 0xe5
00000861: SHL
00000862: DUP2
00000863: MSTORE
00000864: PUSH1 0x04
00000866: ADD
00000867: DUP1
00000868: DUP1
00000869: PUSH1 0x20
0000086b: ADD
0000086c: DUP3
0000086d: DUP2
0000086e: SUB
0000086f: DUP3
00000870: MSTORE
00000871: PUSH1 0x53
00000873: DUP2
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: DUP1
00000879: PUSH2 0x0b04
0000087c: PUSH1 0x53
0000087e: SWAP2
0000087f: CODECOPY
00000880: PUSH1 0x60
00000882: ADD
00000883: SWAP2
00000884: POP
00000885: POP
00000886: PUSH1 0x40
00000888: MLOAD
00000889: DUP1
0000088a: SWAP2
0000088b: SUB
0000088c: SWAP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: PUSH1 0x00
00000891: PUSH2 0x041c
00000894: DUP4
00000895: DUP4
00000896: PUSH1 0x40
00000898: MLOAD
00000899: DUP1
0000089a: PUSH1 0x40
0000089c: ADD
0000089d: PUSH1 0x40
0000089f: MSTORE
000008a0: DUP1
000008a1: PUSH1 0x1e
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: ADD
000008a8: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000008c9: DUP2
000008ca: MSTORE
000008cb: POP
000008cc: PUSH2 0x0a2b
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x01
000008d3: PUSH1 0x01
000008d5: PUSH1 0xa0
000008d7: SHL
000008d8: SUB
000008d9: DUP2
000008da: AND
000008db: PUSH2 0x092b
000008de: JUMPI
000008df: PUSH1 0x40
000008e1: DUP1
000008e2: MLOAD
000008e3: PUSH3 0x461bcd
000008e7: PUSH1 0xe5
000008e9: SHL
000008ea: DUP2
000008eb: MSTORE
000008ec: PUSH1 0x20
000008ee: PUSH1 0x04
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH1 0x1e
000008f5: PUSH1 0x24
000008f7: DUP3
000008f8: ADD
000008f9: MSTORE
000008fa: PUSH32 0x4163636f756e742063616e6e6f74206265207a65726f20616464726573730000
0000091b: PUSH1 0x44
0000091d: DUP3
0000091e: ADD
0000091f: MSTORE
00000920: SWAP1
00000921: MLOAD
00000922: SWAP1
00000923: DUP2
00000924: SWAP1
00000925: SUB
00000926: PUSH1 0x64
00000928: ADD
00000929: SWAP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: DUP1
0000092d: EXTCODESIZE
0000092e: DUP1
0000092f: PUSH2 0x097f
00000932: JUMPI
00000933: PUSH1 0x40
00000935: DUP1
00000936: MLOAD
00000937: PUSH3 0x461bcd
0000093b: PUSH1 0xe5
0000093d: SHL
0000093e: DUP2
0000093f: MSTORE
00000940: PUSH1 0x20
00000942: PUSH1 0x04
00000944: DUP3
00000945: ADD
00000946: DUP2
00000947: SWAP1
00000948: MSTORE
00000949: PUSH1 0x24
0000094b: DUP3
0000094c: ADD
0000094d: MSTORE
0000094e: PUSH32 0x4163636f756e7420636f64652073697a652063616e6e6f74206265207a65726f
0000096f: PUSH1 0x44
00000971: DUP3
00000972: ADD
00000973: MSTORE
00000974: SWAP1
00000975: MLOAD
00000976: SWAP1
00000977: DUP2
00000978: SWAP1
00000979: SUB
0000097a: PUSH1 0x64
0000097c: ADD
0000097d: SWAP1
0000097e: REVERT
0000097f: JUMPDEST
00000980: POP
00000981: POP
00000982: JUMP
00000983: JUMPDEST
00000984: PUSH1 0x00
00000986: DUP1
00000987: SLOAD
00000988: PUSH1 0x40
0000098a: MLOAD
0000098b: PUSH1 0x01
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: SHL
00000992: SUB
00000993: SWAP1
00000994: SWAP2
00000995: AND
00000996: SWAP1
00000997: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000009b8: SWAP1
000009b9: DUP4
000009ba: SWAP1
000009bb: LOG3
000009bc: PUSH1 0x00
000009be: DUP1
000009bf: SLOAD
000009c0: PUSH1 0x01
000009c2: PUSH1 0x01
000009c4: PUSH1 0xa0
000009c6: SHL
000009c7: SUB
000009c8: NOT
000009c9: AND
000009ca: SWAP1
000009cb: SSTORE
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH1 0x01
000009d0: SLOAD
000009d1: PUSH1 0x01
000009d3: PUSH1 0x01
000009d5: PUSH1 0xa0
000009d7: SHL
000009d8: SUB
000009d9: AND
000009da: CALLER
000009db: EQ
000009dc: DUP1
000009dd: PUSH2 0x09f0
000009e0: JUMPI
000009e1: POP
000009e2: PUSH1 0x02
000009e4: SLOAD
000009e5: PUSH1 0x01
000009e7: PUSH1 0x01
000009e9: PUSH1 0xa0
000009eb: SHL
000009ec: SUB
000009ed: AND
000009ee: CALLER
000009ef: EQ
000009f0: JUMPDEST
000009f1: PUSH2 0x03c0
000009f4: JUMPI
000009f5: PUSH1 0x40
000009f7: MLOAD
000009f8: PUSH3 0x461bcd
000009fc: PUSH1 0xe5
000009fe: SHL
000009ff: DUP2
00000a00: MSTORE
00000a01: PUSH1 0x04
00000a03: ADD
00000a04: DUP1
00000a05: DUP1
00000a06: PUSH1 0x20
00000a08: ADD
00000a09: DUP3
00000a0a: DUP2
00000a0b: SUB
00000a0c: DUP3
00000a0d: MSTORE
00000a0e: PUSH1 0x41
00000a10: DUP2
00000a11: MSTORE
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: DUP1
00000a16: PUSH2 0x0ac3
00000a19: PUSH1 0x41
00000a1b: SWAP2
00000a1c: CODECOPY
00000a1d: PUSH1 0x60
00000a1f: ADD
00000a20: SWAP2
00000a21: POP
00000a22: POP
00000a23: PUSH1 0x40
00000a25: MLOAD
00000a26: DUP1
00000a27: SWAP2
00000a28: SUB
00000a29: SWAP1
00000a2a: REVERT
00000a2b: JUMPDEST
00000a2c: PUSH1 0x00
00000a2e: DUP2
00000a2f: DUP5
00000a30: DUP5
00000a31: GT
00000a32: ISZERO
00000a33: PUSH2 0x0aba
00000a36: JUMPI
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: PUSH3 0x461bcd
00000a3e: PUSH1 0xe5
00000a40: SHL
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x04
00000a45: ADD
00000a46: DUP1
00000a47: DUP1
00000a48: PUSH1 0x20
00000a4a: ADD
00000a4b: DUP3
00000a4c: DUP2
00000a4d: SUB
00000a4e: DUP3
00000a4f: MSTORE
00000a50: DUP4
00000a51: DUP2
00000a52: DUP2
00000a53: MLOAD
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x20
00000a58: ADD
00000a59: SWAP2
00000a5a: POP
00000a5b: DUP1
00000a5c: MLOAD
00000a5d: SWAP1
00000a5e: PUSH1 0x20
00000a60: ADD
00000a61: SWAP1
00000a62: DUP1
00000a63: DUP4
00000a64: DUP4
00000a65: PUSH1 0x00
00000a67: JUMPDEST
00000a68: DUP4
00000a69: DUP2
00000a6a: LT
00000a6b: ISZERO
00000a6c: PUSH2 0x0a7f
00000a6f: JUMPI
00000a70: DUP2
00000a71: DUP2
00000a72: ADD
00000a73: MLOAD
00000a74: DUP4
00000a75: DUP3
00000a76: ADD
00000a77: MSTORE
00000a78: PUSH1 0x20
00000a7a: ADD
00000a7b: PUSH2 0x0a67
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: SWAP1
00000a85: POP
00000a86: SWAP1
00000a87: DUP2
00000a88: ADD
00000a89: SWAP1
00000a8a: PUSH1 0x1f
00000a8c: AND
00000a8d: DUP1
00000a8e: ISZERO
00000a8f: PUSH2 0x0aac
00000a92: JUMPI
00000a93: DUP1
00000a94: DUP3
00000a95: SUB
00000a96: DUP1
00000a97: MLOAD
00000a98: PUSH1 0x01
00000a9a: DUP4
00000a9b: PUSH1 0x20
00000a9d: SUB
00000a9e: PUSH2 0x0100
00000aa1: EXP
00000aa2: SUB
00000aa3: NOT
00000aa4: AND
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: SWAP2
00000aab: POP
00000aac: JUMPDEST
00000aad: POP
00000aae: SWAP3
00000aaf: POP
00000ab0: POP
00000ab1: POP
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: DUP1
00000ab6: SWAP2
00000ab7: SUB
00000ab8: SWAP1
00000ab9: REVERT
00000aba: JUMPDEST
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: SWAP1
00000abf: SUB
00000ac0: SWAP1
00000ac1: JUMP
00000ac2: INVALID
00000ac3: COINBASE
00000ac4: PUSH4 0x74697665
00000ac9: POP
00000aca: PUSH16 0x6f6c3a2043616c6c6572206973206e65
00000adb: PUSH10 0x7468657220426f72726f
00000ae6: PUSH24 0x65724f7065726174696f6e73206e6f722054726f76654d61
00000aff: PUSH15 0x61676572416374697665506f6f6c3a
00000b0f: KECCAK256
00000b10: NUMBER
00000b11: PUSH2 0x6c6c
00000b14: PUSH6 0x72206973206e
00000b1b: PUSH6 0x697468657220
00000b22: TIMESTAMP
00000b23: PUSH16 0x72726f7765724f7065726174696f6e73
00000b34: KECCAK256
00000b35: PUSH15 0x6f722054726f76654d616e61676572
00000b45: KECCAK256
00000b46: PUSH15 0x6f722053746162696c697479506f6f
00000b56: PUSH13 0x416374697665506f6f6c3a2043
00000b64: PUSH2 0x6c6c
00000b67: PUSH6 0x72206973206e
00000b6e: PUSH6 0x697468657220
00000b75: TIMESTAMP
00000b76: UNKNOWN(0x4F)
00000b77: KECCAK256
00000b78: PUSH15 0x6f722044656661756c7420506f6f6c
00000b88: LOG2
00000b89: PUSH5 0x6970667358
00000b8f: UNKNOWN(0x22)
00000b90: SLT
00000b91: KECCAK256
00000b92: UNKNOWN(0xF7)
00000b93: UNKNOWN(0xC1)
00000b94: EXTCODECOPY
00000b95: GASPRICE
00000b96: PC
00000b97: PUSH27 0xd92722fc5c916dc59a291e2482c976811ab5ad7abbe09458783964
00000bb3: PUSH20
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108
call_targets: 0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f"
    ],
    "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": "0x64a197f3",
            "selector": "0x64a197f3",
            "calldata_variants": [
                "0x64a197f3",
                "0x64a197f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f4df7e",
            "selector": "0xa3f4df7e",
            "calldata_variants": [
                "0xa3f4df7e",
                "0xa3f4df7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaac1846f",
            "selector": "0xaac1846f",
            "calldata_variants": [
                "0xaac1846f",
                "0xaac1846f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7f8cf9b",
            "selector": "0xb7f8cf9b",
            "calldata_variants": [
                "0xb7f8cf9b",
                "0xb7f8cf9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfb9329a",
            "selector": "0xcfb9329a",
            "calldata_variants": [
                "0xcfb9329a",
                "0xcfb9329a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b622ab2",
            "selector": "0x0b622ab2",
            "calldata_variants": [
                "0x0b622ab2",
                "0x0b622ab20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1804,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108
call_targets: 0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8a888190393503264e1575ab09d26c85d4406f31cf1c09f0b0e2f8ca701dd108",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdf9eb223bafbe5c5271415c75aecd68c21fe3d7f"
    ],
    "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": "0x64a197f3",
            "selector": "0x64a197f3",
            "calldata_variants": [
                "0x64a197f3",
                "0x64a197f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3f4df7e",
            "selector": "0xa3f4df7e",
            "calldata_variants": [
                "0xa3f4df7e",
                "0xa3f4df7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaac1846f",
            "selector": "0xaac1846f",
            "calldata_variants": [
                "0xaac1846f",
                "0xaac1846f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb7f8cf9b",
            "selector": "0xb7f8cf9b",
            "calldata_variants": [
                "0xb7f8cf9b",
                "0xb7f8cf9b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcfb9329a",
            "selector": "0xcfb9329a",
            "calldata_variants": [
                "0xcfb9329a",
                "0xcfb9329a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b622ab2",
            "selector": "0x0b622ab2",
            "calldata_variants": [
                "0x0b622ab2",
                "0x0b622ab20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1804,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}