Analysis Run

019b477e-aab7-723d-b92c-6bc8aa84fc31

complete

Chain ID

1

Address

0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
20881	artifact.fetch	complete	1 / 3	3 months ago
20882	tool.cast_disasm	complete	1 / 3	3 months ago
63946	analysis.bundle	complete	1 / 3	1 week ago
63947	capability.graph	complete	1 / 3	1 week ago
63948	detector.run	complete	1 / 3	1 week ago
63949	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

5

EXT*/BALANCE

3

Total opcodes

1220

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00e0
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x0ad40df1
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x011f
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x2b68b9c6
0000002b: EQ
0000002c: PUSH2 0x0137
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x2e1a7d4d
00000036: EQ
00000037: PUSH2 0x014a
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x3a375a92
00000041: EQ
00000042: PUSH2 0x0160
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x3c745ad5
0000004c: EQ
0000004d: PUSH2 0x0187
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x4e390f2a
00000057: EQ
00000058: PUSH2 0x01ac
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x5f238402
00000062: EQ
00000063: PUSH2 0x01cb
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x60795d80
0000006d: EQ
0000006e: PUSH2 0x01de
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x704b6c02
00000078: EQ
00000079: PUSH2 0x01f1
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x7826bfa8
00000083: EQ
00000084: PUSH2 0x0210
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x79ba5097
0000008e: EQ
0000008f: PUSH2 0x023f
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x8a87b5c5
00000099: EQ
0000009a: PUSH2 0x0252
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x8da5cb5b
000000a4: EQ
000000a5: PUSH2 0x0265
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xb5ed298a
000000af: EQ
000000b0: PUSH2 0x0278
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xb6253539
000000ba: EQ
000000bb: PUSH2 0x0297
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xd153b60c
000000c5: EQ
000000c6: PUSH2 0x02aa
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xf298083b
000000d0: EQ
000000d1: PUSH2 0x02bd
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xf851a440
000000db: EQ
000000dc: PUSH2 0x02dc
000000df: JUMPI
000000e0: JUMPDEST
000000e1: CALLER
000000e2: PUSH1 0x01
000000e4: PUSH1 0xa0
000000e6: PUSH1 0x02
000000e8: EXP
000000e9: SUB
000000ea: AND
000000eb: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000010c: CALLVALUE
0000010d: PUSH1 0x40
0000010f: MLOAD
00000110: SWAP1
00000111: DUP2
00000112: MSTORE
00000113: PUSH1 0x20
00000115: ADD
00000116: PUSH1 0x40
00000118: MLOAD
00000119: DUP1
0000011a: SWAP2
0000011b: SUB
0000011c: SWAP1
0000011d: LOG2
0000011e: STOP
0000011f: JUMPDEST
00000120: CALLVALUE
00000121: ISZERO
00000122: PUSH2 0x012a
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: PUSH2 0x0135
0000012e: PUSH1 0x04
00000130: CALLDATALOAD
00000131: PUSH2 0x02ef
00000134: JUMP
00000135: JUMPDEST
00000136: STOP
00000137: JUMPDEST
00000138: CALLVALUE
00000139: ISZERO
0000013a: PUSH2 0x0142
0000013d: JUMPI
0000013e: PUSH1 0x00
00000140: DUP1
00000141: REVERT
00000142: JUMPDEST
00000143: PUSH2 0x0135
00000146: PUSH2 0x030f
00000149: JUMP
0000014a: JUMPDEST
0000014b: CALLVALUE
0000014c: ISZERO
0000014d: PUSH2 0x0155
00000150: JUMPI
00000151: PUSH1 0x00
00000153: DUP1
00000154: REVERT
00000155: JUMPDEST
00000156: PUSH2 0x0135
00000159: PUSH1 0x04
0000015b: CALLDATALOAD
0000015c: PUSH2 0x0338
0000015f: JUMP
00000160: JUMPDEST
00000161: CALLVALUE
00000162: ISZERO
00000163: PUSH2 0x016b
00000166: JUMPI
00000167: PUSH1 0x00
00000169: DUP1
0000016a: REVERT
0000016b: JUMPDEST
0000016c: PUSH2 0x0173
0000016f: PUSH2 0x0389
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH1 0x40
00000176: MLOAD
00000177: SWAP1
00000178: ISZERO
00000179: ISZERO
0000017a: DUP2
0000017b: MSTORE
0000017c: PUSH1 0x20
0000017e: ADD
0000017f: PUSH1 0x40
00000181: MLOAD
00000182: DUP1
00000183: SWAP2
00000184: SUB
00000185: SWAP1
00000186: RETURN
00000187: JUMPDEST
00000188: CALLVALUE
00000189: ISZERO
0000018a: PUSH2 0x0192
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: PUSH2 0x019a
00000196: PUSH2 0x039c
00000199: JUMP
0000019a: JUMPDEST
0000019b: PUSH1 0x40
0000019d: MLOAD
0000019e: SWAP1
0000019f: DUP2
000001a0: MSTORE
000001a1: PUSH1 0x20
000001a3: ADD
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: DUP1
000001a8: SWAP2
000001a9: SUB
000001aa: SWAP1
000001ab: RETURN
000001ac: JUMPDEST
000001ad: CALLVALUE
000001ae: ISZERO
000001af: PUSH2 0x01b7
000001b2: JUMPI
000001b3: PUSH1 0x00
000001b5: DUP1
000001b6: REVERT
000001b7: JUMPDEST
000001b8: PUSH2 0x0135
000001bb: PUSH1 0x04
000001bd: CALLDATALOAD
000001be: PUSH1 0x24
000001c0: CALLDATALOAD
000001c1: PUSH1 0x44
000001c3: CALLDATALOAD
000001c4: PUSH1 0x64
000001c6: CALLDATALOAD
000001c7: PUSH2 0x03a2
000001ca: JUMP
000001cb: JUMPDEST
000001cc: CALLVALUE
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: PUSH2 0x019a
000001da: PUSH2 0x044e
000001dd: JUMP
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: ISZERO
000001e1: PUSH2 0x01e9
000001e4: JUMPI
000001e5: PUSH1 0x00
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: PUSH2 0x0135
000001ed: PUSH2 0x0454
000001f0: JUMP
000001f1: JUMPDEST
000001f2: CALLVALUE
000001f3: ISZERO
000001f4: PUSH2 0x01fc
000001f7: JUMPI
000001f8: PUSH1 0x00
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: PUSH2 0x0135
00000200: PUSH1 0x01
00000202: PUSH1 0xa0
00000204: PUSH1 0x02
00000206: EXP
00000207: SUB
00000208: PUSH1 0x04
0000020a: CALLDATALOAD
0000020b: AND
0000020c: PUSH2 0x04dc
0000020f: JUMP
00000210: JUMPDEST
00000211: CALLVALUE
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: PUSH2 0x0223
0000021f: PUSH2 0x0526
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH1 0x40
00000226: MLOAD
00000227: PUSH1 0x01
00000229: PUSH1 0xa0
0000022b: PUSH1 0x02
0000022d: EXP
0000022e: SUB
0000022f: SWAP1
00000230: SWAP2
00000231: AND
00000232: DUP2
00000233: MSTORE
00000234: PUSH1 0x20
00000236: ADD
00000237: PUSH1 0x40
00000239: MLOAD
0000023a: DUP1
0000023b: SWAP2
0000023c: SUB
0000023d: SWAP1
0000023e: RETURN
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: ISZERO
00000242: PUSH2 0x024a
00000245: JUMPI
00000246: PUSH1 0x00
00000248: DUP1
00000249: REVERT
0000024a: JUMPDEST
0000024b: PUSH2 0x0135
0000024e: PUSH2 0x0535
00000251: JUMP
00000252: JUMPDEST
00000253: CALLVALUE
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: PUSH2 0x019a
00000261: PUSH2 0x0598
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: ISZERO
00000268: PUSH2 0x0270
0000026b: JUMPI
0000026c: PUSH1 0x00
0000026e: DUP1
0000026f: REVERT
00000270: JUMPDEST
00000271: PUSH2 0x0223
00000274: PUSH2 0x059e
00000277: JUMP
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: PUSH2 0x0135
00000287: PUSH1 0x01
00000289: PUSH1 0xa0
0000028b: PUSH1 0x02
0000028d: EXP
0000028e: SUB
0000028f: PUSH1 0x04
00000291: CALLDATALOAD
00000292: AND
00000293: PUSH2 0x05ad
00000296: JUMP
00000297: JUMPDEST
00000298: CALLVALUE
00000299: ISZERO
0000029a: PUSH2 0x02a2
0000029d: JUMPI
0000029e: PUSH1 0x00
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: PUSH2 0x0173
000002a6: PUSH2 0x05f7
000002a9: JUMP
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: ISZERO
000002ad: PUSH2 0x02b5
000002b0: JUMPI
000002b1: PUSH1 0x00
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: PUSH2 0x0223
000002b9: PUSH2 0x06df
000002bc: JUMP
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: ISZERO
000002c0: PUSH2 0x02c8
000002c3: JUMPI
000002c4: PUSH1 0x00
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: PUSH2 0x0135
000002cc: PUSH1 0x01
000002ce: PUSH1 0xa0
000002d0: PUSH1 0x02
000002d2: EXP
000002d3: SUB
000002d4: PUSH1 0x04
000002d6: CALLDATALOAD
000002d7: AND
000002d8: PUSH2 0x06ee
000002db: JUMP
000002dc: JUMPDEST
000002dd: CALLVALUE
000002de: ISZERO
000002df: PUSH2 0x02e7
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: PUSH2 0x0223
000002eb: PUSH2 0x0738
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH1 0x00
000002f2: SLOAD
000002f3: CALLER
000002f4: PUSH1 0x01
000002f6: PUSH1 0xa0
000002f8: PUSH1 0x02
000002fa: EXP
000002fb: SUB
000002fc: SWAP1
000002fd: DUP2
000002fe: AND
000002ff: SWAP2
00000300: AND
00000301: EQ
00000302: PUSH2 0x030a
00000305: JUMPI
00000306: PUSH1 0x00
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: PUSH1 0x04
0000030d: SSTORE
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x00
00000312: SLOAD
00000313: CALLER
00000314: PUSH1 0x01
00000316: PUSH1 0xa0
00000318: PUSH1 0x02
0000031a: EXP
0000031b: SUB
0000031c: SWAP1
0000031d: DUP2
0000031e: AND
0000031f: SWAP2
00000320: AND
00000321: EQ
00000322: PUSH2 0x032a
00000325: JUMPI
00000326: PUSH1 0x00
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: PUSH1 0x00
0000032d: SLOAD
0000032e: PUSH1 0x01
00000330: PUSH1 0xa0
00000332: PUSH1 0x02
00000334: EXP
00000335: SUB
00000336: AND
00000337: SELFDESTRUCT
00000338: JUMPDEST
00000339: PUSH1 0x00
0000033b: SLOAD
0000033c: CALLER
0000033d: PUSH1 0x01
0000033f: PUSH1 0xa0
00000341: PUSH1 0x02
00000343: EXP
00000344: SUB
00000345: SWAP1
00000346: DUP2
00000347: AND
00000348: SWAP2
00000349: AND
0000034a: EQ
0000034b: PUSH2 0x0353
0000034e: JUMPI
0000034f: PUSH1 0x00
00000351: DUP1
00000352: REVERT
00000353: JUMPDEST
00000354: PUSH1 0x00
00000356: SLOAD
00000357: PUSH1 0x01
00000359: PUSH1 0xa0
0000035b: PUSH1 0x02
0000035d: EXP
0000035e: SUB
0000035f: AND
00000360: DUP2
00000361: ISZERO
00000362: PUSH2 0x08fc
00000365: MUL
00000366: DUP3
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: PUSH1 0x00
0000036c: PUSH1 0x40
0000036e: MLOAD
0000036f: DUP1
00000370: DUP4
00000371: SUB
00000372: DUP2
00000373: DUP6
00000374: DUP9
00000375: DUP9
00000376: CALL
00000377: SWAP4
00000378: POP
00000379: POP
0000037a: POP
0000037b: POP
0000037c: ISZERO
0000037d: ISZERO
0000037e: PUSH2 0x0386
00000381: JUMPI
00000382: PUSH1 0x00
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: POP
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH1 0x00
0000038c: PUSH3 0x015180
00000390: PUSH1 0x05
00000392: SLOAD
00000393: TIMESTAMP
00000394: SUB
00000395: LT
00000396: ISZERO
00000397: SWAP1
00000398: POP
00000399: JUMPDEST
0000039a: SWAP1
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x06
0000039f: SLOAD
000003a0: DUP2
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x00
000003a5: SLOAD
000003a6: CALLER
000003a7: PUSH1 0x01
000003a9: PUSH1 0xa0
000003ab: PUSH1 0x02
000003ad: EXP
000003ae: SUB
000003af: SWAP1
000003b0: DUP2
000003b1: AND
000003b2: SWAP2
000003b3: AND
000003b4: EQ
000003b5: DUP1
000003b6: PUSH2 0x03cd
000003b9: JUMPI
000003ba: POP
000003bb: PUSH1 0x01
000003bd: SLOAD
000003be: CALLER
000003bf: PUSH1 0x01
000003c1: PUSH1 0xa0
000003c3: PUSH1 0x02
000003c5: EXP
000003c6: SUB
000003c7: SWAP1
000003c8: DUP2
000003c9: AND
000003ca: SWAP2
000003cb: AND
000003cc: EQ
000003cd: JUMPDEST
000003ce: ISZERO
000003cf: ISZERO
000003d0: PUSH2 0x03d8
000003d3: JUMPI
000003d4: PUSH1 0x00
000003d6: DUP1
000003d7: REVERT
000003d8: JUMPDEST
000003d9: PUSH1 0x06
000003db: DUP5
000003dc: SWAP1
000003dd: SSTORE
000003de: PUSH1 0x03
000003e0: SLOAD
000003e1: PUSH1 0x01
000003e3: PUSH1 0xa0
000003e5: PUSH1 0x02
000003e7: EXP
000003e8: SUB
000003e9: AND
000003ea: PUSH4 0xb91bb31c
000003ef: DUP5
000003f0: DUP5
000003f1: DUP5
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: PUSH1 0xe0
000003f7: PUSH1 0x02
000003f9: EXP
000003fa: PUSH4 0xffffffff
000003ff: DUP7
00000400: AND
00000401: MUL
00000402: DUP2
00000403: MSTORE
00000404: PUSH1 0x04
00000406: DUP2
00000407: ADD
00000408: SWAP4
00000409: SWAP1
0000040a: SWAP4
0000040b: MSTORE
0000040c: PUSH1 0x24
0000040e: DUP4
0000040f: ADD
00000410: SWAP2
00000411: SWAP1
00000412: SWAP2
00000413: MSTORE
00000414: PUSH1 0x44
00000416: DUP3
00000417: ADD
00000418: MSTORE
00000419: PUSH1 0x64
0000041b: ADD
0000041c: PUSH1 0x00
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: DUP4
00000423: SUB
00000424: DUP2
00000425: PUSH1 0x00
00000427: DUP8
00000428: DUP1
00000429: EXTCODESIZE
0000042a: ISZERO
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH1 0x00
00000432: DUP1
00000433: REVERT
00000434: JUMPDEST
00000435: PUSH2 0x02c6
00000438: GAS
00000439: SUB
0000043a: CALL
0000043b: ISZERO
0000043c: ISZERO
0000043d: PUSH2 0x0445
00000440: JUMPI
00000441: PUSH1 0x00
00000443: DUP1
00000444: REVERT
00000445: JUMPDEST
00000446: POP
00000447: POP
00000448: POP
00000449: POP
0000044a: POP
0000044b: POP
0000044c: POP
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH1 0x05
00000451: SLOAD
00000452: DUP2
00000453: JUMP
00000454: JUMPDEST
00000455: PUSH1 0x00
00000457: SLOAD
00000458: CALLER
00000459: PUSH1 0x01
0000045b: PUSH1 0xa0
0000045d: PUSH1 0x02
0000045f: EXP
00000460: SUB
00000461: SWAP1
00000462: DUP2
00000463: AND
00000464: SWAP2
00000465: AND
00000466: EQ
00000467: DUP1
00000468: PUSH2 0x047f
0000046b: JUMPI
0000046c: POP
0000046d: PUSH1 0x01
0000046f: SLOAD
00000470: CALLER
00000471: PUSH1 0x01
00000473: PUSH1 0xa0
00000475: PUSH1 0x02
00000477: EXP
00000478: SUB
00000479: SWAP1
0000047a: DUP2
0000047b: AND
0000047c: SWAP2
0000047d: AND
0000047e: EQ
0000047f: JUMPDEST
00000480: ISZERO
00000481: ISZERO
00000482: PUSH2 0x048a
00000485: JUMPI
00000486: PUSH1 0x00
00000488: DUP1
00000489: REVERT
0000048a: JUMPDEST
0000048b: PUSH2 0x0492
0000048e: PUSH2 0x0389
00000491: JUMP
00000492: JUMPDEST
00000493: ISZERO
00000494: ISZERO
00000495: PUSH2 0x049d
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: REVERT
0000049d: JUMPDEST
0000049e: TIMESTAMP
0000049f: PUSH1 0x05
000004a1: SSTORE
000004a2: PUSH1 0x01
000004a4: SLOAD
000004a5: PUSH1 0x04
000004a7: SLOAD
000004a8: PUSH1 0x01
000004aa: PUSH1 0xa0
000004ac: PUSH1 0x02
000004ae: EXP
000004af: SUB
000004b0: SWAP1
000004b1: SWAP2
000004b2: AND
000004b3: SWAP1
000004b4: DUP1
000004b5: ISZERO
000004b6: PUSH2 0x08fc
000004b9: MUL
000004ba: SWAP1
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: PUSH1 0x00
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: DUP1
000004c4: DUP4
000004c5: SUB
000004c6: DUP2
000004c7: DUP6
000004c8: DUP9
000004c9: DUP9
000004ca: CALL
000004cb: SWAP4
000004cc: POP
000004cd: POP
000004ce: POP
000004cf: POP
000004d0: ISZERO
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x00
000004df: SLOAD
000004e0: CALLER
000004e1: PUSH1 0x01
000004e3: PUSH1 0xa0
000004e5: PUSH1 0x02
000004e7: EXP
000004e8: SUB
000004e9: SWAP1
000004ea: DUP2
000004eb: AND
000004ec: SWAP2
000004ed: AND
000004ee: EQ
000004ef: PUSH2 0x04f7
000004f2: JUMPI
000004f3: PUSH1 0x00
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: PUSH1 0x01
000004fa: DUP1
000004fb: SLOAD
000004fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000511: NOT
00000512: AND
00000513: PUSH1 0x01
00000515: PUSH1 0xa0
00000517: PUSH1 0x02
00000519: EXP
0000051a: SUB
0000051b: SWAP3
0000051c: SWAP1
0000051d: SWAP3
0000051e: AND
0000051f: SWAP2
00000520: SWAP1
00000521: SWAP2
00000522: OR
00000523: SWAP1
00000524: SSTORE
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH1 0x03
00000529: SLOAD
0000052a: PUSH1 0x01
0000052c: PUSH1 0xa0
0000052e: PUSH1 0x02
00000530: EXP
00000531: SUB
00000532: AND
00000533: DUP2
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH1 0x02
00000538: SLOAD
00000539: PUSH1 0x01
0000053b: PUSH1 0xa0
0000053d: PUSH1 0x02
0000053f: EXP
00000540: SUB
00000541: AND
00000542: ISZERO
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: PUSH1 0x02
0000054f: SLOAD
00000550: CALLER
00000551: PUSH1 0x01
00000553: PUSH1 0xa0
00000555: PUSH1 0x02
00000557: EXP
00000558: SUB
00000559: SWAP1
0000055a: DUP2
0000055b: AND
0000055c: SWAP2
0000055d: AND
0000055e: EQ
0000055f: PUSH2 0x0567
00000562: JUMPI
00000563: PUSH1 0x00
00000565: DUP1
00000566: REVERT
00000567: JUMPDEST
00000568: PUSH1 0x02
0000056a: SLOAD
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: SLOAD
0000056f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000584: NOT
00000585: AND
00000586: PUSH1 0x01
00000588: PUSH1 0xa0
0000058a: PUSH1 0x02
0000058c: EXP
0000058d: SUB
0000058e: SWAP1
0000058f: SWAP3
00000590: AND
00000591: SWAP2
00000592: SWAP1
00000593: SWAP2
00000594: OR
00000595: SWAP1
00000596: SSTORE
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x04
0000059b: SLOAD
0000059c: DUP2
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x00
000005a1: SLOAD
000005a2: PUSH1 0x01
000005a4: PUSH1 0xa0
000005a6: PUSH1 0x02
000005a8: EXP
000005a9: SUB
000005aa: AND
000005ab: DUP2
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH1 0x00
000005b0: SLOAD
000005b1: CALLER
000005b2: PUSH1 0x01
000005b4: PUSH1 0xa0
000005b6: PUSH1 0x02
000005b8: EXP
000005b9: SUB
000005ba: SWAP1
000005bb: DUP2
000005bc: AND
000005bd: SWAP2
000005be: AND
000005bf: EQ
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: PUSH1 0x02
000005cb: DUP1
000005cc: SLOAD
000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e2: NOT
000005e3: AND
000005e4: PUSH1 0x01
000005e6: PUSH1 0xa0
000005e8: PUSH1 0x02
000005ea: EXP
000005eb: SUB
000005ec: SWAP3
000005ed: SWAP1
000005ee: SWAP3
000005ef: AND
000005f0: SWAP2
000005f1: SWAP1
000005f2: SWAP2
000005f3: OR
000005f4: SWAP1
000005f5: SSTORE
000005f6: JUMP
000005f7: JUMPDEST
000005f8: PUSH1 0x03
000005fa: SLOAD
000005fb: PUSH1 0x00
000005fd: SWAP1
000005fe: PUSH1 0x01
00000600: PUSH1 0xa0
00000602: PUSH1 0x02
00000604: EXP
00000605: SUB
00000606: ADDRESS
00000607: DUP2
00000608: AND
00000609: SWAP2
0000060a: AND
0000060b: PUSH4 0xf851a440
00000610: DUP4
00000611: PUSH1 0x40
00000613: MLOAD
00000614: PUSH1 0x20
00000616: ADD
00000617: MSTORE
00000618: PUSH1 0x40
0000061a: MLOAD
0000061b: DUP2
0000061c: PUSH4 0xffffffff
00000621: AND
00000622: PUSH1 0xe0
00000624: PUSH1 0x02
00000626: EXP
00000627: MUL
00000628: DUP2
00000629: MSTORE
0000062a: PUSH1 0x04
0000062c: ADD
0000062d: PUSH1 0x20
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: DUP1
00000633: DUP4
00000634: SUB
00000635: DUP2
00000636: PUSH1 0x00
00000638: DUP8
00000639: DUP1
0000063a: EXTCODESIZE
0000063b: ISZERO
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH1 0x00
00000643: DUP1
00000644: REVERT
00000645: JUMPDEST
00000646: PUSH2 0x02c6
00000649: GAS
0000064a: SUB
0000064b: CALL
0000064c: ISZERO
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: POP
00000659: POP
0000065a: PUSH1 0x40
0000065c: MLOAD
0000065d: DUP1
0000065e: MLOAD
0000065f: SWAP1
00000660: POP
00000661: PUSH1 0x01
00000663: PUSH1 0xa0
00000665: PUSH1 0x02
00000667: EXP
00000668: SUB
00000669: AND
0000066a: EQ
0000066b: ISZERO
0000066c: ISZERO
0000066d: PUSH2 0x0678
00000670: JUMPI
00000671: POP
00000672: PUSH1 0x00
00000674: PUSH2 0x0399
00000677: JUMP
00000678: JUMPDEST
00000679: PUSH1 0x03
0000067b: SLOAD
0000067c: PUSH1 0x01
0000067e: PUSH1 0xa0
00000680: PUSH1 0x02
00000682: EXP
00000683: SUB
00000684: AND
00000685: PUSH4 0xb6253539
0000068a: PUSH1 0x00
0000068c: PUSH1 0x40
0000068e: MLOAD
0000068f: PUSH1 0x20
00000691: ADD
00000692: MSTORE
00000693: PUSH1 0x40
00000695: MLOAD
00000696: DUP2
00000697: PUSH4 0xffffffff
0000069c: AND
0000069d: PUSH1 0xe0
0000069f: PUSH1 0x02
000006a1: EXP
000006a2: MUL
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x04
000006a7: ADD
000006a8: PUSH1 0x20
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: DUP1
000006ae: DUP4
000006af: SUB
000006b0: DUP2
000006b1: PUSH1 0x00
000006b3: DUP8
000006b4: DUP1
000006b5: EXTCODESIZE
000006b6: ISZERO
000006b7: ISZERO
000006b8: PUSH2 0x06c0
000006bb: JUMPI
000006bc: PUSH1 0x00
000006be: DUP1
000006bf: REVERT
000006c0: JUMPDEST
000006c1: PUSH2 0x02c6
000006c4: GAS
000006c5: SUB
000006c6: CALL
000006c7: ISZERO
000006c8: ISZERO
000006c9: PUSH2 0x06d1
000006cc: JUMPI
000006cd: PUSH1 0x00
000006cf: DUP1
000006d0: REVERT
000006d1: JUMPDEST
000006d2: POP
000006d3: POP
000006d4: POP
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: DUP1
000006d9: MLOAD
000006da: SWAP2
000006db: POP
000006dc: POP
000006dd: SWAP1
000006de: JUMP
000006df: JUMPDEST
000006e0: PUSH1 0x02
000006e2: SLOAD
000006e3: PUSH1 0x01
000006e5: PUSH1 0xa0
000006e7: PUSH1 0x02
000006e9: EXP
000006ea: SUB
000006eb: AND
000006ec: DUP2
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x00
000006f1: SLOAD
000006f2: CALLER
000006f3: PUSH1 0x01
000006f5: PUSH1 0xa0
000006f7: PUSH1 0x02
000006f9: EXP
000006fa: SUB
000006fb: SWAP1
000006fc: DUP2
000006fd: AND
000006fe: SWAP2
000006ff: AND
00000700: EQ
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: PUSH1 0x03
0000070c: DUP1
0000070d: SLOAD
0000070e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000723: NOT
00000724: AND
00000725: PUSH1 0x01
00000727: PUSH1 0xa0
00000729: PUSH1 0x02
0000072b: EXP
0000072c: SUB
0000072d: SWAP3
0000072e: SWAP1
0000072f: SWAP3
00000730: AND
00000731: SWAP2
00000732: SWAP1
00000733: SWAP2
00000734: OR
00000735: SWAP1
00000736: SSTORE
00000737: JUMP
00000738: JUMPDEST
00000739: PUSH1 0x01
0000073b: SLOAD
0000073c: PUSH1 0x01
0000073e: PUSH1 0xa0
00000740: PUSH1 0x02
00000742: EXP
00000743: SUB
00000744: AND
00000745: DUP2
00000746: JUMP
00000747: STOP
00000748: LOG1
00000749: PUSH6 0x627a7a723058
00000750: KECCAK256
00000751: PUSH21 0x714df03a709fcdd7fb7933548daedea8e8b88e3ee4
00000767: DUP5
00000768: UNKNOWN(0xCB)
00000769: UNKNOWN(0xDF)
0000076a: KECCAK256
0000076b: UNKNOWN(0xC7)
0000076c: UNKNOWN(0x4C)
0000076d: PUSH14

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: 0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a call_targets: 0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206" ], "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": "0x0ad40df1", "selector": "0x0ad40df1", "calldata_variants": [ "0x0ad40df1", "0x0ad40df10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a375a92", "selector": "0x3a375a92", "calldata_variants": [ "0x3a375a92", "0x3a375a920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c745ad5", "selector": "0x3c745ad5", "calldata_variants": [ "0x3c745ad5", "0x3c745ad50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4e390f2a", "selector": "0x4e390f2a", "calldata_variants": [ "0x4e390f2a", "0x4e390f2a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f238402", "selector": "0x5f238402", "calldata_variants": [ "0x5f238402", "0x5f2384020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x60795d80", "selector": "0x60795d80", "calldata_variants": [ "0x60795d80", "0x60795d800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 886, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1082, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1226, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a call_targets: 0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206" ], "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": "0x0ad40df1", "selector": "0x0ad40df1", "calldata_variants": [ "0x0ad40df1", "0x0ad40df10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a375a92", "selector": "0x3a375a92", "calldata_variants": [ "0x3a375a92", "0x3a375a920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c745ad5", "selector": "0x3c745ad5", "calldata_variants": [ "0x3c745ad5", "0x3c745ad50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4e390f2a", "selector": "0x4e390f2a", "calldata_variants": [ "0x4e390f2a", "0x4e390f2a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f238402", "selector": "0x5f238402", "calldata_variants": [ "0x5f238402", "0x5f2384020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x60795d80", "selector": "0x60795d80", "calldata_variants": [ "0x60795d80", "0x60795d800000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 886, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1082, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1226, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x44f3469ee7876e164cbd6c07dbb121e7e87d01f572850ead7321d7a2bfccaac3 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x44f3469ee7876e164cbd6c07dbb121e7e87d01f572850ead7321d7a2bfccaac3", "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": "0x0ad40df1", "selector": "0x0ad40df1", "calldata_variants": [ "0x0ad40df1", "0x0ad40df10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2b68b9c6", "selector": "0x2b68b9c6", "calldata_variants": [ "0x2b68b9c6", "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a375a92", "selector": "0x3a375a92", "calldata_variants": [ "0x3a375a92", "0x3a375a920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c745ad5", "selector": "0x3c745ad5", "calldata_variants": [ "0x3c745ad5", "0x3c745ad50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4e390f2a", "selector": "0x4e390f2a", "calldata_variants": [ "0x4e390f2a", "0x4e390f2a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f238402", "selector": "0x5f238402", "calldata_variants": [ "0x5f238402", "0x5f2384020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x60795d80", "selector": "0x60795d80", "calldata_variants": [ "0x60795d80", "0x60795d800000000000000000000000000000000000000000000000000000000000000000" ] } ] } 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: 0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a

