Analysis Run

019b3836-24c7-72eb-8190-faa048cc4eb2

complete

Chain ID

1

Address

0x6c71c4e337bfe0398fc9d836112330815b08c82e

Block Number

—

Created

Fri, Dec 19, 2025 8:03 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
679	artifact.fetch	complete	1 / 3	3 months ago
680	tool.cast_disasm	complete	1 / 3	3 months ago
44583	analysis.bundle	complete	1 / 3	2 weeks ago
44584	capability.graph	complete	1 / 3	2 weeks ago
44585	detector.run	complete	1 / 3	2 weeks ago
44586	validation.fork	complete	1 / 3	2 weeks 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

1

CREATE2

0

CALL-family (heavy)

25

EXT*/BALANCE

0

Total opcodes

2342

Flags

selfdestruct_present call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x015e
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x056f07a1
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0160
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x14fefca1
00000025: EQ
00000026: PUSH2 0x0169
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1999eca8
00000030: EQ
00000031: PUSH2 0x018d
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x36cf7c87
0000003b: EQ
0000003c: PUSH2 0x02d9
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x45c5b8ac
00000046: EQ
00000047: PUSH2 0x02e5
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4641257d
00000051: EQ
00000052: PUSH2 0x0319
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4de2578c
0000005c: EQ
0000005d: PUSH2 0x03c8
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x4f002522
00000067: EQ
00000068: PUSH2 0x0871
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x516f279e
00000072: EQ
00000073: PUSH2 0x08a5
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x53b2c45d
0000007d: EQ
0000007e: PUSH2 0x08ae
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x5c36b186
00000088: EQ
00000089: PUSH2 0x08b7
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x6901f668
00000093: EQ
00000094: PUSH2 0x0981
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x6ca3b5f6
0000009e: EQ
0000009f: PUSH2 0x098e
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x6ca7c216
000000a9: EQ
000000aa: PUSH2 0x09b6
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x70e87aaf
000000b4: EQ
000000b5: PUSH2 0x09bf
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x7593473c
000000bf: EQ
000000c0: PUSH2 0x0b90
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x78cffc09
000000ca: EQ
000000cb: PUSH2 0x0bc4
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x7cd3229a
000000d5: EQ
000000d6: PUSH2 0x0be8
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x82b022e0
000000e0: EQ
000000e1: PUSH2 0x0bfa
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x965fd7b6
000000eb: EQ
000000ec: PUSH2 0x0c1e
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9dd807b1
000000f6: EQ
000000f7: PUSH2 0x0c30
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xa1580f1a
00000101: EQ
00000102: PUSH2 0x0c39
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xaeec6197
0000010c: EQ
0000010d: PUSH2 0x0d4a
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xc3fe3e28
00000117: EQ
00000118: PUSH2 0x0d7e
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xc9f26fc6
00000122: EQ
00000123: PUSH2 0x0d90
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xd177148d
0000012d: EQ
0000012e: PUSH2 0x0db4
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xd8124c5f
00000138: EQ
00000139: PUSH2 0x0dc8
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xe9333fab
00000143: EQ
00000144: PUSH2 0x0dd1
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xf851a440
0000014e: EQ
0000014f: PUSH2 0x0e05
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xf956d3af
00000159: EQ
0000015a: PUSH2 0x0e17
0000015d: JUMPI
0000015e: JUMPDEST
0000015f: STOP
00000160: JUMPDEST
00000161: PUSH2 0x0984
00000164: PUSH1 0x0b
00000166: SLOAD
00000167: DUP2
00000168: JUMP
00000169: JUMPDEST
0000016a: PUSH2 0x015e
0000016d: PUSH1 0x04
0000016f: CALLDATALOAD
00000170: PUSH1 0x00
00000172: SLOAD
00000173: PUSH1 0x01
00000175: PUSH1 0xa0
00000177: PUSH1 0x02
00000179: EXP
0000017a: SUB
0000017b: SWAP1
0000017c: DUP2
0000017d: AND
0000017e: SWAP1
0000017f: CALLER
00000180: AND
00000181: DUP2
00000182: EQ
00000183: ISZERO
00000184: PUSH2 0x09b2
00000187: JUMPI
00000188: POP
00000189: PUSH1 0x02
0000018b: SSTORE
0000018c: JUMP
0000018d: JUMPDEST
0000018e: PUSH2 0x015e
00000191: PUSH1 0x04
00000193: CALLDATALOAD
00000194: PUSH1 0x06
00000196: SLOAD
00000197: PUSH1 0x00
00000199: SWAP1
0000019a: DUP2
0000019b: SWAP1
0000019c: PUSH1 0xff
0000019e: PUSH1 0xa0
000001a0: PUSH1 0x02
000001a2: EXP
000001a3: SWAP1
000001a4: SWAP2
000001a5: DIV
000001a6: AND
000001a7: DUP1
000001a8: ISZERO
000001a9: PUSH2 0x01c0
000001ac: JUMPI
000001ad: POP
000001ae: PUSH1 0x05
000001b0: SLOAD
000001b1: CALLER
000001b2: PUSH1 0x01
000001b4: PUSH1 0xa0
000001b6: PUSH1 0x02
000001b8: EXP
000001b9: SUB
000001ba: SWAP1
000001bb: DUP2
000001bc: AND
000001bd: SWAP2
000001be: AND
000001bf: EQ
000001c0: JUMPDEST
000001c1: ISZERO
000001c2: PUSH2 0x02d4
000001c5: JUMPI
000001c6: PUSH1 0x06
000001c8: DUP1
000001c9: SLOAD
000001ca: PUSH1 0xa0
000001cc: PUSH1 0x02
000001ce: EXP
000001cf: PUSH1 0xff
000001d1: MUL
000001d2: NOT
000001d3: AND
000001d4: SWAP1
000001d5: SSTORE
000001d6: PUSH1 0x07
000001d8: SLOAD
000001d9: PUSH1 0x09
000001db: SLOAD
000001dc: PUSH1 0xe2
000001de: PUSH1 0x02
000001e0: EXP
000001e1: PUSH4 0x39bceb8f
000001e6: MUL
000001e7: PUSH1 0x60
000001e9: SWAP1
000001ea: DUP2
000001eb: MSTORE
000001ec: PUSH1 0x64
000001ee: SWAP2
000001ef: SWAP1
000001f0: SWAP2
000001f1: MSTORE
000001f2: PUSH1 0xff
000001f4: DUP6
000001f5: AND
000001f6: PUSH1 0x84
000001f8: MSTORE
000001f9: PUSH1 0x01
000001fb: PUSH1 0xa0
000001fd: PUSH1 0x02
000001ff: EXP
00000200: SUB
00000201: SWAP2
00000202: SWAP1
00000203: SWAP2
00000204: AND
00000205: SWAP1
00000206: PUSH4 0xe6f3ae3c
0000020b: SWAP1
0000020c: PUSH1 0xa4
0000020e: SWAP1
0000020f: PUSH1 0x20
00000211: SWAP1
00000212: PUSH1 0x44
00000214: DUP2
00000215: DUP8
00000216: DUP8
00000217: PUSH2 0x61da
0000021a: GAS
0000021b: SUB
0000021c: CALL
0000021d: ISZERO
0000021e: PUSH2 0x0002
00000221: JUMPI
00000222: POP
00000223: POP
00000224: PUSH1 0x07
00000226: SLOAD
00000227: PUSH1 0x40
00000229: DUP1
0000022a: MLOAD
0000022b: DUP1
0000022c: MLOAD
0000022d: PUSH1 0xe1
0000022f: PUSH1 0x02
00000231: EXP
00000232: PUSH4 0x47c4986d
00000237: MUL
00000238: DUP3
00000239: MSTORE
0000023a: PUSH1 0x04
0000023c: DUP3
0000023d: ADD
0000023e: DUP2
0000023f: SWAP1
00000240: MSTORE
00000241: SWAP2
00000242: MLOAD
00000243: SWAP2
00000244: SWAP6
00000245: POP
00000246: PUSH1 0x01
00000248: PUSH1 0xa0
0000024a: PUSH1 0x02
0000024c: EXP
0000024d: SUB
0000024e: SWAP3
0000024f: SWAP1
00000250: SWAP3
00000251: AND
00000252: SWAP3
00000253: POP
00000254: PUSH4 0x8f8930da
00000259: SWAP2
0000025a: PUSH1 0x24
0000025c: DUP2
0000025d: DUP2
0000025e: ADD
0000025f: SWAP3
00000260: PUSH1 0x20
00000262: SWAP3
00000263: SWAP1
00000264: SWAP2
00000265: SWAP1
00000266: DUP3
00000267: SWAP1
00000268: SUB
00000269: ADD
0000026a: DUP2
0000026b: DUP8
0000026c: DUP8
0000026d: PUSH2 0x61da
00000270: GAS
00000271: SUB
00000272: CALL
00000273: ISZERO
00000274: PUSH2 0x0002
00000277: JUMPI
00000278: POP
00000279: POP
0000027a: PUSH1 0x40
0000027c: DUP1
0000027d: MLOAD
0000027e: DUP1
0000027f: MLOAD
00000280: PUSH32 0xa1580f1a00000000000000000000000000000000000000000000000000000000
000002a1: DUP3
000002a2: MSTORE
000002a3: SWAP2
000002a4: MLOAD
000002a5: SWAP2
000002a6: SWAP4
000002a7: PUSH1 0x01
000002a9: PUSH1 0xa0
000002ab: PUSH1 0x02
000002ad: EXP
000002ae: SUB
000002af: DUP6
000002b0: AND
000002b1: SWAP4
000002b2: POP
000002b3: PUSH4 0xa1580f1a
000002b8: SWAP3
000002b9: PUSH1 0x04
000002bb: DUP4
000002bc: DUP2
000002bd: ADD
000002be: SWAP4
000002bf: DUP3
000002c0: SWAP1
000002c1: SUB
000002c2: ADD
000002c3: DUP2
000002c4: DUP4
000002c5: DUP8
000002c6: PUSH2 0x61da
000002c9: GAS
000002ca: SUB
000002cb: CALL
000002cc: ISZERO
000002cd: PUSH2 0x0002
000002d0: JUMPI
000002d1: POP
000002d2: POP
000002d3: POP
000002d4: JUMPDEST
000002d5: POP
000002d6: POP
000002d7: POP
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x0984
000002dd: PUSH1 0x03
000002df: SLOAD
000002e0: PUSH1 0xff
000002e2: AND
000002e3: DUP2
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x015e
000002e9: PUSH1 0x04
000002eb: CALLDATALOAD
000002ec: PUSH1 0x00
000002ee: SLOAD
000002ef: PUSH1 0x01
000002f1: PUSH1 0xa0
000002f3: PUSH1 0x02
000002f5: EXP
000002f6: SUB
000002f7: SWAP1
000002f8: DUP2
000002f9: AND
000002fa: SWAP1
000002fb: CALLER
000002fc: AND
000002fd: DUP2
000002fe: EQ
000002ff: ISZERO
00000300: PUSH2 0x09b2
00000303: JUMPI
00000304: PUSH1 0x08
00000306: DUP1
00000307: SLOAD
00000308: PUSH1 0x01
0000030a: PUSH1 0xa0
0000030c: PUSH1 0x02
0000030e: EXP
0000030f: SUB
00000310: NOT
00000311: AND
00000312: DUP4
00000313: OR
00000314: SWAP1
00000315: SSTORE
00000316: POP
00000317: POP
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x015e
0000031d: PUSH1 0x06
0000031f: SLOAD
00000320: PUSH1 0xff
00000322: PUSH1 0xa0
00000324: PUSH1 0x02
00000326: EXP
00000327: SWAP1
00000328: SWAP2
00000329: DIV
0000032a: AND
0000032b: DUP1
0000032c: ISZERO
0000032d: PUSH2 0x0344
00000330: JUMPI
00000331: POP
00000332: PUSH1 0x05
00000334: SLOAD
00000335: CALLER
00000336: PUSH1 0x01
00000338: PUSH1 0xa0
0000033a: PUSH1 0x02
0000033c: EXP
0000033d: SUB
0000033e: SWAP1
0000033f: DUP2
00000340: AND
00000341: SWAP2
00000342: AND
00000343: EQ
00000344: JUMPDEST
00000345: ISZERO
00000346: PUSH2 0x03c6
00000349: JUMPI
0000034a: PUSH1 0x06
0000034c: DUP1
0000034d: SLOAD
0000034e: PUSH1 0xa0
00000350: PUSH1 0x02
00000352: EXP
00000353: PUSH1 0xff
00000355: MUL
00000356: NOT
00000357: AND
00000358: SWAP1
00000359: SSTORE
0000035a: PUSH1 0x07
0000035c: SLOAD
0000035d: PUSH1 0x09
0000035f: SLOAD
00000360: PUSH32 0xddc6326200000000000000000000000000000000000000000000000000000000
00000381: PUSH1 0x60
00000383: SWAP1
00000384: DUP2
00000385: MSTORE
00000386: PUSH1 0x64
00000388: SWAP2
00000389: SWAP1
0000038a: SWAP2
0000038b: MSTORE
0000038c: PUSH1 0x01
0000038e: PUSH1 0xa0
00000390: PUSH1 0x02
00000392: EXP
00000393: SUB
00000394: SWAP2
00000395: SWAP1
00000396: SWAP2
00000397: AND
00000398: SWAP1
00000399: PUSH4 0xddc63262
0000039e: SWAP1
0000039f: PUSH1 0x84
000003a1: SWAP1
000003a2: PUSH1 0x20
000003a4: SWAP1
000003a5: PUSH1 0x24
000003a7: DUP2
000003a8: PUSH1 0x00
000003aa: DUP8
000003ab: PUSH2 0x61da
000003ae: GAS
000003af: SUB
000003b0: CALL
000003b1: ISZERO
000003b2: PUSH2 0x0002
000003b5: JUMPI
000003b6: POP
000003b7: POP
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: MLOAD
000003bc: PUSH1 0x01
000003be: DUP1
000003bf: SLOAD
000003c0: SWAP1
000003c1: SWAP2
000003c2: ADD
000003c3: SWAP1
000003c4: SSTORE
000003c5: POP
000003c6: JUMPDEST
000003c7: JUMP
000003c8: JUMPDEST
000003c9: PUSH2 0x015e
000003cc: PUSH1 0x04
000003ce: CALLDATALOAD
000003cf: PUSH1 0x24
000003d1: CALLDATALOAD
000003d2: PUSH1 0x44
000003d4: CALLDATALOAD
000003d5: PUSH1 0x06
000003d7: SLOAD
000003d8: PUSH1 0x00
000003da: SWAP1
000003db: DUP2
000003dc: SWAP1
000003dd: PUSH1 0xff
000003df: PUSH1 0xa0
000003e1: PUSH1 0x02
000003e3: EXP
000003e4: SWAP1
000003e5: SWAP2
000003e6: DIV
000003e7: AND
000003e8: DUP1
000003e9: ISZERO
000003ea: PUSH2 0x0401
000003ed: JUMPI
000003ee: POP
000003ef: PUSH1 0x05
000003f1: SLOAD
000003f2: CALLER
000003f3: PUSH1 0x01
000003f5: PUSH1 0xa0
000003f7: PUSH1 0x02
000003f9: EXP
000003fa: SUB
000003fb: SWAP1
000003fc: DUP2
000003fd: AND
000003fe: SWAP2
000003ff: AND
00000400: EQ
00000401: JUMPDEST
00000402: ISZERO
00000403: PUSH2 0x086a
00000406: JUMPI
00000407: PUSH1 0x06
00000409: DUP1
0000040a: SLOAD
0000040b: PUSH1 0xa0
0000040d: PUSH1 0x02
0000040f: EXP
00000410: PUSH1 0xff
00000412: MUL
00000413: NOT
00000414: AND
00000415: SWAP1
00000416: SSTORE
00000417: PUSH1 0x07
00000419: SLOAD
0000041a: PUSH1 0x09
0000041c: SLOAD
0000041d: PUSH1 0xe2
0000041f: PUSH1 0x02
00000421: EXP
00000422: PUSH4 0x39bceb8f
00000427: MUL
00000428: PUSH1 0x60
0000042a: SWAP1
0000042b: DUP2
0000042c: MSTORE
0000042d: PUSH1 0x64
0000042f: SWAP2
00000430: SWAP1
00000431: SWAP2
00000432: MSTORE
00000433: PUSH1 0xff
00000435: DUP8
00000436: AND
00000437: PUSH1 0x84
00000439: MSTORE
0000043a: PUSH1 0x01
0000043c: PUSH1 0xa0
0000043e: PUSH1 0x02
00000440: EXP
00000441: SUB
00000442: SWAP2
00000443: SWAP1
00000444: SWAP2
00000445: AND
00000446: SWAP1
00000447: PUSH4 0xe6f3ae3c
0000044c: SWAP1
0000044d: PUSH1 0xa4
0000044f: SWAP1
00000450: PUSH1 0x20
00000452: SWAP1
00000453: PUSH1 0x44
00000455: DUP2
00000456: DUP8
00000457: DUP8
00000458: PUSH2 0x61da
0000045b: GAS
0000045c: SUB
0000045d: CALL
0000045e: ISZERO
0000045f: PUSH2 0x0002
00000462: JUMPI
00000463: POP
00000464: POP
00000465: PUSH1 0x07
00000467: SLOAD
00000468: PUSH1 0x40
0000046a: DUP1
0000046b: MLOAD
0000046c: DUP1
0000046d: MLOAD
0000046e: PUSH1 0xe1
00000470: PUSH1 0x02
00000472: EXP
00000473: PUSH4 0x47c4986d
00000478: MUL
00000479: DUP3
0000047a: MSTORE
0000047b: PUSH1 0x04
0000047d: DUP3
0000047e: ADD
0000047f: DUP2
00000480: SWAP1
00000481: MSTORE
00000482: SWAP2
00000483: MLOAD
00000484: SWAP2
00000485: SWAP6
00000486: POP
00000487: PUSH1 0x01
00000489: PUSH1 0xa0
0000048b: PUSH1 0x02
0000048d: EXP
0000048e: SUB
0000048f: SWAP3
00000490: SWAP1
00000491: SWAP3
00000492: AND
00000493: SWAP3
00000494: POP
00000495: PUSH4 0x8f8930da
0000049a: SWAP2
0000049b: PUSH1 0x24
0000049d: DUP2
0000049e: DUP2
0000049f: ADD
000004a0: SWAP3
000004a1: PUSH1 0x20
000004a3: SWAP3
000004a4: SWAP1
000004a5: SWAP2
000004a6: SWAP1
000004a7: DUP3
000004a8: SWAP1
000004a9: SUB
000004aa: ADD
000004ab: DUP2
000004ac: DUP8
000004ad: DUP8
000004ae: PUSH2 0x61da
000004b1: GAS
000004b2: SUB
000004b3: CALL
000004b4: ISZERO
000004b5: PUSH2 0x0002
000004b8: JUMPI
000004b9: POP
000004ba: POP
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: MLOAD
000004bf: PUSH1 0x01
000004c1: PUSH1 0xa0
000004c3: PUSH1 0x02
000004c5: EXP
000004c6: SUB
000004c7: AND
000004c8: DUP3
000004c9: EQ
000004ca: SWAP1
000004cb: POP
000004cc: DUP1
000004cd: ISZERO
000004ce: PUSH2 0x04d9
000004d1: JUMPI
000004d2: POP
000004d3: PUSH1 0x01
000004d5: SLOAD
000004d6: DUP4
000004d7: GT
000004d8: ISZERO
000004d9: JUMPDEST
000004da: ISZERO
000004db: PUSH2 0x086a
000004de: JUMPI
000004df: PUSH1 0x06
000004e1: PUSH1 0x00
000004e3: SWAP1
000004e4: SLOAD
000004e5: SWAP1
000004e6: PUSH2 0x0100
000004e9: EXP
000004ea: SWAP1
000004eb: DIV
000004ec: PUSH1 0x01
000004ee: PUSH1 0xa0
000004f0: PUSH1 0x02
000004f2: EXP
000004f3: SUB
000004f4: AND
000004f5: PUSH1 0x01
000004f7: PUSH1 0xa0
000004f9: PUSH1 0x02
000004fb: EXP
000004fc: SUB
000004fd: AND
000004fe: PUSH4 0xa2bcee8b
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP2
00000507: PUSH1 0xe0
00000509: PUSH1 0x02
0000050b: EXP
0000050c: MUL
0000050d: DUP2
0000050e: MSTORE
0000050f: PUSH1 0x04
00000511: ADD
00000512: DUP1
00000513: SWAP1
00000514: POP
00000515: PUSH1 0x20
00000517: PUSH1 0x40
00000519: MLOAD
0000051a: DUP1
0000051b: DUP4
0000051c: SUB
0000051d: DUP2
0000051e: PUSH1 0x00
00000520: DUP8
00000521: PUSH2 0x61da
00000524: GAS
00000525: SUB
00000526: CALL
00000527: ISZERO
00000528: PUSH2 0x0002
0000052b: JUMPI
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: PUSH1 0x40
00000531: MLOAD
00000532: DUP1
00000533: MLOAD
00000534: SWAP1
00000535: PUSH1 0x20
00000537: ADD
00000538: POP
00000539: SWAP1
0000053a: POP
0000053b: DUP1
0000053c: PUSH1 0x01
0000053e: PUSH1 0xa0
00000540: PUSH1 0x02
00000542: EXP
00000543: SUB
00000544: AND
00000545: PUSH4 0x78cffc09
0000054a: DUP4
0000054b: PUSH1 0x40
0000054d: MLOAD
0000054e: DUP3
0000054f: PUSH1 0xe0
00000551: PUSH1 0x02
00000553: EXP
00000554: MUL
00000555: DUP2
00000556: MSTORE
00000557: PUSH1 0x04
00000559: ADD
0000055a: DUP1
0000055b: DUP3
0000055c: DUP2
0000055d: MSTORE
0000055e: PUSH1 0x20
00000560: ADD
00000561: SWAP2
00000562: POP
00000563: POP
00000564: PUSH1 0x00
00000566: PUSH1 0x40
00000568: MLOAD
00000569: DUP1
0000056a: DUP4
0000056b: SUB
0000056c: DUP2
0000056d: PUSH1 0x00
0000056f: DUP8
00000570: PUSH2 0x61da
00000573: GAS
00000574: SUB
00000575: CALL
00000576: ISZERO
00000577: PUSH2 0x0002
0000057a: JUMPI
0000057b: POP
0000057c: POP
0000057d: PUSH1 0x40
0000057f: DUP1
00000580: MLOAD
00000581: PUSH32 0x14fefca100000000000000000000000000000000000000000000000000000000
000005a2: DUP2
000005a3: MSTORE
000005a4: PUSH1 0x03
000005a6: PUSH1 0x04
000005a8: DUP3
000005a9: ADD
000005aa: MSTORE
000005ab: SWAP1
000005ac: MLOAD
000005ad: PUSH4 0x14fefca1
000005b2: SWAP2
000005b3: PUSH1 0x24
000005b5: DUP2
000005b6: DUP2
000005b7: ADD
000005b8: SWAP3
000005b9: PUSH1 0x00
000005bb: SWAP3
000005bc: SWAP1
000005bd: SWAP2
000005be: SWAP1
000005bf: DUP3
000005c0: SWAP1
000005c1: SUB
000005c2: ADD
000005c3: DUP2
000005c4: DUP4
000005c5: DUP8
000005c6: PUSH2 0x61da
000005c9: GAS
000005ca: SUB
000005cb: CALL
000005cc: ISZERO
000005cd: PUSH2 0x0002
000005d0: JUMPI
000005d1: POP
000005d2: POP
000005d3: PUSH1 0x40
000005d5: DUP1
000005d6: MLOAD
000005d7: PUSH1 0x04
000005d9: DUP1
000005da: SLOAD
000005db: PUSH32 0x82b022e000000000000000000000000000000000000000000000000000000000
000005fc: DUP4
000005fd: MSTORE
000005fe: SWAP1
000005ff: DUP3
00000600: ADD
00000601: MSTORE
00000602: SWAP1
00000603: MLOAD
00000604: PUSH4 0x82b022e0
00000609: SWAP2
0000060a: PUSH1 0x24
0000060c: DUP2
0000060d: DUP2
0000060e: ADD
0000060f: SWAP3
00000610: PUSH1 0x00
00000612: SWAP3
00000613: SWAP1
00000614: SWAP2
00000615: SWAP1
00000616: DUP3
00000617: SWAP1
00000618: SUB
00000619: ADD
0000061a: DUP2
0000061b: DUP4
0000061c: DUP8
0000061d: PUSH2 0x61da
00000620: GAS
00000621: SUB
00000622: CALL
00000623: ISZERO
00000624: PUSH2 0x0002
00000627: JUMPI
00000628: POP
00000629: POP
0000062a: PUSH1 0x40
0000062c: DUP1
0000062d: MLOAD
0000062e: PUSH1 0x07
00000630: SLOAD
00000631: PUSH32 0xaeec619700000000000000000000000000000000000000000000000000000000
00000652: DUP3
00000653: MSTORE
00000654: PUSH1 0x01
00000656: PUSH1 0xa0
00000658: PUSH1 0x02
0000065a: EXP
0000065b: SUB
0000065c: AND
0000065d: PUSH1 0x04
0000065f: DUP3
00000660: ADD
00000661: MSTORE
00000662: SWAP1
00000663: MLOAD
00000664: PUSH4 0xaeec6197
00000669: SWAP2
0000066a: PUSH1 0x24
0000066c: DUP2
0000066d: DUP2
0000066e: ADD
0000066f: SWAP3
00000670: PUSH1 0x00
00000672: SWAP3
00000673: SWAP1
00000674: SWAP2
00000675: SWAP1
00000676: DUP3
00000677: SWAP1
00000678: SUB
00000679: ADD
0000067a: DUP2
0000067b: DUP4
0000067c: DUP8
0000067d: PUSH2 0x61da
00000680: GAS
00000681: SUB
00000682: CALL
00000683: ISZERO
00000684: PUSH2 0x0002
00000687: JUMPI
00000688: POP
00000689: POP
0000068a: PUSH1 0x40
0000068c: DUP1
0000068d: MLOAD
0000068e: PUSH1 0x08
00000690: SLOAD
00000691: PUSH32 0x45c5b8ac00000000000000000000000000000000000000000000000000000000
000006b2: DUP3
000006b3: MSTORE
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: PUSH1 0x02
000006ba: EXP
000006bb: SUB
000006bc: AND
000006bd: PUSH1 0x04
000006bf: DUP3
000006c0: ADD
000006c1: MSTORE
000006c2: SWAP1
000006c3: MLOAD
000006c4: PUSH4 0x45c5b8ac
000006c9: SWAP2
000006ca: PUSH1 0x24
000006cc: DUP2
000006cd: DUP2
000006ce: ADD
000006cf: SWAP3
000006d0: PUSH1 0x00
000006d2: SWAP3
000006d3: SWAP1
000006d4: SWAP2
000006d5: SWAP1
000006d6: DUP3
000006d7: SWAP1
000006d8: SUB
000006d9: ADD
000006da: DUP2
000006db: DUP4
000006dc: DUP8
000006dd: PUSH2 0x61da
000006e0: GAS
000006e1: SUB
000006e2: CALL
000006e3: ISZERO
000006e4: PUSH2 0x0002
000006e7: JUMPI
000006e8: POP
000006e9: POP
000006ea: POP
000006eb: DUP1
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: PUSH1 0x02
000006f2: EXP
000006f3: SUB
000006f4: AND
000006f5: PUSH4 0xc9f26fc6
000006fa: DUP5
000006fb: PUSH1 0x40
000006fd: MLOAD
000006fe: DUP3
000006ff: PUSH1 0xe0
00000701: PUSH1 0x02
00000703: EXP
00000704: MUL
00000705: DUP2
00000706: MSTORE
00000707: PUSH1 0x04
00000709: ADD
0000070a: DUP1
0000070b: DUP3
0000070c: DUP2
0000070d: MSTORE
0000070e: PUSH1 0x20
00000710: ADD
00000711: SWAP2
00000712: POP
00000713: POP
00000714: PUSH1 0x00
00000716: PUSH1 0x40
00000718: MLOAD
00000719: DUP1
0000071a: DUP4
0000071b: SUB
0000071c: DUP2
0000071d: PUSH1 0x00
0000071f: DUP8
00000720: PUSH2 0x61da
00000723: GAS
00000724: SUB
00000725: CALL
00000726: ISZERO
00000727: PUSH2 0x0002
0000072a: JUMPI
0000072b: POP
0000072c: POP
0000072d: PUSH1 0x40
0000072f: DUP1
00000730: MLOAD
00000731: PUSH1 0x06
00000733: SLOAD
00000734: PUSH32 0x4f00252200000000000000000000000000000000000000000000000000000000
00000755: DUP3
00000756: MSTORE
00000757: PUSH1 0x01
00000759: PUSH1 0xa0
0000075b: PUSH1 0x02
0000075d: EXP
0000075e: SUB
0000075f: AND
00000760: PUSH1 0x04
00000762: DUP3
00000763: ADD
00000764: MSTORE
00000765: SWAP1
00000766: MLOAD
00000767: PUSH4 0x4f002522
0000076c: SWAP2
0000076d: PUSH1 0x24
0000076f: DUP2
00000770: DUP2
00000771: ADD
00000772: SWAP3
00000773: PUSH1 0x00
00000775: SWAP3
00000776: SWAP1
00000777: SWAP2
00000778: SWAP1
00000779: DUP3
0000077a: SWAP1
0000077b: SUB
0000077c: ADD
0000077d: DUP2
0000077e: DUP4
0000077f: DUP8
00000780: PUSH2 0x61da
00000783: GAS
00000784: SUB
00000785: CALL
00000786: ISZERO
00000787: PUSH2 0x0002
0000078a: JUMPI
0000078b: POP
0000078c: POP
0000078d: PUSH1 0x40
0000078f: DUP1
00000790: MLOAD
00000791: PUSH1 0x00
00000793: DUP1
00000794: SLOAD
00000795: PUSH32 0xe9333fab00000000000000000000000000000000000000000000000000000000
000007b6: DUP4
000007b7: MSTORE
000007b8: PUSH1 0x01
000007ba: PUSH1 0xa0
000007bc: PUSH1 0x02
000007be: EXP
000007bf: SUB
000007c0: AND
000007c1: PUSH1 0x04
000007c3: DUP4
000007c4: ADD
000007c5: MSTORE
000007c6: SWAP2
000007c7: MLOAD
000007c8: PUSH4 0xe9333fab
000007cd: SWAP3
000007ce: PUSH1 0x24
000007d0: DUP4
000007d1: DUP2
000007d2: ADD
000007d3: SWAP4
000007d4: SWAP2
000007d5: SWAP3
000007d6: SWAP2
000007d7: DUP3
000007d8: SWAP1
000007d9: SUB
000007da: ADD
000007db: DUP2
000007dc: DUP4
000007dd: DUP8
000007de: PUSH2 0x61da
000007e1: GAS
000007e2: SUB
000007e3: CALL
000007e4: ISZERO
000007e5: PUSH2 0x0002
000007e8: JUMPI
000007e9: POP
000007ea: POP
000007eb: PUSH1 0x40
000007ed: MLOAD
000007ee: PUSH1 0x00
000007f0: SWAP1
000007f1: DUP6
000007f2: SWAP1
000007f3: DUP3
000007f4: DUP2
000007f5: DUP2
000007f6: DUP2
000007f7: DUP6
000007f8: DUP9
000007f9: DUP4
000007fa: CALL
000007fb: SWAP4
000007fc: POP
000007fd: POP
000007fe: POP
000007ff: POP
00000800: POP
00000801: PUSH1 0x07
00000803: PUSH1 0x00
00000805: SWAP1
00000806: SLOAD
00000807: SWAP1
00000808: PUSH2 0x0100
0000080b: EXP
0000080c: SWAP1
0000080d: DIV
0000080e: PUSH1 0x01
00000810: PUSH1 0xa0
00000812: PUSH1 0x02
00000814: EXP
00000815: SUB
00000816: AND
00000817: PUSH1 0x01
00000819: PUSH1 0xa0
0000081b: PUSH1 0x02
0000081d: EXP
0000081e: SUB
0000081f: AND
00000820: PUSH4 0x61f2de50
00000825: DUP4
00000826: DUP4
00000827: PUSH1 0x40
00000829: MLOAD
0000082a: DUP4
0000082b: PUSH1 0xe0
0000082d: PUSH1 0x02
0000082f: EXP
00000830: MUL
00000831: DUP2
00000832: MSTORE
00000833: PUSH1 0x04
00000835: ADD
00000836: DUP1
00000837: DUP4
00000838: DUP2
00000839: MSTORE
0000083a: PUSH1 0x20
0000083c: ADD
0000083d: DUP3
0000083e: PUSH1 0x01
00000840: PUSH1 0xa0
00000842: PUSH1 0x02
00000844: EXP
00000845: SUB
00000846: AND
00000847: DUP2
00000848: MSTORE
00000849: PUSH1 0x20
0000084b: ADD
0000084c: SWAP3
0000084d: POP
0000084e: POP
0000084f: POP
00000850: PUSH1 0x00
00000852: PUSH1 0x40
00000854: MLOAD
00000855: DUP1
00000856: DUP4
00000857: SUB
00000858: DUP2
00000859: PUSH1 0x00
0000085b: DUP8
0000085c: PUSH2 0x61da
0000085f: GAS
00000860: SUB
00000861: CALL
00000862: ISZERO
00000863: PUSH2 0x0002
00000866: JUMPI
00000867: POP
00000868: POP
00000869: POP
0000086a: JUMPDEST
0000086b: POP
0000086c: POP
0000086d: POP
0000086e: POP
0000086f: POP
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH2 0x015e
00000875: PUSH1 0x04
00000877: CALLDATALOAD
00000878: PUSH1 0x00
0000087a: SLOAD
0000087b: PUSH1 0x01
0000087d: PUSH1 0xa0
0000087f: PUSH1 0x02
00000881: EXP
00000882: SUB
00000883: SWAP1
00000884: DUP2
00000885: AND
00000886: SWAP1
00000887: CALLER
00000888: AND
00000889: DUP2
0000088a: EQ
0000088b: ISZERO
0000088c: PUSH2 0x09b2
0000088f: JUMPI
00000890: PUSH1 0x06
00000892: DUP1
00000893: SLOAD
00000894: PUSH1 0x01
00000896: PUSH1 0xa0
00000898: PUSH1 0x02
0000089a: EXP
0000089b: SUB
0000089c: NOT
0000089d: AND
0000089e: DUP4
0000089f: OR
000008a0: SWAP1
000008a1: SSTORE
000008a2: POP
000008a3: POP
000008a4: JUMP
000008a5: JUMPDEST
000008a6: PUSH2 0x0984
000008a9: PUSH1 0x09
000008ab: SLOAD
000008ac: DUP2
000008ad: JUMP
000008ae: JUMPDEST
000008af: PUSH2 0x0984
000008b2: PUSH1 0x0a
000008b4: SLOAD
000008b5: DUP2
000008b6: JUMP
000008b7: JUMPDEST
000008b8: PUSH2 0x015e
000008bb: PUSH1 0x00
000008bd: PUSH1 0x00
000008bf: PUSH1 0x00
000008c1: PUSH1 0x00
000008c3: NUMBER
000008c4: PUSH1 0x0a
000008c6: PUSH1 0x00
000008c8: POP
000008c9: SLOAD
000008ca: LT
000008cb: DUP1
000008cc: ISZERO
000008cd: PUSH2 0x08d8
000008d0: JUMPI
000008d1: POP
000008d2: PUSH1 0x0b
000008d4: SLOAD
000008d5: GASPRICE
000008d6: GT
000008d7: ISZERO
000008d8: JUMPDEST
000008d9: ISZERO
000008da: PUSH2 0x0e63
000008dd: JUMPI
000008de: PUSH1 0x06
000008e0: DUP1
000008e1: SLOAD
000008e2: PUSH1 0xa0
000008e4: PUSH1 0x02
000008e6: EXP
000008e7: PUSH1 0xff
000008e9: MUL
000008ea: NOT
000008eb: AND
000008ec: PUSH1 0xa0
000008ee: PUSH1 0x02
000008f0: EXP
000008f1: OR
000008f2: SWAP1
000008f3: SSTORE
000008f4: PUSH1 0x01
000008f6: SLOAD
000008f7: PUSH1 0x0a
000008f9: GASPRICE
000008fa: PUSH1 0x0b
000008fc: MUL
000008fd: DIV
000008fe: SWAP1
000008ff: DIV
00000900: SWAP4
00000901: POP
00000902: GAS
00000903: PUSH1 0x05
00000905: SLOAD
00000906: PUSH32 0x5c36b18600000000000000000000000000000000000000000000000000000000
00000927: PUSH1 0x60
00000929: SWAP1
0000092a: DUP2
0000092b: MSTORE
0000092c: SWAP2
0000092d: SWAP5
0000092e: POP
0000092f: PUSH1 0x01
00000931: PUSH1 0xa0
00000933: PUSH1 0x02
00000935: EXP
00000936: SUB
00000937: AND
00000938: SWAP1
00000939: PUSH4 0x5c36b186
0000093e: SWAP1
0000093f: PUSH1 0x64
00000941: SWAP1
00000942: DUP5
00000943: SWAP1
00000944: PUSH1 0x04
00000946: DUP2
00000947: DUP4
00000948: DUP8
00000949: PUSH2 0x61da
0000094c: GAS
0000094d: SUB
0000094e: CALL
0000094f: ISZERO
00000950: PUSH2 0x0002
00000953: JUMPI
00000954: POP
00000955: POP
00000956: POP
00000957: GAS
00000958: DUP4
00000959: SUB
0000095a: SWAP2
0000095b: POP
0000095c: PUSH1 0x0a
0000095e: GASPRICE
0000095f: PUSH1 0x0b
00000961: MUL
00000962: DIV
00000963: DUP3
00000964: MUL
00000965: SWAP1
00000966: POP
00000967: DUP1
00000968: PUSH1 0x01
0000096a: PUSH1 0x00
0000096c: POP
0000096d: SLOAD
0000096e: GT
0000096f: ISZERO
00000970: PUSH2 0x0e3c
00000973: JUMPI
00000974: PUSH1 0x01
00000976: DUP1
00000977: SLOAD
00000978: DUP3
00000979: SWAP1
0000097a: SUB
0000097b: SWAP1
0000097c: SSTORE
0000097d: PUSH2 0x0e42
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH1 0x2a
00000984: JUMPDEST
00000985: PUSH1 0x60
00000987: SWAP1
00000988: DUP2
00000989: MSTORE
0000098a: PUSH1 0x20
0000098c: SWAP1
0000098d: RETURN
0000098e: JUMPDEST
0000098f: PUSH2 0x015e
00000992: PUSH1 0x04
00000994: CALLDATALOAD
00000995: PUSH1 0x05
00000997: SLOAD
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: PUSH1 0x02
0000099e: EXP
0000099f: SUB
000009a0: SWAP1
000009a1: DUP2
000009a2: AND
000009a3: SWAP1
000009a4: CALLER
000009a5: AND
000009a6: DUP2
000009a7: EQ
000009a8: ISZERO
000009a9: PUSH2 0x09b2
000009ac: JUMPI
000009ad: PUSH1 0x0b
000009af: DUP3
000009b0: SWAP1
000009b1: SSTORE
000009b2: JUMPDEST
000009b3: POP
000009b4: POP
000009b5: JUMP
000009b6: JUMPDEST
000009b7: PUSH2 0x0984
000009ba: PUSH1 0x01
000009bc: SLOAD
000009bd: DUP2
000009be: JUMP
000009bf: JUMPDEST
000009c0: PUSH2 0x015e
000009c3: PUSH1 0x04
000009c5: CALLDATALOAD
000009c6: PUSH1 0x06
000009c8: SLOAD
000009c9: PUSH1 0x00
000009cb: SWAP1
000009cc: PUSH1 0xff
000009ce: PUSH1 0xa0
000009d0: PUSH1 0x02
000009d2: EXP
000009d3: SWAP1
000009d4: SWAP2
000009d5: DIV
000009d6: AND
000009d7: DUP1
000009d8: ISZERO
000009d9: PUSH2 0x09f0
000009dc: JUMPI
000009dd: POP
000009de: PUSH1 0x05
000009e0: SLOAD
000009e1: CALLER
000009e2: PUSH1 0x01
000009e4: PUSH1 0xa0
000009e6: PUSH1 0x02
000009e8: EXP
000009e9: SUB
000009ea: SWAP1
000009eb: DUP2
000009ec: AND
000009ed: SWAP2
000009ee: AND
000009ef: EQ
000009f0: JUMPDEST
000009f1: ISZERO
000009f2: PUSH2 0x09b2
000009f5: JUMPI
000009f6: PUSH1 0x06
000009f8: DUP1
000009f9: SLOAD
000009fa: PUSH1 0xa0
000009fc: PUSH1 0x02
000009fe: EXP
000009ff: PUSH1 0xff
00000a01: MUL
00000a02: NOT
00000a03: AND
00000a04: SWAP1
00000a05: SSTORE
00000a06: PUSH1 0x07
00000a08: SLOAD
00000a09: PUSH1 0x09
00000a0b: SLOAD
00000a0c: PUSH1 0xe2
00000a0e: PUSH1 0x02
00000a10: EXP
00000a11: PUSH4 0x39bceb8f
00000a16: MUL
00000a17: PUSH1 0x60
00000a19: SWAP1
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x64
00000a1e: SWAP2
00000a1f: SWAP1
00000a20: SWAP2
00000a21: MSTORE
00000a22: PUSH1 0xff
00000a24: DUP5
00000a25: AND
00000a26: PUSH1 0x84
00000a28: MSTORE
00000a29: PUSH1 0x01
00000a2b: PUSH1 0xa0
00000a2d: PUSH1 0x02
00000a2f: EXP
00000a30: SUB
00000a31: SWAP2
00000a32: SWAP1
00000a33: SWAP2
00000a34: AND
00000a35: SWAP1
00000a36: PUSH4 0xe6f3ae3c
00000a3b: SWAP1
00000a3c: PUSH1 0xa4
00000a3e: SWAP1
00000a3f: PUSH1 0x20
00000a41: SWAP1
00000a42: PUSH1 0x44
00000a44: DUP2
00000a45: DUP8
00000a46: DUP8
00000a47: PUSH2 0x61da
00000a4a: GAS
00000a4b: SUB
00000a4c: CALL
00000a4d: ISZERO
00000a4e: PUSH2 0x0002
00000a51: JUMPI
00000a52: POP
00000a53: POP
00000a54: PUSH1 0x07
00000a56: SLOAD
00000a57: PUSH1 0x40
00000a59: DUP1
00000a5a: MLOAD
00000a5b: DUP1
00000a5c: MLOAD
00000a5d: PUSH1 0xe1
00000a5f: PUSH1 0x02
00000a61: EXP
00000a62: PUSH4 0x47c4986d
00000a67: MUL
00000a68: DUP3
00000a69: MSTORE
00000a6a: PUSH1 0x04
00000a6c: DUP3
00000a6d: ADD
00000a6e: DUP2
00000a6f: SWAP1
00000a70: MSTORE
00000a71: SWAP2
00000a72: MLOAD
00000a73: SWAP2
00000a74: SWAP5
00000a75: PUSH1 0x01
00000a77: PUSH1 0xa0
00000a79: PUSH1 0x02
00000a7b: EXP
00000a7c: SUB
00000a7d: SWAP4
00000a7e: SWAP1
00000a7f: SWAP4
00000a80: AND
00000a81: SWAP4
00000a82: POP
00000a83: PUSH4 0x8f8930da
00000a88: SWAP3
00000a89: PUSH1 0x24
00000a8b: DUP3
00000a8c: DUP2
00000a8d: ADD
00000a8e: SWAP4
00000a8f: PUSH1 0x20
00000a91: SWAP4
00000a92: SWAP1
00000a93: SWAP3
00000a94: SWAP1
00000a95: DUP4
00000a96: SWAP1
00000a97: SUB
00000a98: SWAP1
00000a99: SWAP2
00000a9a: ADD
00000a9b: SWAP1
00000a9c: DUP3
00000a9d: SWAP1
00000a9e: DUP8
00000a9f: PUSH2 0x61da
00000aa2: GAS
00000aa3: SUB
00000aa4: CALL
00000aa5: ISZERO
00000aa6: PUSH2 0x0002
00000aa9: JUMPI
00000aaa: POP
00000aab: POP
00000aac: PUSH1 0x40
00000aae: MLOAD
00000aaf: MLOAD
00000ab0: PUSH1 0x01
00000ab2: PUSH1 0xa0
00000ab4: PUSH1 0x02
00000ab6: EXP
00000ab7: SUB
00000ab8: AND
00000ab9: PUSH1 0x00
00000abb: EQ
00000abc: ISZERO
00000abd: SWAP1
00000abe: POP
00000abf: PUSH2 0x09b2
00000ac2: JUMPI
00000ac3: PUSH1 0x40
00000ac5: DUP1
00000ac6: MLOAD
00000ac7: PUSH1 0x07
00000ac9: SLOAD
00000aca: PUSH1 0x09
00000acc: SLOAD
00000acd: PUSH32 0xb5a27a2100000000000000000000000000000000000000000000000000000000
00000aee: DUP4
00000aef: MSTORE
00000af0: PUSH1 0x04
00000af2: DUP4
00000af3: ADD
00000af4: MSTORE
00000af5: SWAP2
00000af6: MLOAD
00000af7: PUSH1 0x01
00000af9: PUSH1 0xa0
00000afb: PUSH1 0x02
00000afd: EXP
00000afe: SUB
00000aff: SWAP3
00000b00: SWAP1
00000b01: SWAP3
00000b02: AND
00000b03: SWAP2
00000b04: PUSH4 0xb5a27a21
00000b09: SWAP2
00000b0a: PUSH1 0x24
00000b0c: DUP2
00000b0d: DUP2
00000b0e: ADD
00000b0f: SWAP3
00000b10: PUSH1 0x00
00000b12: SWAP3
00000b13: SWAP1
00000b14: SWAP2
00000b15: SWAP1
00000b16: DUP3
00000b17: SWAP1
00000b18: SUB
00000b19: ADD
00000b1a: DUP2
00000b1b: DUP4
00000b1c: DUP8
00000b1d: PUSH2 0x61da
00000b20: GAS
00000b21: SUB
00000b22: CALL
00000b23: ISZERO
00000b24: PUSH2 0x0002
00000b27: JUMPI
00000b28: POP
00000b29: POP
00000b2a: POP
00000b2b: PUSH1 0x07
00000b2d: PUSH1 0x00
00000b2f: SWAP1
00000b30: SLOAD
00000b31: SWAP1
00000b32: PUSH2 0x0100
00000b35: EXP
00000b36: SWAP1
00000b37: DIV
00000b38: PUSH1 0x01
00000b3a: PUSH1 0xa0
00000b3c: PUSH1 0x02
00000b3e: EXP
00000b3f: SUB
00000b40: AND
00000b41: PUSH1 0x01
00000b43: PUSH1 0xa0
00000b45: PUSH1 0x02
00000b47: EXP
00000b48: SUB
00000b49: AND
00000b4a: PUSH4 0x17a650cc
00000b4f: DUP3
00000b50: PUSH1 0x40
00000b52: MLOAD
00000b53: DUP3
00000b54: PUSH1 0xe0
00000b56: PUSH1 0x02
00000b58: EXP
00000b59: MUL
00000b5a: DUP2
00000b5b: MSTORE
00000b5c: PUSH1 0x04
00000b5e: ADD
00000b5f: DUP1
00000b60: DUP3
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x20
00000b65: ADD
00000b66: SWAP2
00000b67: POP
00000b68: POP
00000b69: PUSH1 0x00
00000b6b: PUSH1 0x40
00000b6d: MLOAD
00000b6e: DUP1
00000b6f: DUP4
00000b70: SUB
00000b71: DUP2
00000b72: PUSH1 0x00
00000b74: DUP8
00000b75: PUSH2 0x61da
00000b78: GAS
00000b79: SUB
00000b7a: CALL
00000b7b: ISZERO
00000b7c: PUSH2 0x0002
00000b7f: JUMPI
00000b80: POP
00000b81: POP
00000b82: POP
00000b83: DUP1
00000b84: PUSH1 0x09
00000b86: PUSH1 0x00
00000b88: POP
00000b89: DUP2
00000b8a: SWAP1
00000b8b: SSTORE
00000b8c: POP
00000b8d: POP
00000b8e: POP
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH2 0x015e
00000b94: PUSH1 0x04
00000b96: CALLDATALOAD
00000b97: PUSH1 0x00
00000b99: SLOAD
00000b9a: PUSH1 0x01
00000b9c: PUSH1 0xa0
00000b9e: PUSH1 0x02
00000ba0: EXP
00000ba1: SUB
00000ba2: SWAP1
00000ba3: DUP2
00000ba4: AND
00000ba5: SWAP1
00000ba6: CALLER
00000ba7: AND
00000ba8: DUP2
00000ba9: EQ
00000baa: ISZERO
00000bab: PUSH2 0x09b2
00000bae: JUMPI
00000baf: PUSH1 0x05
00000bb1: DUP1
00000bb2: SLOAD
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0xa0
00000bb7: PUSH1 0x02
00000bb9: EXP
00000bba: SUB
00000bbb: NOT
00000bbc: AND
00000bbd: DUP4
00000bbe: OR
00000bbf: SWAP1
00000bc0: SSTORE
00000bc1: POP
00000bc2: POP
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: PUSH2 0x015e
00000bc8: PUSH1 0x04
00000bca: CALLDATALOAD
00000bcb: PUSH1 0x00
00000bcd: SLOAD
00000bce: PUSH1 0x01
00000bd0: PUSH1 0xa0
00000bd2: PUSH1 0x02
00000bd4: EXP
00000bd5: SUB
00000bd6: SWAP1
00000bd7: DUP2
00000bd8: AND
00000bd9: SWAP1
00000bda: CALLER
00000bdb: AND
00000bdc: DUP2
00000bdd: EQ
00000bde: ISZERO
00000bdf: PUSH2 0x09b2
00000be2: JUMPI
00000be3: POP
00000be4: PUSH1 0x09
00000be6: SSTORE
00000be7: JUMP
00000be8: JUMPDEST
00000be9: PUSH2 0x0e29
00000bec: PUSH1 0x07
00000bee: SLOAD
00000bef: PUSH1 0x01
00000bf1: PUSH1 0xa0
00000bf3: PUSH1 0x02
00000bf5: EXP
00000bf6: SUB
00000bf7: AND
00000bf8: DUP2
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH2 0x015e
00000bfe: PUSH1 0x04
00000c00: CALLDATALOAD
00000c01: PUSH1 0x00
00000c03: SLOAD
00000c04: PUSH1 0x01
00000c06: PUSH1 0xa0
00000c08: PUSH1 0x02
00000c0a: EXP
00000c0b: SUB
00000c0c: SWAP1
00000c0d: DUP2
00000c0e: AND
00000c0f: SWAP1
00000c10: CALLER
00000c11: AND
00000c12: DUP2
00000c13: EQ
00000c14: ISZERO
00000c15: PUSH2 0x09b2
00000c18: JUMPI
00000c19: POP
00000c1a: PUSH1 0x04
00000c1c: SSTORE
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH2 0x0e29
00000c22: PUSH1 0x06
00000c24: SLOAD
00000c25: PUSH1 0x01
00000c27: PUSH1 0xa0
00000c29: PUSH1 0x02
00000c2b: EXP
00000c2c: SUB
00000c2d: AND
00000c2e: DUP2
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: PUSH2 0x0984
00000c34: PUSH1 0x04
00000c36: SLOAD
00000c37: DUP2
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH1 0x08
00000c3c: SLOAD
00000c3d: PUSH32 0x7d9383c300000000000000000000000000000000000000000000000000000000
00000c5e: PUSH1 0x60
00000c60: SWAP1
00000c61: DUP2
00000c62: MSTORE
00000c63: CALLER
00000c64: PUSH1 0x01
00000c66: PUSH1 0xa0
00000c68: PUSH1 0x02
00000c6a: EXP
00000c6b: SUB
00000c6c: SWAP1
00000c6d: DUP2
00000c6e: AND
00000c6f: PUSH1 0x64
00000c71: MSTORE
00000c72: PUSH2 0x015e
00000c75: SWAP3
00000c76: AND
00000c77: SWAP1
00000c78: PUSH4 0x7d9383c3
00000c7d: SWAP1
00000c7e: PUSH1 0x84
00000c80: SWAP1
00000c81: PUSH1 0x20
00000c83: SWAP1
00000c84: PUSH1 0x24
00000c86: DUP2
00000c87: PUSH1 0x00
00000c89: DUP8
00000c8a: PUSH2 0x61da
00000c8d: GAS
00000c8e: SUB
00000c8f: CALL
00000c90: ISZERO
00000c91: PUSH2 0x0002
00000c94: JUMPI
00000c95: POP
00000c96: POP
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: MLOAD
00000c9b: PUSH1 0x01
00000c9d: EQ
00000c9e: ISZERO
00000c9f: SWAP1
00000ca0: POP
00000ca1: PUSH2 0x03c6
00000ca4: JUMPI
00000ca5: PUSH1 0x02
00000ca7: DUP1
00000ca8: SLOAD
00000ca9: PUSH1 0x00
00000cab: NOT
00000cac: ADD
00000cad: SWAP1
00000cae: DUP2
00000caf: SWAP1
00000cb0: SSTORE
00000cb1: PUSH1 0x00
00000cb3: EQ
00000cb4: ISZERO
00000cb5: PUSH2 0x03c6
00000cb8: JUMPI
00000cb9: PUSH1 0x01
00000cbb: PUSH1 0x03
00000cbd: PUSH1 0x00
00000cbf: PUSH2 0x0100
00000cc2: EXP
00000cc3: DUP2
00000cc4: SLOAD
00000cc5: DUP2
00000cc6: PUSH1 0xff
00000cc8: MUL
00000cc9: NOT
00000cca: AND
00000ccb: SWAP1
00000ccc: DUP4
00000ccd: MUL
00000cce: OR
00000ccf: SWAP1
00000cd0: SSTORE
00000cd1: POP
00000cd2: PUSH1 0x07
00000cd4: PUSH1 0x00
00000cd6: SWAP1
00000cd7: SLOAD
00000cd8: SWAP1
00000cd9: PUSH2 0x0100
00000cdc: EXP
00000cdd: SWAP1
00000cde: DIV
00000cdf: PUSH1 0x01
00000ce1: PUSH1 0xa0
00000ce3: PUSH1 0x02
00000ce5: EXP
00000ce6: SUB
00000ce7: AND
00000ce8: PUSH1 0x01
00000cea: PUSH1 0xa0
00000cec: PUSH1 0x02
00000cee: EXP
00000cef: SUB
00000cf0: AND
00000cf1: PUSH4 0xf0a45cff
00000cf6: PUSH1 0x09
00000cf8: PUSH1 0x00
00000cfa: POP
00000cfb: SLOAD
00000cfc: PUSH1 0x01
00000cfe: PUSH1 0x00
00000d00: POP
00000d01: SLOAD
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: DUP4
00000d06: PUSH1 0xe0
00000d08: PUSH1 0x02
00000d0a: EXP
00000d0b: MUL
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x04
00000d10: ADD
00000d11: DUP1
00000d12: DUP4
00000d13: DUP2
00000d14: MSTORE
00000d15: PUSH1 0x20
00000d17: ADD
00000d18: DUP3
00000d19: DUP2
00000d1a: MSTORE
00000d1b: PUSH1 0x20
00000d1d: ADD
00000d1e: SWAP3
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: PUSH1 0x00
00000d24: PUSH1 0x40
00000d26: MLOAD
00000d27: DUP1
00000d28: DUP4
00000d29: SUB
00000d2a: DUP2
00000d2b: PUSH1 0x00
00000d2d: DUP8
00000d2e: PUSH2 0x61da
00000d31: GAS
00000d32: SUB
00000d33: CALL
00000d34: ISZERO
00000d35: PUSH2 0x0002
00000d38: JUMPI
00000d39: POP
00000d3a: POP
00000d3b: PUSH1 0x07
00000d3d: SLOAD
00000d3e: PUSH1 0x01
00000d40: PUSH1 0xa0
00000d42: PUSH1 0x02
00000d44: EXP
00000d45: SUB
00000d46: AND
00000d47: SWAP1
00000d48: POP
00000d49: SELFDESTRUCT
00000d4a: JUMPDEST
00000d4b: PUSH2 0x015e
00000d4e: PUSH1 0x04
00000d50: CALLDATALOAD
00000d51: PUSH1 0x00
00000d53: SLOAD
00000d54: PUSH1 0x01
00000d56: PUSH1 0xa0
00000d58: PUSH1 0x02
00000d5a: EXP
00000d5b: SUB
00000d5c: SWAP1
00000d5d: DUP2
00000d5e: AND
00000d5f: SWAP1
00000d60: CALLER
00000d61: AND
00000d62: DUP2
00000d63: EQ
00000d64: ISZERO
00000d65: PUSH2 0x09b2
00000d68: JUMPI
00000d69: PUSH1 0x07
00000d6b: DUP1
00000d6c: SLOAD
00000d6d: PUSH1 0x01
00000d6f: PUSH1 0xa0
00000d71: PUSH1 0x02
00000d73: EXP
00000d74: SUB
00000d75: NOT
00000d76: AND
00000d77: DUP4
00000d78: OR
00000d79: SWAP1
00000d7a: SSTORE
00000d7b: POP
00000d7c: POP
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: PUSH2 0x0e29
00000d82: PUSH1 0x08
00000d84: SLOAD
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: PUSH1 0x02
00000d8b: EXP
00000d8c: SUB
00000d8d: AND
00000d8e: DUP2
00000d8f: JUMP
00000d90: JUMPDEST
00000d91: PUSH2 0x015e
00000d94: PUSH1 0x04
00000d96: CALLDATALOAD
00000d97: PUSH1 0x00
00000d99: SLOAD
00000d9a: PUSH1 0x01
00000d9c: PUSH1 0xa0
00000d9e: PUSH1 0x02
00000da0: EXP
00000da1: SUB
00000da2: SWAP1
00000da3: DUP2
00000da4: AND
00000da5: SWAP1
00000da6: CALLER
00000da7: AND
00000da8: DUP2
00000da9: EQ
00000daa: ISZERO
00000dab: PUSH2 0x09b2
00000dae: JUMPI
00000daf: POP
00000db0: PUSH1 0x01
00000db2: SSTORE
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH2 0x0984
00000db8: PUSH1 0x06
00000dba: SLOAD
00000dbb: PUSH1 0xff
00000dbd: PUSH1 0xa0
00000dbf: PUSH1 0x02
00000dc1: EXP
00000dc2: SWAP1
00000dc3: SWAP2
00000dc4: DIV
00000dc5: AND
00000dc6: DUP2
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: PUSH2 0x0984
00000dcc: PUSH1 0x02
00000dce: SLOAD
00000dcf: DUP2
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: PUSH2 0x015e
00000dd5: PUSH1 0x04
00000dd7: CALLDATALOAD
00000dd8: PUSH1 0x00
00000dda: SLOAD
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0xa0
00000ddf: PUSH1 0x02
00000de1: EXP
00000de2: SUB
00000de3: SWAP1
00000de4: DUP2
00000de5: AND
00000de6: SWAP1
00000de7: CALLER
00000de8: AND
00000de9: DUP2
00000dea: EQ
00000deb: ISZERO
00000dec: PUSH2 0x09b2
00000def: JUMPI
00000df0: PUSH1 0x00
00000df2: DUP1
00000df3: SLOAD
00000df4: PUSH1 0x01
00000df6: PUSH1 0xa0
00000df8: PUSH1 0x02
00000dfa: EXP
00000dfb: SUB
00000dfc: NOT
00000dfd: AND
00000dfe: DUP4
00000dff: OR
00000e00: SWAP1
00000e01: SSTORE
00000e02: POP
00000e03: POP
00000e04: JUMP
00000e05: JUMPDEST
00000e06: PUSH2 0x0e29
00000e09: PUSH1 0x00
00000e0b: SLOAD
00000e0c: PUSH1 0x01
00000e0e: PUSH1 0xa0
00000e10: PUSH1 0x02
00000e12: EXP
00000e13: SUB
00000e14: AND
00000e15: DUP2
00000e16: JUMP
00000e17: JUMPDEST
00000e18: PUSH2 0x0e29
00000e1b: PUSH1 0x05
00000e1d: SLOAD
00000e1e: PUSH1 0x01
00000e20: PUSH1 0xa0
00000e22: PUSH1 0x02
00000e24: EXP
00000e25: SUB
00000e26: AND
00000e27: DUP2
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: PUSH1 0x01
00000e2c: PUSH1 0xa0
00000e2e: PUSH1 0x02
00000e30: EXP
00000e31: SUB
00000e32: AND
00000e33: PUSH1 0x60
00000e35: SWAP1
00000e36: DUP2
00000e37: MSTORE
00000e38: PUSH1 0x20
00000e3a: SWAP1
00000e3b: RETURN
00000e3c: JUMPDEST
00000e3d: PUSH1 0x00
00000e3f: PUSH1 0x01
00000e41: SSTORE
00000e42: JUMPDEST
00000e43: PUSH1 0x40
00000e45: MLOAD
00000e46: CALLER
00000e47: PUSH1 0x01
00000e49: PUSH1 0xa0
00000e4b: PUSH1 0x02
00000e4d: EXP
00000e4e: SUB
00000e4f: AND
00000e50: SWAP1
00000e51: PUSH1 0x00
00000e53: SWAP1
00000e54: DUP4
00000e55: SWAP1
00000e56: DUP3
00000e57: DUP2
00000e58: DUP2
00000e59: DUP2
00000e5a: DUP6
00000e5b: DUP9
00000e5c: DUP4
00000e5d: CALL
00000e5e: POP
00000e5f: POP
00000e60: POP
00000e61: POP
00000e62: POP
00000e63: JUMPDEST
00000e64: POP
00000e65: POP
00000e66: POP
00000e67: POP
00000e68: JUMP

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: 0x6f3ea49e3072501f2aefdcd75c0d6ab134a17ef3b50dfac058f568913ca73eb5 call_targets: 0x6c71c4e337bfe0398fc9d836112330815b08c82e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6f3ea49e3072501f2aefdcd75c0d6ab134a17ef3b50dfac058f568913ca73eb5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6c71c4e337bfe0398fc9d836112330815b08c82e" ], "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": "0x056f07a1", "selector": "0x056f07a1", "calldata_variants": [ "0x056f07a1", "0x056f07a10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14fefca1", "selector": "0x14fefca1", "calldata_variants": [ "0x14fefca1", "0x14fefca10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1999eca8", "selector": "0x1999eca8", "calldata_variants": [ "0x1999eca8", "0x1999eca80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36cf7c87", "selector": "0x36cf7c87", "calldata_variants": [ "0x36cf7c87", "0x36cf7c870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45c5b8ac", "selector": "0x45c5b8ac", "calldata_variants": [ "0x45c5b8ac", "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4641257d", "selector": "0x4641257d", "calldata_variants": [ "0x4641257d", "0x4641257d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4de2578c", "selector": "0x4de2578c", "calldata_variants": [ "0x4de2578c", "0x4de2578c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f002522", "selector": "0x4f002522", "calldata_variants": [ "0x4f002522", "0x4f0025220000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 540, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "storage-derived" }, { "pc": 626, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 715, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 25, "guards_detected": [], "untrusted_call_count": 25 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x6f3ea49e3072501f2aefdcd75c0d6ab134a17ef3b50dfac058f568913ca73eb5 call_targets: 0x6c71c4e337bfe0398fc9d836112330815b08c82e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6f3ea49e3072501f2aefdcd75c0d6ab134a17ef3b50dfac058f568913ca73eb5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6c71c4e337bfe0398fc9d836112330815b08c82e" ], "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": "0x056f07a1", "selector": "0x056f07a1", "calldata_variants": [ "0x056f07a1", "0x056f07a10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14fefca1", "selector": "0x14fefca1", "calldata_variants": [ "0x14fefca1", "0x14fefca10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1999eca8", "selector": "0x1999eca8", "calldata_variants": [ "0x1999eca8", "0x1999eca80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36cf7c87", "selector": "0x36cf7c87", "calldata_variants": [ "0x36cf7c87", "0x36cf7c870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45c5b8ac", "selector": "0x45c5b8ac", "calldata_variants": [ "0x45c5b8ac", "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4641257d", "selector": "0x4641257d", "calldata_variants": [ "0x4641257d", "0x4641257d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4de2578c", "selector": "0x4de2578c", "calldata_variants": [ "0x4de2578c", "0x4de2578c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f002522", "selector": "0x4f002522", "calldata_variants": [ "0x4f002522", "0x4f0025220000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 540, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "storage-derived" }, { "pc": 626, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 715, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 25, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xe6b88e47d775d522d7af2e480e0039fd4ea482a083d81b258499101b443f66dd validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xe6b88e47d775d522d7af2e480e0039fd4ea482a083d81b258499101b443f66dd", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x056f07a1", "selector": "0x056f07a1", "calldata_variants": [ "0x056f07a1", "0x056f07a10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14fefca1", "selector": "0x14fefca1", "calldata_variants": [ "0x14fefca1", "0x14fefca10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1999eca8", "selector": "0x1999eca8", "calldata_variants": [ "0x1999eca8", "0x1999eca80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36cf7c87", "selector": "0x36cf7c87", "calldata_variants": [ "0x36cf7c87", "0x36cf7c870000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45c5b8ac", "selector": "0x45c5b8ac", "calldata_variants": [ "0x45c5b8ac", "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4641257d", "selector": "0x4641257d", "calldata_variants": [ "0x4641257d", "0x4641257d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4de2578c", "selector": "0x4de2578c", "calldata_variants": [ "0x4de2578c", "0x4de2578c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f002522", "selector": "0x4f002522", "calldata_variants": [ "0x4f002522", "0x4f0025220000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity