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

Analysis Run

019b3836-4e17-73d0-aeb1-945414e6f04c

complete
Chain ID
1
Address
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?

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
7319 artifact.fetch complete 1 / 3 3 months ago
7320 tool.cast_disasm complete 1 / 3 3 months ago
109230 analysis.bundle complete 1 / 3 1 week ago
109231 capability.graph complete 1 / 3 1 week ago
109232 detector.run complete 1 / 3 1 week ago
109233 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)
1
EXT*/BALANCE
1
Total opcodes
1686
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0077
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x3c594e7a
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00d2
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x3c68eb81
00000025: EQ
00000026: PUSH2 0x0153
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x41c0e1b5
00000030: EQ
00000031: PUSH2 0x017e
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x4b8ee927
0000003b: EQ
0000003c: PUSH2 0x01a6
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x6a14999a
00000046: EQ
00000047: PUSH2 0x0276
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x7acc0b20
00000051: EQ
00000052: PUSH2 0x02ad
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x8da5cb5b
0000005c: EQ
0000005d: PUSH2 0x02eb
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x9536884f
00000067: EQ
00000068: PUSH2 0x02fd
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xed90c7b7
00000072: EQ
00000073: PUSH2 0x0312
00000076: JUMPI
00000077: JUMPDEST
00000078: CALLVALUE
00000079: PUSH1 0x00
0000007b: SWAP1
0000007c: DUP2
0000007d: MSTORE
0000007e: PUSH1 0x02
00000080: PUSH1 0x20
00000082: MSTORE
00000083: PUSH1 0x40
00000085: DUP2
00000086: KECCAK256
00000087: SLOAD
00000088: DUP2
00000089: SLOAD
0000008a: PUSH2 0x0327
0000008d: SWAP3
0000008e: SWAP1
0000008f: DUP2
00000090: SWAP1
00000091: DUP4
00000092: SWAP1
00000093: DUP2
00000094: LT
00000095: ISZERO
00000096: PUSH2 0x0002
00000099: JUMPI
0000009a: POP
0000009b: POP
0000009c: DUP1
0000009d: DUP1
0000009e: MSTORE
0000009f: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
000000c0: PUSH1 0x03
000000c2: DUP4
000000c3: MUL
000000c4: ADD
000000c5: SLOAD
000000c6: SWAP1
000000c7: DUP2
000000c8: EQ
000000c9: ISZERO
000000ca: PUSH2 0x0329
000000cd: JUMPI
000000ce: PUSH2 0x0002
000000d1: JUMP
000000d2: JUMPDEST
000000d3: PUSH1 0x40
000000d5: DUP1
000000d6: MLOAD
000000d7: PUSH1 0x20
000000d9: PUSH1 0x04
000000db: DUP1
000000dc: CALLDATALOAD
000000dd: DUP1
000000de: DUP3
000000df: ADD
000000e0: CALLDATALOAD
000000e1: PUSH1 0x1f
000000e3: DUP2
000000e4: ADD
000000e5: DUP5
000000e6: SWAP1
000000e7: DIV
000000e8: DUP5
000000e9: MUL
000000ea: DUP6
000000eb: ADD
000000ec: DUP5
000000ed: ADD
000000ee: SWAP1
000000ef: SWAP6
000000f0: MSTORE
000000f1: DUP5
000000f2: DUP5
000000f3: MSTORE
000000f4: PUSH2 0x0327
000000f7: SWAP5
000000f8: SWAP2
000000f9: SWAP4
000000fa: PUSH1 0x24
000000fc: SWAP4
000000fd: SWAP1
000000fe: SWAP3
000000ff: SWAP2
00000100: DUP5
00000101: ADD
00000102: SWAP2
00000103: SWAP1
00000104: DUP2
00000105: SWAP1
00000106: DUP5
00000107: ADD
00000108: DUP4
00000109: DUP3
0000010a: DUP1
0000010b: DUP3
0000010c: DUP5
0000010d: CALLDATACOPY
0000010e: POP
0000010f: SWAP5
00000110: SWAP7
00000111: POP
00000112: POP
00000113: SWAP4
00000114: CALLDATALOAD
00000115: SWAP4
00000116: POP
00000117: POP
00000118: PUSH1 0x44
0000011a: CALLDATALOAD
0000011b: SWAP2
0000011c: POP
0000011d: POP
0000011e: PUSH1 0x00
00000120: DUP1
00000121: SLOAD
00000122: PUSH1 0x01
00000124: DUP2
00000125: ADD
00000126: DUP1
00000127: DUP4
00000128: SSTORE
00000129: DUP3
0000012a: DUP2
0000012b: DUP4
0000012c: DUP1
0000012d: ISZERO
0000012e: DUP3
0000012f: SWAP1
00000130: GT
00000131: PUSH2 0x0458
00000134: JUMPI
00000135: PUSH1 0x03
00000137: MUL
00000138: DUP2
00000139: PUSH1 0x03
0000013b: MUL
0000013c: DUP4
0000013d: PUSH1 0x00
0000013f: MSTORE
00000140: PUSH1 0x20
00000142: PUSH1 0x00
00000144: KECCAK256
00000145: SWAP2
00000146: DUP3
00000147: ADD
00000148: SWAP2
00000149: ADD
0000014a: PUSH2 0x0458
0000014d: SWAP2
0000014e: SWAP1
0000014f: PUSH2 0x04f3
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x0327
00000157: PUSH1 0x40
00000159: MLOAD
0000015a: PUSH1 0x01
0000015c: SLOAD
0000015d: PUSH1 0x01
0000015f: PUSH1 0xa0
00000161: PUSH1 0x02
00000163: EXP
00000164: SUB
00000165: SWAP1
00000166: DUP2
00000167: AND
00000168: SWAP2
00000169: PUSH1 0x00
0000016b: SWAP2
0000016c: ADDRESS
0000016d: AND
0000016e: BALANCE
0000016f: SWAP1
00000170: DUP3
00000171: DUP2
00000172: DUP2
00000173: DUP2
00000174: DUP6
00000175: DUP9
00000176: DUP4
00000177: CALL
00000178: POP
00000179: POP
0000017a: POP
0000017b: POP
0000017c: POP
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x0327
00000182: PUSH1 0x01
00000184: SLOAD
00000185: CALLER
00000186: PUSH1 0x01
00000188: PUSH1 0xa0
0000018a: PUSH1 0x02
0000018c: EXP
0000018d: SUB
0000018e: SWAP1
0000018f: DUP2
00000190: AND
00000191: SWAP2
00000192: AND
00000193: EQ
00000194: ISZERO
00000195: PUSH2 0x066e
00000198: JUMPI
00000199: PUSH1 0x01
0000019b: SLOAD
0000019c: PUSH1 0x01
0000019e: PUSH1 0xa0
000001a0: PUSH1 0x02
000001a2: EXP
000001a3: SUB
000001a4: AND
000001a5: SELFDESTRUCT
000001a6: JUMPDEST
000001a7: PUSH1 0x40
000001a9: DUP1
000001aa: MLOAD
000001ab: PUSH1 0x20
000001ad: PUSH1 0x24
000001af: DUP1
000001b0: CALLDATALOAD
000001b1: PUSH1 0x04
000001b3: DUP2
000001b4: DUP2
000001b5: ADD
000001b6: CALLDATALOAD
000001b7: PUSH1 0x1f
000001b9: DUP2
000001ba: ADD
000001bb: DUP6
000001bc: SWAP1
000001bd: DIV
000001be: DUP6
000001bf: MUL
000001c0: DUP7
000001c1: ADD
000001c2: DUP6
000001c3: ADD
000001c4: SWAP1
000001c5: SWAP7
000001c6: MSTORE
000001c7: DUP6
000001c8: DUP6
000001c9: MSTORE
000001ca: PUSH2 0x0327
000001cd: SWAP6
000001ce: DUP2
000001cf: CALLDATALOAD
000001d0: SWAP6
000001d1: SWAP2
000001d2: SWAP5
000001d3: PUSH1 0x44
000001d5: SWAP5
000001d6: SWAP3
000001d7: SWAP4
000001d8: SWAP1
000001d9: SWAP3
000001da: ADD
000001db: SWAP2
000001dc: DUP2
000001dd: SWAP1
000001de: DUP5
000001df: ADD
000001e0: DUP4
000001e1: DUP3
000001e2: DUP1
000001e3: DUP3
000001e4: DUP5
000001e5: CALLDATACOPY
000001e6: POP
000001e7: SWAP5
000001e8: SWAP7
000001e9: POP
000001ea: POP
000001eb: SWAP4
000001ec: CALLDATALOAD
000001ed: SWAP4
000001ee: POP
000001ef: POP
000001f0: PUSH1 0x64
000001f2: CALLDATALOAD
000001f3: SWAP2
000001f4: POP
000001f5: POP
000001f6: DUP3
000001f7: PUSH1 0x00
000001f9: PUSH1 0x00
000001fb: POP
000001fc: DUP6
000001fd: DUP2
000001fe: SLOAD
000001ff: DUP2
00000200: LT
00000201: ISZERO
00000202: PUSH2 0x0002
00000205: JUMPI
00000206: POP
00000207: DUP1
00000208: DUP1
00000209: MSTORE
0000020a: PUSH1 0x03
0000020c: DUP7
0000020d: MUL
0000020e: PUSH1 0x00
00000210: DUP1
00000211: MLOAD
00000212: PUSH1 0x20
00000214: PUSH2 0x0916
00000217: DUP4
00000218: CODECOPY
00000219: DUP2
0000021a: MLOAD
0000021b: SWAP2
0000021c: MSTORE
0000021d: ADD
0000021e: SWAP1
0000021f: POP
00000220: PUSH1 0x00
00000222: ADD
00000223: PUSH1 0x00
00000225: POP
00000226: SWAP1
00000227: DUP1
00000228: MLOAD
00000229: SWAP1
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: SWAP1
0000022e: DUP3
0000022f: DUP1
00000230: SLOAD
00000231: PUSH1 0x01
00000233: DUP2
00000234: PUSH1 0x01
00000236: AND
00000237: ISZERO
00000238: PUSH2 0x0100
0000023b: MUL
0000023c: SUB
0000023d: AND
0000023e: PUSH1 0x02
00000240: SWAP1
00000241: DIV
00000242: SWAP1
00000243: PUSH1 0x00
00000245: MSTORE
00000246: PUSH1 0x20
00000248: PUSH1 0x00
0000024a: KECCAK256
0000024b: SWAP1
0000024c: PUSH1 0x1f
0000024e: ADD
0000024f: PUSH1 0x20
00000251: SWAP1
00000252: DIV
00000253: DUP2
00000254: ADD
00000255: SWAP3
00000256: DUP3
00000257: PUSH1 0x1f
00000259: LT
0000025a: PUSH2 0x063e
0000025d: JUMPI
0000025e: DUP1
0000025f: MLOAD
00000260: PUSH1 0xff
00000262: NOT
00000263: AND
00000264: DUP4
00000265: DUP1
00000266: ADD
00000267: OR
00000268: DUP6
00000269: SSTORE
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x05be
0000026f: SWAP3
00000270: SWAP2
00000271: POP
00000272: PUSH2 0x0543
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x0327
0000027a: PUSH1 0x00
0000027c: PUSH1 0x00
0000027e: PUSH1 0x00
00000280: POP
00000281: DUP2
00000282: DUP2
00000283: SLOAD
00000284: DUP2
00000285: DUP4
00000286: SSTORE
00000287: DUP2
00000288: DUP2
00000289: ISZERO
0000028a: GT
0000028b: PUSH2 0x0638
0000028e: JUMPI
0000028f: PUSH1 0x03
00000291: MUL
00000292: DUP2
00000293: PUSH1 0x03
00000295: MUL
00000296: DUP4
00000297: PUSH1 0x00
00000299: MSTORE
0000029a: PUSH1 0x20
0000029c: PUSH1 0x00
0000029e: KECCAK256
0000029f: SWAP2
000002a0: DUP3
000002a1: ADD
000002a2: SWAP2
000002a3: ADD
000002a4: PUSH2 0x0638
000002a7: SWAP2
000002a8: SWAP1
000002a9: PUSH2 0x0683
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH2 0x03a4
000002b1: PUSH1 0x04
000002b3: CALLDATALOAD
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: SLOAD
000002b8: DUP3
000002b9: SWAP1
000002ba: DUP2
000002bb: LT
000002bc: ISZERO
000002bd: PUSH2 0x0002
000002c0: JUMPI
000002c1: POP
000002c2: DUP1
000002c3: DUP1
000002c4: MSTORE
000002c5: PUSH1 0x03
000002c7: DUP3
000002c8: MUL
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: MLOAD
000002cd: PUSH1 0x20
000002cf: PUSH2 0x0916
000002d2: DUP4
000002d3: CODECOPY
000002d4: DUP2
000002d5: MLOAD
000002d6: SWAP2
000002d7: MSTORE
000002d8: ADD
000002d9: SWAP1
000002da: POP
000002db: PUSH1 0x01
000002dd: DUP2
000002de: ADD
000002df: SLOAD
000002e0: PUSH1 0x02
000002e2: DUP3
000002e3: ADD
000002e4: SLOAD
000002e5: SWAP2
000002e6: SWAP3
000002e7: POP
000002e8: SWAP1
000002e9: DUP4
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x043c
000002ef: PUSH1 0x01
000002f1: SLOAD
000002f2: PUSH1 0x01
000002f4: PUSH1 0xa0
000002f6: PUSH1 0x02
000002f8: EXP
000002f9: SUB
000002fa: AND
000002fb: DUP2
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH1 0x00
00000300: SLOAD
00000301: PUSH1 0x40
00000303: DUP1
00000304: MLOAD
00000305: SWAP2
00000306: DUP3
00000307: MSTORE
00000308: MLOAD
00000309: SWAP1
0000030a: DUP2
0000030b: SWAP1
0000030c: SUB
0000030d: PUSH1 0x20
0000030f: ADD
00000310: SWAP1
00000311: RETURN
00000312: JUMPDEST
00000313: PUSH2 0x0327
00000316: PUSH1 0x04
00000318: CALLDATALOAD
00000319: PUSH1 0x00
0000031b: DUP1
0000031c: SLOAD
0000031d: DUP3
0000031e: LT
0000031f: PUSH2 0x06d7
00000322: JUMPI
00000323: PUSH2 0x03a0
00000326: JUMP
00000327: JUMPDEST
00000328: STOP
00000329: JUMPDEST
0000032a: PUSH1 0x01
0000032c: DUP2
0000032d: SUB
0000032e: PUSH1 0x00
00000330: PUSH1 0x00
00000332: POP
00000333: DUP4
00000334: DUP2
00000335: SLOAD
00000336: DUP2
00000337: LT
00000338: ISZERO
00000339: PUSH2 0x0002
0000033c: JUMPI
0000033d: SWAP1
0000033e: DUP1
0000033f: MSTORE
00000340: PUSH1 0x03
00000342: MUL
00000343: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
00000364: ADD
00000365: SSTORE
00000366: PUSH1 0x40
00000368: DUP1
00000369: MLOAD
0000036a: DUP4
0000036b: DUP2
0000036c: MSTORE
0000036d: CALLVALUE
0000036e: PUSH1 0x20
00000370: DUP3
00000371: ADD
00000372: MSTORE
00000373: DUP2
00000374: MLOAD
00000375: PUSH32 0x24b06620e4407a6cc2e1833ad4667794d1c40ca323e185691c227cd16aa85f79
00000396: SWAP3
00000397: SWAP2
00000398: DUP2
00000399: SWAP1
0000039a: SUB
0000039b: SWAP1
0000039c: SWAP2
0000039d: ADD
0000039e: SWAP1
0000039f: LOG1
000003a0: JUMPDEST
000003a1: POP
000003a2: POP
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH1 0x40
000003a7: DUP1
000003a8: MLOAD
000003a9: PUSH1 0x20
000003ab: DUP2
000003ac: ADD
000003ad: DUP5
000003ae: SWAP1
000003af: MSTORE
000003b0: SWAP1
000003b1: DUP2
000003b2: ADD
000003b3: DUP3
000003b4: SWAP1
000003b5: MSTORE
000003b6: PUSH1 0x60
000003b8: DUP1
000003b9: DUP3
000003ba: MSTORE
000003bb: DUP5
000003bc: SLOAD
000003bd: PUSH1 0x02
000003bf: PUSH1 0x01
000003c1: DUP3
000003c2: AND
000003c3: ISZERO
000003c4: PUSH2 0x0100
000003c7: MUL
000003c8: PUSH1 0x00
000003ca: NOT
000003cb: ADD
000003cc: SWAP1
000003cd: SWAP2
000003ce: AND
000003cf: DIV
000003d0: SWAP1
000003d1: DUP3
000003d2: ADD
000003d3: DUP2
000003d4: SWAP1
000003d5: MSTORE
000003d6: DUP2
000003d7: SWAP1
000003d8: PUSH1 0x80
000003da: DUP3
000003db: ADD
000003dc: SWAP1
000003dd: DUP7
000003de: SWAP1
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x042b
000003e4: JUMPI
000003e5: DUP1
000003e6: PUSH1 0x1f
000003e8: LT
000003e9: PUSH2 0x0400
000003ec: JUMPI
000003ed: PUSH2 0x0100
000003f0: DUP1
000003f1: DUP4
000003f2: SLOAD
000003f3: DIV
000003f4: MUL
000003f5: DUP4
000003f6: MSTORE
000003f7: SWAP2
000003f8: PUSH1 0x20
000003fa: ADD
000003fb: SWAP2
000003fc: PUSH2 0x042b
000003ff: JUMP
00000400: JUMPDEST
00000401: DUP3
00000402: ADD
00000403: SWAP2
00000404: SWAP1
00000405: PUSH1 0x00
00000407: MSTORE
00000408: PUSH1 0x20
0000040a: PUSH1 0x00
0000040c: KECCAK256
0000040d: SWAP1
0000040e: JUMPDEST
0000040f: DUP2
00000410: SLOAD
00000411: DUP2
00000412: MSTORE
00000413: SWAP1
00000414: PUSH1 0x01
00000416: ADD
00000417: SWAP1
00000418: PUSH1 0x20
0000041a: ADD
0000041b: DUP1
0000041c: DUP4
0000041d: GT
0000041e: PUSH2 0x040e
00000421: JUMPI
00000422: DUP3
00000423: SWAP1
00000424: SUB
00000425: PUSH1 0x1f
00000427: AND
00000428: DUP3
00000429: ADD
0000042a: SWAP2
0000042b: JUMPDEST
0000042c: POP
0000042d: POP
0000042e: SWAP5
0000042f: POP
00000430: POP
00000431: POP
00000432: POP
00000433: POP
00000434: PUSH1 0x40
00000436: MLOAD
00000437: DUP1
00000438: SWAP2
00000439: SUB
0000043a: SWAP1
0000043b: RETURN
0000043c: JUMPDEST
0000043d: PUSH1 0x40
0000043f: DUP1
00000440: MLOAD
00000441: PUSH1 0x01
00000443: PUSH1 0xa0
00000445: PUSH1 0x02
00000447: EXP
00000448: SUB
00000449: SWAP1
0000044a: SWAP3
0000044b: AND
0000044c: DUP3
0000044d: MSTORE
0000044e: MLOAD
0000044f: SWAP1
00000450: DUP2
00000451: SWAP1
00000452: SUB
00000453: PUSH1 0x20
00000455: ADD
00000456: SWAP1
00000457: RETURN
00000458: JUMPDEST
00000459: POP
0000045a: POP
0000045b: POP
0000045c: SWAP2
0000045d: SWAP1
0000045e: SWAP1
0000045f: PUSH1 0x00
00000461: MSTORE
00000462: PUSH1 0x20
00000464: PUSH1 0x00
00000466: KECCAK256
00000467: SWAP1
00000468: PUSH1 0x03
0000046a: MUL
0000046b: ADD
0000046c: PUSH1 0x00
0000046e: POP
0000046f: PUSH1 0x40
00000471: DUP1
00000472: MLOAD
00000473: PUSH1 0x60
00000475: DUP2
00000476: ADD
00000477: DUP3
00000478: MSTORE
00000479: DUP7
0000047a: DUP2
0000047b: MSTORE
0000047c: PUSH1 0x20
0000047e: DUP2
0000047f: DUP2
00000480: ADD
00000481: DUP8
00000482: SWAP1
00000483: MSTORE
00000484: SWAP2
00000485: DUP2
00000486: ADD
00000487: DUP6
00000488: SWAP1
00000489: MSTORE
0000048a: DUP7
0000048b: MLOAD
0000048c: DUP4
0000048d: SLOAD
0000048e: PUSH1 0x00
00000490: DUP6
00000491: DUP2
00000492: MSTORE
00000493: DUP5
00000494: SWAP1
00000495: KECCAK256
00000496: SWAP3
00000497: SWAP5
00000498: SWAP4
00000499: DUP5
0000049a: SWAP4
0000049b: PUSH1 0x02
0000049d: PUSH1 0x01
0000049f: DUP5
000004a0: AND
000004a1: ISZERO
000004a2: PUSH2 0x0100
000004a5: MUL
000004a6: PUSH1 0x00
000004a8: NOT
000004a9: ADD
000004aa: SWAP1
000004ab: SWAP4
000004ac: AND
000004ad: SWAP3
000004ae: SWAP1
000004af: SWAP3
000004b0: DIV
000004b1: PUSH1 0x1f
000004b3: SWAP1
000004b4: DUP2
000004b5: ADD
000004b6: DUP3
000004b7: SWAP1
000004b8: DIV
000004b9: DUP4
000004ba: ADD
000004bb: SWAP4
000004bc: SWAP3
000004bd: SWAP2
000004be: DUP12
000004bf: ADD
000004c0: SWAP1
000004c1: DUP4
000004c2: SWAP1
000004c3: LT
000004c4: PUSH2 0x055b
000004c7: JUMPI
000004c8: DUP1
000004c9: MLOAD
000004ca: PUSH1 0xff
000004cc: NOT
000004cd: AND
000004ce: DUP4
000004cf: DUP1
000004d0: ADD
000004d1: OR
000004d2: DUP6
000004d3: SSTORE
000004d4: JUMPDEST
000004d5: POP
000004d6: PUSH2 0x058b
000004d9: SWAP3
000004da: SWAP2
000004db: POP
000004dc: PUSH2 0x0543
000004df: JUMP
000004e0: JUMPDEST
000004e1: POP
000004e2: POP
000004e3: PUSH1 0x00
000004e5: PUSH1 0x01
000004e7: DUP3
000004e8: ADD
000004e9: DUP2
000004ea: DUP2
000004eb: SSTORE
000004ec: PUSH1 0x02
000004ee: SWAP3
000004ef: SWAP1
000004f0: SWAP3
000004f1: ADD
000004f2: SSTORE
000004f3: JUMPDEST
000004f4: DUP1
000004f5: DUP3
000004f6: GT
000004f7: ISZERO
000004f8: PUSH2 0x0557
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: PUSH1 0x00
00000500: DUP3
00000501: ADD
00000502: PUSH1 0x00
00000504: POP
00000505: DUP1
00000506: SLOAD
00000507: PUSH1 0x01
00000509: DUP2
0000050a: PUSH1 0x01
0000050c: AND
0000050d: ISZERO
0000050e: PUSH2 0x0100
00000511: MUL
00000512: SUB
00000513: AND
00000514: PUSH1 0x02
00000516: SWAP1
00000517: DIV
00000518: PUSH1 0x00
0000051a: DUP3
0000051b: SSTORE
0000051c: DUP1
0000051d: PUSH1 0x1f
0000051f: LT
00000520: PUSH2 0x0529
00000523: JUMPI
00000524: POP
00000525: PUSH2 0x04e0
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH1 0x1f
0000052c: ADD
0000052d: PUSH1 0x20
0000052f: SWAP1
00000530: DIV
00000531: SWAP1
00000532: PUSH1 0x00
00000534: MSTORE
00000535: PUSH1 0x20
00000537: PUSH1 0x00
00000539: KECCAK256
0000053a: SWAP1
0000053b: DUP2
0000053c: ADD
0000053d: SWAP1
0000053e: PUSH2 0x04e0
00000541: SWAP2
00000542: SWAP1
00000543: JUMPDEST
00000544: DUP1
00000545: DUP3
00000546: GT
00000547: ISZERO
00000548: PUSH2 0x0557
0000054b: JUMPI
0000054c: PUSH1 0x00
0000054e: DUP2
0000054f: SSTORE
00000550: PUSH1 0x01
00000552: ADD
00000553: PUSH2 0x0543
00000556: JUMP
00000557: JUMPDEST
00000558: POP
00000559: SWAP1
0000055a: JUMP
0000055b: JUMPDEST
0000055c: DUP3
0000055d: DUP1
0000055e: ADD
0000055f: PUSH1 0x01
00000561: ADD
00000562: DUP6
00000563: SSTORE
00000564: DUP3
00000565: ISZERO
00000566: PUSH2 0x04d4
00000569: JUMPI
0000056a: SWAP2
0000056b: DUP3
0000056c: ADD
0000056d: JUMPDEST
0000056e: DUP3
0000056f: DUP2
00000570: GT
00000571: ISZERO
00000572: PUSH2 0x04d4
00000575: JUMPI
00000576: DUP3
00000577: MLOAD
00000578: DUP3
00000579: PUSH1 0x00
0000057b: POP
0000057c: SSTORE
0000057d: SWAP2
0000057e: PUSH1 0x20
00000580: ADD
00000581: SWAP2
00000582: SWAP1
00000583: PUSH1 0x01
00000585: ADD
00000586: SWAP1
00000587: PUSH2 0x056d
0000058a: JUMP
0000058b: JUMPDEST
0000058c: POP
0000058d: POP
0000058e: PUSH1 0x20
00000590: DUP3
00000591: DUP2
00000592: ADD
00000593: MLOAD
00000594: PUSH1 0x01
00000596: DUP4
00000597: ADD
00000598: SSTORE
00000599: PUSH1 0x40
0000059b: SWAP3
0000059c: DUP4
0000059d: ADD
0000059e: MLOAD
0000059f: PUSH1 0x02
000005a1: SWAP3
000005a2: DUP4
000005a3: ADD
000005a4: SSTORE
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: SLOAD
000005a9: SWAP7
000005aa: DUP2
000005ab: MSTORE
000005ac: SWAP2
000005ad: SWAP1
000005ae: MSTORE
000005af: KECCAK256
000005b0: PUSH1 0x00
000005b2: NOT
000005b3: SWAP4
000005b4: SWAP1
000005b5: SWAP4
000005b6: ADD
000005b7: SWAP1
000005b8: SWAP3
000005b9: SSTORE
000005ba: POP
000005bb: POP
000005bc: POP
000005bd: JUMP
000005be: JUMPDEST
000005bf: POP
000005c0: POP
000005c1: DUP2
000005c2: PUSH1 0x00
000005c4: PUSH1 0x00
000005c6: POP
000005c7: DUP6
000005c8: DUP2
000005c9: SLOAD
000005ca: DUP2
000005cb: LT
000005cc: ISZERO
000005cd: PUSH2 0x0002
000005d0: JUMPI
000005d1: DUP2
000005d2: DUP1
000005d3: MSTORE
000005d4: PUSH1 0x03
000005d6: DUP2
000005d7: MUL
000005d8: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000005f9: ADD
000005fa: SWAP3
000005fb: SWAP1
000005fc: SWAP3
000005fd: SSTORE
000005fe: DUP1
000005ff: SLOAD
00000600: DUP4
00000601: SWAP3
00000602: POP
00000603: DUP7
00000604: SWAP1
00000605: DUP2
00000606: LT
00000607: ISZERO
00000608: PUSH2 0x0002
0000060b: JUMPI
0000060c: POP
0000060d: POP
0000060e: POP
0000060f: PUSH1 0x03
00000611: DUP5
00000612: MUL
00000613: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
00000634: ADD
00000635: DUP2
00000636: SWAP1
00000637: SSTORE
00000638: JUMPDEST
00000639: POP
0000063a: POP
0000063b: POP
0000063c: POP
0000063d: JUMP
0000063e: JUMPDEST
0000063f: DUP3
00000640: DUP1
00000641: ADD
00000642: PUSH1 0x01
00000644: ADD
00000645: DUP6
00000646: SSTORE
00000647: DUP3
00000648: ISZERO
00000649: PUSH2 0x026a
0000064c: JUMPI
0000064d: SWAP2
0000064e: DUP3
0000064f: ADD
00000650: JUMPDEST
00000651: DUP3
00000652: DUP2
00000653: GT
00000654: ISZERO
00000655: PUSH2 0x026a
00000658: JUMPI
00000659: DUP3
0000065a: MLOAD
0000065b: DUP3
0000065c: PUSH1 0x00
0000065e: POP
0000065f: SSTORE
00000660: SWAP2
00000661: PUSH1 0x20
00000663: ADD
00000664: SWAP2
00000665: SWAP1
00000666: PUSH1 0x01
00000668: ADD
00000669: SWAP1
0000066a: PUSH2 0x0650
0000066d: JUMP
0000066e: JUMPDEST
0000066f: JUMP
00000670: JUMPDEST
00000671: POP
00000672: POP
00000673: PUSH1 0x00
00000675: PUSH1 0x01
00000677: DUP3
00000678: ADD
00000679: DUP2
0000067a: DUP2
0000067b: SSTORE
0000067c: PUSH1 0x02
0000067e: SWAP3
0000067f: SWAP1
00000680: SWAP3
00000681: ADD
00000682: SSTORE
00000683: JUMPDEST
00000684: DUP1
00000685: DUP3
00000686: GT
00000687: ISZERO
00000688: PUSH2 0x0557
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: PUSH1 0x00
00000690: DUP3
00000691: ADD
00000692: PUSH1 0x00
00000694: POP
00000695: DUP1
00000696: SLOAD
00000697: PUSH1 0x01
00000699: DUP2
0000069a: PUSH1 0x01
0000069c: AND
0000069d: ISZERO
0000069e: PUSH2 0x0100
000006a1: MUL
000006a2: SUB
000006a3: AND
000006a4: PUSH1 0x02
000006a6: SWAP1
000006a7: DIV
000006a8: PUSH1 0x00
000006aa: DUP3
000006ab: SSTORE
000006ac: DUP1
000006ad: PUSH1 0x1f
000006af: LT
000006b0: PUSH2 0x06b9
000006b3: JUMPI
000006b4: POP
000006b5: PUSH2 0x0670
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH1 0x1f
000006bc: ADD
000006bd: PUSH1 0x20
000006bf: SWAP1
000006c0: DIV
000006c1: SWAP1
000006c2: PUSH1 0x00
000006c4: MSTORE
000006c5: PUSH1 0x20
000006c7: PUSH1 0x00
000006c9: KECCAK256
000006ca: SWAP1
000006cb: DUP2
000006cc: ADD
000006cd: SWAP1
000006ce: PUSH2 0x0670
000006d1: SWAP2
000006d2: SWAP1
000006d3: PUSH2 0x0543
000006d6: JUMP
000006d7: JUMPDEST
000006d8: POP
000006d9: DUP1
000006da: JUMPDEST
000006db: PUSH1 0x00
000006dd: SLOAD
000006de: PUSH1 0x00
000006e0: NOT
000006e1: ADD
000006e2: DUP2
000006e3: LT
000006e4: ISZERO
000006e5: PUSH2 0x0798
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: SLOAD
000006ed: PUSH1 0x01
000006ef: DUP4
000006f0: ADD
000006f1: SWAP1
000006f2: DUP2
000006f3: LT
000006f4: ISZERO
000006f5: PUSH2 0x0002
000006f8: JUMPI
000006f9: DUP2
000006fa: DUP1
000006fb: MSTORE
000006fc: PUSH1 0x03
000006fe: MUL
000006ff: PUSH1 0x00
00000701: DUP1
00000702: MLOAD
00000703: PUSH1 0x20
00000705: PUSH2 0x0916
00000708: DUP4
00000709: CODECOPY
0000070a: DUP2
0000070b: MLOAD
0000070c: SWAP2
0000070d: MSTORE
0000070e: ADD
0000070f: SWAP1
00000710: POP
00000711: PUSH1 0x00
00000713: DUP1
00000714: SLOAD
00000715: DUP4
00000716: SWAP1
00000717: DUP2
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x0002
0000071d: JUMPI
0000071e: DUP2
0000071f: DUP1
00000720: MSTORE
00000721: PUSH1 0x03
00000723: MUL
00000724: PUSH1 0x00
00000726: DUP1
00000727: MLOAD
00000728: PUSH1 0x20
0000072a: PUSH2 0x0916
0000072d: DUP4
0000072e: CODECOPY
0000072f: DUP2
00000730: MLOAD
00000731: SWAP2
00000732: MSTORE
00000733: ADD
00000734: SWAP1
00000735: POP
00000736: PUSH1 0x00
00000738: DUP3
00000739: ADD
0000073a: PUSH1 0x00
0000073c: POP
0000073d: DUP2
0000073e: PUSH1 0x00
00000740: ADD
00000741: PUSH1 0x00
00000743: POP
00000744: SWAP1
00000745: DUP1
00000746: SLOAD
00000747: PUSH1 0x01
00000749: DUP2
0000074a: PUSH1 0x01
0000074c: AND
0000074d: ISZERO
0000074e: PUSH2 0x0100
00000751: MUL
00000752: SUB
00000753: AND
00000754: PUSH1 0x02
00000756: SWAP1
00000757: DIV
00000758: DUP3
00000759: DUP1
0000075a: SLOAD
0000075b: PUSH1 0x01
0000075d: DUP2
0000075e: PUSH1 0x01
00000760: AND
00000761: ISZERO
00000762: PUSH2 0x0100
00000765: MUL
00000766: SUB
00000767: AND
00000768: PUSH1 0x02
0000076a: SWAP1
0000076b: DIV
0000076c: SWAP1
0000076d: PUSH1 0x00
0000076f: MSTORE
00000770: PUSH1 0x20
00000772: PUSH1 0x00
00000774: KECCAK256
00000775: SWAP1
00000776: PUSH1 0x1f
00000778: ADD
00000779: PUSH1 0x20
0000077b: SWAP1
0000077c: DIV
0000077d: DUP2
0000077e: ADD
0000077f: SWAP3
00000780: DUP3
00000781: PUSH1 0x1f
00000783: LT
00000784: PUSH2 0x0830
00000787: JUMPI
00000788: DUP1
00000789: SLOAD
0000078a: DUP6
0000078b: SSTORE
0000078c: JUMPDEST
0000078d: POP
0000078e: PUSH2 0x086c
00000791: SWAP3
00000792: SWAP2
00000793: POP
00000794: PUSH2 0x0543
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH1 0x00
0000079b: DUP1
0000079c: SLOAD
0000079d: PUSH1 0x00
0000079f: NOT
000007a0: DUP2
000007a1: ADD
000007a2: SWAP1
000007a3: DUP2
000007a4: LT
000007a5: ISZERO
000007a6: PUSH2 0x0002
000007a9: JUMPI
000007aa: DUP2
000007ab: DUP1
000007ac: MSTORE
000007ad: PUSH1 0x03
000007af: MUL
000007b0: PUSH1 0x00
000007b2: DUP1
000007b3: MLOAD
000007b4: PUSH1 0x20
000007b6: PUSH2 0x0916
000007b9: DUP4
000007ba: CODECOPY
000007bb: DUP2
000007bc: MLOAD
000007bd: SWAP2
000007be: MSTORE
000007bf: ADD
000007c0: SWAP1
000007c1: DUP2
000007c2: SLOAD
000007c3: PUSH1 0x00
000007c5: DUP4
000007c6: SSTORE
000007c7: DUP3
000007c8: SWAP1
000007c9: PUSH1 0x02
000007cb: PUSH1 0x01
000007cd: DUP3
000007ce: AND
000007cf: ISZERO
000007d0: PUSH2 0x0100
000007d3: MUL
000007d4: PUSH1 0x00
000007d6: NOT
000007d7: ADD
000007d8: SWAP1
000007d9: SWAP2
000007da: AND
000007db: DIV
000007dc: PUSH1 0x1f
000007de: DUP2
000007df: SWAP1
000007e0: LT
000007e1: PUSH2 0x0889
000007e4: JUMPI
000007e5: POP
000007e6: JUMPDEST
000007e7: POP
000007e8: POP
000007e9: PUSH1 0x00
000007eb: PUSH1 0x01
000007ed: DUP3
000007ee: ADD
000007ef: DUP2
000007f0: SWAP1
000007f1: SSTORE
000007f2: PUSH1 0x02
000007f4: SWAP2
000007f5: SWAP1
000007f6: SWAP2
000007f7: ADD
000007f8: DUP2
000007f9: SWAP1
000007fa: SSTORE
000007fb: DUP1
000007fc: SLOAD
000007fd: PUSH1 0x00
000007ff: NOT
00000800: DUP2
00000801: ADD
00000802: DUP1
00000803: DUP4
00000804: SSTORE
00000805: SWAP1
00000806: SWAP2
00000807: SWAP1
00000808: DUP3
00000809: DUP1
0000080a: ISZERO
0000080b: DUP3
0000080c: SWAP1
0000080d: GT
0000080e: PUSH2 0x08a7
00000811: JUMPI
00000812: PUSH1 0x03
00000814: MUL
00000815: DUP2
00000816: PUSH1 0x03
00000818: MUL
00000819: DUP4
0000081a: PUSH1 0x00
0000081c: MSTORE
0000081d: PUSH1 0x20
0000081f: PUSH1 0x00
00000821: KECCAK256
00000822: SWAP2
00000823: DUP3
00000824: ADD
00000825: SWAP2
00000826: ADD
00000827: PUSH2 0x08a7
0000082a: SWAP2
0000082b: SWAP1
0000082c: PUSH2 0x08c2
0000082f: JUMP
00000830: JUMPDEST
00000831: DUP3
00000832: DUP1
00000833: ADD
00000834: PUSH1 0x01
00000836: ADD
00000837: DUP6
00000838: SSTORE
00000839: DUP3
0000083a: ISZERO
0000083b: PUSH2 0x078c
0000083e: JUMPI
0000083f: PUSH1 0x00
00000841: MSTORE
00000842: PUSH1 0x20
00000844: PUSH1 0x00
00000846: KECCAK256
00000847: SWAP2
00000848: PUSH1 0x1f
0000084a: ADD
0000084b: PUSH1 0x20
0000084d: SWAP1
0000084e: DIV
0000084f: DUP3
00000850: ADD
00000851: JUMPDEST
00000852: DUP3
00000853: DUP2
00000854: GT
00000855: ISZERO
00000856: PUSH2 0x078c
00000859: JUMPI
0000085a: DUP3
0000085b: SLOAD
0000085c: DUP3
0000085d: SSTORE
0000085e: SWAP2
0000085f: PUSH1 0x01
00000861: ADD
00000862: SWAP2
00000863: SWAP1
00000864: PUSH1 0x01
00000866: ADD
00000867: SWAP1
00000868: PUSH2 0x0851
0000086b: JUMP
0000086c: JUMPDEST
0000086d: POP
0000086e: POP
0000086f: PUSH1 0x01
00000871: DUP3
00000872: DUP2
00000873: ADD
00000874: SLOAD
00000875: SWAP1
00000876: DUP3
00000877: ADD
00000878: SSTORE
00000879: PUSH1 0x02
0000087b: SWAP2
0000087c: DUP3
0000087d: ADD
0000087e: SLOAD
0000087f: SWAP2
00000880: ADD
00000881: SSTORE
00000882: PUSH1 0x01
00000884: ADD
00000885: PUSH2 0x06da
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH1 0x1f
0000088c: ADD
0000088d: PUSH1 0x20
0000088f: SWAP1
00000890: DIV
00000891: SWAP1
00000892: PUSH1 0x00
00000894: MSTORE
00000895: PUSH1 0x20
00000897: PUSH1 0x00
00000899: KECCAK256
0000089a: SWAP1
0000089b: DUP2
0000089c: ADD
0000089d: SWAP1
0000089e: PUSH2 0x07e6
000008a1: SWAP2
000008a2: SWAP1
000008a3: PUSH2 0x0543
000008a6: JUMP
000008a7: JUMPDEST
000008a8: POP
000008a9: POP
000008aa: POP
000008ab: POP
000008ac: POP
000008ad: POP
000008ae: JUMP
000008af: JUMPDEST
000008b0: POP
000008b1: POP
000008b2: PUSH1 0x00
000008b4: PUSH1 0x01
000008b6: DUP3
000008b7: ADD
000008b8: DUP2
000008b9: DUP2
000008ba: SSTORE
000008bb: PUSH1 0x02
000008bd: SWAP3
000008be: SWAP1
000008bf: SWAP3
000008c0: ADD
000008c1: SSTORE
000008c2: JUMPDEST
000008c3: DUP1
000008c4: DUP3
000008c5: GT
000008c6: ISZERO
000008c7: PUSH2 0x0557
000008ca: JUMPI
000008cb: PUSH1 0x00
000008cd: PUSH1 0x00
000008cf: DUP3
000008d0: ADD
000008d1: PUSH1 0x00
000008d3: POP
000008d4: DUP1
000008d5: SLOAD
000008d6: PUSH1 0x01
000008d8: DUP2
000008d9: PUSH1 0x01
000008db: AND
000008dc: ISZERO
000008dd: PUSH2 0x0100
000008e0: MUL
000008e1: SUB
000008e2: AND
000008e3: PUSH1 0x02
000008e5: SWAP1
000008e6: DIV
000008e7: PUSH1 0x00
000008e9: DUP3
000008ea: SSTORE
000008eb: DUP1
000008ec: PUSH1 0x1f
000008ee: LT
000008ef: PUSH2 0x08f8
000008f2: JUMPI
000008f3: POP
000008f4: PUSH2 0x08af
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x1f
000008fb: ADD
000008fc: PUSH1 0x20
000008fe: SWAP1
000008ff: DIV
00000900: SWAP1
00000901: PUSH1 0x00
00000903: MSTORE
00000904: PUSH1 0x20
00000906: PUSH1 0x00
00000908: KECCAK256
00000909: SWAP1
0000090a: DUP2
0000090b: ADD
0000090c: SWAP1
0000090d: PUSH2 0x08af
00000910: SWAP2
00000911: SWAP1
00000912: PUSH2 0x0543
00000915: JUMP
00000916: UNKNOWN(0x29)
00000917: UNKNOWN(0x0D)
00000918: UNKNOWN(0xEC)
00000919: UNKNOWN(0xD9)
0000091a: SLOAD
0000091b: DUP12
0000091c: PUSH3 0xa8d603
00000920: GASLIMIT
00000921: UNKNOWN(0xA9)
00000922: DUP9
00000923: CODESIZE
00000924: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000935: PUSH4
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: 0xf6ddeae311734e92bee265c43cc522d34466b96c8f97288754b79914d3feff78
call_targets: 0xd0d36907473835efa6d859c037d8c6739217a172
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf6ddeae311734e92bee265c43cc522d34466b96c8f97288754b79914d3feff78",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd0d36907473835efa6d859c037d8c6739217a172"
    ],
    "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": "0x3c594e7a",
            "selector": "0x3c594e7a",
            "calldata_variants": [
                "0x3c594e7a",
                "0x3c594e7a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3c68eb81",
            "selector": "0x3c68eb81",
            "calldata_variants": [
                "0x3c68eb81",
                "0x3c68eb810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b8ee927",
            "selector": "0x4b8ee927",
            "calldata_variants": [
                "0x4b8ee927",
                "0x4b8ee9270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a14999a",
            "selector": "0x6a14999a",
            "calldata_variants": [
                "0x6a14999a",
                "0x6a14999a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7acc0b20",
            "selector": "0x7acc0b20",
            "calldata_variants": [
                "0x7acc0b20",
                "0x7acc0b200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9536884f",
            "selector": "0x9536884f",
            "calldata_variants": [
                "0x9536884f",
                "0x9536884f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 375,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf6ddeae311734e92bee265c43cc522d34466b96c8f97288754b79914d3feff78
call_targets: 0xd0d36907473835efa6d859c037d8c6739217a172
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf6ddeae311734e92bee265c43cc522d34466b96c8f97288754b79914d3feff78",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd0d36907473835efa6d859c037d8c6739217a172"
    ],
    "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": "0x3c594e7a",
            "selector": "0x3c594e7a",
            "calldata_variants": [
                "0x3c594e7a",
                "0x3c594e7a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3c68eb81",
            "selector": "0x3c68eb81",
            "calldata_variants": [
                "0x3c68eb81",
                "0x3c68eb810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b8ee927",
            "selector": "0x4b8ee927",
            "calldata_variants": [
                "0x4b8ee927",
                "0x4b8ee9270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a14999a",
            "selector": "0x6a14999a",
            "calldata_variants": [
                "0x6a14999a",
                "0x6a14999a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7acc0b20",
            "selector": "0x7acc0b20",
            "calldata_variants": [
                "0x7acc0b20",
                "0x7acc0b200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9536884f",
            "selector": "0x9536884f",
            "calldata_variants": [
                "0x9536884f",
                "0x9536884f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 375,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0xb3a058716f6ce62e08178ceac94fbe217b2d1842857680153b39594e36278708
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 18,
    "trace_id": "0xb3a058716f6ce62e08178ceac94fbe217b2d1842857680153b39594e36278708",
    "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": "0x3c594e7a",
            "selector": "0x3c594e7a",
            "calldata_variants": [
                "0x3c594e7a",
                "0x3c594e7a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3c68eb81",
            "selector": "0x3c68eb81",
            "calldata_variants": [
                "0x3c68eb81",
                "0x3c68eb810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b8ee927",
            "selector": "0x4b8ee927",
            "calldata_variants": [
                "0x4b8ee927",
                "0x4b8ee9270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a14999a",
            "selector": "0x6a14999a",
            "calldata_variants": [
                "0x6a14999a",
                "0x6a14999a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7acc0b20",
            "selector": "0x7acc0b20",
            "calldata_variants": [
                "0x7acc0b20",
                "0x7acc0b200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9536884f",
            "selector": "0x9536884f",
            "calldata_variants": [
                "0x9536884f",
                "0x9536884f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [],
    "selfdestruct_count": 1
}