call_targets: 0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206"
    ],
    "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": "0x0ad40df1",
            "selector": "0x0ad40df1",
            "calldata_variants": [
                "0x0ad40df1",
                "0x0ad40df10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b68b9c6",
            "selector": "0x2b68b9c6",
            "calldata_variants": [
                "0x2b68b9c6",
                "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a375a92",
            "selector": "0x3a375a92",
            "calldata_variants": [
                "0x3a375a92",
                "0x3a375a920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3c745ad5",
            "selector": "0x3c745ad5",
            "calldata_variants": [
                "0x3c745ad5",
                "0x3c745ad50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e390f2a",
            "selector": "0x4e390f2a",
            "calldata_variants": [
                "0x4e390f2a",
                "0x4e390f2a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5f238402",
            "selector": "0x5f238402",
            "calldata_variants": [
                "0x5f238402",
                "0x5f2384020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x60795d80",
            "selector": "0x60795d80",
            "calldata_variants": [
                "0x60795d80",
                "0x60795d800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 886,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1082,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1226,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a

call_targets: 0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4a2e182e6e176d7ed1a424b35ebb279e8dd89a754852563bf023a7d45d3eb45a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x549b38e8e5fb1ba4acd4187d8b7c8a04deb53206"
    ],
    "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": "0x0ad40df1",
            "selector": "0x0ad40df1",
            "calldata_variants": [
                "0x0ad40df1",
                "0x0ad40df10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b68b9c6",
            "selector": "0x2b68b9c6",
            "calldata_variants": [
                "0x2b68b9c6",
                "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a375a92",
            "selector": "0x3a375a92",
            "calldata_variants": [
                "0x3a375a92",
                "0x3a375a920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3c745ad5",
            "selector": "0x3c745ad5",
            "calldata_variants": [
                "0x3c745ad5",
                "0x3c745ad50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e390f2a",
            "selector": "0x4e390f2a",
            "calldata_variants": [
                "0x4e390f2a",
                "0x4e390f2a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5f238402",
            "selector": "0x5f238402",
            "calldata_variants": [
                "0x5f238402",
                "0x5f2384020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x60795d80",
            "selector": "0x60795d80",
            "calldata_variants": [
                "0x60795d80",
                "0x60795d800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 886,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1082,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1226,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}

high

other

detector

SELFDESTRUCT reachable

65

no

view

trace_id: 0x44f3469ee7876e164cbd6c07dbb121e7e87d01f572850ead7321d7a2bfccaac3

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x44f3469ee7876e164cbd6c07dbb121e7e87d01f572850ead7321d7a2bfccaac3",
    "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": "0x0ad40df1",
            "selector": "0x0ad40df1",
            "calldata_variants": [
                "0x0ad40df1",
                "0x0ad40df10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b68b9c6",
            "selector": "0x2b68b9c6",
            "calldata_variants": [
                "0x2b68b9c6",
                "0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3a375a92",
            "selector": "0x3a375a92",
            "calldata_variants": [
                "0x3a375a92",
                "0x3a375a920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3c745ad5",
            "selector": "0x3c745ad5",
            "calldata_variants": [
                "0x3c745ad5",
                "0x3c745ad50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e390f2a",
            "selector": "0x4e390f2a",
            "calldata_variants": [
                "0x4e390f2a",
                "0x4e390f2a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5f238402",
            "selector": "0x5f238402",
            "calldata_variants": [
                "0x5f238402",
                "0x5f2384020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x60795d80",
            "selector": "0x60795d80",
            "calldata_variants": [
                "0x60795d80",
                "0x60795d800000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

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