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

Analysis Run

019b477e-cb47-73b3-a6eb-721eeb90cb78

complete
Chain ID
1
Address
0xa1a9f0d533dcfd94ae5d222cd4a36f69abc89f03
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
ETH value transfer possible
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
26661 artifact.fetch complete 1 / 3 3 months ago
26662 tool.cast_disasm complete 1 / 3 3 months ago
70058 analysis.bundle complete 1 / 3 2 weeks ago
70059 capability.graph complete 1 / 3 2 weeks ago
70060 detector.run complete 1 / 3 2 weeks ago
70061 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)
3
EXT*/BALANCE
0
Total opcodes
1741
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ab
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xce7c2ac2
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce7c2ac2
00000024: EQ
00000025: PUSH2 0x019f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd1b812cd
0000002f: EQ
00000030: PUSH2 0x01cc
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd7e583ee
0000003a: EQ
0000003b: PUSH2 0x01ec
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xde4e05fb
00000045: EQ
00000046: PUSH2 0x0219
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe5d0821f
00000050: EQ
00000051: PUSH2 0x022f
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x024f
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x19b47ce6
0000006b: EQ
0000006c: PUSH2 0x00b7
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3a98ef39
00000076: EQ
00000077: PUSH2 0x0107
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x3ccfd60b
00000081: EQ
00000082: PUSH2 0x012b
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x560f66ea
0000008c: EQ
0000008d: PUSH2 0x0142
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x715018a6
00000097: EQ
00000098: PUSH2 0x0158
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x8da5cb5b
000000a2: EQ
000000a3: PUSH2 0x016d
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: CALLDATASIZE
000000ad: PUSH2 0x00b2
000000b0: JUMPI
000000b1: STOP
000000b2: JUMPDEST
000000b3: PUSH1 0x00
000000b5: DUP1
000000b6: REVERT
000000b7: JUMPDEST
000000b8: CALLVALUE
000000b9: DUP1
000000ba: ISZERO
000000bb: PUSH2 0x00c3
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: POP
000000c5: PUSH2 0x00f2
000000c8: PUSH2 0x00d2
000000cb: CALLDATASIZE
000000cc: PUSH1 0x04
000000ce: PUSH2 0x08e6
000000d1: JUMP
000000d2: JUMPDEST
000000d3: PUSH1 0x07
000000d5: PUSH1 0x20
000000d7: SWAP1
000000d8: DUP2
000000d9: MSTORE
000000da: PUSH1 0x00
000000dc: SWAP3
000000dd: DUP4
000000de: MSTORE
000000df: PUSH1 0x40
000000e1: DUP1
000000e2: DUP5
000000e3: KECCAK256
000000e4: SWAP1
000000e5: SWAP2
000000e6: MSTORE
000000e7: SWAP1
000000e8: DUP3
000000e9: MSTORE
000000ea: SWAP1
000000eb: KECCAK256
000000ec: SLOAD
000000ed: PUSH1 0xff
000000ef: AND
000000f0: DUP2
000000f1: JUMP
000000f2: JUMPDEST
000000f3: PUSH1 0x40
000000f5: MLOAD
000000f6: SWAP1
000000f7: ISZERO
000000f8: ISZERO
000000f9: DUP2
000000fa: MSTORE
000000fb: PUSH1 0x20
000000fd: ADD
000000fe: JUMPDEST
000000ff: PUSH1 0x40
00000101: MLOAD
00000102: DUP1
00000103: SWAP2
00000104: SUB
00000105: SWAP1
00000106: RETURN
00000107: JUMPDEST
00000108: CALLVALUE
00000109: DUP1
0000010a: ISZERO
0000010b: PUSH2 0x0113
0000010e: JUMPI
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: POP
00000115: PUSH2 0x011d
00000118: PUSH1 0x01
0000011a: SLOAD
0000011b: DUP2
0000011c: JUMP
0000011d: JUMPDEST
0000011e: PUSH1 0x40
00000120: MLOAD
00000121: SWAP1
00000122: DUP2
00000123: MSTORE
00000124: PUSH1 0x20
00000126: ADD
00000127: PUSH2 0x00fe
0000012a: JUMP
0000012b: JUMPDEST
0000012c: CALLVALUE
0000012d: DUP1
0000012e: ISZERO
0000012f: PUSH2 0x0137
00000132: JUMPI
00000133: PUSH1 0x00
00000135: DUP1
00000136: REVERT
00000137: JUMPDEST
00000138: POP
00000139: PUSH2 0x0140
0000013c: PUSH2 0x026f
0000013f: JUMP
00000140: JUMPDEST
00000141: STOP
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x011d
00000153: PUSH1 0x02
00000155: SLOAD
00000156: DUP2
00000157: JUMP
00000158: JUMPDEST
00000159: CALLVALUE
0000015a: DUP1
0000015b: ISZERO
0000015c: PUSH2 0x0164
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: POP
00000166: PUSH2 0x0140
00000169: PUSH2 0x04fb
0000016c: JUMP
0000016d: JUMPDEST
0000016e: CALLVALUE
0000016f: DUP1
00000170: ISZERO
00000171: PUSH2 0x0179
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: POP
0000017b: PUSH1 0x00
0000017d: SLOAD
0000017e: PUSH1 0x01
00000180: PUSH1 0x01
00000182: PUSH1 0xa0
00000184: SHL
00000185: SUB
00000186: AND
00000187: JUMPDEST
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: PUSH1 0x01
0000018d: PUSH1 0x01
0000018f: PUSH1 0xa0
00000191: SHL
00000192: SUB
00000193: SWAP1
00000194: SWAP2
00000195: AND
00000196: DUP2
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: ADD
0000019b: PUSH2 0x00fe
0000019e: JUMP
0000019f: JUMPDEST
000001a0: CALLVALUE
000001a1: DUP1
000001a2: ISZERO
000001a3: PUSH2 0x01ab
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: POP
000001ad: PUSH2 0x011d
000001b0: PUSH2 0x01ba
000001b3: CALLDATASIZE
000001b4: PUSH1 0x04
000001b6: PUSH2 0x0912
000001b9: JUMP
000001ba: JUMPDEST
000001bb: PUSH1 0x05
000001bd: PUSH1 0x20
000001bf: MSTORE
000001c0: PUSH1 0x00
000001c2: SWAP1
000001c3: DUP2
000001c4: MSTORE
000001c5: PUSH1 0x40
000001c7: SWAP1
000001c8: KECCAK256
000001c9: SLOAD
000001ca: DUP2
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH1 0x04
000001dc: SLOAD
000001dd: PUSH2 0x0187
000001e0: SWAP1
000001e1: PUSH1 0x01
000001e3: PUSH1 0x01
000001e5: PUSH1 0xa0
000001e7: SHL
000001e8: SUB
000001e9: AND
000001ea: DUP2
000001eb: JUMP
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: DUP1
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: POP
000001fa: PUSH2 0x011d
000001fd: PUSH2 0x0207
00000200: CALLDATASIZE
00000201: PUSH1 0x04
00000203: PUSH2 0x092d
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x06
0000020a: PUSH1 0x20
0000020c: MSTORE
0000020d: PUSH1 0x00
0000020f: SWAP1
00000210: DUP2
00000211: MSTORE
00000212: PUSH1 0x40
00000214: SWAP1
00000215: KECCAK256
00000216: SLOAD
00000217: DUP2
00000218: JUMP
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: DUP1
0000021c: ISZERO
0000021d: PUSH2 0x0225
00000220: JUMPI
00000221: PUSH1 0x00
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: POP
00000227: PUSH2 0x011d
0000022a: PUSH1 0x03
0000022c: SLOAD
0000022d: DUP2
0000022e: JUMP
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: POP
0000023d: PUSH2 0x0140
00000240: PUSH2 0x024a
00000243: CALLDATASIZE
00000244: PUSH1 0x04
00000246: PUSH2 0x0946
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x056f
0000024e: JUMP
0000024f: JUMPDEST
00000250: CALLVALUE
00000251: DUP1
00000252: ISZERO
00000253: PUSH2 0x025b
00000256: JUMPI
00000257: PUSH1 0x00
00000259: DUP1
0000025a: REVERT
0000025b: JUMPDEST
0000025c: POP
0000025d: PUSH2 0x0140
00000260: PUSH2 0x026a
00000263: CALLDATASIZE
00000264: PUSH1 0x04
00000266: PUSH2 0x0912
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH2 0x05f0
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH2 0x0277
00000273: PUSH2 0x06da
00000276: JUMP
00000277: JUMPDEST
00000278: CALLER
00000279: PUSH1 0x00
0000027b: SWAP1
0000027c: DUP2
0000027d: MSTORE
0000027e: PUSH1 0x05
00000280: PUSH1 0x20
00000282: MSTORE
00000283: PUSH1 0x40
00000285: SWAP1
00000286: KECCAK256
00000287: SLOAD
00000288: DUP1
00000289: PUSH2 0x02c8
0000028c: JUMPI
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: PUSH3 0x461bcd
00000294: PUSH1 0xe5
00000296: SHL
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: PUSH1 0x04
0000029d: DUP3
0000029e: ADD
0000029f: MSTORE
000002a0: PUSH1 0x0c
000002a2: PUSH1 0x24
000002a4: DUP3
000002a5: ADD
000002a6: MSTORE
000002a7: PUSH12 0x456d70747920736861726573
000002b4: PUSH1 0xa0
000002b6: SHL
000002b7: PUSH1 0x44
000002b9: DUP3
000002ba: ADD
000002bb: MSTORE
000002bc: PUSH1 0x64
000002be: ADD
000002bf: JUMPDEST
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: DUP1
000002c4: SWAP2
000002c5: SUB
000002c6: SWAP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: PUSH1 0x02
000002cb: SLOAD
000002cc: PUSH1 0x00
000002ce: SWAP1
000002cf: DUP2
000002d0: MSTORE
000002d1: PUSH1 0x07
000002d3: PUSH1 0x20
000002d5: SWAP1
000002d6: DUP2
000002d7: MSTORE
000002d8: PUSH1 0x40
000002da: DUP1
000002db: DUP4
000002dc: KECCAK256
000002dd: CALLER
000002de: DUP5
000002df: MSTORE
000002e0: SWAP1
000002e1: SWAP2
000002e2: MSTORE
000002e3: SWAP1
000002e4: KECCAK256
000002e5: SLOAD
000002e6: PUSH1 0xff
000002e8: AND
000002e9: ISZERO
000002ea: PUSH2 0x0322
000002ed: JUMPI
000002ee: PUSH1 0x40
000002f0: MLOAD
000002f1: PUSH3 0x461bcd
000002f5: PUSH1 0xe5
000002f7: SHL
000002f8: DUP2
000002f9: MSTORE
000002fa: PUSH1 0x20
000002fc: PUSH1 0x04
000002fe: DUP3
000002ff: ADD
00000300: MSTORE
00000301: PUSH1 0x0a
00000303: PUSH1 0x24
00000305: DUP3
00000306: ADD
00000307: MSTORE
00000308: PUSH10 0x15da5d1a191c985dd959
00000313: PUSH1 0xb2
00000315: SHL
00000316: PUSH1 0x44
00000318: DUP3
00000319: ADD
0000031a: MSTORE
0000031b: PUSH1 0x64
0000031d: ADD
0000031e: PUSH2 0x02bf
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x02
00000325: SLOAD
00000326: PUSH1 0x00
00000328: SWAP1
00000329: DUP2
0000032a: MSTORE
0000032b: PUSH1 0x06
0000032d: PUSH1 0x20
0000032f: MSTORE
00000330: PUSH1 0x40
00000332: DUP2
00000333: KECCAK256
00000334: SLOAD
00000335: PUSH1 0x01
00000337: SLOAD
00000338: SWAP1
00000339: SWAP2
0000033a: SELFBALANCE
0000033b: SWAP2
0000033c: PUSH2 0x035c
0000033f: SWAP1
00000340: DUP6
00000341: SWAP1
00000342: PUSH2 0x0356
00000345: SWAP1
00000346: PUSH2 0x034f
00000349: SWAP1
0000034a: DUP8
0000034b: PUSH2 0x06f7
0000034e: JUMP
0000034f: JUMPDEST
00000350: DUP6
00000351: SWAP1
00000352: PUSH2 0x0742
00000355: JUMP
00000356: JUMPDEST
00000357: SWAP1
00000358: PUSH2 0x0784
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH1 0x04
0000035f: DUP1
00000360: SLOAD
00000361: PUSH1 0x40
00000363: MLOAD
00000364: PUSH4 0x70a08231
00000369: PUSH1 0xe0
0000036b: SHL
0000036c: DUP2
0000036d: MSTORE
0000036e: ADDRESS
0000036f: SWAP3
00000370: DUP2
00000371: ADD
00000372: SWAP3
00000373: SWAP1
00000374: SWAP3
00000375: MSTORE
00000376: SWAP2
00000377: SWAP3
00000378: POP
00000379: PUSH1 0x00
0000037b: SWAP2
0000037c: PUSH1 0x01
0000037e: PUSH1 0x01
00000380: PUSH1 0xa0
00000382: SHL
00000383: SUB
00000384: AND
00000385: SWAP1
00000386: PUSH4 0x70a08231
0000038b: SWAP1
0000038c: PUSH1 0x24
0000038e: ADD
0000038f: PUSH1 0x20
00000391: PUSH1 0x40
00000393: MLOAD
00000394: DUP1
00000395: DUP4
00000396: SUB
00000397: DUP2
00000398: DUP7
00000399: GAS
0000039a: STATICCALL
0000039b: ISZERO
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03ab
000003a1: JUMPI
000003a2: RETURNDATASIZE
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: RETURNDATACOPY
000003a7: RETURNDATASIZE
000003a8: PUSH1 0x00
000003aa: REVERT
000003ab: JUMPDEST
000003ac: POP
000003ad: POP
000003ae: POP
000003af: POP
000003b0: PUSH1 0x40
000003b2: MLOAD
000003b3: RETURNDATASIZE
000003b4: PUSH1 0x1f
000003b6: NOT
000003b7: PUSH1 0x1f
000003b9: DUP3
000003ba: ADD
000003bb: AND
000003bc: DUP3
000003bd: ADD
000003be: DUP1
000003bf: PUSH1 0x40
000003c1: MSTORE
000003c2: POP
000003c3: DUP2
000003c4: ADD
000003c5: SWAP1
000003c6: PUSH2 0x03cf
000003c9: SWAP2
000003ca: SWAP1
000003cb: PUSH2 0x0970
000003ce: JUMP
000003cf: JUMPDEST
000003d0: SWAP1
000003d1: POP
000003d2: PUSH1 0x00
000003d4: PUSH2 0x03ef
000003d7: DUP7
000003d8: PUSH2 0x0356
000003db: PUSH2 0x034f
000003de: DUP9
000003df: PUSH1 0x01
000003e1: SLOAD
000003e2: PUSH2 0x06f7
000003e5: SWAP1
000003e6: SWAP2
000003e7: SWAP1
000003e8: PUSH4 0xffffffff
000003ed: AND
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH1 0x02
000003f2: DUP1
000003f3: SLOAD
000003f4: PUSH1 0x00
000003f6: SWAP1
000003f7: DUP2
000003f8: MSTORE
000003f9: PUSH1 0x07
000003fb: PUSH1 0x20
000003fd: SWAP1
000003fe: DUP2
000003ff: MSTORE
00000400: PUSH1 0x40
00000402: DUP1
00000403: DUP4
00000404: KECCAK256
00000405: CALLER
00000406: DUP5
00000407: MSTORE
00000408: DUP3
00000409: MSTORE
0000040a: DUP1
0000040b: DUP4
0000040c: KECCAK256
0000040d: DUP1
0000040e: SLOAD
0000040f: PUSH1 0xff
00000411: NOT
00000412: AND
00000413: PUSH1 0x01
00000415: OR
00000416: SWAP1
00000417: SSTORE
00000418: SWAP3
00000419: SLOAD
0000041a: DUP3
0000041b: MSTORE
0000041c: PUSH1 0x06
0000041e: SWAP1
0000041f: MSTORE
00000420: KECCAK256
00000421: SLOAD
00000422: SWAP1
00000423: SWAP2
00000424: POP
00000425: PUSH2 0x042e
00000428: SWAP1
00000429: DUP8
0000042a: PUSH2 0x0803
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH1 0x02
00000431: SLOAD
00000432: PUSH1 0x00
00000434: SWAP1
00000435: DUP2
00000436: MSTORE
00000437: PUSH1 0x06
00000439: PUSH1 0x20
0000043b: MSTORE
0000043c: PUSH1 0x40
0000043e: SWAP1
0000043f: KECCAK256
00000440: SSTORE
00000441: DUP3
00000442: ISZERO
00000443: PUSH2 0x0475
00000446: JUMPI
00000447: PUSH1 0x40
00000449: MLOAD
0000044a: CALLER
0000044b: SWAP1
0000044c: DUP5
0000044d: ISZERO
0000044e: PUSH2 0x08fc
00000451: MUL
00000452: SWAP1
00000453: DUP6
00000454: SWAP1
00000455: PUSH1 0x00
00000457: DUP2
00000458: DUP2
00000459: DUP2
0000045a: DUP6
0000045b: DUP9
0000045c: DUP9
0000045d: CALL
0000045e: SWAP4
0000045f: POP
00000460: POP
00000461: POP
00000462: POP
00000463: ISZERO
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x0473
00000469: JUMPI
0000046a: RETURNDATASIZE
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: RETURNDATACOPY
0000046f: RETURNDATASIZE
00000470: PUSH1 0x00
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: JUMPDEST
00000476: DUP1
00000477: ISZERO
00000478: PUSH2 0x04f3
0000047b: JUMPI
0000047c: PUSH1 0x04
0000047e: DUP1
0000047f: SLOAD
00000480: PUSH1 0x40
00000482: MLOAD
00000483: PUSH4 0xa9059cbb
00000488: PUSH1 0xe0
0000048a: SHL
0000048b: DUP2
0000048c: MSTORE
0000048d: CALLER
0000048e: SWAP3
0000048f: DUP2
00000490: ADD
00000491: SWAP3
00000492: SWAP1
00000493: SWAP3
00000494: MSTORE
00000495: PUSH1 0x24
00000497: DUP3
00000498: ADD
00000499: DUP4
0000049a: SWAP1
0000049b: MSTORE
0000049c: PUSH1 0x01
0000049e: PUSH1 0x01
000004a0: PUSH1 0xa0
000004a2: SHL
000004a3: SUB
000004a4: AND
000004a5: SWAP1
000004a6: PUSH4 0xa9059cbb
000004ab: SWAP1
000004ac: PUSH1 0x44
000004ae: ADD
000004af: PUSH1 0x20
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: DUP1
000004b5: DUP4
000004b6: SUB
000004b7: DUP2
000004b8: PUSH1 0x00
000004ba: DUP8
000004bb: GAS
000004bc: CALL
000004bd: ISZERO
000004be: DUP1
000004bf: ISZERO
000004c0: PUSH2 0x04cd
000004c3: JUMPI
000004c4: RETURNDATASIZE
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: RETURNDATACOPY
000004c9: RETURNDATASIZE
000004ca: PUSH1 0x00
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: POP
000004d0: POP
000004d1: POP
000004d2: PUSH1 0x40
000004d4: MLOAD
000004d5: RETURNDATASIZE
000004d6: PUSH1 0x1f
000004d8: NOT
000004d9: PUSH1 0x1f
000004db: DUP3
000004dc: ADD
000004dd: AND
000004de: DUP3
000004df: ADD
000004e0: DUP1
000004e1: PUSH1 0x40
000004e3: MSTORE
000004e4: POP
000004e5: DUP2
000004e6: ADD
000004e7: SWAP1
000004e8: PUSH2 0x04f1
000004eb: SWAP2
000004ec: SWAP1
000004ed: PUSH2 0x0989
000004f0: JUMP
000004f1: JUMPDEST
000004f2: POP
000004f3: JUMPDEST
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: POP
000004f8: POP
000004f9: POP
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH1 0x00
000004fe: SLOAD
000004ff: PUSH1 0x01
00000501: PUSH1 0x01
00000503: PUSH1 0xa0
00000505: SHL
00000506: SUB
00000507: AND
00000508: CALLER
00000509: EQ
0000050a: PUSH2 0x0525
0000050d: JUMPI
0000050e: PUSH1 0x40
00000510: MLOAD
00000511: PUSH3 0x461bcd
00000515: PUSH1 0xe5
00000517: SHL
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x04
0000051c: ADD
0000051d: PUSH2 0x02bf
00000520: SWAP1
00000521: PUSH2 0x09ab
00000524: JUMP
00000525: JUMPDEST
00000526: PUSH1 0x00
00000528: DUP1
00000529: SLOAD
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: PUSH1 0x01
0000052f: PUSH1 0x01
00000531: PUSH1 0xa0
00000533: SHL
00000534: SUB
00000535: SWAP1
00000536: SWAP2
00000537: AND
00000538: SWAP1
00000539: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000055a: SWAP1
0000055b: DUP4
0000055c: SWAP1
0000055d: LOG3
0000055e: PUSH1 0x00
00000560: DUP1
00000561: SLOAD
00000562: PUSH1 0x01
00000564: PUSH1 0x01
00000566: PUSH1 0xa0
00000568: SHL
00000569: SUB
0000056a: NOT
0000056b: AND
0000056c: SWAP1
0000056d: SSTORE
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH1 0x00
00000572: SLOAD
00000573: PUSH1 0x01
00000575: PUSH1 0x01
00000577: PUSH1 0xa0
00000579: SHL
0000057a: SUB
0000057b: AND
0000057c: CALLER
0000057d: EQ
0000057e: PUSH2 0x0599
00000581: JUMPI
00000582: PUSH1 0x40
00000584: MLOAD
00000585: PUSH3 0x461bcd
00000589: PUSH1 0xe5
0000058b: SHL
0000058c: DUP2
0000058d: MSTORE
0000058e: PUSH1 0x04
00000590: ADD
00000591: PUSH2 0x02bf
00000594: SWAP1
00000595: PUSH2 0x09ab
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH1 0x01
0000059c: PUSH1 0x01
0000059e: PUSH1 0xa0
000005a0: SHL
000005a1: SUB
000005a2: DUP3
000005a3: AND
000005a4: PUSH1 0x00
000005a6: SWAP1
000005a7: DUP2
000005a8: MSTORE
000005a9: PUSH1 0x05
000005ab: PUSH1 0x20
000005ad: MSTORE
000005ae: PUSH1 0x40
000005b0: SWAP1
000005b1: KECCAK256
000005b2: SLOAD
000005b3: PUSH1 0x01
000005b5: SLOAD
000005b6: PUSH2 0x05be
000005b9: SWAP2
000005ba: PUSH2 0x06f7
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH1 0x01
000005c1: SWAP1
000005c2: DUP2
000005c3: SSTORE
000005c4: PUSH1 0x01
000005c6: PUSH1 0x01
000005c8: PUSH1 0xa0
000005ca: SHL
000005cb: SUB
000005cc: DUP4
000005cd: AND
000005ce: PUSH1 0x00
000005d0: SWAP1
000005d1: DUP2
000005d2: MSTORE
000005d3: PUSH1 0x05
000005d5: PUSH1 0x20
000005d7: MSTORE
000005d8: PUSH1 0x40
000005da: SWAP1
000005db: KECCAK256
000005dc: DUP3
000005dd: SWAP1
000005de: SSTORE
000005df: SLOAD
000005e0: PUSH2 0x05e9
000005e3: SWAP1
000005e4: DUP3
000005e5: PUSH2 0x0803
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH1 0x01
000005ec: SSTORE
000005ed: POP
000005ee: POP
000005ef: JUMP
000005f0: JUMPDEST
000005f1: PUSH1 0x00
000005f3: SLOAD
000005f4: PUSH1 0x01
000005f6: PUSH1 0x01
000005f8: PUSH1 0xa0
000005fa: SHL
000005fb: SUB
000005fc: AND
000005fd: CALLER
000005fe: EQ
000005ff: PUSH2 0x061a
00000602: JUMPI
00000603: PUSH1 0x40
00000605: MLOAD
00000606: PUSH3 0x461bcd
0000060a: PUSH1 0xe5
0000060c: SHL
0000060d: DUP2
0000060e: MSTORE
0000060f: PUSH1 0x04
00000611: ADD
00000612: PUSH2 0x02bf
00000615: SWAP1
00000616: PUSH2 0x09ab
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x01
0000061d: PUSH1 0x01
0000061f: PUSH1 0xa0
00000621: SHL
00000622: SUB
00000623: DUP2
00000624: AND
00000625: PUSH2 0x067f
00000628: JUMPI
00000629: PUSH1 0x40
0000062b: MLOAD
0000062c: PUSH3 0x461bcd
00000630: PUSH1 0xe5
00000632: SHL
00000633: DUP2
00000634: MSTORE
00000635: PUSH1 0x20
00000637: PUSH1 0x04
00000639: DUP3
0000063a: ADD
0000063b: MSTORE
0000063c: PUSH1 0x26
0000063e: PUSH1 0x24
00000640: DUP3
00000641: ADD
00000642: MSTORE
00000643: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000664: PUSH1 0x44
00000666: DUP3
00000667: ADD
00000668: MSTORE
00000669: PUSH6 0x646472657373
00000670: PUSH1 0xd0
00000672: SHL
00000673: PUSH1 0x64
00000675: DUP3
00000676: ADD
00000677: MSTORE
00000678: PUSH1 0x84
0000067a: ADD
0000067b: PUSH2 0x02bf
0000067e: JUMP
0000067f: JUMPDEST
00000680: PUSH1 0x00
00000682: DUP1
00000683: SLOAD
00000684: PUSH1 0x40
00000686: MLOAD
00000687: PUSH1 0x01
00000689: PUSH1 0x01
0000068b: PUSH1 0xa0
0000068d: SHL
0000068e: SUB
0000068f: DUP1
00000690: DUP6
00000691: AND
00000692: SWAP4
00000693: SWAP3
00000694: AND
00000695: SWAP2
00000696: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000006b7: SWAP2
000006b8: LOG3
000006b9: PUSH1 0x00
000006bb: DUP1
000006bc: SLOAD
000006bd: PUSH1 0x01
000006bf: PUSH1 0x01
000006c1: PUSH1 0xa0
000006c3: SHL
000006c4: SUB
000006c5: NOT
000006c6: AND
000006c7: PUSH1 0x01
000006c9: PUSH1 0x01
000006cb: PUSH1 0xa0
000006cd: SHL
000006ce: SUB
000006cf: SWAP3
000006d0: SWAP1
000006d1: SWAP3
000006d2: AND
000006d3: SWAP2
000006d4: SWAP1
000006d5: SWAP2
000006d6: OR
000006d7: SWAP1
000006d8: SSTORE
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH1 0x03
000006dd: SLOAD
000006de: TIMESTAMP
000006df: LT
000006e0: PUSH2 0x06f5
000006e3: JUMPI
000006e4: PUSH1 0x02
000006e6: SLOAD
000006e7: PUSH2 0x06f1
000006ea: SWAP1
000006eb: PUSH1 0x01
000006ed: PUSH2 0x09f6
000006f0: JUMP
000006f1: JUMPDEST
000006f2: PUSH1 0x02
000006f4: SSTORE
000006f5: JUMPDEST
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x00
000006fa: PUSH2 0x0739
000006fd: DUP4
000006fe: DUP4
000006ff: PUSH1 0x40
00000701: MLOAD
00000702: DUP1
00000703: PUSH1 0x40
00000705: ADD
00000706: PUSH1 0x40
00000708: MSTORE
00000709: DUP1
0000070a: PUSH1 0x1e
0000070c: DUP2
0000070d: MSTORE
0000070e: PUSH1 0x20
00000710: ADD
00000711: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00000732: DUP2
00000733: MSTORE
00000734: POP
00000735: PUSH2 0x0862
00000738: JUMP
00000739: JUMPDEST
0000073a: SWAP1
0000073b: POP
0000073c: JUMPDEST
0000073d: SWAP3
0000073e: SWAP2
0000073f: POP
00000740: POP
00000741: JUMP
00000742: JUMPDEST
00000743: PUSH1 0x00
00000745: PUSH2 0x0739
00000748: DUP4
00000749: DUP4
0000074a: PUSH1 0x40
0000074c: MLOAD
0000074d: DUP1
0000074e: PUSH1 0x40
00000750: ADD
00000751: PUSH1 0x40
00000753: MSTORE
00000754: DUP1
00000755: PUSH1 0x1a
00000757: DUP2
00000758: MSTORE
00000759: PUSH1 0x20
0000075b: ADD
0000075c: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000077d: DUP2
0000077e: MSTORE
0000077f: POP
00000780: PUSH2 0x089c
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH1 0x00
00000787: DUP3
00000788: PUSH2 0x0793
0000078b: JUMPI
0000078c: POP
0000078d: PUSH1 0x00
0000078f: PUSH2 0x073c
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x00
00000796: PUSH2 0x079f
00000799: DUP4
0000079a: DUP6
0000079b: PUSH2 0x0a0e
0000079e: JUMP
0000079f: JUMPDEST
000007a0: SWAP1
000007a1: POP
000007a2: DUP3
000007a3: PUSH2 0x07ac
000007a6: DUP6
000007a7: DUP4
000007a8: PUSH2 0x0a2d
000007ab: JUMP
000007ac: JUMPDEST
000007ad: EQ
000007ae: PUSH2 0x0739
000007b1: JUMPI
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: PUSH3 0x461bcd
000007b9: PUSH1 0xe5
000007bb: SHL
000007bc: DUP2
000007bd: MSTORE
000007be: PUSH1 0x20
000007c0: PUSH1 0x04
000007c2: DUP3
000007c3: ADD
000007c4: MSTORE
000007c5: PUSH1 0x21
000007c7: PUSH1 0x24
000007c9: DUP3
000007ca: ADD
000007cb: MSTORE
000007cc: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
000007ed: PUSH1 0x44
000007ef: DUP3
000007f0: ADD
000007f1: MSTORE
000007f2: PUSH1 0x77
000007f4: PUSH1 0xf8
000007f6: SHL
000007f7: PUSH1 0x64
000007f9: DUP3
000007fa: ADD
000007fb: MSTORE
000007fc: PUSH1 0x84
000007fe: ADD
000007ff: PUSH2 0x02bf
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH1 0x00
00000806: DUP1
00000807: PUSH2 0x0810
0000080a: DUP4
0000080b: DUP6
0000080c: PUSH2 0x09f6
0000080f: JUMP
00000810: JUMPDEST
00000811: SWAP1
00000812: POP
00000813: DUP4
00000814: DUP2
00000815: LT
00000816: ISZERO
00000817: PUSH2 0x0739
0000081a: JUMPI
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH3 0x461bcd
00000822: PUSH1 0xe5
00000824: SHL
00000825: DUP2
00000826: MSTORE
00000827: PUSH1 0x20
00000829: PUSH1 0x04
0000082b: DUP3
0000082c: ADD
0000082d: MSTORE
0000082e: PUSH1 0x1b
00000830: PUSH1 0x24
00000832: DUP3
00000833: ADD
00000834: MSTORE
00000835: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00000856: PUSH1 0x44
00000858: DUP3
00000859: ADD
0000085a: MSTORE
0000085b: PUSH1 0x64
0000085d: ADD
0000085e: PUSH2 0x02bf
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x00
00000865: DUP2
00000866: DUP5
00000867: DUP5
00000868: GT
00000869: ISZERO
0000086a: PUSH2 0x0886
0000086d: JUMPI
0000086e: PUSH1 0x40
00000870: MLOAD
00000871: PUSH3 0x461bcd
00000875: PUSH1 0xe5
00000877: SHL
00000878: DUP2
00000879: MSTORE
0000087a: PUSH1 0x04
0000087c: ADD
0000087d: PUSH2 0x02bf
00000880: SWAP2
00000881: SWAP1
00000882: PUSH2 0x0a4f
00000885: JUMP
00000886: JUMPDEST
00000887: POP
00000888: PUSH1 0x00
0000088a: PUSH2 0x0893
0000088d: DUP5
0000088e: DUP7
0000088f: PUSH2 0x0aa4
00000892: JUMP
00000893: JUMPDEST
00000894: SWAP6
00000895: SWAP5
00000896: POP
00000897: POP
00000898: POP
00000899: POP
0000089a: POP
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH1 0x00
0000089f: DUP2
000008a0: DUP4
000008a1: PUSH2 0x08bd
000008a4: JUMPI
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: PUSH3 0x461bcd
000008ac: PUSH1 0xe5
000008ae: SHL
000008af: DUP2
000008b0: MSTORE
000008b1: PUSH1 0x04
000008b3: ADD
000008b4: PUSH2 0x02bf
000008b7: SWAP2
000008b8: SWAP1
000008b9: PUSH2 0x0a4f
000008bc: JUMP
000008bd: JUMPDEST
000008be: POP
000008bf: PUSH1 0x00
000008c1: PUSH2 0x0893
000008c4: DUP5
000008c5: DUP7
000008c6: PUSH2 0x0a2d
000008c9: JUMP
000008ca: JUMPDEST
000008cb: DUP1
000008cc: CALLDATALOAD
000008cd: PUSH1 0x01
000008cf: PUSH1 0x01
000008d1: PUSH1 0xa0
000008d3: SHL
000008d4: SUB
000008d5: DUP2
000008d6: AND
000008d7: DUP2
000008d8: EQ
000008d9: PUSH2 0x08e1
000008dc: JUMPI
000008dd: PUSH1 0x00
000008df: DUP1
000008e0: REVERT
000008e1: JUMPDEST
000008e2: SWAP2
000008e3: SWAP1
000008e4: POP
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x00
000008e9: DUP1
000008ea: PUSH1 0x40
000008ec: DUP4
000008ed: DUP6
000008ee: SUB
000008ef: SLT
000008f0: ISZERO
000008f1: PUSH2 0x08f9
000008f4: JUMPI
000008f5: PUSH1 0x00
000008f7: DUP1
000008f8: REVERT
000008f9: JUMPDEST
000008fa: DUP3
000008fb: CALLDATALOAD
000008fc: SWAP2
000008fd: POP
000008fe: PUSH2 0x0909
00000901: PUSH1 0x20
00000903: DUP5
00000904: ADD
00000905: PUSH2 0x08ca
00000908: JUMP
00000909: JUMPDEST
0000090a: SWAP1
0000090b: POP
0000090c: SWAP3
0000090d: POP
0000090e: SWAP3
0000090f: SWAP1
00000910: POP
00000911: JUMP
00000912: JUMPDEST
00000913: PUSH1 0x00
00000915: PUSH1 0x20
00000917: DUP3
00000918: DUP5
00000919: SUB
0000091a: SLT
0000091b: ISZERO
0000091c: PUSH2 0x0924
0000091f: JUMPI
00000920: PUSH1 0x00
00000922: DUP1
00000923: REVERT
00000924: JUMPDEST
00000925: PUSH2 0x0739
00000928: DUP3
00000929: PUSH2 0x08ca
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x00
00000930: PUSH1 0x20
00000932: DUP3
00000933: DUP5
00000934: SUB
00000935: SLT
00000936: ISZERO
00000937: PUSH2 0x093f
0000093a: JUMPI
0000093b: PUSH1 0x00
0000093d: DUP1
0000093e: REVERT
0000093f: JUMPDEST
00000940: POP
00000941: CALLDATALOAD
00000942: SWAP2
00000943: SWAP1
00000944: POP
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x00
00000949: DUP1
0000094a: PUSH1 0x40
0000094c: DUP4
0000094d: DUP6
0000094e: SUB
0000094f: SLT
00000950: ISZERO
00000951: PUSH2 0x0959
00000954: JUMPI
00000955: PUSH1 0x00
00000957: DUP1
00000958: REVERT
00000959: JUMPDEST
0000095a: PUSH2 0x0962
0000095d: DUP4
0000095e: PUSH2 0x08ca
00000961: JUMP
00000962: JUMPDEST
00000963: SWAP5
00000964: PUSH1 0x20
00000966: SWAP4
00000967: SWAP1
00000968: SWAP4
00000969: ADD
0000096a: CALLDATALOAD
0000096b: SWAP4
0000096c: POP
0000096d: POP
0000096e: POP
0000096f: JUMP
00000970: JUMPDEST
00000971: PUSH1 0x00
00000973: PUSH1 0x20
00000975: DUP3
00000976: DUP5
00000977: SUB
00000978: SLT
00000979: ISZERO
0000097a: PUSH2 0x0982
0000097d: JUMPI
0000097e: PUSH1 0x00
00000980: DUP1
00000981: REVERT
00000982: JUMPDEST
00000983: POP
00000984: MLOAD
00000985: SWAP2
00000986: SWAP1
00000987: POP
00000988: JUMP
00000989: JUMPDEST
0000098a: PUSH1 0x00
0000098c: PUSH1 0x20
0000098e: DUP3
0000098f: DUP5
00000990: SUB
00000991: SLT
00000992: ISZERO
00000993: PUSH2 0x099b
00000996: JUMPI
00000997: PUSH1 0x00
00000999: DUP1
0000099a: REVERT
0000099b: JUMPDEST
0000099c: DUP2
0000099d: MLOAD
0000099e: DUP1
0000099f: ISZERO
000009a0: ISZERO
000009a1: DUP2
000009a2: EQ
000009a3: PUSH2 0x0739
000009a6: JUMPI
000009a7: PUSH1 0x00
000009a9: DUP1
000009aa: REVERT
000009ab: JUMPDEST
000009ac: PUSH1 0x20
000009ae: DUP1
000009af: DUP3
000009b0: MSTORE
000009b1: DUP2
000009b2: DUP2
000009b3: ADD
000009b4: MSTORE
000009b5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000009d6: PUSH1 0x40
000009d8: DUP3
000009d9: ADD
000009da: MSTORE
000009db: PUSH1 0x60
000009dd: ADD
000009de: SWAP1
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH4 0x4e487b71
000009e6: PUSH1 0xe0
000009e8: SHL
000009e9: PUSH1 0x00
000009eb: MSTORE
000009ec: PUSH1 0x11
000009ee: PUSH1 0x04
000009f0: MSTORE
000009f1: PUSH1 0x24
000009f3: PUSH1 0x00
000009f5: REVERT
000009f6: JUMPDEST
000009f7: PUSH1 0x00
000009f9: DUP3
000009fa: NOT
000009fb: DUP3
000009fc: GT
000009fd: ISZERO
000009fe: PUSH2 0x0a09
00000a01: JUMPI
00000a02: PUSH2 0x0a09
00000a05: PUSH2 0x09e0
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: POP
00000a0b: ADD
00000a0c: SWAP1
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH1 0x00
00000a11: DUP2
00000a12: PUSH1 0x00
00000a14: NOT
00000a15: DIV
00000a16: DUP4
00000a17: GT
00000a18: DUP3
00000a19: ISZERO
00000a1a: ISZERO
00000a1b: AND
00000a1c: ISZERO
00000a1d: PUSH2 0x0a28
00000a20: JUMPI
00000a21: PUSH2 0x0a28
00000a24: PUSH2 0x09e0
00000a27: JUMP
00000a28: JUMPDEST
00000a29: POP
00000a2a: MUL
00000a2b: SWAP1
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: PUSH1 0x00
00000a30: DUP3
00000a31: PUSH2 0x0a4a
00000a34: JUMPI
00000a35: PUSH4 0x4e487b71
00000a3a: PUSH1 0xe0
00000a3c: SHL
00000a3d: PUSH1 0x00
00000a3f: MSTORE
00000a40: PUSH1 0x12
00000a42: PUSH1 0x04
00000a44: MSTORE
00000a45: PUSH1 0x24
00000a47: PUSH1 0x00
00000a49: REVERT
00000a4a: JUMPDEST
00000a4b: POP
00000a4c: DIV
00000a4d: SWAP1
00000a4e: JUMP
00000a4f: JUMPDEST
00000a50: PUSH1 0x00
00000a52: PUSH1 0x20
00000a54: DUP1
00000a55: DUP4
00000a56: MSTORE
00000a57: DUP4
00000a58: MLOAD
00000a59: DUP1
00000a5a: DUP3
00000a5b: DUP6
00000a5c: ADD
00000a5d: MSTORE
00000a5e: PUSH1 0x00
00000a60: JUMPDEST
00000a61: DUP2
00000a62: DUP2
00000a63: LT
00000a64: ISZERO
00000a65: PUSH2 0x0a7c
00000a68: JUMPI
00000a69: DUP6
00000a6a: DUP2
00000a6b: ADD
00000a6c: DUP4
00000a6d: ADD
00000a6e: MLOAD
00000a6f: DUP6
00000a70: DUP3
00000a71: ADD
00000a72: PUSH1 0x40
00000a74: ADD
00000a75: MSTORE
00000a76: DUP3
00000a77: ADD
00000a78: PUSH2 0x0a60
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: DUP2
00000a7e: DUP2
00000a7f: GT
00000a80: ISZERO
00000a81: PUSH2 0x0a8e
00000a84: JUMPI
00000a85: PUSH1 0x00
00000a87: PUSH1 0x40
00000a89: DUP4
00000a8a: DUP8
00000a8b: ADD
00000a8c: ADD
00000a8d: MSTORE
00000a8e: JUMPDEST
00000a8f: POP
00000a90: PUSH1 0x1f
00000a92: ADD
00000a93: PUSH1 0x1f
00000a95: NOT
00000a96: AND
00000a97: SWAP3
00000a98: SWAP1
00000a99: SWAP3
00000a9a: ADD
00000a9b: PUSH1 0x40
00000a9d: ADD
00000a9e: SWAP4
00000a9f: SWAP3
00000aa0: POP
00000aa1: POP
00000aa2: POP
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: PUSH1 0x00
00000aa7: DUP3
00000aa8: DUP3
00000aa9: LT
00000aaa: ISZERO
00000aab: PUSH2 0x0ab6
00000aae: JUMPI
00000aaf: PUSH2 0x0ab6
00000ab2: PUSH2 0x09e0
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: SUB
00000ab9: SWAP1
00000aba: JUMP
00000abb: INVALID
00000abc: LOG2
00000abd: PUSH5 0x6970667358
00000ac3: UNKNOWN(0x22)
00000ac4: SLT
00000ac5: KECCAK256
00000ac6: PUSH31 0xba879536a243a4ada8df912c1d8a27d30e0e5c8c42108bbb297c2bdc420cb3
00000ae6: PUSH5 0x736f6c6343
00000aec: STOP
00000aed: ADDMOD
00000aee: SIGNEXTEND
00000aef: STOP
00000af0: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x408a7a92b86c55a5624bacefc81fa66df3e303def9ae964e265c4d6a8307e822
call_targets: 0xa1a9f0d533dcfd94ae5d222cd4a36f69abc89f03
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x408a7a92b86c55a5624bacefc81fa66df3e303def9ae964e265c4d6a8307e822",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa1a9f0d533dcfd94ae5d222cd4a36f69abc89f03"
    ],
    "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": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1b812cd",
            "selector": "0xd1b812cd",
            "calldata_variants": [
                "0xd1b812cd",
                "0xd1b812cd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7e583ee",
            "selector": "0xd7e583ee",
            "calldata_variants": [
                "0xd7e583ee",
                "0xd7e583ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde4e05fb",
            "selector": "0xde4e05fb",
            "calldata_variants": [
                "0xde4e05fb",
                "0xde4e05fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5d0821f",
            "selector": "0xe5d0821f",
            "calldata_variants": [
                "0xe5d0821f",
                "0xe5d0821f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19b47ce6",
            "selector": "0x19b47ce6",
            "calldata_variants": [
                "0x19b47ce6",
                "0x19b47ce60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1117,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1212,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x408a7a92b86c55a5624bacefc81fa66df3e303def9ae964e265c4d6a8307e822
call_targets: 0xa1a9f0d533dcfd94ae5d222cd4a36f69abc89f03
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x408a7a92b86c55a5624bacefc81fa66df3e303def9ae964e265c4d6a8307e822",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa1a9f0d533dcfd94ae5d222cd4a36f69abc89f03"
    ],
    "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": "0xce7c2ac2",
            "selector": "0xce7c2ac2",
            "calldata_variants": [
                "0xce7c2ac2",
                "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd1b812cd",
            "selector": "0xd1b812cd",
            "calldata_variants": [
                "0xd1b812cd",
                "0xd1b812cd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7e583ee",
            "selector": "0xd7e583ee",
            "calldata_variants": [
                "0xd7e583ee",
                "0xd7e583ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde4e05fb",
            "selector": "0xde4e05fb",
            "calldata_variants": [
                "0xde4e05fb",
                "0xde4e05fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5d0821f",
            "selector": "0xe5d0821f",
            "calldata_variants": [
                "0xe5d0821f",
                "0xe5d0821f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19b47ce6",
            "selector": "0x19b47ce6",
            "calldata_variants": [
                "0x19b47ce6",
                "0x19b47ce60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a98ef39",
            "selector": "0x3a98ef39",
            "calldata_variants": [
                "0x3a98ef39",
                "0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1117,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1212,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}