Analysis Run

019b3836-4cbf-7061-975b-d97c1f6b8e5a

complete

Chain ID

1

Address

0x806138e7992873b7e3c9f5e980303332f80b0a7f

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
7105	artifact.fetch	complete	1 / 3	4 months ago
7106	tool.cast_disasm	complete	1 / 3	4 months ago
50484	analysis.bundle	complete	1 / 3	2 weeks ago
50485	capability.graph	complete	1 / 3	2 weeks ago
50486	detector.run	complete	1 / 3	2 weeks ago
50487	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)

4

EXT*/BALANCE

7

Total opcodes

2066

Flags

selfdestruct_present heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cf
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x13dce938
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00dc
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x14f47de4
00000025: EQ
00000026: PUSH2 0x00ea
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1d8f310a
00000030: EQ
00000031: PUSH2 0x010a
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29dcb0cf
0000003b: EQ
0000003c: PUSH2 0x011b
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3e76aa06
00000046: EQ
00000047: PUSH2 0x0127
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x5c76ca2d
00000051: EQ
00000052: PUSH2 0x0163
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x63bd1d4a
0000005c: EQ
0000005d: PUSH2 0x016f
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x7cbbcca6
00000067: EQ
00000068: PUSH2 0x01c2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x8261192e
00000072: EQ
00000073: PUSH2 0x01e9
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x8892b467
0000007d: EQ
0000007e: PUSH2 0x01fb
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x9ac99635
00000088: EQ
00000089: PUSH2 0x020f
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x9f47c36c
00000093: EQ
00000094: PUSH2 0x0223
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xaaaaea59
0000009e: EQ
0000009f: PUSH2 0x022f
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xbb2f7847
000000a9: EQ
000000aa: PUSH2 0x0238
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xc6aef98a
000000b4: EQ
000000b5: PUSH2 0x0264
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xd356ead2
000000bf: EQ
000000c0: PUSH2 0x0277
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xefcceaa5
000000ca: EQ
000000cb: PUSH2 0x02bb
000000ce: JUMPI
000000cf: JUMPDEST
000000d0: PUSH2 0x02cf
000000d3: PUSH1 0x00
000000d5: PUSH2 0x02d1
000000d8: PUSH2 0x023c
000000db: JUMP
000000dc: JUMPDEST
000000dd: PUSH2 0x02cf
000000e0: PUSH1 0x04
000000e2: DUP1
000000e3: SLOAD
000000e4: CALLVALUE
000000e5: ADD
000000e6: SWAP1
000000e7: SSTORE
000000e8: JUMPDEST
000000e9: JUMP
000000ea: JUMPDEST
000000eb: PUSH1 0x17
000000ed: SLOAD
000000ee: PUSH1 0x16
000000f0: SLOAD
000000f1: JUMPDEST
000000f2: PUSH1 0x40
000000f4: DUP1
000000f5: MLOAD
000000f6: SWAP3
000000f7: DUP4
000000f8: MSTORE
000000f9: PUSH1 0x20
000000fb: DUP4
000000fc: ADD
000000fd: SWAP2
000000fe: SWAP1
000000ff: SWAP2
00000100: MSTORE
00000101: DUP1
00000102: MLOAD
00000103: SWAP2
00000104: DUP3
00000105: SWAP1
00000106: SUB
00000107: ADD
00000108: SWAP1
00000109: RETURN
0000010a: JUMPDEST
0000010b: PUSH2 0x0322
0000010e: PUSH1 0x05
00000110: SLOAD
00000111: PUSH2 0x0100
00000114: SWAP1
00000115: DIV
00000116: PUSH1 0xff
00000118: AND
00000119: DUP2
0000011a: JUMP
0000011b: JUMPDEST
0000011c: PUSH2 0x0322
0000011f: PUSH3 0x03f480
00000123: TIMESTAMP
00000124: ADD
00000125: DUP2
00000126: JUMP
00000127: JUMPDEST
00000128: PUSH2 0x0322
0000012b: PUSH1 0x04
0000012d: CALLDATALOAD
0000012e: PUSH1 0x24
00000130: CALLDATALOAD
00000131: JUMPDEST
00000132: PUSH1 0x17
00000134: SLOAD
00000135: PUSH1 0x16
00000137: SLOAD
00000138: PUSH1 0x00
0000013a: SWAP2
0000013b: DUP5
0000013c: ADD
0000013d: SWAP1
0000013e: DUP4
0000013f: ADD
00000140: DUP2
00000141: DUP4
00000142: EQ
00000143: DUP1
00000144: ISZERO
00000145: PUSH2 0x014e
00000148: JUMPI
00000149: POP
0000014a: DUP1
0000014b: PUSH1 0x00
0000014d: EQ
0000014e: JUMPDEST
0000014f: ISZERO
00000150: PUSH2 0x0382
00000153: JUMPI
00000154: PUSH8 0x06f05b59d3b20000
0000015d: SWAP3
0000015e: POP
0000015f: PUSH2 0x0394
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH2 0x0322
00000167: PUSH1 0x05
00000169: SLOAD
0000016a: PUSH1 0xff
0000016c: AND
0000016d: DUP2
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x02cf
00000173: TIMESTAMP
00000174: PUSH3 0x015180
00000178: ADD
00000179: PUSH3 0x02a300
0000017d: ADD
0000017e: TIMESTAMP
0000017f: GT
00000180: DUP1
00000181: PUSH2 0x018c
00000184: JUMPI
00000185: POP
00000186: PUSH1 0x18
00000188: SLOAD
00000189: PUSH1 0xff
0000018b: AND
0000018c: JUMPDEST
0000018d: ISZERO
0000018e: PUSH2 0x00e8
00000191: JUMPI
00000192: PUSH1 0x03
00000194: SLOAD
00000195: PUSH1 0x01
00000197: SLOAD
00000198: PUSH1 0x01
0000019a: PUSH1 0xa0
0000019c: PUSH1 0x02
0000019e: EXP
0000019f: SUB
000001a0: AND
000001a1: BALANCE
000001a2: GT
000001a3: ISZERO
000001a4: PUSH2 0x039c
000001a7: JUMPI
000001a8: PUSH2 0x03b7
000001ab: PUSH1 0x05
000001ad: SLOAD
000001ae: PUSH1 0x00
000001b0: SWAP1
000001b1: DUP2
000001b2: SWAP1
000001b3: PUSH1 0xff
000001b5: AND
000001b6: PUSH1 0x01
000001b8: EQ
000001b9: ISZERO
000001ba: PUSH2 0x08ad
000001bd: JUMPI
000001be: JUMPDEST
000001bf: POP
000001c0: POP
000001c1: JUMP
000001c2: JUMPDEST
000001c3: PUSH2 0x02cf
000001c6: PUSH1 0x00
000001c8: SLOAD
000001c9: PUSH1 0x01
000001cb: PUSH1 0xa0
000001cd: PUSH1 0x02
000001cf: EXP
000001d0: SUB
000001d1: CALLER
000001d2: DUP2
000001d3: AND
000001d4: SWAP2
000001d5: AND
000001d6: EQ
000001d7: ISZERO
000001d8: PUSH2 0x00e8
000001db: JUMPI
000001dc: PUSH1 0x00
000001de: SLOAD
000001df: PUSH1 0x01
000001e1: PUSH1 0xa0
000001e3: PUSH1 0x02
000001e5: EXP
000001e6: SUB
000001e7: AND
000001e8: SELFDESTRUCT
000001e9: JUMPDEST
000001ea: PUSH2 0x02cf
000001ed: PUSH1 0x04
000001ef: CALLDATALOAD
000001f0: PUSH1 0x24
000001f2: CALLDATALOAD
000001f3: JUMPDEST
000001f4: PUSH2 0x042f
000001f7: PUSH2 0x023c
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH2 0x0322
000001ff: PUSH1 0x01
00000201: SLOAD
00000202: PUSH1 0x01
00000204: PUSH1 0xa0
00000206: PUSH1 0x02
00000208: EXP
00000209: SUB
0000020a: AND
0000020b: BALANCE
0000020c: JUMPDEST
0000020d: SWAP1
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH2 0x0322
00000213: PUSH1 0x04
00000215: CALLDATALOAD
00000216: JUMPDEST
00000217: PUSH1 0x00
00000219: PUSH2 0x034c
0000021c: PUSH1 0x00
0000021e: DUP4
0000021f: PUSH2 0x0131
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH2 0x0322
00000227: TIMESTAMP
00000228: PUSH3 0x015180
0000022c: ADD
0000022d: DUP2
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH2 0x0322
00000233: PUSH1 0x03
00000235: SLOAD
00000236: DUP2
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH2 0x0322
0000023c: JUMPDEST
0000023d: PUSH1 0x05
0000023f: SLOAD
00000240: PUSH1 0x00
00000242: SWAP1
00000243: PUSH2 0x0100
00000246: SWAP1
00000247: DIV
00000248: PUSH1 0xff
0000024a: AND
0000024b: DUP1
0000024c: PUSH2 0x0257
0000024f: JUMPI
00000250: POP
00000251: PUSH1 0x05
00000253: SLOAD
00000254: PUSH1 0xff
00000256: AND
00000257: JUMPDEST
00000258: ISZERO
00000259: PUSH2 0x0464
0000025c: JUMPI
0000025d: POP
0000025e: PUSH1 0x00
00000260: PUSH2 0x020c
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH2 0x00f1
00000268: PUSH1 0x04
0000026a: CALLDATALOAD
0000026b: PUSH1 0x00
0000026d: PUSH1 0x00
0000026f: PUSH2 0x0370
00000272: DUP4
00000273: PUSH2 0x0216
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH2 0x00f1
0000027b: JUMPDEST
0000027c: PUSH1 0x00
0000027e: DUP1
0000027f: DUP1
00000280: DUP1
00000281: DUP1
00000282: JUMPDEST
00000283: PUSH1 0x0e
00000285: PUSH1 0xff
00000287: DUP3
00000288: AND
00000289: LT
0000028a: ISZERO
0000028b: PUSH2 0x03bc
0000028e: JUMPI
0000028f: PUSH1 0x06
00000291: PUSH1 0xff
00000293: DUP3
00000294: AND
00000295: PUSH1 0x0e
00000297: DUP2
00000298: LT
00000299: ISZERO
0000029a: PUSH2 0x0002
0000029d: JUMPI
0000029e: ADD
0000029f: PUSH1 0x00
000002a1: POP
000002a2: SLOAD
000002a3: PUSH2 0x03c6
000002a6: PUSH1 0x06
000002a8: PUSH1 0xff
000002aa: DUP5
000002ab: AND
000002ac: PUSH1 0x0e
000002ae: DUP2
000002af: LT
000002b0: ISZERO
000002b1: PUSH2 0x0002
000002b4: JUMPI
000002b5: ADD
000002b6: SLOAD
000002b7: PUSH2 0x02c2
000002ba: JUMP
000002bb: JUMPDEST
000002bc: PUSH2 0x0322
000002bf: PUSH1 0x04
000002c1: CALLDATALOAD
000002c2: JUMPDEST
000002c3: PUSH1 0x00
000002c5: PUSH2 0x0334
000002c8: DUP3
000002c9: PUSH1 0x00
000002cb: PUSH2 0x0131
000002ce: JUMP
000002cf: JUMPDEST
000002d0: STOP
000002d1: JUMPDEST
000002d2: ISZERO
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH2 0x0002
000002db: JUMP
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH1 0x00
000002e0: PUSH2 0x02e8
000002e3: CALLVALUE
000002e4: PUSH2 0x0216
000002e7: JUMP
000002e8: JUMPDEST
000002e9: PUSH2 0x02f1
000002ec: CALLVALUE
000002ed: PUSH2 0x02c2
000002f0: JUMP
000002f1: JUMPDEST
000002f2: GT
000002f3: ISZERO
000002f4: PUSH2 0x02ff
000002f7: JUMPI
000002f8: POP
000002f9: PUSH1 0x01
000002fb: PUSH2 0x0303
000002fe: JUMP
000002ff: JUMPDEST
00000300: POP
00000301: PUSH1 0x00
00000303: JUMPDEST
00000304: DUP1
00000305: ISZERO
00000306: PUSH2 0x0314
00000309: JUMPI
0000030a: PUSH2 0x031f
0000030d: CALLER
0000030e: PUSH1 0x01
00000310: PUSH2 0x01f3
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH2 0x031f
00000318: CALLER
00000319: PUSH1 0x00
0000031b: PUSH2 0x01f3
0000031e: JUMP
0000031f: JUMPDEST
00000320: POP
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: DUP1
00000326: MLOAD
00000327: SWAP2
00000328: DUP3
00000329: MSTORE
0000032a: MLOAD
0000032b: SWAP1
0000032c: DUP2
0000032d: SWAP1
0000032e: SUB
0000032f: PUSH1 0x20
00000331: ADD
00000332: SWAP1
00000333: RETURN
00000334: JUMPDEST
00000335: PUSH1 0x02
00000337: SLOAD
00000338: PUSH8 0x0de0b6b3a7640000
00000341: SUB
00000342: DUP4
00000343: MUL
00000344: DIV
00000345: SWAP1
00000346: POP
00000347: JUMPDEST
00000348: SWAP2
00000349: SWAP1
0000034a: POP
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH8 0x0de0b6b3a7640000
00000356: SUB
00000357: DUP3
00000358: PUSH1 0x02
0000035a: PUSH1 0x00
0000035c: POP
0000035d: SLOAD
0000035e: PUSH8 0x0de0b6b3a7640000
00000367: SUB
00000368: MUL
00000369: DIV
0000036a: SWAP1
0000036b: POP
0000036c: PUSH2 0x0347
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH2 0x0379
00000374: DUP5
00000375: PUSH2 0x02c2
00000378: JUMP
00000379: JUMPDEST
0000037a: SWAP2
0000037b: POP
0000037c: SWAP2
0000037d: POP
0000037e: SWAP2
0000037f: POP
00000380: SWAP2
00000381: JUMP
00000382: JUMPDEST
00000383: DUP1
00000384: DUP3
00000385: ADD
00000386: DUP3
00000387: PUSH8 0x0de0b6b3a7640000
00000390: MUL
00000391: DIV
00000392: SWAP3
00000393: POP
00000394: JUMPDEST
00000395: POP
00000396: POP
00000397: SWAP3
00000398: SWAP2
00000399: POP
0000039a: POP
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x00e8
000003a0: PUSH1 0x05
000003a2: SLOAD
000003a3: PUSH1 0x00
000003a5: SWAP1
000003a6: DUP2
000003a7: SWAP1
000003a8: PUSH1 0xff
000003aa: AND
000003ab: PUSH1 0x01
000003ad: EQ
000003ae: ISZERO
000003af: PUSH2 0x0acc
000003b2: JUMPI
000003b3: PUSH2 0x01be
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH2 0x00e8
000003bb: JUMP
000003bc: JUMPDEST
000003bd: POP
000003be: SWAP1
000003bf: SWAP4
000003c0: SWAP1
000003c1: SWAP3
000003c2: POP
000003c3: SWAP1
000003c4: POP
000003c5: JUMP
000003c6: JUMPDEST
000003c7: GT
000003c8: ISZERO
000003c9: PUSH2 0x03e0
000003cc: JUMPI
000003cd: PUSH1 0x06
000003cf: PUSH1 0xff
000003d1: DUP3
000003d2: AND
000003d3: PUSH1 0x0e
000003d5: DUP2
000003d6: LT
000003d7: ISZERO
000003d8: PUSH2 0x0002
000003db: JUMPI
000003dc: ADD
000003dd: SLOAD
000003de: SWAP3
000003df: POP
000003e0: JUMPDEST
000003e1: PUSH1 0x06
000003e3: PUSH1 0xff
000003e5: DUP3
000003e6: AND
000003e7: PUSH1 0x0e
000003e9: DUP2
000003ea: LT
000003eb: ISZERO
000003ec: PUSH2 0x0002
000003ef: JUMPI
000003f0: ADD
000003f1: PUSH1 0x00
000003f3: POP
000003f4: SLOAD
000003f5: PUSH2 0x040d
000003f8: PUSH1 0x06
000003fa: PUSH1 0xff
000003fc: DUP5
000003fd: AND
000003fe: PUSH1 0x0e
00000400: DUP2
00000401: LT
00000402: ISZERO
00000403: PUSH2 0x0002
00000406: JUMPI
00000407: ADD
00000408: SLOAD
00000409: PUSH2 0x0216
0000040c: JUMP
0000040d: JUMPDEST
0000040e: GT
0000040f: ISZERO
00000410: PUSH2 0x0427
00000413: JUMPI
00000414: PUSH1 0x06
00000416: PUSH1 0xff
00000418: DUP3
00000419: AND
0000041a: PUSH1 0x0e
0000041c: DUP2
0000041d: LT
0000041e: ISZERO
0000041f: PUSH2 0x0002
00000422: JUMPI
00000423: ADD
00000424: SLOAD
00000425: SWAP2
00000426: POP
00000427: JUMPDEST
00000428: PUSH1 0x01
0000042a: ADD
0000042b: PUSH2 0x0282
0000042e: JUMP
0000042f: JUMPDEST
00000430: ISZERO
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH2 0x0002
00000439: JUMP
0000043a: JUMPDEST
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0452
00000440: JUMPI
00000441: PUSH2 0x01be
00000444: DUP3
00000445: PUSH1 0x00
00000447: PUSH1 0x00
00000449: PUSH1 0x00
0000044b: PUSH2 0x0498
0000044e: PUSH2 0x027b
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH2 0x01be
00000456: DUP3
00000457: PUSH1 0x00
00000459: PUSH1 0x00
0000045b: PUSH1 0x00
0000045d: PUSH2 0x06b8
00000460: PUSH2 0x027b
00000463: JUMP
00000464: JUMPDEST
00000465: TIMESTAMP
00000466: PUSH3 0x015180
0000046a: ADD
0000046b: TIMESTAMP
0000046c: GT
0000046d: ISZERO
0000046e: PUSH2 0x0479
00000471: JUMPI
00000472: POP
00000473: PUSH1 0x00
00000475: PUSH2 0x020c
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH7 0x2386f26fc10000
00000482: CALLVALUE
00000483: LT
00000484: ISZERO
00000485: PUSH2 0x0490
00000488: JUMPI
00000489: POP
0000048a: PUSH1 0x00
0000048c: PUSH2 0x020c
0000048f: JUMP
00000490: JUMPDEST
00000491: POP
00000492: PUSH1 0x01
00000494: PUSH2 0x020c
00000497: JUMP
00000498: JUMPDEST
00000499: POP
0000049a: SWAP3
0000049b: POP
0000049c: DUP3
0000049d: CALLVALUE
0000049e: GT
0000049f: ISZERO
000004a0: PUSH2 0x0538
000004a3: JUMPI
000004a4: PUSH1 0x40
000004a6: MLOAD
000004a7: DUP4
000004a8: SWAP3
000004a9: POP
000004aa: PUSH1 0x01
000004ac: PUSH1 0xa0
000004ae: PUSH1 0x02
000004b0: EXP
000004b1: SUB
000004b2: DUP6
000004b3: AND
000004b4: SWAP1
000004b5: PUSH1 0x00
000004b7: SWAP1
000004b8: CALLVALUE
000004b9: DUP6
000004ba: SWAP1
000004bb: SUB
000004bc: SWAP1
000004bd: DUP3
000004be: DUP2
000004bf: DUP2
000004c0: DUP2
000004c1: DUP6
000004c2: DUP9
000004c3: DUP4
000004c4: CALL
000004c5: SWAP4
000004c6: POP
000004c7: POP
000004c8: POP
000004c9: POP
000004ca: ISZERO
000004cb: ISZERO
000004cc: PUSH2 0x0533
000004cf: JUMPI
000004d0: PUSH1 0x40
000004d2: DUP1
000004d3: MLOAD
000004d4: CALLVALUE
000004d5: DUP5
000004d6: SWAP1
000004d7: SUB
000004d8: DUP2
000004d9: MSTORE
000004da: PUSH1 0x20
000004dc: DUP2
000004dd: ADD
000004de: DUP3
000004df: SWAP1
000004e0: MSTORE
000004e1: PUSH1 0x16
000004e3: DUP2
000004e4: DUP4
000004e5: ADD
000004e6: MSTORE
000004e7: PUSH32 0x436f756c646e277420726566756e642e20576861743f00000000000000000000
00000508: PUSH1 0x60
0000050a: DUP3
0000050b: ADD
0000050c: MSTORE
0000050d: SWAP1
0000050e: MLOAD
0000050f: PUSH1 0x01
00000511: PUSH1 0xa0
00000513: PUSH1 0x02
00000515: EXP
00000516: SUB
00000517: DUP7
00000518: AND
00000519: SWAP2
0000051a: PUSH1 0x00
0000051c: DUP1
0000051d: MLOAD
0000051e: PUSH1 0x20
00000520: PUSH2 0x0d11
00000523: DUP4
00000524: CODECOPY
00000525: DUP2
00000526: MLOAD
00000527: SWAP2
00000528: MSTORE
00000529: SWAP2
0000052a: SWAP1
0000052b: DUP2
0000052c: SWAP1
0000052d: SUB
0000052e: PUSH1 0x80
00000530: ADD
00000531: SWAP1
00000532: LOG2
00000533: JUMPDEST
00000534: PUSH2 0x053c
00000537: JUMP
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: SWAP2
0000053b: POP
0000053c: JUMPDEST
0000053d: PUSH2 0x0545
00000540: DUP3
00000541: PUSH2 0x02c2
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x19
00000548: DUP1
00000549: SLOAD
0000054a: PUSH1 0x01
0000054c: DUP2
0000054d: ADD
0000054e: DUP1
0000054f: DUP4
00000550: SSTORE
00000551: SWAP3
00000552: SWAP4
00000553: POP
00000554: DUP3
00000555: SWAP1
00000556: DUP1
00000557: ISZERO
00000558: DUP3
00000559: SWAP1
0000055a: GT
0000055b: PUSH2 0x05a4
0000055e: JUMPI
0000055f: PUSH1 0x03
00000561: MUL
00000562: DUP2
00000563: PUSH1 0x03
00000565: MUL
00000566: DUP4
00000567: PUSH1 0x00
00000569: MSTORE
0000056a: PUSH1 0x20
0000056c: PUSH1 0x00
0000056e: KECCAK256
0000056f: SWAP2
00000570: DUP3
00000571: ADD
00000572: SWAP2
00000573: ADD
00000574: PUSH2 0x05a4
00000577: SWAP2
00000578: SWAP1
00000579: JUMPDEST
0000057a: DUP1
0000057b: DUP3
0000057c: GT
0000057d: ISZERO
0000057e: PUSH2 0x06b4
00000581: JUMPI
00000582: DUP1
00000583: SLOAD
00000584: PUSH1 0x01
00000586: PUSH1 0xa0
00000588: PUSH1 0x02
0000058a: EXP
0000058b: SUB
0000058c: NOT
0000058d: AND
0000058e: DUP2
0000058f: SSTORE
00000590: PUSH1 0x00
00000592: PUSH1 0x01
00000594: DUP3
00000595: ADD
00000596: DUP2
00000597: DUP2
00000598: SSTORE
00000599: PUSH1 0x02
0000059b: SWAP3
0000059c: SWAP1
0000059d: SWAP3
0000059e: ADD
0000059f: SSTORE
000005a0: PUSH2 0x0579
000005a3: JUMP
000005a4: JUMPDEST
000005a5: POP
000005a6: POP
000005a7: PUSH1 0x14
000005a9: SLOAD
000005aa: PUSH1 0x19
000005ac: DUP1
000005ad: SLOAD
000005ae: DUP9
000005af: SWAP5
000005b0: POP
000005b1: SWAP1
000005b2: SWAP3
000005b3: POP
000005b4: DUP2
000005b5: LT
000005b6: ISZERO
000005b7: PUSH2 0x0002
000005ba: JUMPI
000005bb: PUSH1 0x00
000005bd: DUP3
000005be: SWAP1
000005bf: MSTORE
000005c0: PUSH1 0x03
000005c2: MUL
000005c3: PUSH1 0x00
000005c5: DUP1
000005c6: MLOAD
000005c7: PUSH1 0x20
000005c9: PUSH2 0x0d31
000005cc: DUP4
000005cd: CODECOPY
000005ce: DUP2
000005cf: MLOAD
000005d0: SWAP2
000005d1: MSTORE
000005d2: ADD
000005d3: DUP1
000005d4: SLOAD
000005d5: PUSH1 0x01
000005d7: PUSH1 0xa0
000005d9: PUSH1 0x02
000005db: EXP
000005dc: SUB
000005dd: NOT
000005de: AND
000005df: SWAP1
000005e0: SWAP3
000005e1: OR
000005e2: SWAP1
000005e3: SWAP2
000005e4: SSTORE
000005e5: PUSH1 0x14
000005e7: SLOAD
000005e8: DUP2
000005e9: SLOAD
000005ea: DUP5
000005eb: SWAP3
000005ec: SWAP2
000005ed: SWAP1
000005ee: DUP2
000005ef: LT
000005f0: ISZERO
000005f1: PUSH2 0x0002
000005f4: JUMPI
000005f5: PUSH32 0x944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9696
00000616: PUSH1 0x03
00000618: SWAP2
00000619: SWAP1
0000061a: SWAP2
0000061b: MUL
0000061c: ADD
0000061d: SWAP2
0000061e: SWAP1
0000061f: SWAP2
00000620: SSTORE
00000621: PUSH1 0x14
00000623: SLOAD
00000624: DUP2
00000625: SLOAD
00000626: DUP4
00000627: SWAP3
00000628: SWAP2
00000629: SWAP1
0000062a: DUP2
0000062b: LT
0000062c: ISZERO
0000062d: PUSH2 0x0002
00000630: JUMPI
00000631: PUSH1 0x03
00000633: MUL
00000634: PUSH32 0x944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9697
00000655: ADD
00000656: SWAP2
00000657: SWAP1
00000658: SWAP2
00000659: SSTORE
0000065a: POP
0000065b: PUSH1 0x14
0000065d: DUP1
0000065e: SLOAD
0000065f: PUSH1 0x01
00000661: ADD
00000662: SWAP1
00000663: SSTORE
00000664: PUSH1 0x17
00000666: DUP1
00000667: SLOAD
00000668: DUP3
00000669: ADD
0000066a: SWAP1
0000066b: SSTORE
0000066c: PUSH1 0x40
0000066e: DUP1
0000066f: MLOAD
00000670: DUP4
00000671: DUP2
00000672: MSTORE
00000673: PUSH1 0x20
00000675: DUP2
00000676: ADD
00000677: DUP4
00000678: SWAP1
00000679: MSTORE
0000067a: DUP2
0000067b: MLOAD
0000067c: PUSH1 0x01
0000067e: PUSH1 0xa0
00000680: PUSH1 0x02
00000682: EXP
00000683: SUB
00000684: DUP8
00000685: AND
00000686: SWAP3
00000687: PUSH32 0xa40378833b5b6201e37517b707cb6dec191cf3c1b97d201945f1133fc587e274
000006a8: SWAP3
000006a9: DUP3
000006aa: SWAP1
000006ab: SUB
000006ac: ADD
000006ad: SWAP1
000006ae: LOG2
000006af: POP
000006b0: POP
000006b1: POP
000006b2: POP
000006b3: JUMP
000006b4: JUMPDEST
000006b5: POP
000006b6: SWAP1
000006b7: JUMP
000006b8: JUMPDEST
000006b9: SWAP4
000006ba: POP
000006bb: POP
000006bc: DUP3
000006bd: CALLVALUE
000006be: GT
000006bf: ISZERO
000006c0: PUSH2 0x0758
000006c3: JUMPI
000006c4: PUSH1 0x40
000006c6: MLOAD
000006c7: DUP4
000006c8: SWAP3
000006c9: POP
000006ca: PUSH1 0x01
000006cc: PUSH1 0xa0
000006ce: PUSH1 0x02
000006d0: EXP
000006d1: SUB
000006d2: DUP6
000006d3: AND
000006d4: SWAP1
000006d5: PUSH1 0x00
000006d7: SWAP1
000006d8: CALLVALUE
000006d9: DUP6
000006da: SWAP1
000006db: SUB
000006dc: SWAP1
000006dd: DUP3
000006de: DUP2
000006df: DUP2
000006e0: DUP2
000006e1: DUP6
000006e2: DUP9
000006e3: DUP4
000006e4: CALL
000006e5: SWAP4
000006e6: POP
000006e7: POP
000006e8: POP
000006e9: POP
000006ea: ISZERO
000006eb: ISZERO
000006ec: PUSH2 0x0753
000006ef: JUMPI
000006f0: PUSH1 0x40
000006f2: DUP1
000006f3: MLOAD
000006f4: CALLVALUE
000006f5: DUP5
000006f6: SWAP1
000006f7: SUB
000006f8: DUP2
000006f9: MSTORE
000006fa: PUSH1 0x20
000006fc: DUP2
000006fd: ADD
000006fe: DUP3
000006ff: SWAP1
00000700: MSTORE
00000701: PUSH1 0x16
00000703: DUP2
00000704: DUP4
00000705: ADD
00000706: MSTORE
00000707: PUSH32 0x436f756c646e277420726566756e642e20576861743f00000000000000000000
00000728: PUSH1 0x60
0000072a: DUP3
0000072b: ADD
0000072c: MSTORE
0000072d: SWAP1
0000072e: MLOAD
0000072f: PUSH1 0x01
00000731: PUSH1 0xa0
00000733: PUSH1 0x02
00000735: EXP
00000736: SUB
00000737: DUP7
00000738: AND
00000739: SWAP2
0000073a: PUSH1 0x00
0000073c: DUP1
0000073d: MLOAD
0000073e: PUSH1 0x20
00000740: PUSH2 0x0d11
00000743: DUP4
00000744: CODECOPY
00000745: DUP2
00000746: MLOAD
00000747: SWAP2
00000748: MSTORE
00000749: SWAP2
0000074a: SWAP1
0000074b: DUP2
0000074c: SWAP1
0000074d: SUB
0000074e: PUSH1 0x80
00000750: ADD
00000751: SWAP1
00000752: LOG2
00000753: JUMPDEST
00000754: PUSH2 0x075c
00000757: JUMP
00000758: JUMPDEST
00000759: CALLVALUE
0000075a: SWAP2
0000075b: POP
0000075c: JUMPDEST
0000075d: PUSH2 0x0765
00000760: DUP3
00000761: PUSH2 0x0216
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH1 0x1a
00000768: DUP1
00000769: SLOAD
0000076a: PUSH1 0x01
0000076c: DUP2
0000076d: ADD
0000076e: DUP1
0000076f: DUP4
00000770: SSTORE
00000771: SWAP3
00000772: SWAP4
00000773: POP
00000774: DUP3
00000775: SWAP1
00000776: DUP1
00000777: ISZERO
00000778: DUP3
00000779: SWAP1
0000077a: GT
0000077b: PUSH2 0x079d
0000077e: JUMPI
0000077f: PUSH1 0x03
00000781: MUL
00000782: DUP2
00000783: PUSH1 0x03
00000785: MUL
00000786: DUP4
00000787: PUSH1 0x00
00000789: MSTORE
0000078a: PUSH1 0x20
0000078c: PUSH1 0x00
0000078e: KECCAK256
0000078f: SWAP2
00000790: DUP3
00000791: ADD
00000792: SWAP2
00000793: ADD
00000794: PUSH2 0x079d
00000797: SWAP2
00000798: SWAP1
00000799: PUSH2 0x0579
0000079c: JUMP
0000079d: JUMPDEST
0000079e: POP
0000079f: POP
000007a0: PUSH1 0x15
000007a2: SLOAD
000007a3: PUSH1 0x1a
000007a5: DUP1
000007a6: SLOAD
000007a7: DUP9
000007a8: SWAP5
000007a9: POP
000007aa: SWAP1
000007ab: SWAP3
000007ac: POP
000007ad: DUP2
000007ae: LT
000007af: ISZERO
000007b0: PUSH2 0x0002
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP3
000007b7: SWAP1
000007b8: MSTORE
000007b9: PUSH1 0x03
000007bb: MUL
000007bc: PUSH1 0x00
000007be: DUP1
000007bf: MLOAD
000007c0: PUSH1 0x20
000007c2: PUSH2 0x0cf1
000007c5: DUP4
000007c6: CODECOPY
000007c7: DUP2
000007c8: MLOAD
000007c9: SWAP2
000007ca: MSTORE
000007cb: ADD
000007cc: DUP1
000007cd: SLOAD
000007ce: PUSH1 0x01
000007d0: PUSH1 0xa0
000007d2: PUSH1 0x02
000007d4: EXP
000007d5: SUB
000007d6: NOT
000007d7: AND
000007d8: SWAP1
000007d9: SWAP3
000007da: OR
000007db: SWAP1
000007dc: SWAP2
000007dd: SSTORE
000007de: PUSH1 0x15
000007e0: SLOAD
000007e1: DUP2
000007e2: SLOAD
000007e3: DUP5
000007e4: SWAP3
000007e5: SWAP2
000007e6: SWAP1
000007e7: DUP2
000007e8: LT
000007e9: ISZERO
000007ea: PUSH2 0x0002
000007ed: JUMPI
000007ee: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63f
0000080f: PUSH1 0x03
00000811: SWAP2
00000812: SWAP1
00000813: SWAP2
00000814: MUL
00000815: ADD
00000816: SWAP2
00000817: SWAP1
00000818: SWAP2
00000819: SSTORE
0000081a: PUSH1 0x15
0000081c: SLOAD
0000081d: DUP2
0000081e: SLOAD
0000081f: DUP4
00000820: SWAP3
00000821: SWAP2
00000822: SWAP1
00000823: DUP2
00000824: LT
00000825: ISZERO
00000826: PUSH2 0x0002
00000829: JUMPI
0000082a: PUSH1 0x03
0000082c: MUL
0000082d: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff640
0000084e: ADD
0000084f: SWAP2
00000850: SWAP1
00000851: SWAP2
00000852: SSTORE
00000853: POP
00000854: PUSH1 0x15
00000856: DUP1
00000857: SLOAD
00000858: PUSH1 0x01
0000085a: ADD
0000085b: SWAP1
0000085c: SSTORE
0000085d: PUSH1 0x16
0000085f: DUP1
00000860: SLOAD
00000861: DUP3
00000862: ADD
00000863: SWAP1
00000864: SSTORE
00000865: PUSH1 0x40
00000867: DUP1
00000868: MLOAD
00000869: DUP4
0000086a: DUP2
0000086b: MSTORE
0000086c: PUSH1 0x20
0000086e: DUP2
0000086f: ADD
00000870: DUP4
00000871: SWAP1
00000872: MSTORE
00000873: DUP2
00000874: MLOAD
00000875: PUSH1 0x01
00000877: PUSH1 0xa0
00000879: PUSH1 0x02
0000087b: EXP
0000087c: SUB
0000087d: DUP8
0000087e: AND
0000087f: SWAP3
00000880: PUSH32 0xdd21859f0a2451eabfe5b67cd4295e8b554d3a4b5f319bd5c0963d7ae0d41165
000008a1: SWAP3
000008a2: DUP3
000008a3: SWAP1
000008a4: SUB
000008a5: ADD
000008a6: SWAP1
000008a7: LOG2
000008a8: POP
000008a9: POP
000008aa: POP
000008ab: POP
000008ac: JUMP
000008ad: JUMPDEST
000008ae: POP
000008af: PUSH1 0x00
000008b1: JUMPDEST
000008b2: PUSH1 0x14
000008b4: SLOAD
000008b5: DUP2
000008b6: LT
000008b7: ISZERO
000008b8: PUSH2 0x08f6
000008bb: JUMPI
000008bc: PUSH1 0x14
000008be: SLOAD
000008bf: PUSH1 0x19
000008c1: DUP1
000008c2: SLOAD
000008c3: SWAP1
000008c4: SWAP2
000008c5: SWAP1
000008c6: DUP2
000008c7: LT
000008c8: ISZERO
000008c9: PUSH2 0x0002
000008cc: JUMPI
000008cd: PUSH1 0x00
000008cf: SWAP2
000008d0: DUP3
000008d1: MSTORE
000008d2: PUSH1 0x03
000008d4: MUL
000008d5: PUSH1 0x00
000008d7: DUP1
000008d8: MLOAD
000008d9: PUSH1 0x20
000008db: PUSH2 0x0d31
000008de: DUP4
000008df: CODECOPY
000008e0: DUP2
000008e1: MLOAD
000008e2: SWAP2
000008e3: MSTORE
000008e4: ADD
000008e5: SWAP1
000008e6: POP
000008e7: PUSH1 0x02
000008e9: ADD
000008ea: SLOAD
000008eb: SWAP1
000008ec: SWAP2
000008ed: ADD
000008ee: SWAP1
000008ef: PUSH1 0x01
000008f1: ADD
000008f2: PUSH2 0x08b1
000008f5: JUMP
000008f6: JUMPDEST
000008f7: ADDRESS
000008f8: PUSH1 0x01
000008fa: PUSH1 0xa0
000008fc: PUSH1 0x02
000008fe: EXP
000008ff: SUB
00000900: AND
00000901: BALANCE
00000902: DUP3
00000903: GT
00000904: ISZERO
00000905: PUSH2 0x0984
00000908: JUMPI
00000909: PUSH1 0x40
0000090b: DUP1
0000090c: MLOAD
0000090d: DUP4
0000090e: DUP2
0000090f: MSTORE
00000910: ADDRESS
00000911: PUSH1 0x01
00000913: PUSH1 0xa0
00000915: PUSH1 0x02
00000917: EXP
00000918: SUB
00000919: AND
0000091a: BALANCE
0000091b: PUSH1 0x20
0000091d: DUP3
0000091e: ADD
0000091f: MSTORE
00000920: PUSH1 0x60
00000922: DUP2
00000923: DUP4
00000924: ADD
00000925: DUP2
00000926: SWAP1
00000927: MSTORE
00000928: PUSH1 0x04
0000092a: SWAP1
0000092b: DUP3
0000092c: ADD
0000092d: MSTORE
0000092e: PUSH32 0x4f76657200000000000000000000000000000000000000000000000000000000
0000094f: PUSH1 0x80
00000951: DUP3
00000952: ADD
00000953: MSTORE
00000954: SWAP1
00000955: MLOAD
00000956: PUSH32 0x976b85ea68aad541fb70223dae5882f2c13727aa08aaa867a2c926badd30c01e
00000977: SWAP2
00000978: DUP2
00000979: SWAP1
0000097a: SUB
0000097b: PUSH1 0xa0
0000097d: ADD
0000097e: SWAP1
0000097f: LOG1
00000980: PUSH2 0x0002
00000983: JUMP
00000984: JUMPDEST
00000985: POP
00000986: PUSH1 0x00
00000988: JUMPDEST
00000989: PUSH1 0x14
0000098b: SLOAD
0000098c: DUP2
0000098d: LT
0000098e: ISZERO
0000098f: PUSH2 0x0abb
00000992: JUMPI
00000993: PUSH1 0x14
00000995: SLOAD
00000996: PUSH1 0x19
00000998: DUP1
00000999: SLOAD
0000099a: SWAP1
0000099b: SWAP2
0000099c: SWAP1
0000099d: DUP2
0000099e: LT
0000099f: ISZERO
000009a0: PUSH2 0x0002
000009a3: JUMPI
000009a4: DUP2
000009a5: SLOAD
000009a6: PUSH1 0x00
000009a8: DUP4
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x03
000009ad: DUP4
000009ae: MUL
000009af: PUSH1 0x00
000009b1: DUP1
000009b2: MLOAD
000009b3: PUSH1 0x20
000009b5: PUSH2 0x0d31
000009b8: DUP4
000009b9: CODECOPY
000009ba: DUP2
000009bb: MLOAD
000009bc: SWAP2
000009bd: MSTORE
000009be: ADD
000009bf: SLOAD
000009c0: PUSH1 0x01
000009c2: PUSH1 0xa0
000009c4: PUSH1 0x02
000009c6: EXP
000009c7: SUB
000009c8: AND
000009c9: SWAP4
000009ca: SWAP1
000009cb: SWAP3
000009cc: SWAP1
000009cd: SWAP2
000009ce: DUP2
000009cf: LT
000009d0: ISZERO
000009d1: PUSH2 0x0002
000009d4: JUMPI
000009d5: SWAP1
000009d6: DUP3
000009d7: MSTORE
000009d8: PUSH1 0x00
000009da: DUP1
000009db: MLOAD
000009dc: PUSH1 0x20
000009de: PUSH2 0x0d31
000009e1: DUP4
000009e2: CODECOPY
000009e3: DUP2
000009e4: MLOAD
000009e5: SWAP2
000009e6: MSTORE
000009e7: PUSH1 0x03
000009e9: SWAP1
000009ea: SWAP2
000009eb: MUL
000009ec: ADD
000009ed: DUP2
000009ee: POP
000009ef: PUSH1 0x02
000009f1: ADD
000009f2: SLOAD
000009f3: PUSH1 0x40
000009f5: MLOAD
000009f6: PUSH1 0x00
000009f8: DUP2
000009f9: DUP2
000009fa: DUP2
000009fb: DUP6
000009fc: DUP9
000009fd: DUP9
000009fe: CALL
000009ff: SWAP4
00000a00: POP
00000a01: POP
00000a02: POP
00000a03: POP
00000a04: ISZERO
00000a05: ISZERO
00000a06: PUSH2 0x0ab3
00000a09: JUMPI
00000a0a: PUSH1 0x14
00000a0c: SLOAD
00000a0d: PUSH1 0x19
00000a0f: DUP1
00000a10: SLOAD
00000a11: SWAP1
00000a12: SWAP2
00000a13: SWAP1
00000a14: DUP2
00000a15: LT
00000a16: ISZERO
00000a17: PUSH2 0x0002
00000a1a: JUMPI
00000a1b: DUP2
00000a1c: SLOAD
00000a1d: PUSH1 0x00
00000a1f: DUP4
00000a20: SWAP1
00000a21: MSTORE
00000a22: PUSH1 0x03
00000a24: DUP3
00000a25: MUL
00000a26: PUSH1 0x00
00000a28: DUP1
00000a29: MLOAD
00000a2a: PUSH1 0x20
00000a2c: PUSH2 0x0d31
00000a2f: DUP4
00000a30: CODECOPY
00000a31: DUP2
00000a32: MLOAD
00000a33: SWAP2
00000a34: MSTORE
00000a35: ADD
00000a36: SLOAD
00000a37: PUSH1 0x01
00000a39: PUSH1 0xa0
00000a3b: PUSH1 0x02
00000a3d: EXP
00000a3e: SUB
00000a3f: AND
00000a40: SWAP3
00000a41: PUSH1 0x00
00000a43: DUP1
00000a44: MLOAD
00000a45: PUSH1 0x20
00000a47: PUSH2 0x0d11
00000a4a: DUP4
00000a4b: CODECOPY
00000a4c: DUP2
00000a4d: MLOAD
00000a4e: SWAP2
00000a4f: MSTORE
00000a50: SWAP3
00000a51: SWAP1
00000a52: SWAP2
00000a53: DUP2
00000a54: LT
00000a55: ISZERO
00000a56: PUSH2 0x0002
00000a59: JUMPI
00000a5a: SWAP1
00000a5b: PUSH1 0x00
00000a5d: MSTORE
00000a5e: PUSH1 0x20
00000a60: PUSH1 0x00
00000a62: KECCAK256
00000a63: SWAP1
00000a64: PUSH1 0x03
00000a66: MUL
00000a67: ADD
00000a68: PUSH1 0x00
00000a6a: POP
00000a6b: PUSH1 0x02
00000a6d: ADD
00000a6e: SLOAD
00000a6f: PUSH1 0x40
00000a71: DUP1
00000a72: MLOAD
00000a73: SWAP2
00000a74: DUP3
00000a75: MSTORE
00000a76: PUSH1 0x20
00000a78: DUP3
00000a79: ADD
00000a7a: DUP2
00000a7b: SWAP1
00000a7c: MSTORE
00000a7d: PUSH1 0x04
00000a7f: DUP3
00000a80: DUP3
00000a81: ADD
00000a82: MSTORE
00000a83: PUSH32 0x6f76657200000000000000000000000000000000000000000000000000000000
00000aa4: PUSH1 0x60
00000aa6: DUP4
00000aa7: ADD
00000aa8: MSTORE
00000aa9: MLOAD
00000aaa: SWAP1
00000aab: DUP2
00000aac: SWAP1
00000aad: SUB
00000aae: PUSH1 0x80
00000ab0: ADD
00000ab1: SWAP1
00000ab2: LOG2
00000ab3: JUMPDEST
00000ab4: PUSH1 0x01
00000ab6: ADD
00000ab7: PUSH2 0x0988
00000aba: JUMP
00000abb: JUMPDEST
00000abc: PUSH1 0x05
00000abe: DUP1
00000abf: SLOAD
00000ac0: PUSH1 0xff
00000ac2: NOT
00000ac3: AND
00000ac4: PUSH1 0x01
00000ac6: OR
00000ac7: SWAP1
00000ac8: SSTORE
00000ac9: POP
00000aca: POP
00000acb: JUMP
00000acc: JUMPDEST
00000acd: POP
00000ace: PUSH1 0x00
00000ad0: JUMPDEST
00000ad1: PUSH1 0x15
00000ad3: SLOAD
00000ad4: DUP2
00000ad5: LT
00000ad6: ISZERO
00000ad7: PUSH2 0x0b25
00000ada: JUMPI
00000adb: PUSH1 0x15
00000add: SLOAD
00000ade: PUSH1 0x1a
00000ae0: DUP1
00000ae1: SLOAD
00000ae2: SWAP1
00000ae3: SWAP2
00000ae4: SWAP1
00000ae5: DUP2
00000ae6: LT
00000ae7: ISZERO
00000ae8: PUSH2 0x0002
00000aeb: JUMPI
00000aec: PUSH1 0x00
00000aee: SWAP2
00000aef: SWAP1
00000af0: SWAP2
00000af1: MSTORE
00000af2: PUSH32 0x057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff640
00000b13: PUSH1 0x03
00000b15: SWAP1
00000b16: SWAP2
00000b17: MUL
00000b18: ADD
00000b19: SLOAD
00000b1a: SWAP1
00000b1b: SWAP2
00000b1c: ADD
00000b1d: SWAP1
00000b1e: PUSH1 0x01
00000b20: ADD
00000b21: PUSH2 0x0ad0
00000b24: JUMP
00000b25: JUMPDEST
00000b26: ADDRESS
00000b27: PUSH1 0x01
00000b29: PUSH1 0xa0
00000b2b: PUSH1 0x02
00000b2d: EXP
00000b2e: SUB
00000b2f: AND
00000b30: BALANCE
00000b31: DUP3
00000b32: GT
00000b33: ISZERO
00000b34: PUSH2 0x0bb3
00000b37: JUMPI
00000b38: PUSH1 0x40
00000b3a: DUP1
00000b3b: MLOAD
00000b3c: DUP4
00000b3d: DUP2
00000b3e: MSTORE
00000b3f: ADDRESS
00000b40: PUSH1 0x01
00000b42: PUSH1 0xa0
00000b44: PUSH1 0x02
00000b46: EXP
00000b47: SUB
00000b48: AND
00000b49: BALANCE
00000b4a: PUSH1 0x20
00000b4c: DUP3
00000b4d: ADD
00000b4e: MSTORE
00000b4f: PUSH1 0x60
00000b51: DUP2
00000b52: DUP4
00000b53: ADD
00000b54: DUP2
00000b55: SWAP1
00000b56: MSTORE
00000b57: PUSH1 0x05
00000b59: SWAP1
00000b5a: DUP3
00000b5b: ADD
00000b5c: MSTORE
00000b5d: PUSH32 0x556e646572000000000000000000000000000000000000000000000000000000
00000b7e: PUSH1 0x80
00000b80: DUP3
00000b81: ADD
00000b82: MSTORE
00000b83: SWAP1
00000b84: MLOAD
00000b85: PUSH32 0x976b85ea68aad541fb70223dae5882f2c13727aa08aaa867a2c926badd30c01e
00000ba6: SWAP2
00000ba7: DUP2
00000ba8: SWAP1
00000ba9: SUB
00000baa: PUSH1 0xa0
00000bac: ADD
00000bad: SWAP1
00000bae: LOG1
00000baf: PUSH2 0x0002
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: POP
00000bb5: PUSH1 0x00
00000bb7: JUMPDEST
00000bb8: PUSH1 0x15
00000bba: SLOAD
00000bbb: DUP2
00000bbc: LT
00000bbd: ISZERO
00000bbe: PUSH2 0x0abb
00000bc1: JUMPI
00000bc2: PUSH1 0x15
00000bc4: SLOAD
00000bc5: PUSH1 0x1a
00000bc7: DUP1
00000bc8: SLOAD
00000bc9: SWAP1
00000bca: SWAP2
00000bcb: SWAP1
00000bcc: DUP2
00000bcd: LT
00000bce: ISZERO
00000bcf: PUSH2 0x0002
00000bd2: JUMPI
00000bd3: DUP2
00000bd4: SLOAD
00000bd5: PUSH1 0x00
00000bd7: DUP4
00000bd8: DUP2
00000bd9: MSTORE
00000bda: PUSH1 0x00
00000bdc: DUP1
00000bdd: MLOAD
00000bde: PUSH1 0x20
00000be0: PUSH2 0x0cf1
00000be3: DUP4
00000be4: CODECOPY
00000be5: DUP2
00000be6: MLOAD
00000be7: SWAP2
00000be8: MSTORE
00000be9: PUSH1 0x03
00000beb: DUP5
00000bec: MUL
00000bed: ADD
00000bee: SLOAD
00000bef: PUSH1 0x01
00000bf1: PUSH1 0xa0
00000bf3: PUSH1 0x02
00000bf5: EXP
00000bf6: SUB
00000bf7: AND
00000bf8: SWAP4
00000bf9: SWAP1
00000bfa: SWAP3
00000bfb: SWAP1
00000bfc: SWAP2
00000bfd: DUP2
00000bfe: LT
00000bff: ISZERO
00000c00: PUSH2 0x0002
00000c03: JUMPI
00000c04: SWAP1
00000c05: DUP3
00000c06: MSTORE
00000c07: PUSH1 0x03
00000c09: MUL
00000c0a: PUSH1 0x00
00000c0c: DUP1
00000c0d: MLOAD
00000c0e: PUSH1 0x20
00000c10: PUSH2 0x0cf1
00000c13: DUP4
00000c14: CODECOPY
00000c15: DUP2
00000c16: MLOAD
00000c17: SWAP2
00000c18: MSTORE
00000c19: ADD
00000c1a: DUP2
00000c1b: POP
00000c1c: PUSH1 0x02
00000c1e: ADD
00000c1f: SLOAD
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: PUSH1 0x00
00000c25: DUP2
00000c26: DUP2
00000c27: DUP2
00000c28: DUP6
00000c29: DUP9
00000c2a: DUP9
00000c2b: CALL
00000c2c: SWAP4
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: POP
00000c31: ISZERO
00000c32: ISZERO
00000c33: PUSH2 0x0ce9
00000c36: JUMPI
00000c37: PUSH1 0x15
00000c39: SLOAD
00000c3a: PUSH1 0x1a
00000c3c: DUP1
00000c3d: SLOAD
00000c3e: SWAP1
00000c3f: SWAP2
00000c40: SWAP1
00000c41: DUP2
00000c42: LT
00000c43: ISZERO
00000c44: PUSH2 0x0002
00000c47: JUMPI
00000c48: DUP2
00000c49: SLOAD
00000c4a: PUSH1 0x00
00000c4c: DUP4
00000c4d: SWAP1
00000c4e: MSTORE
00000c4f: PUSH1 0x03
00000c51: DUP3
00000c52: MUL
00000c53: PUSH1 0x00
00000c55: DUP1
00000c56: MLOAD
00000c57: PUSH1 0x20
00000c59: PUSH2 0x0cf1
00000c5c: DUP4
00000c5d: CODECOPY
00000c5e: DUP2
00000c5f: MLOAD
00000c60: SWAP2
00000c61: MSTORE
00000c62: ADD
00000c63: SLOAD
00000c64: PUSH1 0x01
00000c66: PUSH1 0xa0
00000c68: PUSH1 0x02
00000c6a: EXP
00000c6b: SUB
00000c6c: AND
00000c6d: SWAP3
00000c6e: PUSH1 0x00
00000c70: DUP1
00000c71: MLOAD
00000c72: PUSH1 0x20
00000c74: PUSH2 0x0d11
00000c77: DUP4
00000c78: CODECOPY
00000c79: DUP2
00000c7a: MLOAD
00000c7b: SWAP2
00000c7c: MSTORE
00000c7d: SWAP3
00000c7e: SWAP1
00000c7f: SWAP2
00000c80: DUP2
00000c81: LT
00000c82: ISZERO
00000c83: PUSH2 0x0002
00000c86: JUMPI
00000c87: PUSH1 0x00
00000c89: SWAP2
00000c8a: DUP3
00000c8b: MSTORE
00000c8c: PUSH1 0x03
00000c8e: MUL
00000c8f: PUSH1 0x00
00000c91: DUP1
00000c92: MLOAD
00000c93: PUSH1 0x20
00000c95: PUSH2 0x0cf1
00000c98: DUP4
00000c99: CODECOPY
00000c9a: DUP2
00000c9b: MLOAD
00000c9c: SWAP2
00000c9d: MSTORE
00000c9e: ADD
00000c9f: SWAP1
00000ca0: POP
00000ca1: PUSH1 0x02
00000ca3: ADD
00000ca4: SLOAD
00000ca5: PUSH1 0x40
00000ca7: DUP1
00000ca8: MLOAD
00000ca9: SWAP2
00000caa: DUP3
00000cab: MSTORE
00000cac: PUSH1 0x20
00000cae: DUP3
00000caf: ADD
00000cb0: DUP2
00000cb1: SWAP1
00000cb2: MSTORE
00000cb3: PUSH1 0x05
00000cb5: DUP3
00000cb6: DUP3
00000cb7: ADD
00000cb8: MSTORE
00000cb9: PUSH32 0x756e646572000000000000000000000000000000000000000000000000000000
00000cda: PUSH1 0x60
00000cdc: DUP4
00000cdd: ADD
00000cde: MSTORE
00000cdf: MLOAD
00000ce0: SWAP1
00000ce1: DUP2
00000ce2: SWAP1
00000ce3: SUB
00000ce4: PUSH1 0x80
00000ce6: ADD
00000ce7: SWAP1
00000ce8: LOG2
00000ce9: JUMPDEST
00000cea: PUSH1 0x01
00000cec: ADD
00000ced: PUSH2 0x0bb7
00000cf0: JUMP
00000cf1: SDIV
00000cf2: PUSH29 0x384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff6
00000d10: RETURNDATACOPY
00000d11: JUMP
00000d12: MSTORE8
00000d13: SWAP2
00000d14: PUSH19 0x7431f7339b27bc2806e461838e40e8ae1ad34c
00000d28: UNKNOWN(0xC4)
00000d29: UNKNOWN(0xAE)
00000d2a: BALANCE
00000d2b: UNKNOWN(0xCA)
00000d2c: DUP12
00000d2d: DIV
00000d2e: BLOBHASH
00000d2f: UNKNOWN(0xCF)
00000d30: DUP3
00000d31: SWAP5
00000d32: BLOBHASH
00000d33: SWAP9
00000d34: UNKNOWN(0x27)
00000d35: RETURNDATACOPY
00000d36: SELFBALANCE
00000d37: PUSH28

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: 0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c call_targets: 0x806138e7992873b7e3c9f5e980303332f80b0a7f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x806138e7992873b7e3c9f5e980303332f80b0a7f" ], "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": "0x13dce938", "selector": "0x13dce938", "calldata_variants": [ "0x13dce938", "0x13dce9380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14f47de4", "selector": "0x14f47de4", "calldata_variants": [ "0x14f47de4", "0x14f47de40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d8f310a", "selector": "0x1d8f310a", "calldata_variants": [ "0x1d8f310a", "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e76aa06", "selector": "0x3e76aa06", "calldata_variants": [ "0x3e76aa06", "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c76ca2d", "selector": "0x5c76ca2d", "calldata_variants": [ "0x5c76ca2d", "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x63bd1d4a", "selector": "0x63bd1d4a", "calldata_variants": [ "0x63bd1d4a", "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7cbbcca6", "selector": "0x7cbbcca6", "calldata_variants": [ "0x7cbbcca6", "0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1220, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1764, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2558, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c call_targets: 0x806138e7992873b7e3c9f5e980303332f80b0a7f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x806138e7992873b7e3c9f5e980303332f80b0a7f" ], "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": "0x13dce938", "selector": "0x13dce938", "calldata_variants": [ "0x13dce938", "0x13dce9380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14f47de4", "selector": "0x14f47de4", "calldata_variants": [ "0x14f47de4", "0x14f47de40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d8f310a", "selector": "0x1d8f310a", "calldata_variants": [ "0x1d8f310a", "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e76aa06", "selector": "0x3e76aa06", "calldata_variants": [ "0x3e76aa06", "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c76ca2d", "selector": "0x5c76ca2d", "calldata_variants": [ "0x5c76ca2d", "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x63bd1d4a", "selector": "0x63bd1d4a", "calldata_variants": [ "0x63bd1d4a", "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7cbbcca6", "selector": "0x7cbbcca6", "calldata_variants": [ "0x7cbbcca6", "0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1220, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1764, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2558, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x92bcebfc1d6a13661b54e1056b25ec9dbd3587a0f20d5a0d820f4d4eb74f44c3 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x92bcebfc1d6a13661b54e1056b25ec9dbd3587a0f20d5a0d820f4d4eb74f44c3", "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": "0x13dce938", "selector": "0x13dce938", "calldata_variants": [ "0x13dce938", "0x13dce9380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14f47de4", "selector": "0x14f47de4", "calldata_variants": [ "0x14f47de4", "0x14f47de40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d8f310a", "selector": "0x1d8f310a", "calldata_variants": [ "0x1d8f310a", "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e76aa06", "selector": "0x3e76aa06", "calldata_variants": [ "0x3e76aa06", "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c76ca2d", "selector": "0x5c76ca2d", "calldata_variants": [ "0x5c76ca2d", "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x63bd1d4a", "selector": "0x63bd1d4a", "calldata_variants": [ "0x63bd1d4a", "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7cbbcca6", "selector": "0x7cbbcca6", "calldata_variants": [ "0x7cbbcca6", "0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c

