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

Analysis Run

019b3844-a1d6-7197-a15d-5b7a60d42c90

complete
Chain ID
1
Address
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?

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
15533 artifact.fetch complete 1 / 3 3 months ago
15534 tool.cast_disasm complete 1 / 3 3 months ago
58817 analysis.bundle complete 1 / 3 1 week ago
58818 capability.graph complete 1 / 3 1 week ago
58819 detector.run complete 1 / 3 1 week ago
58820 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)
4
EXT*/BALANCE
1
Total opcodes
2202
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 0x003f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x337bc2fa
00000019: EQ
0000001a: PUSH2 0x0044
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x7249fbb6
00000024: EQ
00000025: PUSH2 0x006a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x84cc9dfb
0000002f: EQ
00000030: PUSH2 0x008c
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x91edd8f2
0000003a: EQ
0000003b: PUSH2 0x00ac
0000003e: JUMPI
0000003f: JUMPDEST
00000040: PUSH1 0x00
00000042: DUP1
00000043: REVERT
00000044: JUMPDEST
00000045: PUSH2 0x0057
00000048: PUSH2 0x0052
0000004b: CALLDATASIZE
0000004c: PUSH1 0x04
0000004e: PUSH2 0x0a95
00000051: JUMP
00000052: JUMPDEST
00000053: PUSH2 0x0147
00000056: JUMP
00000057: JUMPDEST
00000058: PUSH1 0x40
0000005a: MLOAD
0000005b: SWAP1
0000005c: DUP2
0000005d: MSTORE
0000005e: PUSH1 0x20
00000060: ADD
00000061: JUMPDEST
00000062: PUSH1 0x40
00000064: MLOAD
00000065: DUP1
00000066: SWAP2
00000067: SUB
00000068: SWAP1
00000069: RETURN
0000006a: JUMPDEST
0000006b: CALLVALUE
0000006c: DUP1
0000006d: ISZERO
0000006e: PUSH2 0x0076
00000071: JUMPI
00000072: PUSH1 0x00
00000074: DUP1
00000075: REVERT
00000076: JUMPDEST
00000077: POP
00000078: PUSH2 0x008a
0000007b: PUSH2 0x0085
0000007e: CALLDATASIZE
0000007f: PUSH1 0x04
00000081: PUSH2 0x0aad
00000084: JUMP
00000085: JUMPDEST
00000086: PUSH2 0x036d
00000089: JUMP
0000008a: JUMPDEST
0000008b: STOP
0000008c: JUMPDEST
0000008d: CALLVALUE
0000008e: DUP1
0000008f: ISZERO
00000090: PUSH2 0x0098
00000093: JUMPI
00000094: PUSH1 0x00
00000096: DUP1
00000097: REVERT
00000098: JUMPDEST
00000099: POP
0000009a: PUSH2 0x008a
0000009d: PUSH2 0x00a7
000000a0: CALLDATASIZE
000000a1: PUSH1 0x04
000000a3: PUSH2 0x0ac6
000000a6: JUMP
000000a7: JUMPDEST
000000a8: PUSH2 0x04c8
000000ab: JUMP
000000ac: JUMPDEST
000000ad: CALLVALUE
000000ae: DUP1
000000af: ISZERO
000000b0: PUSH2 0x00b8
000000b3: JUMPI
000000b4: PUSH1 0x00
000000b6: DUP1
000000b7: REVERT
000000b8: JUMPDEST
000000b9: POP
000000ba: PUSH2 0x010b
000000bd: PUSH2 0x00c7
000000c0: CALLDATASIZE
000000c1: PUSH1 0x04
000000c3: PUSH2 0x0aad
000000c6: JUMP
000000c7: JUMPDEST
000000c8: PUSH1 0x00
000000ca: PUSH1 0x20
000000cc: DUP2
000000cd: SWAP1
000000ce: MSTORE
000000cf: SWAP1
000000d0: DUP2
000000d1: MSTORE
000000d2: PUSH1 0x40
000000d4: SWAP1
000000d5: KECCAK256
000000d6: DUP1
000000d7: SLOAD
000000d8: PUSH1 0x01
000000da: DUP3
000000db: ADD
000000dc: SLOAD
000000dd: PUSH1 0x02
000000df: DUP4
000000e0: ADD
000000e1: SLOAD
000000e2: PUSH1 0x03
000000e4: DUP5
000000e5: ADD
000000e6: SLOAD
000000e7: PUSH1 0x04
000000e9: DUP6
000000ea: ADD
000000eb: SLOAD
000000ec: PUSH1 0x05
000000ee: SWAP1
000000ef: SWAP6
000000f0: ADD
000000f1: SLOAD
000000f2: SWAP4
000000f3: SWAP5
000000f4: SWAP3
000000f5: SWAP4
000000f6: SWAP2
000000f7: SWAP3
000000f8: PUSH1 0x01
000000fa: PUSH1 0x01
000000fc: PUSH1 0xa0
000000fe: SHL
000000ff: SUB
00000100: SWAP2
00000101: DUP3
00000102: AND
00000103: SWAP3
00000104: SWAP1
00000105: DUP3
00000106: AND
00000107: SWAP2
00000108: AND
00000109: DUP7
0000010a: JUMP
0000010b: JUMPDEST
0000010c: PUSH1 0x40
0000010e: DUP1
0000010f: MLOAD
00000110: SWAP7
00000111: DUP8
00000112: MSTORE
00000113: PUSH1 0x20
00000115: DUP8
00000116: ADD
00000117: SWAP6
00000118: SWAP1
00000119: SWAP6
0000011a: MSTORE
0000011b: SWAP4
0000011c: DUP6
0000011d: ADD
0000011e: SWAP3
0000011f: SWAP1
00000120: SWAP3
00000121: MSTORE
00000122: PUSH1 0x01
00000124: PUSH1 0x01
00000126: PUSH1 0xa0
00000128: SHL
00000129: SUB
0000012a: SWAP1
0000012b: DUP2
0000012c: AND
0000012d: PUSH1 0x60
0000012f: DUP6
00000130: ADD
00000131: MSTORE
00000132: SWAP1
00000133: DUP2
00000134: AND
00000135: PUSH1 0x80
00000137: DUP5
00000138: ADD
00000139: MSTORE
0000013a: AND
0000013b: PUSH1 0xa0
0000013d: DUP3
0000013e: ADD
0000013f: MSTORE
00000140: PUSH1 0xc0
00000142: ADD
00000143: PUSH2 0x0061
00000146: JUMP
00000147: JUMPDEST
00000148: PUSH1 0x00
0000014a: TIMESTAMP
0000014b: DUP3
0000014c: PUSH1 0x20
0000014e: ADD
0000014f: CALLDATALOAD
00000150: LT
00000151: ISZERO
00000152: PUSH2 0x016e
00000155: JUMPI
00000156: PUSH1 0x40
00000158: MLOAD
00000159: PUSH4 0xe7ec8bc9
0000015e: PUSH1 0xe0
00000160: SHL
00000161: DUP2
00000162: MSTORE
00000163: PUSH1 0x04
00000165: ADD
00000166: PUSH1 0x40
00000168: MLOAD
00000169: DUP1
0000016a: SWAP2
0000016b: SUB
0000016c: SWAP1
0000016d: REVERT
0000016e: JUMPDEST
0000016f: DUP2
00000170: CALLDATALOAD
00000171: PUSH2 0x018d
00000174: JUMPI
00000175: PUSH1 0x40
00000177: MLOAD
00000178: PUSH4 0x9f7fe22f
0000017d: PUSH1 0xe0
0000017f: SHL
00000180: DUP2
00000181: MSTORE
00000182: PUSH1 0x04
00000184: ADD
00000185: PUSH1 0x40
00000187: MLOAD
00000188: DUP1
00000189: SWAP2
0000018a: SUB
0000018b: SWAP1
0000018c: REVERT
0000018d: JUMPDEST
0000018e: PUSH1 0x00
00000190: PUSH2 0x019f
00000193: PUSH1 0x80
00000195: DUP5
00000196: ADD
00000197: PUSH1 0x60
00000199: DUP6
0000019a: ADD
0000019b: PUSH2 0x0b00
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x01
000001a2: PUSH1 0x01
000001a4: PUSH1 0xa0
000001a6: SHL
000001a7: SUB
000001a8: AND
000001a9: EQ
000001aa: ISZERO
000001ab: PUSH2 0x01d4
000001ae: JUMPI
000001af: DUP2
000001b0: CALLDATALOAD
000001b1: CALLVALUE
000001b2: EQ
000001b3: PUSH2 0x01cf
000001b6: JUMPI
000001b7: PUSH1 0x40
000001b9: MLOAD
000001ba: PUSH4 0x09a9fccd
000001bf: PUSH1 0xe0
000001c1: SHL
000001c2: DUP2
000001c3: MSTORE
000001c4: PUSH1 0x04
000001c6: ADD
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: DUP1
000001cb: SWAP2
000001cc: SUB
000001cd: SWAP1
000001ce: REVERT
000001cf: JUMPDEST
000001d0: PUSH2 0x021b
000001d3: JUMP
000001d4: JUMPDEST
000001d5: CALLVALUE
000001d6: ISZERO
000001d7: PUSH2 0x01f3
000001da: JUMPI
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: PUSH4 0x09a9fccd
000001e3: PUSH1 0xe0
000001e5: SHL
000001e6: DUP2
000001e7: MSTORE
000001e8: PUSH1 0x04
000001ea: ADD
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: SWAP2
000001f0: SUB
000001f1: SWAP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: PUSH2 0x021b
000001f7: CALLER
000001f8: ADDRESS
000001f9: DUP5
000001fa: CALLDATALOAD
000001fb: PUSH2 0x020a
000001fe: PUSH1 0x80
00000200: DUP8
00000201: ADD
00000202: PUSH1 0x60
00000204: DUP9
00000205: ADD
00000206: PUSH2 0x0b00
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x01
0000020d: PUSH1 0x01
0000020f: PUSH1 0xa0
00000211: SHL
00000212: SUB
00000213: AND
00000214: SWAP3
00000215: SWAP2
00000216: SWAP1
00000217: PUSH2 0x06a0
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x02
0000021e: PUSH2 0x022d
00000221: PUSH1 0xa0
00000223: DUP5
00000224: ADD
00000225: PUSH1 0x80
00000227: DUP6
00000228: ADD
00000229: PUSH2 0x0b00
0000022c: JUMP
0000022d: JUMPDEST
0000022e: TIMESTAMP
0000022f: DUP5
00000230: CALLDATALOAD
00000231: PUSH1 0x20
00000233: DUP7
00000234: ADD
00000235: CALLDATALOAD
00000236: PUSH1 0x40
00000238: DUP8
00000239: ADD
0000023a: CALLDATALOAD
0000023b: PUSH2 0x024a
0000023e: PUSH1 0xc0
00000240: DUP10
00000241: ADD
00000242: PUSH1 0xa0
00000244: DUP11
00000245: ADD
00000246: PUSH2 0x0b00
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: DUP1
0000024e: MLOAD
0000024f: PUSH1 0x01
00000251: PUSH1 0x01
00000253: PUSH1 0xa0
00000255: SHL
00000256: SUB
00000257: SWAP8
00000258: DUP9
00000259: AND
0000025a: PUSH1 0x20
0000025c: DUP3
0000025d: ADD
0000025e: MSTORE
0000025f: SWAP1
00000260: DUP2
00000261: ADD
00000262: SWAP6
00000263: SWAP1
00000264: SWAP6
00000265: MSTORE
00000266: PUSH1 0x60
00000268: DUP6
00000269: ADD
0000026a: SWAP4
0000026b: SWAP1
0000026c: SWAP4
0000026d: MSTORE
0000026e: PUSH1 0x80
00000270: DUP5
00000271: ADD
00000272: SWAP2
00000273: SWAP1
00000274: SWAP2
00000275: MSTORE
00000276: PUSH1 0xa0
00000278: DUP4
00000279: ADD
0000027a: MSTORE
0000027b: SWAP1
0000027c: SWAP2
0000027d: AND
0000027e: PUSH1 0xc0
00000280: DUP3
00000281: ADD
00000282: MSTORE
00000283: PUSH1 0xe0
00000285: ADD
00000286: PUSH1 0x40
00000288: DUP1
00000289: MLOAD
0000028a: PUSH1 0x1f
0000028c: NOT
0000028d: DUP2
0000028e: DUP5
0000028f: SUB
00000290: ADD
00000291: DUP2
00000292: MSTORE
00000293: SWAP1
00000294: DUP3
00000295: SWAP1
00000296: MSTORE
00000297: PUSH2 0x029f
0000029a: SWAP2
0000029b: PUSH2 0x0b49
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH1 0x20
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: DUP1
000002a6: DUP4
000002a7: SUB
000002a8: DUP2
000002a9: DUP6
000002aa: GAS
000002ab: STATICCALL
000002ac: ISZERO
000002ad: DUP1
000002ae: ISZERO
000002af: PUSH2 0x02bc
000002b2: JUMPI
000002b3: RETURNDATASIZE
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: RETURNDATACOPY
000002b8: RETURNDATASIZE
000002b9: PUSH1 0x00
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: POP
000002bf: POP
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: RETURNDATASIZE
000002c4: PUSH1 0x1f
000002c6: NOT
000002c7: PUSH1 0x1f
000002c9: DUP3
000002ca: ADD
000002cb: AND
000002cc: DUP3
000002cd: ADD
000002ce: DUP1
000002cf: PUSH1 0x40
000002d1: MSTORE
000002d2: POP
000002d3: DUP2
000002d4: ADD
000002d5: SWAP1
000002d6: PUSH2 0x02df
000002d9: SWAP2
000002da: SWAP1
000002db: PUSH2 0x0b65
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH1 0x00
000002e2: DUP2
000002e3: DUP2
000002e4: MSTORE
000002e5: PUSH1 0x20
000002e7: DUP2
000002e8: SWAP1
000002e9: MSTORE
000002ea: PUSH1 0x40
000002ec: SWAP1
000002ed: KECCAK256
000002ee: PUSH1 0x01
000002f0: ADD
000002f1: SLOAD
000002f2: SWAP1
000002f3: SWAP2
000002f4: POP
000002f5: ISZERO
000002f6: PUSH2 0x0312
000002f9: JUMPI
000002fa: PUSH1 0x40
000002fc: MLOAD
000002fd: PUSH4 0x908b86b7
00000302: PUSH1 0xe0
00000304: SHL
00000305: DUP2
00000306: MSTORE
00000307: PUSH1 0x04
00000309: ADD
0000030a: PUSH1 0x40
0000030c: MLOAD
0000030d: DUP1
0000030e: SWAP2
0000030f: SUB
00000310: SWAP1
00000311: REVERT
00000312: JUMPDEST
00000313: PUSH1 0x00
00000315: DUP2
00000316: DUP2
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: DUP2
0000031b: SWAP1
0000031c: MSTORE
0000031d: PUSH1 0x40
0000031f: SWAP1
00000320: KECCAK256
00000321: DUP3
00000322: SWAP1
00000323: PUSH2 0x032c
00000326: DUP3
00000327: DUP3
00000328: PUSH2 0x0b7e
0000032b: JUMP
0000032c: JUMPDEST
0000032d: SWAP1
0000032e: POP
0000032f: POP
00000330: PUSH32 0x3c07675a13dc2c3d44c781f9dd3db9ac3a9cc543a5f46777f7bd60a942cf6eb7
00000351: DUP2
00000352: DUP4
00000353: PUSH1 0x40
00000355: MLOAD
00000356: PUSH2 0x0360
00000359: SWAP3
0000035a: SWAP2
0000035b: SWAP1
0000035c: PUSH2 0x0c1e
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH1 0x40
00000363: MLOAD
00000364: DUP1
00000365: SWAP2
00000366: SUB
00000367: SWAP1
00000368: LOG1
00000369: SWAP2
0000036a: SWAP1
0000036b: POP
0000036c: JUMP
0000036d: JUMPDEST
0000036e: PUSH1 0x00
00000370: DUP2
00000371: DUP2
00000372: MSTORE
00000373: PUSH1 0x20
00000375: DUP2
00000376: DUP2
00000377: MSTORE
00000378: PUSH1 0x40
0000037a: SWAP2
0000037b: DUP3
0000037c: SWAP1
0000037d: KECCAK256
0000037e: DUP3
0000037f: MLOAD
00000380: PUSH1 0xc0
00000382: DUP2
00000383: ADD
00000384: DUP5
00000385: MSTORE
00000386: DUP2
00000387: SLOAD
00000388: DUP2
00000389: MSTORE
0000038a: PUSH1 0x01
0000038c: DUP3
0000038d: ADD
0000038e: SLOAD
0000038f: SWAP3
00000390: DUP2
00000391: ADD
00000392: DUP4
00000393: SWAP1
00000394: MSTORE
00000395: PUSH1 0x02
00000397: DUP3
00000398: ADD
00000399: SLOAD
0000039a: SWAP4
0000039b: DUP2
0000039c: ADD
0000039d: SWAP4
0000039e: SWAP1
0000039f: SWAP4
000003a0: MSTORE
000003a1: PUSH1 0x03
000003a3: DUP2
000003a4: ADD
000003a5: SLOAD
000003a6: PUSH1 0x01
000003a8: PUSH1 0x01
000003aa: PUSH1 0xa0
000003ac: SHL
000003ad: SUB
000003ae: SWAP1
000003af: DUP2
000003b0: AND
000003b1: PUSH1 0x60
000003b3: DUP6
000003b4: ADD
000003b5: MSTORE
000003b6: PUSH1 0x04
000003b8: DUP3
000003b9: ADD
000003ba: SLOAD
000003bb: DUP2
000003bc: AND
000003bd: PUSH1 0x80
000003bf: DUP6
000003c0: ADD
000003c1: MSTORE
000003c2: PUSH1 0x05
000003c4: SWAP1
000003c5: SWAP2
000003c6: ADD
000003c7: SLOAD
000003c8: AND
000003c9: PUSH1 0xa0
000003cb: DUP4
000003cc: ADD
000003cd: MSTORE
000003ce: PUSH2 0x03ea
000003d1: JUMPI
000003d2: PUSH1 0x40
000003d4: MLOAD
000003d5: PUSH4 0x501a3cef
000003da: PUSH1 0xe1
000003dc: SHL
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x04
000003e1: ADD
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: DUP1
000003e6: SWAP2
000003e7: SUB
000003e8: SWAP1
000003e9: REVERT
000003ea: JUMPDEST
000003eb: DUP1
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: MLOAD
000003f0: TIMESTAMP
000003f1: GT
000003f2: PUSH2 0x040e
000003f5: JUMPI
000003f6: PUSH1 0x40
000003f8: MLOAD
000003f9: PUSH4 0x77128aa1
000003fe: PUSH1 0xe1
00000400: SHL
00000401: DUP2
00000402: MSTORE
00000403: PUSH1 0x04
00000405: ADD
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: SWAP2
0000040b: SUB
0000040c: SWAP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: PUSH1 0x00
00000411: DUP3
00000412: DUP2
00000413: MSTORE
00000414: PUSH1 0x20
00000416: DUP2
00000417: SWAP1
00000418: MSTORE
00000419: PUSH1 0x40
0000041b: DUP1
0000041c: DUP3
0000041d: KECCAK256
0000041e: DUP3
0000041f: DUP2
00000420: SSTORE
00000421: PUSH1 0x01
00000423: DUP2
00000424: ADD
00000425: DUP4
00000426: SWAP1
00000427: SSTORE
00000428: PUSH1 0x02
0000042a: DUP2
0000042b: ADD
0000042c: DUP4
0000042d: SWAP1
0000042e: SSTORE
0000042f: PUSH1 0x03
00000431: DUP2
00000432: ADD
00000433: DUP1
00000434: SLOAD
00000435: PUSH1 0x01
00000437: PUSH1 0x01
00000439: PUSH1 0xa0
0000043b: SHL
0000043c: SUB
0000043d: NOT
0000043e: SWAP1
0000043f: DUP2
00000440: AND
00000441: SWAP1
00000442: SWAP2
00000443: SSTORE
00000444: PUSH1 0x04
00000446: DUP3
00000447: ADD
00000448: DUP1
00000449: SLOAD
0000044a: DUP3
0000044b: AND
0000044c: SWAP1
0000044d: SSTORE
0000044e: PUSH1 0x05
00000450: SWAP1
00000451: SWAP2
00000452: ADD
00000453: DUP1
00000454: SLOAD
00000455: SWAP1
00000456: SWAP2
00000457: AND
00000458: SWAP1
00000459: SSTORE
0000045a: MLOAD
0000045b: DUP4
0000045c: SWAP2
0000045d: PUSH32 0x3fbd469ec3a5ce074f975f76ce27e727ba21c99176917b97ae2e713695582a12
0000047e: SWAP2
0000047f: LOG2
00000480: PUSH1 0x60
00000482: DUP2
00000483: ADD
00000484: MLOAD
00000485: PUSH1 0x01
00000487: PUSH1 0x01
00000489: PUSH1 0xa0
0000048b: SHL
0000048c: SUB
0000048d: AND
0000048e: PUSH2 0x04a7
00000491: JUMPI
00000492: PUSH2 0x04a3
00000495: DUP2
00000496: PUSH1 0x80
00000498: ADD
00000499: MLOAD
0000049a: DUP3
0000049b: PUSH1 0x00
0000049d: ADD
0000049e: MLOAD
0000049f: PUSH2 0x073e
000004a2: JUMP
000004a3: JUMPDEST
000004a4: POP
000004a5: POP
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH1 0x80
000004aa: DUP2
000004ab: ADD
000004ac: MLOAD
000004ad: DUP2
000004ae: MLOAD
000004af: PUSH1 0x60
000004b1: DUP4
000004b2: ADD
000004b3: MLOAD
000004b4: PUSH2 0x04a3
000004b7: SWAP3
000004b8: PUSH1 0x01
000004ba: PUSH1 0x01
000004bc: PUSH1 0xa0
000004be: SHL
000004bf: SUB
000004c0: SWAP1
000004c1: SWAP2
000004c2: AND
000004c3: SWAP2
000004c4: PUSH2 0x07e6
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH1 0x00
000004cb: DUP3
000004cc: DUP2
000004cd: MSTORE
000004ce: PUSH1 0x20
000004d0: DUP2
000004d1: DUP2
000004d2: MSTORE
000004d3: PUSH1 0x40
000004d5: SWAP2
000004d6: DUP3
000004d7: SWAP1
000004d8: KECCAK256
000004d9: DUP3
000004da: MLOAD
000004db: PUSH1 0xc0
000004dd: DUP2
000004de: ADD
000004df: DUP5
000004e0: MSTORE
000004e1: DUP2
000004e2: SLOAD
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x01
000004e7: DUP3
000004e8: ADD
000004e9: SLOAD
000004ea: SWAP3
000004eb: DUP2
000004ec: ADD
000004ed: DUP4
000004ee: SWAP1
000004ef: MSTORE
000004f0: PUSH1 0x02
000004f2: DUP3
000004f3: ADD
000004f4: SLOAD
000004f5: SWAP4
000004f6: DUP2
000004f7: ADD
000004f8: SWAP4
000004f9: SWAP1
000004fa: SWAP4
000004fb: MSTORE
000004fc: PUSH1 0x03
000004fe: DUP2
000004ff: ADD
00000500: SLOAD
00000501: PUSH1 0x01
00000503: PUSH1 0x01
00000505: PUSH1 0xa0
00000507: SHL
00000508: SUB
00000509: SWAP1
0000050a: DUP2
0000050b: AND
0000050c: PUSH1 0x60
0000050e: DUP6
0000050f: ADD
00000510: MSTORE
00000511: PUSH1 0x04
00000513: DUP3
00000514: ADD
00000515: SLOAD
00000516: DUP2
00000517: AND
00000518: PUSH1 0x80
0000051a: DUP6
0000051b: ADD
0000051c: MSTORE
0000051d: PUSH1 0x05
0000051f: SWAP1
00000520: SWAP2
00000521: ADD
00000522: SLOAD
00000523: AND
00000524: PUSH1 0xa0
00000526: DUP4
00000527: ADD
00000528: MSTORE
00000529: PUSH2 0x0545
0000052c: JUMPI
0000052d: PUSH1 0x40
0000052f: MLOAD
00000530: PUSH4 0x501a3cef
00000535: PUSH1 0xe1
00000537: SHL
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x04
0000053c: ADD
0000053d: PUSH1 0x40
0000053f: MLOAD
00000540: DUP1
00000541: SWAP2
00000542: SUB
00000543: SWAP1
00000544: REVERT
00000545: JUMPDEST
00000546: DUP1
00000547: PUSH1 0x40
00000549: ADD
0000054a: MLOAD
0000054b: PUSH1 0x02
0000054d: DUP4
0000054e: PUSH1 0x40
00000550: MLOAD
00000551: PUSH1 0x20
00000553: ADD
00000554: PUSH2 0x055f
00000557: SWAP2
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: ADD
0000055d: SWAP1
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x40
00000562: DUP1
00000563: MLOAD
00000564: PUSH1 0x1f
00000566: NOT
00000567: DUP2
00000568: DUP5
00000569: SUB
0000056a: ADD
0000056b: DUP2
0000056c: MSTORE
0000056d: SWAP1
0000056e: DUP3
0000056f: SWAP1
00000570: MSTORE
00000571: PUSH2 0x0579
00000574: SWAP2
00000575: PUSH2 0x0b49
00000578: JUMP
00000579: JUMPDEST
0000057a: PUSH1 0x20
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: DUP4
00000581: SUB
00000582: DUP2
00000583: DUP6
00000584: GAS
00000585: STATICCALL
00000586: ISZERO
00000587: DUP1
00000588: ISZERO
00000589: PUSH2 0x0596
0000058c: JUMPI
0000058d: RETURNDATASIZE
0000058e: PUSH1 0x00
00000590: DUP1
00000591: RETURNDATACOPY
00000592: RETURNDATASIZE
00000593: PUSH1 0x00
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: POP
00000599: POP
0000059a: PUSH1 0x40
0000059c: MLOAD
0000059d: RETURNDATASIZE
0000059e: PUSH1 0x1f
000005a0: NOT
000005a1: PUSH1 0x1f
000005a3: DUP3
000005a4: ADD
000005a5: AND
000005a6: DUP3
000005a7: ADD
000005a8: DUP1
000005a9: PUSH1 0x40
000005ab: MSTORE
000005ac: POP
000005ad: DUP2
000005ae: ADD
000005af: SWAP1
000005b0: PUSH2 0x05b9
000005b3: SWAP2
000005b4: SWAP1
000005b5: PUSH2 0x0b65
000005b8: JUMP
000005b9: JUMPDEST
000005ba: EQ
000005bb: PUSH2 0x05d7
000005be: JUMPI
000005bf: PUSH1 0x40
000005c1: MLOAD
000005c2: PUSH4 0x92631d57
000005c7: PUSH1 0xe0
000005c9: SHL
000005ca: DUP2
000005cb: MSTORE
000005cc: PUSH1 0x04
000005ce: ADD
000005cf: PUSH1 0x40
000005d1: MLOAD
000005d2: DUP1
000005d3: SWAP2
000005d4: SUB
000005d5: SWAP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: PUSH1 0x00
000005da: DUP4
000005db: DUP2
000005dc: MSTORE
000005dd: PUSH1 0x20
000005df: DUP2
000005e0: DUP2
000005e1: MSTORE
000005e2: PUSH1 0x40
000005e4: DUP1
000005e5: DUP4
000005e6: KECCAK256
000005e7: DUP4
000005e8: DUP2
000005e9: SSTORE
000005ea: PUSH1 0x01
000005ec: DUP2
000005ed: ADD
000005ee: DUP5
000005ef: SWAP1
000005f0: SSTORE
000005f1: PUSH1 0x02
000005f3: DUP2
000005f4: ADD
000005f5: SWAP4
000005f6: SWAP1
000005f7: SWAP4
000005f8: SSTORE
000005f9: PUSH1 0x03
000005fb: DUP4
000005fc: ADD
000005fd: DUP1
000005fe: SLOAD
000005ff: PUSH1 0x01
00000601: PUSH1 0x01
00000603: PUSH1 0xa0
00000605: SHL
00000606: SUB
00000607: NOT
00000608: SWAP1
00000609: DUP2
0000060a: AND
0000060b: SWAP1
0000060c: SWAP2
0000060d: SSTORE
0000060e: PUSH1 0x04
00000610: DUP5
00000611: ADD
00000612: DUP1
00000613: SLOAD
00000614: DUP3
00000615: AND
00000616: SWAP1
00000617: SSTORE
00000618: PUSH1 0x05
0000061a: SWAP1
0000061b: SWAP4
0000061c: ADD
0000061d: DUP1
0000061e: SLOAD
0000061f: SWAP1
00000620: SWAP4
00000621: AND
00000622: SWAP1
00000623: SWAP3
00000624: SSTORE
00000625: SWAP1
00000626: MLOAD
00000627: DUP4
00000628: DUP2
00000629: MSTORE
0000062a: DUP5
0000062b: SWAP2
0000062c: PUSH32 0x5664142af3dcfc3dc3de45a43f75c746bd1d8c11170a5037fdf98bdb35775137
0000064d: SWAP2
0000064e: ADD
0000064f: PUSH1 0x40
00000651: MLOAD
00000652: DUP1
00000653: SWAP2
00000654: SUB
00000655: SWAP1
00000656: LOG2
00000657: PUSH1 0x60
00000659: DUP2
0000065a: ADD
0000065b: MLOAD
0000065c: PUSH1 0x01
0000065e: PUSH1 0x01
00000660: PUSH1 0xa0
00000662: SHL
00000663: SUB
00000664: AND
00000665: PUSH2 0x067f
00000668: JUMPI
00000669: PUSH2 0x067a
0000066c: DUP2
0000066d: PUSH1 0xa0
0000066f: ADD
00000670: MLOAD
00000671: DUP3
00000672: PUSH1 0x00
00000674: ADD
00000675: MLOAD
00000676: PUSH2 0x073e
00000679: JUMP
0000067a: JUMPDEST
0000067b: POP
0000067c: POP
0000067d: POP
0000067e: JUMP
0000067f: JUMPDEST
00000680: PUSH1 0xa0
00000682: DUP2
00000683: ADD
00000684: MLOAD
00000685: DUP2
00000686: MLOAD
00000687: PUSH1 0x60
00000689: DUP4
0000068a: ADD
0000068b: MLOAD
0000068c: PUSH2 0x067a
0000068f: SWAP3
00000690: PUSH1 0x01
00000692: PUSH1 0x01
00000694: PUSH1 0xa0
00000696: SHL
00000697: SUB
00000698: SWAP1
00000699: SWAP2
0000069a: AND
0000069b: SWAP2
0000069c: PUSH2 0x07e6
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH1 0x40
000006a3: MLOAD
000006a4: PUSH1 0x01
000006a6: PUSH1 0x01
000006a8: PUSH1 0xa0
000006aa: SHL
000006ab: SUB
000006ac: DUP1
000006ad: DUP6
000006ae: AND
000006af: PUSH1 0x24
000006b1: DUP4
000006b2: ADD
000006b3: MSTORE
000006b4: DUP4
000006b5: AND
000006b6: PUSH1 0x44
000006b8: DUP3
000006b9: ADD
000006ba: MSTORE
000006bb: PUSH1 0x64
000006bd: DUP2
000006be: ADD
000006bf: DUP3
000006c0: SWAP1
000006c1: MSTORE
000006c2: PUSH2 0x0738
000006c5: SWAP1
000006c6: DUP6
000006c7: SWAP1
000006c8: PUSH4 0x23b872dd
000006cd: PUSH1 0xe0
000006cf: SHL
000006d0: SWAP1
000006d1: PUSH1 0x84
000006d3: ADD
000006d4: JUMPDEST
000006d5: PUSH1 0x40
000006d7: DUP1
000006d8: MLOAD
000006d9: PUSH1 0x1f
000006db: NOT
000006dc: DUP2
000006dd: DUP5
000006de: SUB
000006df: ADD
000006e0: DUP2
000006e1: MSTORE
000006e2: SWAP2
000006e3: SWAP1
000006e4: MSTORE
000006e5: PUSH1 0x20
000006e7: DUP2
000006e8: ADD
000006e9: DUP1
000006ea: MLOAD
000006eb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000708: AND
00000709: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000072a: SWAP1
0000072b: SWAP4
0000072c: AND
0000072d: SWAP3
0000072e: SWAP1
0000072f: SWAP3
00000730: OR
00000731: SWAP1
00000732: SWAP2
00000733: MSTORE
00000734: PUSH2 0x0816
00000737: JUMP
00000738: JUMPDEST
00000739: POP
0000073a: POP
0000073b: POP
0000073c: POP
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x00
00000741: DUP3
00000742: PUSH1 0x01
00000744: PUSH1 0x01
00000746: PUSH1 0xa0
00000748: SHL
00000749: SUB
0000074a: AND
0000074b: DUP3
0000074c: PUSH1 0x40
0000074e: MLOAD
0000074f: PUSH1 0x00
00000751: PUSH1 0x40
00000753: MLOAD
00000754: DUP1
00000755: DUP4
00000756: SUB
00000757: DUP2
00000758: DUP6
00000759: DUP8
0000075a: GAS
0000075b: CALL
0000075c: SWAP3
0000075d: POP
0000075e: POP
0000075f: POP
00000760: RETURNDATASIZE
00000761: DUP1
00000762: PUSH1 0x00
00000764: DUP2
00000765: EQ
00000766: PUSH2 0x078b
00000769: JUMPI
0000076a: PUSH1 0x40
0000076c: MLOAD
0000076d: SWAP2
0000076e: POP
0000076f: PUSH1 0x1f
00000771: NOT
00000772: PUSH1 0x3f
00000774: RETURNDATASIZE
00000775: ADD
00000776: AND
00000777: DUP3
00000778: ADD
00000779: PUSH1 0x40
0000077b: MSTORE
0000077c: RETURNDATASIZE
0000077d: DUP3
0000077e: MSTORE
0000077f: RETURNDATASIZE
00000780: PUSH1 0x00
00000782: PUSH1 0x20
00000784: DUP5
00000785: ADD
00000786: RETURNDATACOPY
00000787: PUSH2 0x0790
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH1 0x60
0000078e: SWAP2
0000078f: POP
00000790: JUMPDEST
00000791: POP
00000792: POP
00000793: SWAP1
00000794: POP
00000795: DUP1
00000796: PUSH2 0x067a
00000799: JUMPI
0000079a: PUSH1 0x40
0000079c: MLOAD
0000079d: PUSH3 0x461bcd
000007a1: PUSH1 0xe5
000007a3: SHL
000007a4: DUP2
000007a5: MSTORE
000007a6: PUSH1 0x20
000007a8: PUSH1 0x04
000007aa: DUP3
000007ab: ADD
000007ac: MSTORE
000007ad: PUSH1 0x0f
000007af: PUSH1 0x24
000007b1: DUP3
000007b2: ADD
000007b3: MSTORE
000007b4: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000
000007d5: PUSH1 0x44
000007d7: DUP3
000007d8: ADD
000007d9: MSTORE
000007da: PUSH1 0x64
000007dc: ADD
000007dd: JUMPDEST
000007de: PUSH1 0x40
000007e0: MLOAD
000007e1: DUP1
000007e2: SWAP2
000007e3: SUB
000007e4: SWAP1
000007e5: REVERT
000007e6: JUMPDEST
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: PUSH1 0x01
000007ec: PUSH1 0x01
000007ee: PUSH1 0xa0
000007f0: SHL
000007f1: SUB
000007f2: DUP4
000007f3: AND
000007f4: PUSH1 0x24
000007f6: DUP3
000007f7: ADD
000007f8: MSTORE
000007f9: PUSH1 0x44
000007fb: DUP2
000007fc: ADD
000007fd: DUP3
000007fe: SWAP1
000007ff: MSTORE
00000800: PUSH2 0x067a
00000803: SWAP1
00000804: DUP5
00000805: SWAP1
00000806: PUSH4 0xa9059cbb
0000080b: PUSH1 0xe0
0000080d: SHL
0000080e: SWAP1
0000080f: PUSH1 0x64
00000811: ADD
00000812: PUSH2 0x06d4
00000815: JUMP
00000816: JUMPDEST
00000817: PUSH1 0x00
00000819: PUSH2 0x086b
0000081c: DUP3
0000081d: PUSH1 0x40
0000081f: MLOAD
00000820: DUP1
00000821: PUSH1 0x40
00000823: ADD
00000824: PUSH1 0x40
00000826: MSTORE
00000827: DUP1
00000828: PUSH1 0x20
0000082a: DUP2
0000082b: MSTORE
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000850: DUP2
00000851: MSTORE
00000852: POP
00000853: DUP6
00000854: PUSH1 0x01
00000856: PUSH1 0x01
00000858: PUSH1 0xa0
0000085a: SHL
0000085b: SUB
0000085c: AND
0000085d: PUSH2 0x08fb
00000860: SWAP1
00000861: SWAP3
00000862: SWAP2
00000863: SWAP1
00000864: PUSH4 0xffffffff
00000869: AND
0000086a: JUMP
0000086b: JUMPDEST
0000086c: DUP1
0000086d: MLOAD
0000086e: SWAP1
0000086f: SWAP2
00000870: POP
00000871: ISZERO
00000872: PUSH2 0x067a
00000875: JUMPI
00000876: DUP1
00000877: DUP1
00000878: PUSH1 0x20
0000087a: ADD
0000087b: SWAP1
0000087c: MLOAD
0000087d: DUP2
0000087e: ADD
0000087f: SWAP1
00000880: PUSH2 0x0889
00000883: SWAP2
00000884: SWAP1
00000885: PUSH2 0x0c9b
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH2 0x067a
0000088d: JUMPI
0000088e: PUSH1 0x40
00000890: MLOAD
00000891: PUSH3 0x461bcd
00000895: PUSH1 0xe5
00000897: SHL
00000898: DUP2
00000899: MSTORE
0000089a: PUSH1 0x20
0000089c: PUSH1 0x04
0000089e: DUP3
0000089f: ADD
000008a0: MSTORE
000008a1: PUSH1 0x2a
000008a3: PUSH1 0x24
000008a5: DUP3
000008a6: ADD
000008a7: MSTORE
000008a8: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000008c9: PUSH1 0x44
000008cb: DUP3
000008cc: ADD
000008cd: MSTORE
000008ce: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000008ef: PUSH1 0x64
000008f1: DUP3
000008f2: ADD
000008f3: MSTORE
000008f4: PUSH1 0x84
000008f6: ADD
000008f7: PUSH2 0x07dd
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x60
000008fe: PUSH2 0x090a
00000901: DUP5
00000902: DUP5
00000903: PUSH1 0x00
00000905: DUP6
00000906: PUSH2 0x0914
00000909: JUMP
0000090a: JUMPDEST
0000090b: SWAP1
0000090c: POP
0000090d: JUMPDEST
0000090e: SWAP4
0000090f: SWAP3
00000910: POP
00000911: POP
00000912: POP
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x60
00000917: DUP3
00000918: SELFBALANCE
00000919: LT
0000091a: ISZERO
0000091b: PUSH2 0x098c
0000091e: JUMPI
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: PUSH3 0x461bcd
00000926: PUSH1 0xe5
00000928: SHL
00000929: DUP2
0000092a: MSTORE
0000092b: PUSH1 0x20
0000092d: PUSH1 0x04
0000092f: DUP3
00000930: ADD
00000931: MSTORE
00000932: PUSH1 0x26
00000934: PUSH1 0x24
00000936: DUP3
00000937: ADD
00000938: MSTORE
00000939: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
0000095a: PUSH1 0x44
0000095c: DUP3
0000095d: ADD
0000095e: MSTORE
0000095f: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00000980: PUSH1 0x64
00000982: DUP3
00000983: ADD
00000984: MSTORE
00000985: PUSH1 0x84
00000987: ADD
00000988: PUSH2 0x07dd
0000098b: JUMP
0000098c: JUMPDEST
0000098d: PUSH1 0x01
0000098f: PUSH1 0x01
00000991: PUSH1 0xa0
00000993: SHL
00000994: SUB
00000995: DUP6
00000996: AND
00000997: EXTCODESIZE
00000998: PUSH2 0x09e3
0000099b: JUMPI
0000099c: PUSH1 0x40
0000099e: MLOAD
0000099f: PUSH3 0x461bcd
000009a3: PUSH1 0xe5
000009a5: SHL
000009a6: DUP2
000009a7: MSTORE
000009a8: PUSH1 0x20
000009aa: PUSH1 0x04
000009ac: DUP3
000009ad: ADD
000009ae: MSTORE
000009af: PUSH1 0x1d
000009b1: PUSH1 0x24
000009b3: DUP3
000009b4: ADD
000009b5: MSTORE
000009b6: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000009d7: PUSH1 0x44
000009d9: DUP3
000009da: ADD
000009db: MSTORE
000009dc: PUSH1 0x64
000009de: ADD
000009df: PUSH2 0x07dd
000009e2: JUMP
000009e3: JUMPDEST
000009e4: PUSH1 0x00
000009e6: DUP1
000009e7: DUP7
000009e8: PUSH1 0x01
000009ea: PUSH1 0x01
000009ec: PUSH1 0xa0
000009ee: SHL
000009ef: SUB
000009f0: AND
000009f1: DUP6
000009f2: DUP8
000009f3: PUSH1 0x40
000009f5: MLOAD
000009f6: PUSH2 0x09ff
000009f9: SWAP2
000009fa: SWAP1
000009fb: PUSH2 0x0b49
000009fe: JUMP
000009ff: JUMPDEST
00000a00: PUSH1 0x00
00000a02: PUSH1 0x40
00000a04: MLOAD
00000a05: DUP1
00000a06: DUP4
00000a07: SUB
00000a08: DUP2
00000a09: DUP6
00000a0a: DUP8
00000a0b: GAS
00000a0c: CALL
00000a0d: SWAP3
00000a0e: POP
00000a0f: POP
00000a10: POP
00000a11: RETURNDATASIZE
00000a12: DUP1
00000a13: PUSH1 0x00
00000a15: DUP2
00000a16: EQ
00000a17: PUSH2 0x0a3c
00000a1a: JUMPI
00000a1b: PUSH1 0x40
00000a1d: MLOAD
00000a1e: SWAP2
00000a1f: POP
00000a20: PUSH1 0x1f
00000a22: NOT
00000a23: PUSH1 0x3f
00000a25: RETURNDATASIZE
00000a26: ADD
00000a27: AND
00000a28: DUP3
00000a29: ADD
00000a2a: PUSH1 0x40
00000a2c: MSTORE
00000a2d: RETURNDATASIZE
00000a2e: DUP3
00000a2f: MSTORE
00000a30: RETURNDATASIZE
00000a31: PUSH1 0x00
00000a33: PUSH1 0x20
00000a35: DUP5
00000a36: ADD
00000a37: RETURNDATACOPY
00000a38: PUSH2 0x0a41
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: PUSH1 0x60
00000a3f: SWAP2
00000a40: POP
00000a41: JUMPDEST
00000a42: POP
00000a43: SWAP2
00000a44: POP
00000a45: SWAP2
00000a46: POP
00000a47: PUSH2 0x0a51
00000a4a: DUP3
00000a4b: DUP3
00000a4c: DUP7
00000a4d: PUSH2 0x0a5c
00000a50: JUMP
00000a51: JUMPDEST
00000a52: SWAP8
00000a53: SWAP7
00000a54: POP
00000a55: POP
00000a56: POP
00000a57: POP
00000a58: POP
00000a59: POP
00000a5a: POP
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x60
00000a5f: DUP4
00000a60: ISZERO
00000a61: PUSH2 0x0a6b
00000a64: JUMPI
00000a65: POP
00000a66: DUP2
00000a67: PUSH2 0x090d
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: DUP3
00000a6d: MLOAD
00000a6e: ISZERO
00000a6f: PUSH2 0x0a7b
00000a72: JUMPI
00000a73: DUP3
00000a74: MLOAD
00000a75: DUP1
00000a76: DUP5
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: REVERT
00000a7b: JUMPDEST
00000a7c: DUP2
00000a7d: PUSH1 0x40
00000a7f: MLOAD
00000a80: PUSH3 0x461bcd
00000a84: PUSH1 0xe5
00000a86: SHL
00000a87: DUP2
00000a88: MSTORE
00000a89: PUSH1 0x04
00000a8b: ADD
00000a8c: PUSH2 0x07dd
00000a8f: SWAP2
00000a90: SWAP1
00000a91: PUSH2 0x0cbd
00000a94: JUMP
00000a95: JUMPDEST
00000a96: PUSH1 0x00
00000a98: PUSH1 0xc0
00000a9a: DUP3
00000a9b: DUP5
00000a9c: SUB
00000a9d: SLT
00000a9e: ISZERO
00000a9f: PUSH2 0x0aa7
00000aa2: JUMPI
00000aa3: PUSH1 0x00
00000aa5: DUP1
00000aa6: REVERT
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: SWAP2
00000aaa: SWAP1
00000aab: POP
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x00
00000ab0: PUSH1 0x20
00000ab2: DUP3
00000ab3: DUP5
00000ab4: SUB
00000ab5: SLT
00000ab6: ISZERO
00000ab7: PUSH2 0x0abf
00000aba: JUMPI
00000abb: PUSH1 0x00
00000abd: DUP1
00000abe: REVERT
00000abf: JUMPDEST
00000ac0: POP
00000ac1: CALLDATALOAD
00000ac2: SWAP2
00000ac3: SWAP1
00000ac4: POP
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: PUSH1 0x40
00000acc: DUP4
00000acd: DUP6
00000ace: SUB
00000acf: SLT
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad9
00000ad4: JUMPI
00000ad5: PUSH1 0x00
00000ad7: DUP1
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: POP
00000adb: POP
00000adc: DUP1
00000add: CALLDATALOAD
00000ade: SWAP3
00000adf: PUSH1 0x20
00000ae1: SWAP1
00000ae2: SWAP2
00000ae3: ADD
00000ae4: CALLDATALOAD
00000ae5: SWAP2
00000ae6: POP
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0x01
00000aed: PUSH1 0xa0
00000aef: SHL
00000af0: SUB
00000af1: DUP2
00000af2: AND
00000af3: DUP2
00000af4: EQ
00000af5: PUSH2 0x0afd
00000af8: JUMPI
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: REVERT
00000afd: JUMPDEST
00000afe: POP
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH1 0x00
00000b03: PUSH1 0x20
00000b05: DUP3
00000b06: DUP5
00000b07: SUB
00000b08: SLT
00000b09: ISZERO
00000b0a: PUSH2 0x0b12
00000b0d: JUMPI
00000b0e: PUSH1 0x00
00000b10: DUP1
00000b11: REVERT
00000b12: JUMPDEST
00000b13: DUP2
00000b14: CALLDATALOAD
00000b15: PUSH2 0x090d
00000b18: DUP2
00000b19: PUSH2 0x0ae8
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: PUSH1 0x00
00000b20: JUMPDEST
00000b21: DUP4
00000b22: DUP2
00000b23: LT
00000b24: ISZERO
00000b25: PUSH2 0x0b38
00000b28: JUMPI
00000b29: DUP2
00000b2a: DUP2
00000b2b: ADD
00000b2c: MLOAD
00000b2d: DUP4
00000b2e: DUP3
00000b2f: ADD
00000b30: MSTORE
00000b31: PUSH1 0x20
00000b33: ADD
00000b34: PUSH2 0x0b20
00000b37: JUMP
00000b38: JUMPDEST
00000b39: DUP4
00000b3a: DUP2
00000b3b: GT
00000b3c: ISZERO
00000b3d: PUSH2 0x0738
00000b40: JUMPI
00000b41: POP
00000b42: POP
00000b43: PUSH1 0x00
00000b45: SWAP2
00000b46: ADD
00000b47: MSTORE
00000b48: JUMP
00000b49: JUMPDEST
00000b4a: PUSH1 0x00
00000b4c: DUP3
00000b4d: MLOAD
00000b4e: PUSH2 0x0b5b
00000b51: DUP2
00000b52: DUP5
00000b53: PUSH1 0x20
00000b55: DUP8
00000b56: ADD
00000b57: PUSH2 0x0b1d
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: SWAP2
00000b5d: SWAP1
00000b5e: SWAP2
00000b5f: ADD
00000b60: SWAP3
00000b61: SWAP2
00000b62: POP
00000b63: POP
00000b64: JUMP
00000b65: JUMPDEST
00000b66: PUSH1 0x00
00000b68: PUSH1 0x20
00000b6a: DUP3
00000b6b: DUP5
00000b6c: SUB
00000b6d: SLT
00000b6e: ISZERO
00000b6f: PUSH2 0x0b77
00000b72: JUMPI
00000b73: PUSH1 0x00
00000b75: DUP1
00000b76: REVERT
00000b77: JUMPDEST
00000b78: POP
00000b79: MLOAD
00000b7a: SWAP2
00000b7b: SWAP1
00000b7c: POP
00000b7d: JUMP
00000b7e: JUMPDEST
00000b7f: DUP2
00000b80: CALLDATALOAD
00000b81: DUP2
00000b82: SSTORE
00000b83: PUSH1 0x20
00000b85: DUP3
00000b86: ADD
00000b87: CALLDATALOAD
00000b88: PUSH1 0x01
00000b8a: DUP3
00000b8b: ADD
00000b8c: SSTORE
00000b8d: PUSH1 0x40
00000b8f: DUP3
00000b90: ADD
00000b91: CALLDATALOAD
00000b92: PUSH1 0x02
00000b94: DUP3
00000b95: ADD
00000b96: SSTORE
00000b97: PUSH1 0x60
00000b99: DUP3
00000b9a: ADD
00000b9b: CALLDATALOAD
00000b9c: PUSH2 0x0ba4
00000b9f: DUP2
00000ba0: PUSH2 0x0ae8
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: PUSH1 0x03
00000ba7: DUP3
00000ba8: ADD
00000ba9: DUP1
00000baa: SLOAD
00000bab: PUSH1 0x01
00000bad: PUSH1 0x01
00000baf: PUSH1 0xa0
00000bb1: SHL
00000bb2: SUB
00000bb3: NOT
00000bb4: AND
00000bb5: PUSH1 0x01
00000bb7: PUSH1 0x01
00000bb9: PUSH1 0xa0
00000bbb: SHL
00000bbc: SUB
00000bbd: DUP4
00000bbe: AND
00000bbf: OR
00000bc0: SWAP1
00000bc1: SSTORE
00000bc2: POP
00000bc3: PUSH1 0x80
00000bc5: DUP3
00000bc6: ADD
00000bc7: CALLDATALOAD
00000bc8: PUSH2 0x0bd0
00000bcb: DUP2
00000bcc: PUSH2 0x0ae8
00000bcf: JUMP
00000bd0: JUMPDEST
00000bd1: PUSH1 0x04
00000bd3: DUP3
00000bd4: ADD
00000bd5: DUP1
00000bd6: SLOAD
00000bd7: PUSH1 0x01
00000bd9: PUSH1 0x01
00000bdb: PUSH1 0xa0
00000bdd: SHL
00000bde: SUB
00000bdf: NOT
00000be0: AND
00000be1: PUSH1 0x01
00000be3: PUSH1 0x01
00000be5: PUSH1 0xa0
00000be7: SHL
00000be8: SUB
00000be9: DUP4
00000bea: AND
00000beb: OR
00000bec: SWAP1
00000bed: SSTORE
00000bee: POP
00000bef: PUSH1 0xa0
00000bf1: DUP3
00000bf2: ADD
00000bf3: CALLDATALOAD
00000bf4: PUSH2 0x0bfc
00000bf7: DUP2
00000bf8: PUSH2 0x0ae8
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: PUSH1 0x05
00000bff: DUP3
00000c00: ADD
00000c01: DUP1
00000c02: SLOAD
00000c03: PUSH1 0x01
00000c05: PUSH1 0x01
00000c07: PUSH1 0xa0
00000c09: SHL
00000c0a: SUB
00000c0b: NOT
00000c0c: AND
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x01
00000c11: PUSH1 0xa0
00000c13: SHL
00000c14: SUB
00000c15: DUP4
00000c16: AND
00000c17: OR
00000c18: SWAP1
00000c19: SSTORE
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH1 0x00
00000c21: PUSH1 0xe0
00000c23: DUP3
00000c24: ADD
00000c25: SWAP1
00000c26: POP
00000c27: DUP4
00000c28: DUP3
00000c29: MSTORE
00000c2a: DUP3
00000c2b: CALLDATALOAD
00000c2c: PUSH1 0x20
00000c2e: DUP4
00000c2f: ADD
00000c30: MSTORE
00000c31: PUSH1 0x20
00000c33: DUP4
00000c34: ADD
00000c35: CALLDATALOAD
00000c36: PUSH1 0x40
00000c38: DUP4
00000c39: ADD
00000c3a: MSTORE
00000c3b: PUSH1 0x40
00000c3d: DUP4
00000c3e: ADD
00000c3f: CALLDATALOAD
00000c40: PUSH1 0x60
00000c42: DUP4
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH1 0x60
00000c47: DUP4
00000c48: ADD
00000c49: CALLDATALOAD
00000c4a: PUSH2 0x0c52
00000c4d: DUP2
00000c4e: PUSH2 0x0ae8
00000c51: JUMP
00000c52: JUMPDEST
00000c53: PUSH1 0x01
00000c55: PUSH1 0x01
00000c57: PUSH1 0xa0
00000c59: SHL
00000c5a: SUB
00000c5b: DUP1
00000c5c: DUP3
00000c5d: AND
00000c5e: PUSH1 0x80
00000c60: DUP6
00000c61: ADD
00000c62: MSTORE
00000c63: PUSH1 0x80
00000c65: DUP6
00000c66: ADD
00000c67: CALLDATALOAD
00000c68: SWAP2
00000c69: POP
00000c6a: PUSH2 0x0c72
00000c6d: DUP3
00000c6e: PUSH2 0x0ae8
00000c71: JUMP
00000c72: JUMPDEST
00000c73: DUP1
00000c74: DUP3
00000c75: AND
00000c76: PUSH1 0xa0
00000c78: DUP6
00000c79: ADD
00000c7a: MSTORE
00000c7b: PUSH1 0xa0
00000c7d: DUP6
00000c7e: ADD
00000c7f: CALLDATALOAD
00000c80: SWAP2
00000c81: POP
00000c82: PUSH2 0x0c8a
00000c85: DUP3
00000c86: PUSH2 0x0ae8
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: DUP1
00000c8c: DUP3
00000c8d: AND
00000c8e: PUSH1 0xc0
00000c90: DUP6
00000c91: ADD
00000c92: MSTORE
00000c93: POP
00000c94: POP
00000c95: SWAP4
00000c96: SWAP3
00000c97: POP
00000c98: POP
00000c99: POP
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH1 0x00
00000c9e: PUSH1 0x20
00000ca0: DUP3
00000ca1: DUP5
00000ca2: SUB
00000ca3: SLT
00000ca4: ISZERO
00000ca5: PUSH2 0x0cad
00000ca8: JUMPI
00000ca9: PUSH1 0x00
00000cab: DUP1
00000cac: REVERT
00000cad: JUMPDEST
00000cae: DUP2
00000caf: MLOAD
00000cb0: DUP1
00000cb1: ISZERO
00000cb2: ISZERO
00000cb3: DUP2
00000cb4: EQ
00000cb5: PUSH2 0x090d
00000cb8: JUMPI
00000cb9: PUSH1 0x00
00000cbb: DUP1
00000cbc: REVERT
00000cbd: JUMPDEST
00000cbe: PUSH1 0x20
00000cc0: DUP2
00000cc1: MSTORE
00000cc2: PUSH1 0x00
00000cc4: DUP3
00000cc5: MLOAD
00000cc6: DUP1
00000cc7: PUSH1 0x20
00000cc9: DUP5
00000cca: ADD
00000ccb: MSTORE
00000ccc: PUSH2 0x0cdc
00000ccf: DUP2
00000cd0: PUSH1 0x40
00000cd2: DUP6
00000cd3: ADD
00000cd4: PUSH1 0x20
00000cd6: DUP8
00000cd7: ADD
00000cd8: PUSH2 0x0b1d
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x1f
00000cdf: ADD
00000ce0: PUSH1 0x1f
00000ce2: NOT
00000ce3: AND
00000ce4: SWAP2
00000ce5: SWAP1
00000ce6: SWAP2
00000ce7: ADD
00000ce8: PUSH1 0x40
00000cea: ADD
00000ceb: SWAP3
00000cec: SWAP2
00000ced: POP
00000cee: POP
00000cef: JUMP
00000cf0: INVALID
00000cf1: LOG1
00000cf2: PUSH5 0x736f6c6343
00000cf8: STOP
00000cf9: ADDMOD
00000cfa: SIGNEXTEND
00000cfb: STOP
00000cfc: EXP
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: 0x606cf5e2f2a4519c040da27f7bb2c3f0f21db8d2c48605e5df75e24a788e9ea2
call_targets: 0x133713376f69c1a67d7f3594583349dfb53d8166
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x606cf5e2f2a4519c040da27f7bb2c3f0f21db8d2c48605e5df75e24a788e9ea2",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x133713376f69c1a67d7f3594583349dfb53d8166"
    ],
    "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": "0x337bc2fa",
            "selector": "0x337bc2fa",
            "calldata_variants": [
                "0x337bc2fa",
                "0x337bc2fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7249fbb6",
            "selector": "0x7249fbb6",
            "calldata_variants": [
                "0x7249fbb6",
                "0x7249fbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84cc9dfb",
            "selector": "0x84cc9dfb",
            "calldata_variants": [
                "0x84cc9dfb",
                "0x84cc9dfb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91edd8f2",
            "selector": "0x91edd8f2",
            "calldata_variants": [
                "0x91edd8f2",
                "0x91edd8f20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1883,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2572,
            "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: 0x606cf5e2f2a4519c040da27f7bb2c3f0f21db8d2c48605e5df75e24a788e9ea2
call_targets: 0x133713376f69c1a67d7f3594583349dfb53d8166
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x606cf5e2f2a4519c040da27f7bb2c3f0f21db8d2c48605e5df75e24a788e9ea2",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x133713376f69c1a67d7f3594583349dfb53d8166"
    ],
    "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": "0x337bc2fa",
            "selector": "0x337bc2fa",
            "calldata_variants": [
                "0x337bc2fa",
                "0x337bc2fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7249fbb6",
            "selector": "0x7249fbb6",
            "calldata_variants": [
                "0x7249fbb6",
                "0x7249fbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84cc9dfb",
            "selector": "0x84cc9dfb",
            "calldata_variants": [
                "0x84cc9dfb",
                "0x84cc9dfb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x91edd8f2",
            "selector": "0x91edd8f2",
            "calldata_variants": [
                "0x91edd8f2",
                "0x91edd8f20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1883,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2572,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}