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

Analysis Run

019b3836-583f-71b4-b4f9-3d85a39b2c47

complete
Chain ID
1
Address
0xd6c3fecce74e5fb3a9bcc6bbaaebf80a321e3131
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
8613 artifact.fetch complete 1 / 3 3 months ago
8614 tool.cast_disasm complete 1 / 3 3 months ago
98478 analysis.bundle complete 1 / 3 1 week ago
98479 capability.graph complete 1 / 3 1 week ago
98480 detector.run complete 1 / 3 1 week ago
98481 validation.fork complete 1 / 3 1 week 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)
10
EXT*/BALANCE
0
Total opcodes
1580
Flags
selfdestruct_present
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00b9
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06fdde03
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00bb
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x12ab7242
00000025: EQ
00000026: PUSH2 0x00c4
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x21f8a721
00000030: EQ
00000031: PUSH2 0x0109
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x38eada1c
0000003b: EQ
0000003c: PUSH2 0x0181
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x4ba79dfe
00000046: EQ
00000047: PUSH2 0x01c8
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x52959d16
00000051: EQ
00000052: PUSH2 0x01e3
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x77f18ed3
0000005c: EQ
0000005d: PUSH2 0x01f5
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x7948f523
00000067: EQ
00000068: PUSH2 0x0208
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x95a078e8
00000072: EQ
00000073: PUSH2 0x022b
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xa7f43779
0000007d: EQ
0000007e: PUSH2 0x0246
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xd0e30db0
00000088: EQ
00000089: PUSH2 0x02f2
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xf359671c
00000093: EQ
00000094: PUSH2 0x0308
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xf3fef3a3
0000009e: EQ
0000009f: PUSH2 0x0360
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xf7c3ee7a
000000a9: EQ
000000aa: PUSH2 0x037f
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xf89005e7
000000b4: EQ
000000b5: PUSH2 0x043f
000000b8: JUMPI
000000b9: JUMPDEST
000000ba: STOP
000000bb: JUMPDEST
000000bc: PUSH2 0x053e
000000bf: PUSH1 0x01
000000c1: SLOAD
000000c2: DUP2
000000c3: JUMP
000000c4: JUMPDEST
000000c5: PUSH2 0x0550
000000c8: PUSH1 0x04
000000ca: CALLDATALOAD
000000cb: PUSH1 0x02
000000cd: SLOAD
000000ce: PUSH1 0x00
000000d0: SWAP1
000000d1: PUSH1 0x01
000000d3: PUSH1 0xa0
000000d5: PUSH1 0x02
000000d7: EXP
000000d8: SUB
000000d9: AND
000000da: DUP1
000000db: DUP3
000000dc: EQ
000000dd: ISZERO
000000de: PUSH2 0x0581
000000e1: JUMPI
000000e2: POP
000000e3: POP
000000e4: PUSH1 0x02
000000e6: DUP1
000000e7: SLOAD
000000e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000fd: NOT
000000fe: AND
000000ff: DUP3
00000100: OR
00000101: SWAP1
00000102: SSTORE
00000103: PUSH1 0x01
00000105: PUSH2 0x0583
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH2 0x0564
0000010d: PUSH1 0x04
0000010f: CALLDATALOAD
00000110: PUSH1 0x40
00000112: DUP1
00000113: MLOAD
00000114: PUSH1 0x00
00000116: DUP1
00000117: SLOAD
00000118: PUSH32 0x2ade6c3600000000000000000000000000000000000000000000000000000000
00000139: DUP4
0000013a: MSTORE
0000013b: PUSH1 0x04
0000013d: DUP4
0000013e: ADD
0000013f: DUP6
00000140: SWAP1
00000141: MSTORE
00000142: SWAP3
00000143: MLOAD
00000144: SWAP1
00000145: SWAP3
00000146: PUSH1 0x01
00000148: PUSH1 0xa0
0000014a: PUSH1 0x02
0000014c: EXP
0000014d: SUB
0000014e: AND
0000014f: SWAP2
00000150: PUSH4 0x2ade6c36
00000155: SWAP2
00000156: PUSH1 0x24
00000158: DUP3
00000159: DUP2
0000015a: ADD
0000015b: SWAP3
0000015c: PUSH1 0x20
0000015e: SWAP3
0000015f: SWAP2
00000160: SWAP1
00000161: DUP3
00000162: SWAP1
00000163: SUB
00000164: ADD
00000165: DUP2
00000166: DUP8
00000167: DUP8
00000168: PUSH2 0x61da
0000016b: GAS
0000016c: SUB
0000016d: CALL
0000016e: ISZERO
0000016f: PUSH2 0x0002
00000172: JUMPI
00000173: POP
00000174: POP
00000175: PUSH1 0x40
00000177: MLOAD
00000178: MLOAD
00000179: SWAP2
0000017a: POP
0000017b: PUSH2 0x0583
0000017e: SWAP1
0000017f: POP
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH2 0x0550
00000185: PUSH1 0x04
00000187: CALLDATALOAD
00000188: PUSH1 0x00
0000018a: PUSH1 0x00
0000018c: CALLVALUE
0000018d: GT
0000018e: ISZERO
0000018f: PUSH2 0x0588
00000192: JUMPI
00000193: PUSH2 0x0588
00000196: CALLER
00000197: CALLVALUE
00000198: JUMPDEST
00000199: PUSH2 0x091a
0000019c: DUP3
0000019d: DUP3
0000019e: JUMPDEST
0000019f: PUSH1 0x40
000001a1: MLOAD
000001a2: PUSH1 0x00
000001a4: SWAP1
000001a5: PUSH1 0x01
000001a7: PUSH1 0xa0
000001a9: PUSH1 0x02
000001ab: EXP
000001ac: SUB
000001ad: DUP5
000001ae: AND
000001af: SWAP1
000001b0: DUP4
000001b1: SWAP1
000001b2: DUP4
000001b3: DUP2
000001b4: DUP2
000001b5: DUP2
000001b6: DUP6
000001b7: DUP8
000001b8: PUSH2 0x8502
000001bb: GAS
000001bc: SUB
000001bd: CALL
000001be: SWAP3
000001bf: POP
000001c0: POP
000001c1: POP
000001c2: SWAP1
000001c3: POP
000001c4: PUSH2 0x08e5
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH2 0x0550
000001cc: PUSH1 0x04
000001ce: CALLDATALOAD
000001cf: PUSH1 0x00
000001d1: PUSH1 0x00
000001d3: CALLVALUE
000001d4: GT
000001d5: ISZERO
000001d6: PUSH2 0x0647
000001d9: JUMPI
000001da: PUSH2 0x0647
000001dd: CALLER
000001de: CALLVALUE
000001df: PUSH2 0x0198
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH2 0x0564
000001e7: PUSH1 0x00
000001e9: SLOAD
000001ea: PUSH1 0x01
000001ec: PUSH1 0xa0
000001ee: PUSH1 0x02
000001f0: EXP
000001f1: SUB
000001f2: AND
000001f3: DUP2
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH2 0x0550
000001f9: PUSH1 0x00
000001fb: SLOAD
000001fc: PUSH1 0xa0
000001fe: PUSH1 0x02
00000200: EXP
00000201: SWAP1
00000202: DIV
00000203: PUSH1 0xff
00000205: AND
00000206: DUP2
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH2 0x0550
0000020c: PUSH1 0x04
0000020e: CALLDATALOAD
0000020f: PUSH1 0x24
00000211: CALLDATALOAD
00000212: PUSH1 0x00
00000214: DUP1
00000215: SLOAD
00000216: DUP2
00000217: SWAP1
00000218: PUSH1 0x01
0000021a: PUSH1 0xa0
0000021c: PUSH1 0x02
0000021e: EXP
0000021f: SUB
00000220: AND
00000221: DUP2
00000222: EQ
00000223: PUSH2 0x0730
00000226: JUMPI
00000227: PUSH2 0x0729
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH2 0x0550
0000022f: PUSH1 0x04
00000231: CALLDATALOAD
00000232: PUSH1 0x03
00000234: PUSH1 0x20
00000236: MSTORE
00000237: PUSH1 0x00
00000239: SWAP1
0000023a: DUP2
0000023b: MSTORE
0000023c: PUSH1 0x40
0000023e: SWAP1
0000023f: KECCAK256
00000240: SLOAD
00000241: PUSH1 0xff
00000243: AND
00000244: DUP2
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH2 0x0550
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: SLOAD
0000024e: PUSH1 0xd9
00000250: PUSH1 0x02
00000252: EXP
00000253: PUSH5 0x37bbb732b9
00000259: MUL
0000025a: SWAP1
0000025b: PUSH1 0x01
0000025d: PUSH1 0xa0
0000025f: PUSH1 0x02
00000261: EXP
00000262: SUB
00000263: AND
00000264: DUP3
00000265: EQ
00000266: DUP1
00000267: ISZERO
00000268: SWAP1
00000269: PUSH2 0x02d1
0000026c: JUMPI
0000026d: POP
0000026e: PUSH1 0x40
00000270: DUP1
00000271: MLOAD
00000272: DUP4
00000273: SLOAD
00000274: PUSH1 0x01
00000276: SLOAD
00000277: PUSH1 0xe4
00000279: PUSH1 0x02
0000027b: EXP
0000027c: PUSH4 0x0a1add51
00000281: MUL
00000282: DUP4
00000283: MSTORE
00000284: PUSH1 0x04
00000286: DUP4
00000287: ADD
00000288: MSTORE
00000289: PUSH1 0x24
0000028b: DUP3
0000028c: ADD
0000028d: DUP5
0000028e: SWAP1
0000028f: MSTORE
00000290: PUSH1 0x01
00000292: PUSH1 0xa0
00000294: PUSH1 0x02
00000296: EXP
00000297: SUB
00000298: CALLER
00000299: DUP2
0000029a: AND
0000029b: PUSH1 0x44
0000029d: DUP5
0000029e: ADD
0000029f: MSTORE
000002a0: SWAP3
000002a1: MLOAD
000002a2: SWAP3
000002a3: AND
000002a4: SWAP2
000002a5: PUSH4 0xa1add510
000002aa: SWAP2
000002ab: PUSH1 0x64
000002ad: DUP2
000002ae: DUP2
000002af: ADD
000002b0: SWAP3
000002b1: PUSH1 0x20
000002b3: SWAP3
000002b4: SWAP1
000002b5: SWAP2
000002b6: SWAP1
000002b7: DUP3
000002b8: SWAP1
000002b9: SUB
000002ba: ADD
000002bb: DUP2
000002bc: DUP9
000002bd: DUP8
000002be: PUSH2 0x61da
000002c1: GAS
000002c2: SUB
000002c3: CALL
000002c4: ISZERO
000002c5: PUSH2 0x0002
000002c8: JUMPI
000002c9: POP
000002ca: POP
000002cb: PUSH1 0x40
000002cd: MLOAD
000002ce: MLOAD
000002cf: SWAP1
000002d0: POP
000002d1: JUMPDEST
000002d2: ISZERO
000002d3: PUSH2 0x0805
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: SLOAD
000002da: PUSH1 0xa0
000002dc: PUSH1 0x02
000002de: EXP
000002df: SWAP1
000002e0: DIV
000002e1: PUSH1 0xff
000002e3: AND
000002e4: ISZERO
000002e5: PUSH2 0x080a
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: SWAP2
000002ec: POP
000002ed: POP
000002ee: PUSH2 0x0807
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH2 0x0550
000002f6: PUSH1 0x00
000002f8: PUSH1 0x00
000002fa: CALLVALUE
000002fb: GT
000002fc: ISZERO
000002fd: PUSH2 0x0816
00000300: JUMPI
00000301: POP
00000302: PUSH1 0x01
00000304: PUSH2 0x0807
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH1 0x40
0000030b: DUP1
0000030c: MLOAD
0000030d: PUSH1 0x20
0000030f: PUSH1 0x44
00000311: CALLDATALOAD
00000312: PUSH1 0x04
00000314: DUP2
00000315: DUP2
00000316: ADD
00000317: CALLDATALOAD
00000318: PUSH1 0x1f
0000031a: DUP2
0000031b: ADD
0000031c: DUP5
0000031d: SWAP1
0000031e: DIV
0000031f: DUP5
00000320: MUL
00000321: DUP6
00000322: ADD
00000323: DUP5
00000324: ADD
00000325: SWAP1
00000326: SWAP6
00000327: MSTORE
00000328: DUP5
00000329: DUP5
0000032a: MSTORE
0000032b: PUSH2 0x0550
0000032e: SWAP5
0000032f: DUP2
00000330: CALLDATALOAD
00000331: SWAP5
00000332: PUSH1 0x24
00000334: DUP1
00000335: CALLDATALOAD
00000336: SWAP6
00000337: SWAP4
00000338: SWAP5
00000339: PUSH1 0x64
0000033b: SWAP5
0000033c: SWAP3
0000033d: SWAP4
0000033e: SWAP2
0000033f: ADD
00000340: SWAP2
00000341: DUP2
00000342: SWAP1
00000343: DUP5
00000344: ADD
00000345: DUP4
00000346: DUP3
00000347: DUP1
00000348: DUP3
00000349: DUP5
0000034a: CALLDATACOPY
0000034b: POP
0000034c: SWAP5
0000034d: SWAP7
0000034e: POP
0000034f: POP
00000350: POP
00000351: POP
00000352: POP
00000353: POP
00000354: POP
00000355: PUSH1 0x00
00000357: PUSH2 0x08d4
0000035a: DUP5
0000035b: DUP5
0000035c: PUSH2 0x036a
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x0550
00000364: PUSH1 0x04
00000366: CALLDATALOAD
00000367: PUSH1 0x24
00000369: CALLDATALOAD
0000036a: JUMPDEST
0000036b: PUSH1 0x00
0000036d: PUSH1 0x00
0000036f: CALLVALUE
00000370: GT
00000371: ISZERO
00000372: PUSH2 0x08eb
00000375: JUMPI
00000376: PUSH2 0x08eb
00000379: CALLER
0000037a: CALLVALUE
0000037b: PUSH2 0x0198
0000037e: JUMP
0000037f: JUMPDEST
00000380: PUSH2 0x0550
00000383: PUSH1 0x00
00000385: DUP1
00000386: SLOAD
00000387: PUSH1 0xd9
00000389: PUSH1 0x02
0000038b: EXP
0000038c: PUSH5 0x37bbb732b9
00000392: MUL
00000393: SWAP1
00000394: PUSH1 0x01
00000396: PUSH1 0xa0
00000398: PUSH1 0x02
0000039a: EXP
0000039b: SUB
0000039c: AND
0000039d: DUP3
0000039e: EQ
0000039f: DUP1
000003a0: ISZERO
000003a1: SWAP1
000003a2: PUSH2 0x040d
000003a5: JUMPI
000003a6: POP
000003a7: DUP2
000003a8: SLOAD
000003a9: PUSH1 0x01
000003ab: SLOAD
000003ac: PUSH1 0x40
000003ae: DUP1
000003af: MLOAD
000003b0: PUSH1 0xe4
000003b2: PUSH1 0x02
000003b4: EXP
000003b5: PUSH4 0x0a1add51
000003ba: MUL
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x04
000003bf: DUP2
000003c0: ADD
000003c1: SWAP3
000003c2: SWAP1
000003c3: SWAP3
000003c4: MSTORE
000003c5: PUSH1 0x24
000003c7: DUP3
000003c8: ADD
000003c9: DUP5
000003ca: SWAP1
000003cb: MSTORE
000003cc: PUSH1 0x01
000003ce: PUSH1 0xa0
000003d0: PUSH1 0x02
000003d2: EXP
000003d3: SUB
000003d4: CALLER
000003d5: DUP2
000003d6: AND
000003d7: PUSH1 0x44
000003d9: DUP5
000003da: ADD
000003db: MSTORE
000003dc: SWAP1
000003dd: MLOAD
000003de: SWAP3
000003df: AND
000003e0: SWAP2
000003e1: PUSH4 0xa1add510
000003e6: SWAP2
000003e7: PUSH1 0x64
000003e9: DUP2
000003ea: DUP2
000003eb: ADD
000003ec: SWAP3
000003ed: PUSH1 0x20
000003ef: SWAP3
000003f0: SWAP1
000003f1: SWAP2
000003f2: SWAP1
000003f3: DUP3
000003f4: SWAP1
000003f5: SUB
000003f6: ADD
000003f7: DUP2
000003f8: DUP9
000003f9: DUP8
000003fa: PUSH2 0x61da
000003fd: GAS
000003fe: SUB
000003ff: CALL
00000400: ISZERO
00000401: PUSH2 0x0002
00000404: JUMPI
00000405: POP
00000406: POP
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: MLOAD
0000040b: SWAP1
0000040c: POP
0000040d: JUMPDEST
0000040e: ISZERO
0000040f: PUSH2 0x0805
00000412: JUMPI
00000413: POP
00000414: POP
00000415: PUSH1 0x00
00000417: DUP1
00000418: SLOAD
00000419: PUSH21 0xff0000000000000000000000000000000000000000
0000042f: NOT
00000430: AND
00000431: PUSH1 0xa0
00000433: PUSH1 0x02
00000435: EXP
00000436: OR
00000437: SWAP1
00000438: SSTORE
00000439: PUSH1 0x01
0000043b: PUSH2 0x0807
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH2 0x0550
00000443: PUSH1 0x04
00000445: DUP1
00000446: DUP1
00000447: CALLDATALOAD
00000448: SWAP1
00000449: PUSH1 0x20
0000044b: ADD
0000044c: SWAP1
0000044d: DUP3
0000044e: ADD
0000044f: DUP1
00000450: CALLDATALOAD
00000451: SWAP1
00000452: PUSH1 0x20
00000454: ADD
00000455: SWAP2
00000456: SWAP2
00000457: SWAP1
00000458: DUP1
00000459: DUP1
0000045a: PUSH1 0x1f
0000045c: ADD
0000045d: PUSH1 0x20
0000045f: DUP1
00000460: SWAP2
00000461: DIV
00000462: MUL
00000463: PUSH1 0x20
00000465: ADD
00000466: PUSH1 0x40
00000468: MLOAD
00000469: SWAP1
0000046a: DUP2
0000046b: ADD
0000046c: PUSH1 0x40
0000046e: MSTORE
0000046f: DUP1
00000470: SWAP4
00000471: SWAP3
00000472: SWAP2
00000473: SWAP1
00000474: DUP2
00000475: DUP2
00000476: MSTORE
00000477: PUSH1 0x20
00000479: ADD
0000047a: DUP4
0000047b: DUP4
0000047c: DUP1
0000047d: DUP3
0000047e: DUP5
0000047f: CALLDATACOPY
00000480: POP
00000481: SWAP5
00000482: SWAP7
00000483: POP
00000484: POP
00000485: POP
00000486: POP
00000487: POP
00000488: POP
00000489: POP
0000048a: PUSH1 0x00
0000048c: PUSH1 0x00
0000048e: CALLVALUE
0000048f: GT
00000490: ISZERO
00000491: PUSH2 0x0536
00000494: JUMPI
00000495: CALLER
00000496: PUSH1 0x01
00000498: PUSH1 0xa0
0000049a: PUSH1 0x02
0000049c: EXP
0000049d: SUB
0000049e: AND
0000049f: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b
000004c0: CALLVALUE
000004c1: DUP5
000004c2: PUSH1 0x40
000004c4: MLOAD
000004c5: DUP1
000004c6: DUP4
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: DUP1
000004cd: PUSH1 0x20
000004cf: ADD
000004d0: DUP3
000004d1: DUP2
000004d2: SUB
000004d3: DUP3
000004d4: MSTORE
000004d5: DUP4
000004d6: DUP2
000004d7: DUP2
000004d8: MLOAD
000004d9: DUP2
000004da: MSTORE
000004db: PUSH1 0x20
000004dd: ADD
000004de: SWAP2
000004df: POP
000004e0: DUP1
000004e1: MLOAD
000004e2: SWAP1
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: SWAP1
000004e7: DUP1
000004e8: DUP4
000004e9: DUP4
000004ea: DUP3
000004eb: SWAP1
000004ec: PUSH1 0x00
000004ee: PUSH1 0x04
000004f0: PUSH1 0x20
000004f2: DUP5
000004f3: PUSH1 0x1f
000004f5: ADD
000004f6: DIV
000004f7: PUSH1 0x0f
000004f9: MUL
000004fa: PUSH1 0x03
000004fc: ADD
000004fd: CALL
000004fe: POP
000004ff: SWAP1
00000500: POP
00000501: SWAP1
00000502: DUP2
00000503: ADD
00000504: SWAP1
00000505: PUSH1 0x1f
00000507: AND
00000508: DUP1
00000509: ISZERO
0000050a: PUSH2 0x0527
0000050d: JUMPI
0000050e: DUP1
0000050f: DUP3
00000510: SUB
00000511: DUP1
00000512: MLOAD
00000513: PUSH1 0x01
00000515: DUP4
00000516: PUSH1 0x20
00000518: SUB
00000519: PUSH2 0x0100
0000051c: EXP
0000051d: SUB
0000051e: NOT
0000051f: AND
00000520: DUP2
00000521: MSTORE
00000522: PUSH1 0x20
00000524: ADD
00000525: SWAP2
00000526: POP
00000527: JUMPDEST
00000528: POP
00000529: SWAP4
0000052a: POP
0000052b: POP
0000052c: POP
0000052d: POP
0000052e: PUSH1 0x40
00000530: MLOAD
00000531: DUP1
00000532: SWAP2
00000533: SUB
00000534: SWAP1
00000535: LOG2
00000536: JUMPDEST
00000537: POP
00000538: PUSH1 0x01
0000053a: PUSH2 0x0583
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x40
00000541: DUP1
00000542: MLOAD
00000543: SWAP2
00000544: DUP3
00000545: MSTORE
00000546: MLOAD
00000547: SWAP1
00000548: DUP2
00000549: SWAP1
0000054a: SUB
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP1
0000054f: RETURN
00000550: JUMPDEST
00000551: PUSH1 0x40
00000553: DUP1
00000554: MLOAD
00000555: SWAP2
00000556: ISZERO
00000557: ISZERO
00000558: DUP3
00000559: MSTORE
0000055a: MLOAD
0000055b: SWAP1
0000055c: DUP2
0000055d: SWAP1
0000055e: SUB
0000055f: PUSH1 0x20
00000561: ADD
00000562: SWAP1
00000563: RETURN
00000564: JUMPDEST
00000565: PUSH1 0x40
00000567: DUP1
00000568: MLOAD
00000569: PUSH1 0x01
0000056b: PUSH1 0xa0
0000056d: PUSH1 0x02
0000056f: EXP
00000570: SUB
00000571: SWAP3
00000572: SWAP1
00000573: SWAP3
00000574: AND
00000575: DUP3
00000576: MSTORE
00000577: MLOAD
00000578: SWAP1
00000579: DUP2
0000057a: SWAP1
0000057b: SUB
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: SWAP1
00000580: RETURN
00000581: JUMPDEST
00000582: POP
00000583: JUMPDEST
00000584: SWAP2
00000585: SWAP1
00000586: POP
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: SLOAD
0000058d: PUSH1 0xd9
0000058f: PUSH1 0x02
00000591: EXP
00000592: PUSH5 0x30b236b4b7
00000598: MUL
00000599: SWAP2
0000059a: PUSH1 0x01
0000059c: PUSH1 0xa0
0000059e: PUSH1 0x02
000005a0: EXP
000005a1: SUB
000005a2: SWAP2
000005a3: SWAP1
000005a4: SWAP2
000005a5: AND
000005a6: EQ
000005a7: DUP1
000005a8: ISZERO
000005a9: SWAP1
000005aa: PUSH2 0x0615
000005ad: JUMPI
000005ae: POP
000005af: PUSH1 0x40
000005b1: DUP1
000005b2: MLOAD
000005b3: PUSH1 0x00
000005b5: DUP1
000005b6: SLOAD
000005b7: PUSH1 0x01
000005b9: SLOAD
000005ba: PUSH1 0xe4
000005bc: PUSH1 0x02
000005be: EXP
000005bf: PUSH4 0x0a1add51
000005c4: MUL
000005c5: DUP5
000005c6: MSTORE
000005c7: PUSH1 0x04
000005c9: DUP5
000005ca: ADD
000005cb: MSTORE
000005cc: PUSH1 0x24
000005ce: DUP4
000005cf: ADD
000005d0: DUP6
000005d1: SWAP1
000005d2: MSTORE
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: PUSH1 0x02
000005d9: EXP
000005da: SUB
000005db: CALLER
000005dc: DUP2
000005dd: AND
000005de: PUSH1 0x44
000005e0: DUP6
000005e1: ADD
000005e2: MSTORE
000005e3: SWAP4
000005e4: MLOAD
000005e5: SWAP4
000005e6: AND
000005e7: SWAP3
000005e8: PUSH4 0xa1add510
000005ed: SWAP3
000005ee: PUSH1 0x64
000005f0: DUP2
000005f1: DUP2
000005f2: ADD
000005f3: SWAP4
000005f4: PUSH1 0x20
000005f6: SWAP4
000005f7: SWAP3
000005f8: DUP4
000005f9: SWAP1
000005fa: SUB
000005fb: SWAP1
000005fc: SWAP2
000005fd: ADD
000005fe: SWAP1
000005ff: DUP3
00000600: SWAP1
00000601: DUP8
00000602: PUSH2 0x61da
00000605: GAS
00000606: SUB
00000607: CALL
00000608: ISZERO
00000609: PUSH2 0x0002
0000060c: JUMPI
0000060d: POP
0000060e: POP
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: MLOAD
00000613: SWAP1
00000614: POP
00000615: JUMPDEST
00000616: ISZERO
00000617: PUSH2 0x0581
0000061a: JUMPI
0000061b: POP
0000061c: POP
0000061d: PUSH1 0x01
0000061f: PUSH1 0xa0
00000621: PUSH1 0x02
00000623: EXP
00000624: SUB
00000625: DUP2
00000626: AND
00000627: PUSH1 0x00
00000629: SWAP1
0000062a: DUP2
0000062b: MSTORE
0000062c: PUSH1 0x03
0000062e: PUSH1 0x20
00000630: MSTORE
00000631: PUSH1 0x40
00000633: SWAP1
00000634: KECCAK256
00000635: DUP1
00000636: SLOAD
00000637: PUSH1 0xff
00000639: NOT
0000063a: AND
0000063b: PUSH1 0x01
0000063d: SWAP1
0000063e: DUP2
0000063f: OR
00000640: SWAP1
00000641: SWAP2
00000642: SSTORE
00000643: PUSH2 0x0583
00000646: JUMP
00000647: JUMPDEST
00000648: PUSH1 0x00
0000064a: DUP1
0000064b: SLOAD
0000064c: PUSH1 0xd9
0000064e: PUSH1 0x02
00000650: EXP
00000651: PUSH5 0x30b236b4b7
00000657: MUL
00000658: SWAP2
00000659: PUSH1 0x01
0000065b: PUSH1 0xa0
0000065d: PUSH1 0x02
0000065f: EXP
00000660: SUB
00000661: SWAP2
00000662: SWAP1
00000663: SWAP2
00000664: AND
00000665: EQ
00000666: DUP1
00000667: ISZERO
00000668: SWAP1
00000669: PUSH2 0x06d4
0000066c: JUMPI
0000066d: POP
0000066e: PUSH1 0x40
00000670: DUP1
00000671: MLOAD
00000672: PUSH1 0x00
00000674: DUP1
00000675: SLOAD
00000676: PUSH1 0x01
00000678: SLOAD
00000679: PUSH1 0xe4
0000067b: PUSH1 0x02
0000067d: EXP
0000067e: PUSH4 0x0a1add51
00000683: MUL
00000684: DUP5
00000685: MSTORE
00000686: PUSH1 0x04
00000688: DUP5
00000689: ADD
0000068a: MSTORE
0000068b: PUSH1 0x24
0000068d: DUP4
0000068e: ADD
0000068f: DUP6
00000690: SWAP1
00000691: MSTORE
00000692: PUSH1 0x01
00000694: PUSH1 0xa0
00000696: PUSH1 0x02
00000698: EXP
00000699: SUB
0000069a: CALLER
0000069b: DUP2
0000069c: AND
0000069d: PUSH1 0x44
0000069f: DUP6
000006a0: ADD
000006a1: MSTORE
000006a2: SWAP4
000006a3: MLOAD
000006a4: SWAP4
000006a5: AND
000006a6: SWAP3
000006a7: PUSH4 0xa1add510
000006ac: SWAP3
000006ad: PUSH1 0x64
000006af: DUP2
000006b0: DUP2
000006b1: ADD
000006b2: SWAP4
000006b3: PUSH1 0x20
000006b5: SWAP4
000006b6: SWAP3
000006b7: DUP4
000006b8: SWAP1
000006b9: SUB
000006ba: SWAP1
000006bb: SWAP2
000006bc: ADD
000006bd: SWAP1
000006be: DUP3
000006bf: SWAP1
000006c0: DUP8
000006c1: PUSH2 0x61da
000006c4: GAS
000006c5: SUB
000006c6: CALL
000006c7: ISZERO
000006c8: PUSH2 0x0002
000006cb: JUMPI
000006cc: POP
000006cd: POP
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: MLOAD
000006d2: SWAP1
000006d3: POP
000006d4: JUMPDEST
000006d5: ISZERO
000006d6: PUSH2 0x0581
000006d9: JUMPI
000006da: POP
000006db: POP
000006dc: PUSH1 0x01
000006de: PUSH1 0xa0
000006e0: PUSH1 0x02
000006e2: EXP
000006e3: SUB
000006e4: DUP2
000006e5: AND
000006e6: PUSH1 0x00
000006e8: SWAP1
000006e9: DUP2
000006ea: MSTORE
000006eb: PUSH1 0x03
000006ed: PUSH1 0x20
000006ef: MSTORE
000006f0: PUSH1 0x40
000006f2: SWAP1
000006f3: KECCAK256
000006f4: DUP1
000006f5: SLOAD
000006f6: PUSH1 0xff
000006f8: NOT
000006f9: AND
000006fa: SWAP1
000006fb: SSTORE
000006fc: PUSH1 0x01
000006fe: PUSH2 0x0583
00000701: JUMP
00000702: JUMPDEST
00000703: PUSH1 0x01
00000705: DUP4
00000706: DUP2
00000707: SSTORE
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: SLOAD
0000070c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000721: NOT
00000722: AND
00000723: DUP4
00000724: OR
00000725: SWAP1
00000726: SSTORE
00000727: SWAP2
00000728: POP
00000729: JUMPDEST
0000072a: POP
0000072b: SWAP3
0000072c: SWAP2
0000072d: POP
0000072e: POP
0000072f: JUMP
00000730: JUMPDEST
00000731: DUP4
00000732: SWAP1
00000733: POP
00000734: ADDRESS
00000735: PUSH1 0x01
00000737: PUSH1 0xa0
00000739: PUSH1 0x02
0000073b: EXP
0000073c: SUB
0000073d: AND
0000073e: DUP2
0000073f: PUSH1 0x01
00000741: PUSH1 0xa0
00000743: PUSH1 0x02
00000745: EXP
00000746: SUB
00000747: AND
00000748: PUSH4 0x2ade6c36
0000074d: DUP6
0000074e: PUSH1 0x40
00000750: MLOAD
00000751: DUP3
00000752: PUSH1 0xe0
00000754: PUSH1 0x02
00000756: EXP
00000757: MUL
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x04
0000075c: ADD
0000075d: DUP1
0000075e: DUP3
0000075f: PUSH1 0x00
00000761: NOT
00000762: AND
00000763: DUP2
00000764: MSTORE
00000765: PUSH1 0x20
00000767: ADD
00000768: SWAP2
00000769: POP
0000076a: POP
0000076b: PUSH1 0x20
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: DUP1
00000771: DUP4
00000772: SUB
00000773: DUP2
00000774: PUSH1 0x00
00000776: DUP8
00000777: PUSH2 0x61da
0000077a: GAS
0000077b: SUB
0000077c: CALL
0000077d: ISZERO
0000077e: PUSH2 0x0002
00000781: JUMPI
00000782: POP
00000783: POP
00000784: PUSH1 0x40
00000786: MLOAD
00000787: MLOAD
00000788: PUSH1 0x01
0000078a: PUSH1 0xa0
0000078c: PUSH1 0x02
0000078e: EXP
0000078f: SUB
00000790: AND
00000791: SWAP1
00000792: SWAP2
00000793: EQ
00000794: SWAP1
00000795: POP
00000796: PUSH2 0x0702
00000799: JUMPI
0000079a: DUP1
0000079b: PUSH1 0x01
0000079d: PUSH1 0xa0
0000079f: PUSH1 0x02
000007a1: EXP
000007a2: SUB
000007a3: AND
000007a4: PUSH4 0x76849376
000007a9: DUP5
000007aa: ADDRESS
000007ab: PUSH1 0x40
000007ad: MLOAD
000007ae: DUP4
000007af: PUSH1 0xe0
000007b1: PUSH1 0x02
000007b3: EXP
000007b4: MUL
000007b5: DUP2
000007b6: MSTORE
000007b7: PUSH1 0x04
000007b9: ADD
000007ba: DUP1
000007bb: DUP4
000007bc: PUSH1 0x00
000007be: NOT
000007bf: AND
000007c0: DUP2
000007c1: MSTORE
000007c2: PUSH1 0x20
000007c4: ADD
000007c5: DUP3
000007c6: PUSH1 0x01
000007c8: PUSH1 0xa0
000007ca: PUSH1 0x02
000007cc: EXP
000007cd: SUB
000007ce: AND
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x20
000007d3: ADD
000007d4: SWAP3
000007d5: POP
000007d6: POP
000007d7: POP
000007d8: PUSH1 0x20
000007da: PUSH1 0x40
000007dc: MLOAD
000007dd: DUP1
000007de: DUP4
000007df: SUB
000007e0: DUP2
000007e1: PUSH1 0x00
000007e3: DUP8
000007e4: PUSH2 0x61da
000007e7: GAS
000007e8: SUB
000007e9: CALL
000007ea: ISZERO
000007eb: PUSH2 0x0002
000007ee: JUMPI
000007ef: POP
000007f0: POP
000007f1: PUSH1 0x40
000007f3: MLOAD
000007f4: MLOAD
000007f5: ISZERO
000007f6: ISZERO
000007f7: SWAP1
000007f8: POP
000007f9: PUSH2 0x0702
000007fc: JUMPI
000007fd: PUSH1 0x00
000007ff: SWAP2
00000800: POP
00000801: PUSH2 0x0729
00000804: JUMP
00000805: JUMPDEST
00000806: POP
00000807: JUMPDEST
00000808: SWAP1
00000809: JUMP
0000080a: JUMPDEST
0000080b: CALLER
0000080c: PUSH1 0x01
0000080e: PUSH1 0xa0
00000810: PUSH1 0x02
00000812: EXP
00000813: SUB
00000814: AND
00000815: SELFDESTRUCT
00000816: JUMPDEST
00000817: POP
00000818: PUSH1 0x00
0000081a: PUSH2 0x0807
0000081d: JUMP
0000081e: JUMPDEST
0000081f: DUP4
00000820: PUSH1 0x01
00000822: PUSH1 0xa0
00000824: PUSH1 0x02
00000826: EXP
00000827: SUB
00000828: AND
00000829: CALLER
0000082a: PUSH1 0x01
0000082c: PUSH1 0xa0
0000082e: PUSH1 0x02
00000830: EXP
00000831: SUB
00000832: AND
00000833: PUSH32 0x2b0d35cc55a37536a00cf056f44b5f4b453659ddd18bc131a978463523ad3a1f
00000854: DUP6
00000855: DUP6
00000856: PUSH1 0x40
00000858: MLOAD
00000859: DUP1
0000085a: DUP4
0000085b: DUP2
0000085c: MSTORE
0000085d: PUSH1 0x20
0000085f: ADD
00000860: DUP1
00000861: PUSH1 0x20
00000863: ADD
00000864: DUP3
00000865: DUP2
00000866: SUB
00000867: DUP3
00000868: MSTORE
00000869: DUP4
0000086a: DUP2
0000086b: DUP2
0000086c: MLOAD
0000086d: DUP2
0000086e: MSTORE
0000086f: PUSH1 0x20
00000871: ADD
00000872: SWAP2
00000873: POP
00000874: DUP1
00000875: MLOAD
00000876: SWAP1
00000877: PUSH1 0x20
00000879: ADD
0000087a: SWAP1
0000087b: DUP1
0000087c: DUP4
0000087d: DUP4
0000087e: DUP3
0000087f: SWAP1
00000880: PUSH1 0x00
00000882: PUSH1 0x04
00000884: PUSH1 0x20
00000886: DUP5
00000887: PUSH1 0x1f
00000889: ADD
0000088a: DIV
0000088b: PUSH1 0x0f
0000088d: MUL
0000088e: PUSH1 0x03
00000890: ADD
00000891: CALL
00000892: POP
00000893: SWAP1
00000894: POP
00000895: SWAP1
00000896: DUP2
00000897: ADD
00000898: SWAP1
00000899: PUSH1 0x1f
0000089b: AND
0000089c: DUP1
0000089d: ISZERO
0000089e: PUSH2 0x08bb
000008a1: JUMPI
000008a2: DUP1
000008a3: DUP3
000008a4: SUB
000008a5: DUP1
000008a6: MLOAD
000008a7: PUSH1 0x01
000008a9: DUP4
000008aa: PUSH1 0x20
000008ac: SUB
000008ad: PUSH2 0x0100
000008b0: EXP
000008b1: SUB
000008b2: NOT
000008b3: AND
000008b4: DUP2
000008b5: MSTORE
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: SWAP2
000008ba: POP
000008bb: JUMPDEST
000008bc: POP
000008bd: SWAP4
000008be: POP
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: DUP1
000008c6: SWAP2
000008c7: SUB
000008c8: SWAP1
000008c9: LOG3
000008ca: POP
000008cb: PUSH1 0x01
000008cd: JUMPDEST
000008ce: SWAP4
000008cf: SWAP3
000008d0: POP
000008d1: POP
000008d2: POP
000008d3: JUMP
000008d4: JUMPDEST
000008d5: ISZERO
000008d6: ISZERO
000008d7: PUSH2 0x081e
000008da: JUMPI
000008db: POP
000008dc: PUSH1 0x00
000008de: PUSH2 0x08cd
000008e1: JUMP
000008e2: JUMPDEST
000008e3: SWAP1
000008e4: POP
000008e5: JUMPDEST
000008e6: SWAP3
000008e7: SWAP2
000008e8: POP
000008e9: POP
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x01
000008ee: PUSH1 0xa0
000008f0: PUSH1 0x02
000008f2: EXP
000008f3: SUB
000008f4: CALLER
000008f5: AND
000008f6: PUSH1 0x00
000008f8: SWAP1
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x03
000008fd: PUSH1 0x20
000008ff: MSTORE
00000900: PUSH1 0x40
00000902: SWAP1
00000903: KECCAK256
00000904: SLOAD
00000905: PUSH1 0xff
00000907: AND
00000908: ISZERO
00000909: PUSH2 0x08e5
0000090c: JUMPI
0000090d: PUSH2 0x08e2
00000910: DUP4
00000911: DUP4
00000912: PUSH2 0x019e
00000915: JUMP
00000916: JUMPDEST
00000917: POP
00000918: POP
00000919: JUMP
0000091a: JUMPDEST
0000091b: ISZERO
0000091c: ISZERO
0000091d: PUSH2 0x0916
00000920: JUMPI
00000921: PUSH2 0x0002
00000924: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xace8c4d762c2833d239266f9dffd955833799c03a674c6fa6aaf5aca5a09a7f4
call_targets: 0xd6c3fecce74e5fb3a9bcc6bbaaebf80a321e3131
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xace8c4d762c2833d239266f9dffd955833799c03a674c6fa6aaf5aca5a09a7f4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd6c3fecce74e5fb3a9bcc6bbaaebf80a321e3131"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12ab7242",
            "selector": "0x12ab7242",
            "calldata_variants": [
                "0x12ab7242",
                "0x12ab72420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52959d16",
            "selector": "0x52959d16",
            "calldata_variants": [
                "0x52959d16",
                "0x52959d160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x77f18ed3",
            "selector": "0x77f18ed3",
            "calldata_variants": [
                "0x77f18ed3",
                "0x77f18ed30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 365,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 445,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 707,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [],
    "untrusted_call_count": 10
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xace8c4d762c2833d239266f9dffd955833799c03a674c6fa6aaf5aca5a09a7f4
call_targets: 0xd6c3fecce74e5fb3a9bcc6bbaaebf80a321e3131
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xace8c4d762c2833d239266f9dffd955833799c03a674c6fa6aaf5aca5a09a7f4",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd6c3fecce74e5fb3a9bcc6bbaaebf80a321e3131"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12ab7242",
            "selector": "0x12ab7242",
            "calldata_variants": [
                "0x12ab7242",
                "0x12ab72420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52959d16",
            "selector": "0x52959d16",
            "calldata_variants": [
                "0x52959d16",
                "0x52959d160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x77f18ed3",
            "selector": "0x77f18ed3",
            "calldata_variants": [
                "0x77f18ed3",
                "0x77f18ed30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 365,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 445,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 707,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x3dfa8b65e6e102b9de398ae5ba1f1ca7e55e4b4520c67afaff1ea4e7bf75f746
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 30,
    "trace_id": "0x3dfa8b65e6e102b9de398ae5ba1f1ca7e55e4b4520c67afaff1ea4e7bf75f746",
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12ab7242",
            "selector": "0x12ab7242",
            "calldata_variants": [
                "0x12ab7242",
                "0x12ab72420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52959d16",
            "selector": "0x52959d16",
            "calldata_variants": [
                "0x52959d16",
                "0x52959d160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x77f18ed3",
            "selector": "0x77f18ed3",
            "calldata_variants": [
                "0x77f18ed3",
                "0x77f18ed30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}