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

Analysis Run

019b477e-c3a6-72e1-bb6c-975d5e6199b7

complete
Chain ID
1
Address
0xd848fa6e23c337d8bc18a127b74d61d8147813b9
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
25257 artifact.fetch complete 1 / 3 3 months ago
25258 tool.cast_disasm complete 1 / 3 3 months ago
68158 analysis.bundle complete 1 / 3 2 weeks ago
68159 capability.graph complete 1 / 3 2 weeks ago
68160 detector.run complete 1 / 3 2 weeks ago
68161 validation.fork complete 1 / 3 2 weeks 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)
2
EXT*/BALANCE
0
Total opcodes
2018
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 0x00e8
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xb2bdfa7b
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe2d2e219
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe2d2e219
0000002f: EQ
00000030: PUSH2 0x027b
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe319a3d9
0000003a: EQ
0000003b: PUSH2 0x0291
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xecd0c0c3
00000045: EQ
00000046: PUSH2 0x02b1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf0f44260
00000050: EQ
00000051: PUSH2 0x02d1
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xb2bdfa7b
00000060: EQ
00000061: PUSH2 0x01ce
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xce7c2ac2
0000006b: EQ
0000006c: PUSH2 0x0206
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd0e30db0
00000076: EQ
00000077: PUSH2 0x025d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd54ad2a1
00000081: EQ
00000082: PUSH2 0x0265
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x3a98ef39
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x3a98ef39
0000009c: EQ
0000009d: PUSH2 0x014f
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5cc33f74
000000a7: EQ
000000a8: PUSH2 0x0178
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8ecc37fb
000000b2: EQ
000000b3: PUSH2 0x0198
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x997664d7
000000bd: EQ
000000be: PUSH2 0x01b8
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x1014edf5
000000cd: EQ
000000ce: PUSH2 0x00ed
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x14b6ca96
000000d8: EQ
000000d9: PUSH2 0x010f
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x15f7e05e
000000e3: EQ
000000e4: PUSH2 0x012f
000000e7: JUMPI
000000e8: JUMPDEST
000000e9: PUSH1 0x00
000000eb: DUP1
000000ec: REVERT
000000ed: JUMPDEST
000000ee: CALLVALUE
000000ef: DUP1
000000f0: ISZERO
000000f1: PUSH2 0x00f9
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP1
000000f8: REVERT
000000f9: JUMPDEST
000000fa: POP
000000fb: PUSH2 0x010d
000000fe: PUSH2 0x0108
00000101: CALLDATASIZE
00000102: PUSH1 0x04
00000104: PUSH2 0x0a7a
00000107: JUMP
00000108: JUMPDEST
00000109: PUSH2 0x02f1
0000010c: JUMP
0000010d: JUMPDEST
0000010e: STOP
0000010f: JUMPDEST
00000110: CALLVALUE
00000111: DUP1
00000112: ISZERO
00000113: PUSH2 0x011b
00000116: JUMPI
00000117: PUSH1 0x00
00000119: DUP1
0000011a: REVERT
0000011b: JUMPDEST
0000011c: POP
0000011d: PUSH2 0x010d
00000120: PUSH2 0x012a
00000123: CALLDATASIZE
00000124: PUSH1 0x04
00000126: PUSH2 0x0aa6
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH2 0x0351
0000012e: JUMP
0000012f: JUMPDEST
00000130: CALLVALUE
00000131: DUP1
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: POP
0000013d: PUSH2 0x010d
00000140: PUSH2 0x014a
00000143: CALLDATASIZE
00000144: PUSH1 0x04
00000146: PUSH2 0x0ad0
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH2 0x04c9
0000014e: JUMP
0000014f: JUMPDEST
00000150: CALLVALUE
00000151: DUP1
00000152: ISZERO
00000153: PUSH2 0x015b
00000156: JUMPI
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: POP
0000015d: PUSH2 0x0165
00000160: PUSH1 0x06
00000162: SLOAD
00000163: DUP2
00000164: JUMP
00000165: JUMPDEST
00000166: PUSH1 0x40
00000168: MLOAD
00000169: SWAP1
0000016a: DUP2
0000016b: MSTORE
0000016c: PUSH1 0x20
0000016e: ADD
0000016f: JUMPDEST
00000170: PUSH1 0x40
00000172: MLOAD
00000173: DUP1
00000174: SWAP2
00000175: SUB
00000176: SWAP1
00000177: RETURN
00000178: JUMPDEST
00000179: CALLVALUE
0000017a: DUP1
0000017b: ISZERO
0000017c: PUSH2 0x0184
0000017f: JUMPI
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: POP
00000186: PUSH2 0x0165
00000189: PUSH2 0x0193
0000018c: CALLDATASIZE
0000018d: PUSH1 0x04
0000018f: PUSH2 0x0ad0
00000192: JUMP
00000193: JUMPDEST
00000194: PUSH2 0x04ec
00000197: JUMP
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 0x0165
000001a9: PUSH2 0x01b3
000001ac: CALLDATASIZE
000001ad: PUSH1 0x04
000001af: PUSH2 0x0ad0
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x0575
000001b7: JUMP
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: DUP1
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: POP
000001c6: PUSH2 0x0165
000001c9: PUSH1 0x07
000001cb: SLOAD
000001cc: DUP2
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH1 0x01
000001de: SLOAD
000001df: PUSH2 0x01ee
000001e2: SWAP1
000001e3: PUSH1 0x01
000001e5: PUSH1 0x01
000001e7: PUSH1 0xa0
000001e9: SHL
000001ea: SUB
000001eb: AND
000001ec: DUP2
000001ed: JUMP
000001ee: JUMPDEST
000001ef: PUSH1 0x40
000001f1: MLOAD
000001f2: PUSH1 0x01
000001f4: PUSH1 0x01
000001f6: PUSH1 0xa0
000001f8: SHL
000001f9: SUB
000001fa: SWAP1
000001fb: SWAP2
000001fc: AND
000001fd: DUP2
000001fe: MSTORE
000001ff: PUSH1 0x20
00000201: ADD
00000202: PUSH2 0x016f
00000205: JUMP
00000206: JUMPDEST
00000207: CALLVALUE
00000208: DUP1
00000209: ISZERO
0000020a: PUSH2 0x0212
0000020d: JUMPI
0000020e: PUSH1 0x00
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: POP
00000214: PUSH2 0x0242
00000217: PUSH2 0x0221
0000021a: CALLDATASIZE
0000021b: PUSH1 0x04
0000021d: PUSH2 0x0ad0
00000220: JUMP
00000221: JUMPDEST
00000222: PUSH1 0x05
00000224: PUSH1 0x20
00000226: MSTORE
00000227: PUSH1 0x00
00000229: SWAP1
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x40
0000022e: SWAP1
0000022f: KECCAK256
00000230: DUP1
00000231: SLOAD
00000232: PUSH1 0x01
00000234: DUP3
00000235: ADD
00000236: SLOAD
00000237: PUSH1 0x02
00000239: SWAP1
0000023a: SWAP3
0000023b: ADD
0000023c: SLOAD
0000023d: SWAP1
0000023e: SWAP2
0000023f: SWAP1
00000240: DUP4
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH1 0x40
00000245: DUP1
00000246: MLOAD
00000247: SWAP4
00000248: DUP5
00000249: MSTORE
0000024a: PUSH1 0x20
0000024c: DUP5
0000024d: ADD
0000024e: SWAP3
0000024f: SWAP1
00000250: SWAP3
00000251: MSTORE
00000252: SWAP1
00000253: DUP3
00000254: ADD
00000255: MSTORE
00000256: PUSH1 0x60
00000258: ADD
00000259: PUSH2 0x016f
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH2 0x010d
00000261: PUSH2 0x05fe
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x0165
00000276: PUSH1 0x08
00000278: SLOAD
00000279: DUP2
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: POP
00000289: PUSH2 0x0165
0000028c: PUSH1 0x09
0000028e: SLOAD
0000028f: DUP2
00000290: JUMP
00000291: JUMPDEST
00000292: CALLVALUE
00000293: DUP1
00000294: ISZERO
00000295: PUSH2 0x029d
00000298: JUMPI
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: POP
0000029f: PUSH1 0x02
000002a1: SLOAD
000002a2: PUSH2 0x01ee
000002a5: SWAP1
000002a6: PUSH1 0x01
000002a8: PUSH1 0x01
000002aa: PUSH1 0xa0
000002ac: SHL
000002ad: SUB
000002ae: AND
000002af: DUP2
000002b0: JUMP
000002b1: JUMPDEST
000002b2: CALLVALUE
000002b3: DUP1
000002b4: ISZERO
000002b5: PUSH2 0x02bd
000002b8: JUMPI
000002b9: PUSH1 0x00
000002bb: DUP1
000002bc: REVERT
000002bd: JUMPDEST
000002be: POP
000002bf: PUSH1 0x00
000002c1: SLOAD
000002c2: PUSH2 0x01ee
000002c5: SWAP1
000002c6: PUSH1 0x01
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: SHL
000002cd: SUB
000002ce: AND
000002cf: DUP2
000002d0: JUMP
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: POP
000002df: PUSH2 0x010d
000002e2: PUSH2 0x02ec
000002e5: CALLDATASIZE
000002e6: PUSH1 0x04
000002e8: PUSH2 0x0ad0
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH2 0x063d
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH1 0x01
000002f4: SLOAD
000002f5: PUSH1 0x01
000002f7: PUSH1 0x01
000002f9: PUSH1 0xa0
000002fb: SHL
000002fc: SUB
000002fd: AND
000002fe: CALLER
000002ff: EQ
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: SELFBALANCE
0000030a: PUSH1 0x01
0000030c: PUSH1 0x01
0000030e: PUSH1 0xa0
00000310: SHL
00000311: SUB
00000312: DUP3
00000313: AND
00000314: PUSH2 0x08fc
00000317: DUP5
00000318: PUSH2 0x0321
0000031b: JUMPI
0000031c: DUP3
0000031d: PUSH2 0x0323
00000320: JUMP
00000321: JUMPDEST
00000322: DUP5
00000323: JUMPDEST
00000324: PUSH1 0x40
00000326: MLOAD
00000327: DUP2
00000328: ISZERO
00000329: SWAP1
0000032a: SWAP3
0000032b: MUL
0000032c: SWAP2
0000032d: PUSH1 0x00
0000032f: DUP2
00000330: DUP2
00000331: DUP2
00000332: DUP6
00000333: DUP9
00000334: DUP9
00000335: CALL
00000336: SWAP4
00000337: POP
00000338: POP
00000339: POP
0000033a: POP
0000033b: ISZERO
0000033c: DUP1
0000033d: ISZERO
0000033e: PUSH2 0x034b
00000341: JUMPI
00000342: RETURNDATASIZE
00000343: PUSH1 0x00
00000345: DUP1
00000346: RETURNDATACOPY
00000347: RETURNDATASIZE
00000348: PUSH1 0x00
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: POP
0000034e: POP
0000034f: POP
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x00
00000354: SLOAD
00000355: PUSH1 0x01
00000357: PUSH1 0x01
00000359: PUSH1 0xa0
0000035b: SHL
0000035c: SUB
0000035d: AND
0000035e: CALLER
0000035f: EQ
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: PUSH1 0x01
0000036b: PUSH1 0x01
0000036d: PUSH1 0xa0
0000036f: SHL
00000370: SUB
00000371: DUP3
00000372: AND
00000373: PUSH1 0x00
00000375: SWAP1
00000376: DUP2
00000377: MSTORE
00000378: PUSH1 0x05
0000037a: PUSH1 0x20
0000037c: MSTORE
0000037d: PUSH1 0x40
0000037f: SWAP1
00000380: KECCAK256
00000381: SLOAD
00000382: ISZERO
00000383: PUSH2 0x038f
00000386: JUMPI
00000387: PUSH2 0x038f
0000038a: DUP3
0000038b: PUSH2 0x0676
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH1 0x00
00000392: DUP2
00000393: GT
00000394: DUP1
00000395: ISZERO
00000396: PUSH2 0x03b5
00000399: JUMPI
0000039a: POP
0000039b: PUSH1 0x01
0000039d: PUSH1 0x01
0000039f: PUSH1 0xa0
000003a1: SHL
000003a2: SUB
000003a3: DUP3
000003a4: AND
000003a5: PUSH1 0x00
000003a7: SWAP1
000003a8: DUP2
000003a9: MSTORE
000003aa: PUSH1 0x05
000003ac: PUSH1 0x20
000003ae: MSTORE
000003af: PUSH1 0x40
000003b1: SWAP1
000003b2: KECCAK256
000003b3: SLOAD
000003b4: ISZERO
000003b5: JUMPDEST
000003b6: ISZERO
000003b7: PUSH2 0x041b
000003ba: JUMPI
000003bb: PUSH1 0x03
000003bd: DUP1
000003be: SLOAD
000003bf: PUSH1 0x01
000003c1: PUSH1 0x01
000003c3: PUSH1 0xa0
000003c5: SHL
000003c6: SUB
000003c7: DUP5
000003c8: AND
000003c9: PUSH1 0x00
000003cb: DUP2
000003cc: DUP2
000003cd: MSTORE
000003ce: PUSH1 0x04
000003d0: PUSH1 0x20
000003d2: MSTORE
000003d3: PUSH1 0x40
000003d5: DUP2
000003d6: KECCAK256
000003d7: DUP4
000003d8: SWAP1
000003d9: SSTORE
000003da: PUSH1 0x01
000003dc: DUP4
000003dd: ADD
000003de: DUP5
000003df: SSTORE
000003e0: SWAP3
000003e1: SWAP1
000003e2: SWAP3
000003e3: MSTORE
000003e4: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00000405: ADD
00000406: DUP1
00000407: SLOAD
00000408: PUSH1 0x01
0000040a: PUSH1 0x01
0000040c: PUSH1 0xa0
0000040e: SHL
0000040f: SUB
00000410: NOT
00000411: AND
00000412: SWAP1
00000413: SWAP2
00000414: OR
00000415: SWAP1
00000416: SSTORE
00000417: PUSH2 0x044e
0000041a: JUMP
0000041b: JUMPDEST
0000041c: DUP1
0000041d: ISZERO
0000041e: DUP1
0000041f: ISZERO
00000420: PUSH2 0x0440
00000423: JUMPI
00000424: POP
00000425: PUSH1 0x01
00000427: PUSH1 0x01
00000429: PUSH1 0xa0
0000042b: SHL
0000042c: SUB
0000042d: DUP3
0000042e: AND
0000042f: PUSH1 0x00
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x05
00000436: PUSH1 0x20
00000438: MSTORE
00000439: PUSH1 0x40
0000043b: SWAP1
0000043c: KECCAK256
0000043d: SLOAD
0000043e: ISZERO
0000043f: ISZERO
00000440: JUMPDEST
00000441: ISZERO
00000442: PUSH2 0x044e
00000445: JUMPI
00000446: PUSH2 0x044e
00000449: DUP3
0000044a: PUSH2 0x0759
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH1 0x01
00000451: PUSH1 0x01
00000453: PUSH1 0xa0
00000455: SHL
00000456: SUB
00000457: DUP3
00000458: AND
00000459: PUSH1 0x00
0000045b: SWAP1
0000045c: DUP2
0000045d: MSTORE
0000045e: PUSH1 0x05
00000460: PUSH1 0x20
00000462: MSTORE
00000463: PUSH1 0x40
00000465: SWAP1
00000466: KECCAK256
00000467: SLOAD
00000468: PUSH1 0x06
0000046a: SLOAD
0000046b: PUSH2 0x047f
0000046e: SWAP2
0000046f: DUP4
00000470: SWAP2
00000471: PUSH2 0x0479
00000474: SWAP2
00000475: PUSH2 0x086e
00000478: JUMP
00000479: JUMPDEST
0000047a: SWAP1
0000047b: PUSH2 0x08b9
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH1 0x06
00000482: SSTORE
00000483: PUSH1 0x01
00000485: PUSH1 0x01
00000487: PUSH1 0xa0
00000489: SHL
0000048a: SUB
0000048b: DUP3
0000048c: AND
0000048d: PUSH1 0x00
0000048f: SWAP1
00000490: DUP2
00000491: MSTORE
00000492: PUSH1 0x05
00000494: PUSH1 0x20
00000496: MSTORE
00000497: PUSH1 0x40
00000499: SWAP1
0000049a: KECCAK256
0000049b: DUP2
0000049c: SWAP1
0000049d: SSTORE
0000049e: PUSH2 0x04a6
000004a1: DUP2
000004a2: PUSH2 0x0918
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH1 0x01
000004a9: PUSH1 0x01
000004ab: PUSH1 0xa0
000004ad: SHL
000004ae: SUB
000004af: SWAP1
000004b0: SWAP3
000004b1: AND
000004b2: PUSH1 0x00
000004b4: SWAP1
000004b5: DUP2
000004b6: MSTORE
000004b7: PUSH1 0x05
000004b9: PUSH1 0x20
000004bb: MSTORE
000004bc: PUSH1 0x40
000004be: SWAP1
000004bf: KECCAK256
000004c0: PUSH1 0x01
000004c2: ADD
000004c3: SWAP2
000004c4: SWAP1
000004c5: SWAP2
000004c6: SSTORE
000004c7: POP
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x00
000004cc: SLOAD
000004cd: PUSH1 0x01
000004cf: PUSH1 0x01
000004d1: PUSH1 0xa0
000004d3: SHL
000004d4: SUB
000004d5: AND
000004d6: CALLER
000004d7: EQ
000004d8: PUSH2 0x04e0
000004db: JUMPI
000004dc: PUSH1 0x00
000004de: DUP1
000004df: REVERT
000004e0: JUMPDEST
000004e1: PUSH2 0x04e9
000004e4: DUP2
000004e5: PUSH2 0x0676
000004e8: JUMP
000004e9: JUMPDEST
000004ea: POP
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH1 0x01
000004ef: PUSH1 0x01
000004f1: PUSH1 0xa0
000004f3: SHL
000004f4: SUB
000004f5: DUP2
000004f6: AND
000004f7: PUSH1 0x00
000004f9: SWAP1
000004fa: DUP2
000004fb: MSTORE
000004fc: PUSH1 0x05
000004fe: PUSH1 0x20
00000500: MSTORE
00000501: PUSH1 0x40
00000503: DUP2
00000504: KECCAK256
00000505: SLOAD
00000506: PUSH2 0x0556
00000509: JUMPI
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: PUSH3 0x461bcd
00000511: PUSH1 0xe5
00000513: SHL
00000514: DUP2
00000515: MSTORE
00000516: PUSH1 0x20
00000518: PUSH1 0x04
0000051a: DUP3
0000051b: ADD
0000051c: MSTORE
0000051d: PUSH1 0x1d
0000051f: PUSH1 0x24
00000521: DUP3
00000522: ADD
00000523: MSTORE
00000524: PUSH32 0x596f75277265206e6f74206120424243207368617265686f6c64657221000000
00000545: PUSH1 0x44
00000547: DUP3
00000548: ADD
00000549: MSTORE
0000054a: PUSH1 0x64
0000054c: ADD
0000054d: JUMPDEST
0000054e: PUSH1 0x40
00000550: MLOAD
00000551: DUP1
00000552: SWAP2
00000553: SUB
00000554: SWAP1
00000555: REVERT
00000556: JUMPDEST
00000557: POP
00000558: PUSH1 0x01
0000055a: PUSH1 0x01
0000055c: PUSH1 0xa0
0000055e: SHL
0000055f: SUB
00000560: AND
00000561: PUSH1 0x00
00000563: SWAP1
00000564: DUP2
00000565: MSTORE
00000566: PUSH1 0x05
00000568: PUSH1 0x20
0000056a: MSTORE
0000056b: PUSH1 0x40
0000056d: SWAP1
0000056e: KECCAK256
0000056f: PUSH1 0x02
00000571: ADD
00000572: SLOAD
00000573: SWAP1
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x01
00000578: PUSH1 0x01
0000057a: PUSH1 0xa0
0000057c: SHL
0000057d: SUB
0000057e: DUP2
0000057f: AND
00000580: PUSH1 0x00
00000582: SWAP1
00000583: DUP2
00000584: MSTORE
00000585: PUSH1 0x05
00000587: PUSH1 0x20
00000589: MSTORE
0000058a: PUSH1 0x40
0000058c: DUP2
0000058d: KECCAK256
0000058e: SLOAD
0000058f: PUSH2 0x059a
00000592: JUMPI
00000593: POP
00000594: PUSH1 0x00
00000596: SWAP2
00000597: SWAP1
00000598: POP
00000599: JUMP
0000059a: JUMPDEST
0000059b: PUSH1 0x01
0000059d: PUSH1 0x01
0000059f: PUSH1 0xa0
000005a1: SHL
000005a2: SUB
000005a3: DUP3
000005a4: AND
000005a5: PUSH1 0x00
000005a7: SWAP1
000005a8: DUP2
000005a9: MSTORE
000005aa: PUSH1 0x05
000005ac: PUSH1 0x20
000005ae: MSTORE
000005af: PUSH1 0x40
000005b1: DUP2
000005b2: KECCAK256
000005b3: SLOAD
000005b4: PUSH2 0x05bc
000005b7: SWAP1
000005b8: PUSH2 0x0918
000005bb: JUMP
000005bc: JUMPDEST
000005bd: PUSH1 0x01
000005bf: PUSH1 0x01
000005c1: PUSH1 0xa0
000005c3: SHL
000005c4: SUB
000005c5: DUP5
000005c6: AND
000005c7: PUSH1 0x00
000005c9: SWAP1
000005ca: DUP2
000005cb: MSTORE
000005cc: PUSH1 0x05
000005ce: PUSH1 0x20
000005d0: MSTORE
000005d1: PUSH1 0x40
000005d3: SWAP1
000005d4: KECCAK256
000005d5: PUSH1 0x01
000005d7: ADD
000005d8: SLOAD
000005d9: SWAP1
000005da: SWAP2
000005db: POP
000005dc: DUP1
000005dd: DUP3
000005de: GT
000005df: PUSH2 0x05ec
000005e2: JUMPI
000005e3: POP
000005e4: PUSH1 0x00
000005e6: SWAP4
000005e7: SWAP3
000005e8: POP
000005e9: POP
000005ea: POP
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH2 0x05f6
000005f0: DUP3
000005f1: DUP3
000005f2: PUSH2 0x086e
000005f5: JUMP
000005f6: JUMPDEST
000005f7: SWAP5
000005f8: SWAP4
000005f9: POP
000005fa: POP
000005fb: POP
000005fc: POP
000005fd: JUMP
000005fe: JUMPDEST
000005ff: PUSH1 0x07
00000601: SLOAD
00000602: CALLVALUE
00000603: SWAP1
00000604: PUSH2 0x060d
00000607: SWAP1
00000608: DUP3
00000609: PUSH2 0x08b9
0000060c: JUMP
0000060d: JUMPDEST
0000060e: PUSH1 0x07
00000610: SSTORE
00000611: PUSH1 0x06
00000613: SLOAD
00000614: PUSH1 0x0a
00000616: SLOAD
00000617: PUSH2 0x0637
0000061a: SWAP2
0000061b: PUSH2 0x062e
0000061e: SWAP2
0000061f: PUSH2 0x0628
00000622: SWAP1
00000623: DUP6
00000624: PUSH2 0x0935
00000627: JUMP
00000628: JUMPDEST
00000629: SWAP1
0000062a: PUSH2 0x09b4
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH1 0x09
00000631: SLOAD
00000632: SWAP1
00000633: PUSH2 0x08b9
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH1 0x09
0000063a: SSTORE
0000063b: POP
0000063c: JUMP
0000063d: JUMPDEST
0000063e: PUSH1 0x00
00000640: SLOAD
00000641: PUSH1 0x01
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: SHL
00000648: SUB
00000649: AND
0000064a: CALLER
0000064b: EQ
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: PUSH1 0x02
00000657: DUP1
00000658: SLOAD
00000659: PUSH1 0x01
0000065b: PUSH1 0x01
0000065d: PUSH1 0xa0
0000065f: SHL
00000660: SUB
00000661: NOT
00000662: AND
00000663: PUSH1 0x01
00000665: PUSH1 0x01
00000667: PUSH1 0xa0
00000669: SHL
0000066a: SUB
0000066b: SWAP3
0000066c: SWAP1
0000066d: SWAP3
0000066e: AND
0000066f: SWAP2
00000670: SWAP1
00000671: SWAP2
00000672: OR
00000673: SWAP1
00000674: SSTORE
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x01
00000679: PUSH1 0x01
0000067b: PUSH1 0xa0
0000067d: SHL
0000067e: SUB
0000067f: DUP2
00000680: AND
00000681: PUSH1 0x00
00000683: SWAP1
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x05
00000688: PUSH1 0x20
0000068a: MSTORE
0000068b: PUSH1 0x40
0000068d: SWAP1
0000068e: KECCAK256
0000068f: SLOAD
00000690: PUSH2 0x0696
00000693: JUMPI
00000694: POP
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH1 0x00
00000699: PUSH2 0x06a1
0000069c: DUP3
0000069d: PUSH2 0x0575
000006a0: JUMP
000006a1: JUMPDEST
000006a2: SWAP1
000006a3: POP
000006a4: DUP1
000006a5: ISZERO
000006a6: PUSH2 0x0755
000006a9: JUMPI
000006aa: PUSH1 0x08
000006ac: SLOAD
000006ad: PUSH2 0x06b6
000006b0: SWAP1
000006b1: DUP3
000006b2: PUSH2 0x08b9
000006b5: JUMP
000006b6: JUMPDEST
000006b7: PUSH1 0x08
000006b9: SSTORE
000006ba: PUSH1 0x01
000006bc: PUSH1 0x01
000006be: PUSH1 0xa0
000006c0: SHL
000006c1: SUB
000006c2: DUP3
000006c3: AND
000006c4: PUSH1 0x00
000006c6: SWAP1
000006c7: DUP2
000006c8: MSTORE
000006c9: PUSH1 0x05
000006cb: PUSH1 0x20
000006cd: MSTORE
000006ce: PUSH1 0x40
000006d0: SWAP1
000006d1: KECCAK256
000006d2: PUSH1 0x02
000006d4: ADD
000006d5: SLOAD
000006d6: PUSH2 0x06df
000006d9: SWAP1
000006da: DUP3
000006db: PUSH2 0x08b9
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH1 0x01
000006e2: PUSH1 0x01
000006e4: PUSH1 0xa0
000006e6: SHL
000006e7: SUB
000006e8: DUP4
000006e9: AND
000006ea: PUSH1 0x00
000006ec: SWAP1
000006ed: DUP2
000006ee: MSTORE
000006ef: PUSH1 0x05
000006f1: PUSH1 0x20
000006f3: MSTORE
000006f4: PUSH1 0x40
000006f6: SWAP1
000006f7: KECCAK256
000006f8: PUSH1 0x02
000006fa: DUP2
000006fb: ADD
000006fc: SWAP2
000006fd: SWAP1
000006fe: SWAP2
000006ff: SSTORE
00000700: SLOAD
00000701: PUSH2 0x0709
00000704: SWAP1
00000705: PUSH2 0x0918
00000708: JUMP
00000709: JUMPDEST
0000070a: PUSH1 0x01
0000070c: PUSH1 0x01
0000070e: PUSH1 0xa0
00000710: SHL
00000711: SUB
00000712: DUP4
00000713: AND
00000714: PUSH1 0x00
00000716: DUP2
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x05
0000071b: PUSH1 0x20
0000071d: MSTORE
0000071e: PUSH1 0x40
00000720: DUP1
00000721: DUP3
00000722: KECCAK256
00000723: PUSH1 0x01
00000725: ADD
00000726: SWAP4
00000727: SWAP1
00000728: SWAP4
00000729: SSTORE
0000072a: SWAP2
0000072b: MLOAD
0000072c: SWAP1
0000072d: SWAP2
0000072e: DUP4
0000072f: ISZERO
00000730: PUSH2 0x08fc
00000733: MUL
00000734: SWAP2
00000735: DUP5
00000736: SWAP2
00000737: DUP2
00000738: DUP2
00000739: DUP2
0000073a: DUP6
0000073b: DUP9
0000073c: DUP9
0000073d: CALL
0000073e: SWAP4
0000073f: POP
00000740: POP
00000741: POP
00000742: POP
00000743: ISZERO
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x0753
00000749: JUMPI
0000074a: RETURNDATASIZE
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: RETURNDATACOPY
0000074f: RETURNDATASIZE
00000750: PUSH1 0x00
00000752: REVERT
00000753: JUMPDEST
00000754: POP
00000755: JUMPDEST
00000756: POP
00000757: POP
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x03
0000075c: DUP1
0000075d: SLOAD
0000075e: PUSH2 0x0769
00000761: SWAP1
00000762: PUSH1 0x01
00000764: SWAP1
00000765: PUSH2 0x0b01
00000768: JUMP
00000769: JUMPDEST
0000076a: DUP2
0000076b: SLOAD
0000076c: DUP2
0000076d: LT
0000076e: PUSH2 0x0779
00000771: JUMPI
00000772: PUSH2 0x0779
00000775: PUSH2 0x0b18
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH1 0x00
0000077c: SWAP2
0000077d: DUP3
0000077e: MSTORE
0000077f: PUSH1 0x20
00000781: DUP1
00000782: DUP4
00000783: KECCAK256
00000784: SWAP1
00000785: SWAP2
00000786: ADD
00000787: SLOAD
00000788: PUSH1 0x01
0000078a: PUSH1 0x01
0000078c: PUSH1 0xa0
0000078e: SHL
0000078f: SUB
00000790: DUP5
00000791: DUP2
00000792: AND
00000793: DUP5
00000794: MSTORE
00000795: PUSH1 0x04
00000797: SWAP1
00000798: SWAP3
00000799: MSTORE
0000079a: PUSH1 0x40
0000079c: SWAP1
0000079d: SWAP3
0000079e: KECCAK256
0000079f: SLOAD
000007a0: PUSH1 0x03
000007a2: DUP1
000007a3: SLOAD
000007a4: SWAP3
000007a5: SWAP1
000007a6: SWAP4
000007a7: AND
000007a8: SWAP3
000007a9: SWAP2
000007aa: DUP2
000007ab: LT
000007ac: PUSH2 0x07b7
000007af: JUMPI
000007b0: PUSH2 0x07b7
000007b3: PUSH2 0x0b18
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH1 0x00
000007ba: SWAP2
000007bb: DUP3
000007bc: MSTORE
000007bd: PUSH1 0x20
000007bf: DUP1
000007c0: DUP4
000007c1: KECCAK256
000007c2: SWAP2
000007c3: SWAP1
000007c4: SWAP2
000007c5: ADD
000007c6: DUP1
000007c7: SLOAD
000007c8: PUSH1 0x01
000007ca: PUSH1 0x01
000007cc: PUSH1 0xa0
000007ce: SHL
000007cf: SUB
000007d0: NOT
000007d1: AND
000007d2: PUSH1 0x01
000007d4: PUSH1 0x01
000007d6: PUSH1 0xa0
000007d8: SHL
000007d9: SUB
000007da: SWAP5
000007db: DUP6
000007dc: AND
000007dd: OR
000007de: SWAP1
000007df: SSTORE
000007e0: SWAP2
000007e1: DUP4
000007e2: AND
000007e3: DUP2
000007e4: MSTORE
000007e5: PUSH1 0x04
000007e7: SWAP2
000007e8: DUP3
000007e9: SWAP1
000007ea: MSTORE
000007eb: PUSH1 0x40
000007ed: DUP2
000007ee: KECCAK256
000007ef: SLOAD
000007f0: PUSH1 0x03
000007f2: DUP1
000007f3: SLOAD
000007f4: SWAP2
000007f5: SWAP4
000007f6: SWAP3
000007f7: SWAP2
000007f8: PUSH2 0x0803
000007fb: SWAP1
000007fc: PUSH1 0x01
000007fe: SWAP1
000007ff: PUSH2 0x0b01
00000802: JUMP
00000803: JUMPDEST
00000804: DUP2
00000805: SLOAD
00000806: DUP2
00000807: LT
00000808: PUSH2 0x0813
0000080b: JUMPI
0000080c: PUSH2 0x0813
0000080f: PUSH2 0x0b18
00000812: JUMP
00000813: JUMPDEST
00000814: PUSH1 0x00
00000816: SWAP2
00000817: DUP3
00000818: MSTORE
00000819: PUSH1 0x20
0000081b: DUP1
0000081c: DUP4
0000081d: KECCAK256
0000081e: SWAP1
0000081f: SWAP2
00000820: ADD
00000821: SLOAD
00000822: PUSH1 0x01
00000824: PUSH1 0x01
00000826: PUSH1 0xa0
00000828: SHL
00000829: SUB
0000082a: AND
0000082b: DUP4
0000082c: MSTORE
0000082d: DUP3
0000082e: ADD
0000082f: SWAP3
00000830: SWAP1
00000831: SWAP3
00000832: MSTORE
00000833: PUSH1 0x40
00000835: ADD
00000836: SWAP1
00000837: KECCAK256
00000838: SSTORE
00000839: PUSH1 0x03
0000083b: DUP1
0000083c: SLOAD
0000083d: DUP1
0000083e: PUSH2 0x0849
00000841: JUMPI
00000842: PUSH2 0x0849
00000845: PUSH2 0x0b2e
00000848: JUMP
00000849: JUMPDEST
0000084a: PUSH1 0x00
0000084c: DUP3
0000084d: DUP2
0000084e: MSTORE
0000084f: PUSH1 0x20
00000851: SWAP1
00000852: KECCAK256
00000853: DUP2
00000854: ADD
00000855: PUSH1 0x00
00000857: NOT
00000858: SWAP1
00000859: DUP2
0000085a: ADD
0000085b: DUP1
0000085c: SLOAD
0000085d: PUSH1 0x01
0000085f: PUSH1 0x01
00000861: PUSH1 0xa0
00000863: SHL
00000864: SUB
00000865: NOT
00000866: AND
00000867: SWAP1
00000868: SSTORE
00000869: ADD
0000086a: SWAP1
0000086b: SSTORE
0000086c: POP
0000086d: JUMP
0000086e: JUMPDEST
0000086f: PUSH1 0x00
00000871: PUSH2 0x08b0
00000874: DUP4
00000875: DUP4
00000876: PUSH1 0x40
00000878: MLOAD
00000879: DUP1
0000087a: PUSH1 0x40
0000087c: ADD
0000087d: PUSH1 0x40
0000087f: MSTORE
00000880: DUP1
00000881: PUSH1 0x1e
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x20
00000887: ADD
00000888: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000008a9: DUP2
000008aa: MSTORE
000008ab: POP
000008ac: PUSH2 0x09f6
000008af: JUMP
000008b0: JUMPDEST
000008b1: SWAP1
000008b2: POP
000008b3: JUMPDEST
000008b4: SWAP3
000008b5: SWAP2
000008b6: POP
000008b7: POP
000008b8: JUMP
000008b9: JUMPDEST
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: PUSH2 0x08c6
000008c0: DUP4
000008c1: DUP6
000008c2: PUSH2 0x0b44
000008c5: JUMP
000008c6: JUMPDEST
000008c7: SWAP1
000008c8: POP
000008c9: DUP4
000008ca: DUP2
000008cb: LT
000008cc: ISZERO
000008cd: PUSH2 0x08b0
000008d0: JUMPI
000008d1: PUSH1 0x40
000008d3: MLOAD
000008d4: PUSH3 0x461bcd
000008d8: PUSH1 0xe5
000008da: SHL
000008db: DUP2
000008dc: MSTORE
000008dd: PUSH1 0x20
000008df: PUSH1 0x04
000008e1: DUP3
000008e2: ADD
000008e3: MSTORE
000008e4: PUSH1 0x1b
000008e6: PUSH1 0x24
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000090c: PUSH1 0x44
0000090e: DUP3
0000090f: ADD
00000910: MSTORE
00000911: PUSH1 0x64
00000913: ADD
00000914: PUSH2 0x054d
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x00
0000091b: PUSH2 0x08b3
0000091e: PUSH1 0x0a
00000920: SLOAD
00000921: PUSH2 0x0628
00000924: PUSH1 0x09
00000926: SLOAD
00000927: DUP6
00000928: PUSH2 0x0935
0000092b: SWAP1
0000092c: SWAP2
0000092d: SWAP1
0000092e: PUSH4 0xffffffff
00000933: AND
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH1 0x00
00000938: DUP3
00000939: PUSH2 0x0944
0000093c: JUMPI
0000093d: POP
0000093e: PUSH1 0x00
00000940: PUSH2 0x08b3
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x00
00000947: PUSH2 0x0950
0000094a: DUP4
0000094b: DUP6
0000094c: PUSH2 0x0b5c
0000094f: JUMP
00000950: JUMPDEST
00000951: SWAP1
00000952: POP
00000953: DUP3
00000954: PUSH2 0x095d
00000957: DUP6
00000958: DUP4
00000959: PUSH2 0x0b7b
0000095c: JUMP
0000095d: JUMPDEST
0000095e: EQ
0000095f: PUSH2 0x08b0
00000962: JUMPI
00000963: PUSH1 0x40
00000965: MLOAD
00000966: PUSH3 0x461bcd
0000096a: PUSH1 0xe5
0000096c: SHL
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: PUSH1 0x04
00000973: DUP3
00000974: ADD
00000975: MSTORE
00000976: PUSH1 0x21
00000978: PUSH1 0x24
0000097a: DUP3
0000097b: ADD
0000097c: MSTORE
0000097d: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
0000099e: PUSH1 0x44
000009a0: DUP3
000009a1: ADD
000009a2: MSTORE
000009a3: PUSH1 0x77
000009a5: PUSH1 0xf8
000009a7: SHL
000009a8: PUSH1 0x64
000009aa: DUP3
000009ab: ADD
000009ac: MSTORE
000009ad: PUSH1 0x84
000009af: ADD
000009b0: PUSH2 0x054d
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH1 0x00
000009b7: PUSH2 0x08b0
000009ba: DUP4
000009bb: DUP4
000009bc: PUSH1 0x40
000009be: MLOAD
000009bf: DUP1
000009c0: PUSH1 0x40
000009c2: ADD
000009c3: PUSH1 0x40
000009c5: MSTORE
000009c6: DUP1
000009c7: PUSH1 0x1a
000009c9: DUP2
000009ca: MSTORE
000009cb: PUSH1 0x20
000009cd: ADD
000009ce: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000009ef: DUP2
000009f0: MSTORE
000009f1: POP
000009f2: PUSH2 0x0a30
000009f5: JUMP
000009f6: JUMPDEST
000009f7: PUSH1 0x00
000009f9: DUP2
000009fa: DUP5
000009fb: DUP5
000009fc: GT
000009fd: ISZERO
000009fe: PUSH2 0x0a1a
00000a01: JUMPI
00000a02: PUSH1 0x40
00000a04: MLOAD
00000a05: PUSH3 0x461bcd
00000a09: PUSH1 0xe5
00000a0b: SHL
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x04
00000a10: ADD
00000a11: PUSH2 0x054d
00000a14: SWAP2
00000a15: SWAP1
00000a16: PUSH2 0x0b9d
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: POP
00000a1c: PUSH1 0x00
00000a1e: PUSH2 0x0a27
00000a21: DUP5
00000a22: DUP7
00000a23: PUSH2 0x0b01
00000a26: JUMP
00000a27: JUMPDEST
00000a28: SWAP6
00000a29: SWAP5
00000a2a: POP
00000a2b: POP
00000a2c: POP
00000a2d: POP
00000a2e: POP
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: PUSH1 0x00
00000a33: DUP2
00000a34: DUP4
00000a35: PUSH2 0x0a51
00000a38: JUMPI
00000a39: PUSH1 0x40
00000a3b: MLOAD
00000a3c: PUSH3 0x461bcd
00000a40: PUSH1 0xe5
00000a42: SHL
00000a43: DUP2
00000a44: MSTORE
00000a45: PUSH1 0x04
00000a47: ADD
00000a48: PUSH2 0x054d
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: PUSH2 0x0b9d
00000a50: JUMP
00000a51: JUMPDEST
00000a52: POP
00000a53: PUSH1 0x00
00000a55: PUSH2 0x0a27
00000a58: DUP5
00000a59: DUP7
00000a5a: PUSH2 0x0b7b
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: DUP1
00000a60: CALLDATALOAD
00000a61: PUSH1 0x01
00000a63: PUSH1 0x01
00000a65: PUSH1 0xa0
00000a67: SHL
00000a68: SUB
00000a69: DUP2
00000a6a: AND
00000a6b: DUP2
00000a6c: EQ
00000a6d: PUSH2 0x0a75
00000a70: JUMPI
00000a71: PUSH1 0x00
00000a73: DUP1
00000a74: REVERT
00000a75: JUMPDEST
00000a76: SWAP2
00000a77: SWAP1
00000a78: POP
00000a79: JUMP
00000a7a: JUMPDEST
00000a7b: PUSH1 0x00
00000a7d: DUP1
00000a7e: PUSH1 0x40
00000a80: DUP4
00000a81: DUP6
00000a82: SUB
00000a83: SLT
00000a84: ISZERO
00000a85: PUSH2 0x0a8d
00000a88: JUMPI
00000a89: PUSH1 0x00
00000a8b: DUP1
00000a8c: REVERT
00000a8d: JUMPDEST
00000a8e: DUP3
00000a8f: CALLDATALOAD
00000a90: SWAP2
00000a91: POP
00000a92: PUSH2 0x0a9d
00000a95: PUSH1 0x20
00000a97: DUP5
00000a98: ADD
00000a99: PUSH2 0x0a5e
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: SWAP1
00000a9f: POP
00000aa0: SWAP3
00000aa1: POP
00000aa2: SWAP3
00000aa3: SWAP1
00000aa4: POP
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x00
00000aa9: DUP1
00000aaa: PUSH1 0x40
00000aac: DUP4
00000aad: DUP6
00000aae: SUB
00000aaf: SLT
00000ab0: ISZERO
00000ab1: PUSH2 0x0ab9
00000ab4: JUMPI
00000ab5: PUSH1 0x00
00000ab7: DUP1
00000ab8: REVERT
00000ab9: JUMPDEST
00000aba: PUSH2 0x0ac2
00000abd: DUP4
00000abe: PUSH2 0x0a5e
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: SWAP5
00000ac4: PUSH1 0x20
00000ac6: SWAP4
00000ac7: SWAP1
00000ac8: SWAP4
00000ac9: ADD
00000aca: CALLDATALOAD
00000acb: SWAP4
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH1 0x00
00000ad3: PUSH1 0x20
00000ad5: DUP3
00000ad6: DUP5
00000ad7: SUB
00000ad8: SLT
00000ad9: ISZERO
00000ada: PUSH2 0x0ae2
00000add: JUMPI
00000ade: PUSH1 0x00
00000ae0: DUP1
00000ae1: REVERT
00000ae2: JUMPDEST
00000ae3: PUSH2 0x08b0
00000ae6: DUP3
00000ae7: PUSH2 0x0a5e
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: PUSH4 0x4e487b71
00000af1: PUSH1 0xe0
00000af3: SHL
00000af4: PUSH1 0x00
00000af6: MSTORE
00000af7: PUSH1 0x11
00000af9: PUSH1 0x04
00000afb: MSTORE
00000afc: PUSH1 0x24
00000afe: PUSH1 0x00
00000b00: REVERT
00000b01: JUMPDEST
00000b02: PUSH1 0x00
00000b04: DUP3
00000b05: DUP3
00000b06: LT
00000b07: ISZERO
00000b08: PUSH2 0x0b13
00000b0b: JUMPI
00000b0c: PUSH2 0x0b13
00000b0f: PUSH2 0x0aeb
00000b12: JUMP
00000b13: JUMPDEST
00000b14: POP
00000b15: SUB
00000b16: SWAP1
00000b17: JUMP
00000b18: JUMPDEST
00000b19: PUSH4 0x4e487b71
00000b1e: PUSH1 0xe0
00000b20: SHL
00000b21: PUSH1 0x00
00000b23: MSTORE
00000b24: PUSH1 0x32
00000b26: PUSH1 0x04
00000b28: MSTORE
00000b29: PUSH1 0x24
00000b2b: PUSH1 0x00
00000b2d: REVERT
00000b2e: JUMPDEST
00000b2f: PUSH4 0x4e487b71
00000b34: PUSH1 0xe0
00000b36: SHL
00000b37: PUSH1 0x00
00000b39: MSTORE
00000b3a: PUSH1 0x31
00000b3c: PUSH1 0x04
00000b3e: MSTORE
00000b3f: PUSH1 0x24
00000b41: PUSH1 0x00
00000b43: REVERT
00000b44: JUMPDEST
00000b45: PUSH1 0x00
00000b47: DUP3
00000b48: NOT
00000b49: DUP3
00000b4a: GT
00000b4b: ISZERO
00000b4c: PUSH2 0x0b57
00000b4f: JUMPI
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x0aeb
00000b56: JUMP
00000b57: JUMPDEST
00000b58: POP
00000b59: ADD
00000b5a: SWAP1
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: DUP2
00000b60: PUSH1 0x00
00000b62: NOT
00000b63: DIV
00000b64: DUP4
00000b65: GT
00000b66: DUP3
00000b67: ISZERO
00000b68: ISZERO
00000b69: AND
00000b6a: ISZERO
00000b6b: PUSH2 0x0b76
00000b6e: JUMPI
00000b6f: PUSH2 0x0b76
00000b72: PUSH2 0x0aeb
00000b75: JUMP
00000b76: JUMPDEST
00000b77: POP
00000b78: MUL
00000b79: SWAP1
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: PUSH1 0x00
00000b7e: DUP3
00000b7f: PUSH2 0x0b98
00000b82: JUMPI
00000b83: PUSH4 0x4e487b71
00000b88: PUSH1 0xe0
00000b8a: SHL
00000b8b: PUSH1 0x00
00000b8d: MSTORE
00000b8e: PUSH1 0x12
00000b90: PUSH1 0x04
00000b92: MSTORE
00000b93: PUSH1 0x24
00000b95: PUSH1 0x00
00000b97: REVERT
00000b98: JUMPDEST
00000b99: POP
00000b9a: DIV
00000b9b: SWAP1
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x00
00000ba0: PUSH1 0x20
00000ba2: DUP1
00000ba3: DUP4
00000ba4: MSTORE
00000ba5: DUP4
00000ba6: MLOAD
00000ba7: DUP1
00000ba8: DUP3
00000ba9: DUP6
00000baa: ADD
00000bab: MSTORE
00000bac: PUSH1 0x00
00000bae: JUMPDEST
00000baf: DUP2
00000bb0: DUP2
00000bb1: LT
00000bb2: ISZERO
00000bb3: PUSH2 0x0bca
00000bb6: JUMPI
00000bb7: DUP6
00000bb8: DUP2
00000bb9: ADD
00000bba: DUP4
00000bbb: ADD
00000bbc: MLOAD
00000bbd: DUP6
00000bbe: DUP3
00000bbf: ADD
00000bc0: PUSH1 0x40
00000bc2: ADD
00000bc3: MSTORE
00000bc4: DUP3
00000bc5: ADD
00000bc6: PUSH2 0x0bae
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: DUP2
00000bcc: DUP2
00000bcd: GT
00000bce: ISZERO
00000bcf: PUSH2 0x0bdc
00000bd2: JUMPI
00000bd3: PUSH1 0x00
00000bd5: PUSH1 0x40
00000bd7: DUP4
00000bd8: DUP8
00000bd9: ADD
00000bda: ADD
00000bdb: MSTORE
00000bdc: JUMPDEST
00000bdd: POP
00000bde: PUSH1 0x1f
00000be0: ADD
00000be1: PUSH1 0x1f
00000be3: NOT
00000be4: AND
00000be5: SWAP3
00000be6: SWAP1
00000be7: SWAP3
00000be8: ADD
00000be9: PUSH1 0x40
00000beb: ADD
00000bec: SWAP4
00000bed: SWAP3
00000bee: POP
00000bef: POP
00000bf0: POP
00000bf1: JUMP
00000bf2: INVALID
00000bf3: LOG2
00000bf4: PUSH5 0x6970667358
00000bfa: UNKNOWN(0x22)
00000bfb: SLT
00000bfc: KECCAK256
00000bfd: SWAP4
00000bfe: DUP9
00000bff: UNKNOWN(0xEE)
00000c00: TSTORE
00000c01: PUSH20 0xe0576cc27640582855d8d211ac176598f03eac4e
00000c16: UNKNOWN(0xEF)
00000c17: UNKNOWN(0xDC)
00000c18: UNKNOWN(0x4D)
00000c19: ADD
00000c1a: UNKNOWN(0xBC)
00000c1b: DUP5
00000c1c: ADDRESS
00000c1d: PUSH5 0x736f6c6343
00000c23: STOP
00000c24: ADDMOD
00000c25: EXP
00000c26: STOP
00000c27: CALLER

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: 0x26f994bd1215abc3b1e627580a3e506a659863242d3b352e8cacd7a78263b705
call_targets: 0xd848fa6e23c337d8bc18a127b74d61d8147813b9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x26f994bd1215abc3b1e627580a3e506a659863242d3b352e8cacd7a78263b705",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd848fa6e23c337d8bc18a127b74d61d8147813b9"
    ],
    "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": "0xe2d2e219",
            "selector": "0xe2d2e219",
            "calldata_variants": [
                "0xe2d2e219",
                "0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe319a3d9",
            "selector": "0xe319a3d9",
            "calldata_variants": [
                "0xe319a3d9",
                "0xe319a3d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecd0c0c3",
            "selector": "0xecd0c0c3",
            "calldata_variants": [
                "0xecd0c0c3",
                "0xecd0c0c30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb2bdfa7b",
            "selector": "0xb2bdfa7b",
            "calldata_variants": [
                "0xb2bdfa7b",
                "0xb2bdfa7b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd54ad2a1",
            "selector": "0xd54ad2a1",
            "calldata_variants": [
                "0xd54ad2a1",
                "0xd54ad2a10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 821,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1853,
            "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: 0x26f994bd1215abc3b1e627580a3e506a659863242d3b352e8cacd7a78263b705
call_targets: 0xd848fa6e23c337d8bc18a127b74d61d8147813b9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x26f994bd1215abc3b1e627580a3e506a659863242d3b352e8cacd7a78263b705",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd848fa6e23c337d8bc18a127b74d61d8147813b9"
    ],
    "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": "0xe2d2e219",
            "selector": "0xe2d2e219",
            "calldata_variants": [
                "0xe2d2e219",
                "0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe319a3d9",
            "selector": "0xe319a3d9",
            "calldata_variants": [
                "0xe319a3d9",
                "0xe319a3d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecd0c0c3",
            "selector": "0xecd0c0c3",
            "calldata_variants": [
                "0xecd0c0c3",
                "0xecd0c0c30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb2bdfa7b",
            "selector": "0xb2bdfa7b",
            "calldata_variants": [
                "0xb2bdfa7b",
                "0xb2bdfa7b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd54ad2a1",
            "selector": "0xd54ad2a1",
            "calldata_variants": [
                "0xd54ad2a1",
                "0xd54ad2a10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 821,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1853,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}