call_targets: 0x806138e7992873b7e3c9f5e980303332f80b0a7f

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x806138e7992873b7e3c9f5e980303332f80b0a7f"
    ],
    "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": "0x13dce938",
            "selector": "0x13dce938",
            "calldata_variants": [
                "0x13dce938",
                "0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f47de4",
            "selector": "0x14f47de4",
            "calldata_variants": [
                "0x14f47de4",
                "0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d8f310a",
            "selector": "0x1d8f310a",
            "calldata_variants": [
                "0x1d8f310a",
                "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e76aa06",
            "selector": "0x3e76aa06",
            "calldata_variants": [
                "0x3e76aa06",
                "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c76ca2d",
            "selector": "0x5c76ca2d",
            "calldata_variants": [
                "0x5c76ca2d",
                "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bd1d4a",
            "selector": "0x63bd1d4a",
            "calldata_variants": [
                "0x63bd1d4a",
                "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7cbbcca6",
            "selector": "0x7cbbcca6",
            "calldata_variants": [
                "0x7cbbcca6",
                "0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1220,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1764,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2558,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c

call_targets: 0x806138e7992873b7e3c9f5e980303332f80b0a7f

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe93226fe8d48521a66119a290c2a7c0952729b8ffe750db4e69243cd2e52284c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x806138e7992873b7e3c9f5e980303332f80b0a7f"
    ],
    "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": "0x13dce938",
            "selector": "0x13dce938",
            "calldata_variants": [
                "0x13dce938",
                "0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f47de4",
            "selector": "0x14f47de4",
            "calldata_variants": [
                "0x14f47de4",
                "0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d8f310a",
            "selector": "0x1d8f310a",
            "calldata_variants": [
                "0x1d8f310a",
                "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e76aa06",
            "selector": "0x3e76aa06",
            "calldata_variants": [
                "0x3e76aa06",
                "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c76ca2d",
            "selector": "0x5c76ca2d",
            "calldata_variants": [
                "0x5c76ca2d",
                "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bd1d4a",
            "selector": "0x63bd1d4a",
            "calldata_variants": [
                "0x63bd1d4a",
                "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7cbbcca6",
            "selector": "0x7cbbcca6",
            "calldata_variants": [
                "0x7cbbcca6",
                "0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1220,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1764,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2558,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}

high

other

detector

SELFDESTRUCT reachable

65

no

view

trace_id: 0x92bcebfc1d6a13661b54e1056b25ec9dbd3587a0f20d5a0d820f4d4eb74f44c3

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x92bcebfc1d6a13661b54e1056b25ec9dbd3587a0f20d5a0d820f4d4eb74f44c3",
    "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": "0x13dce938",
            "selector": "0x13dce938",
            "calldata_variants": [
                "0x13dce938",
                "0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f47de4",
            "selector": "0x14f47de4",
            "calldata_variants": [
                "0x14f47de4",
                "0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d8f310a",
            "selector": "0x1d8f310a",
            "calldata_variants": [
                "0x1d8f310a",
                "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e76aa06",
            "selector": "0x3e76aa06",
            "calldata_variants": [
                "0x3e76aa06",
                "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c76ca2d",
            "selector": "0x5c76ca2d",
            "calldata_variants": [
                "0x5c76ca2d",
                "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bd1d4a",
            "selector": "0x63bd1d4a",
            "calldata_variants": [
                "0x63bd1d4a",
                "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7cbbcca6",
            "selector": "0x7cbbcca6",
            "calldata_variants": [
                "0x7cbbcca6",
                "0x7cbbcca60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "guards_detected": [],
    "selfdestruct_count": 1
}