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

Analysis Run

019b3836-227e-7304-99ef-a7ee81aef3f6

complete
Chain ID
1
Address
0x9d9199a46701cd502b0ed666063710feaafaf1f9
Block Number
—
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
299 artifact.fetch complete 1 / 3 3 months ago
300 tool.cast_disasm complete 1 / 3 3 months ago
43579 analysis.bundle complete 1 / 3 1 week ago
43580 capability.graph complete 1 / 3 1 week ago
43581 detector.run complete 1 / 3 1 week ago
43582 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
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
4
Total opcodes
1685
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ae
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x083b2732
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00de
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x187c5903
00000025: EQ
00000026: PUSH2 0x0125
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1bccca14
00000030: EQ
00000031: PUSH2 0x0155
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29f8df0d
0000003b: EQ
0000003c: PUSH2 0x0176
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3f32e918
00000046: EQ
00000047: PUSH2 0x017f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x437600bc
00000051: EQ
00000052: PUSH2 0x01a5
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x444bdb1b
0000005c: EQ
0000005d: PUSH2 0x01bd
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x51870150
00000067: EQ
00000068: PUSH2 0x0207
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6d4ce63c
00000072: EQ
00000073: PUSH2 0x0308
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x6e723e24
0000007d: EQ
0000007e: PUSH2 0x0334
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x71ad7221
00000088: EQ
00000089: PUSH2 0x033d
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xa32da9d1
00000093: EQ
00000094: PUSH2 0x035d
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xbf37df2f
0000009e: EQ
0000009f: PUSH2 0x037e
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xe8b5e51f
000000a9: EQ
000000aa: PUSH2 0x0396
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x0405
000000b2: CALLER
000000b3: PUSH1 0x01
000000b5: PUSH1 0xa0
000000b7: PUSH1 0x02
000000b9: EXP
000000ba: SUB
000000bb: AND
000000bc: PUSH20 0x26588a9301b0428d95e6fc3a5024fce8bec12d51
000000d1: EQ
000000d2: ISZERO
000000d3: PUSH2 0x0407
000000d6: JUMPI
000000d7: PUSH2 0x0407
000000da: PUSH2 0x00e2
000000dd: JUMP
000000de: JUMPDEST
000000df: PUSH2 0x0405
000000e2: JUMPDEST
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: DUP1
000000e7: DUP1
000000e8: DUP1
000000e9: DUP1
000000ea: DUP1
000000eb: JUMPDEST
000000ec: PUSH1 0x14
000000ee: DUP5
000000ef: LT
000000f0: ISZERO
000000f1: PUSH2 0x0840
000000f4: JUMPI
000000f5: PUSH2 0x0100
000000f8: SWAP5
000000f9: SWAP1
000000fa: SWAP5
000000fb: MUL
000000fc: SWAP4
000000fd: PUSH1 0x00
000000ff: DUP5
00000100: CALLDATASIZE
00000101: DUP2
00000102: LT
00000103: ISZERO
00000104: PUSH2 0x0002
00000107: JUMPI
00000108: PUSH1 0xf8
0000010a: PUSH1 0x02
0000010c: EXP
0000010d: SWAP1
0000010e: CALLDATALOAD
0000010f: DUP2
00000110: SWAP1
00000111: DIV
00000112: DUP2
00000113: MUL
00000114: DIV
00000115: SWAP1
00000116: SWAP6
00000117: ADD
00000118: SWAP5
00000119: POP
0000011a: PUSH1 0x01
0000011c: SWAP4
0000011d: SWAP1
0000011e: SWAP4
0000011f: ADD
00000120: SWAP3
00000121: PUSH2 0x00eb
00000124: JUMP
00000125: JUMPDEST
00000126: PUSH2 0x0405
00000129: CALLER
0000012a: PUSH1 0x01
0000012c: PUSH1 0xa0
0000012e: PUSH1 0x02
00000130: EXP
00000131: SUB
00000132: AND
00000133: PUSH1 0x00
00000135: SWAP1
00000136: DUP2
00000137: MSTORE
00000138: PUSH1 0x0d
0000013a: PUSH1 0x20
0000013c: MSTORE
0000013d: PUSH1 0x40
0000013f: DUP2
00000140: KECCAK256
00000141: SLOAD
00000142: DUP2
00000143: SWAP1
00000144: DUP2
00000145: SWAP1
00000146: DUP2
00000147: SWAP1
00000148: DUP2
00000149: EQ
0000014a: ISZERO
0000014b: PUSH2 0x0426
0000014e: JUMPI
0000014f: JUMPDEST
00000150: POP
00000151: POP
00000152: POP
00000153: POP
00000154: JUMP
00000155: JUMPDEST
00000156: PUSH2 0x0409
00000159: PUSH1 0x04
0000015b: CALLDATALOAD
0000015c: PUSH1 0x07
0000015e: DUP2
0000015f: PUSH1 0x05
00000161: DUP2
00000162: LT
00000163: ISZERO
00000164: PUSH2 0x0002
00000167: JUMPI
00000168: POP
00000169: ADD
0000016a: SLOAD
0000016b: PUSH1 0x01
0000016d: PUSH1 0xa0
0000016f: PUSH1 0x02
00000171: EXP
00000172: SUB
00000173: AND
00000174: DUP2
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH2 0x0322
0000017a: PUSH1 0x05
0000017c: SLOAD
0000017d: DUP2
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH2 0x0405
00000183: JUMPDEST
00000184: PUSH1 0x40
00000186: MLOAD
00000187: CALLER
00000188: PUSH1 0x01
0000018a: PUSH1 0xa0
0000018c: PUSH1 0x02
0000018e: EXP
0000018f: SUB
00000190: AND
00000191: SWAP1
00000192: PUSH1 0x00
00000194: SWAP1
00000195: CALLVALUE
00000196: SWAP1
00000197: DUP3
00000198: DUP2
00000199: DUP2
0000019a: DUP2
0000019b: DUP6
0000019c: DUP9
0000019d: DUP4
0000019e: CALL
0000019f: POP
000001a0: POP
000001a1: POP
000001a2: POP
000001a3: POP
000001a4: JUMP
000001a5: JUMPDEST
000001a6: PUSH2 0x0322
000001a9: PUSH1 0x04
000001ab: CALLDATALOAD
000001ac: PUSH1 0x06
000001ae: PUSH1 0x20
000001b0: MSTORE
000001b1: PUSH1 0x00
000001b3: SWAP1
000001b4: DUP2
000001b5: MSTORE
000001b6: PUSH1 0x40
000001b8: SWAP1
000001b9: KECCAK256
000001ba: SLOAD
000001bb: DUP2
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH2 0x0322
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: DUP1
000001c5: DUP1
000001c6: DUP1
000001c7: JUMPDEST
000001c8: PUSH1 0x05
000001ca: SLOAD
000001cb: DUP4
000001cc: LT
000001cd: ISZERO
000001ce: PUSH2 0x0597
000001d1: JUMPI
000001d2: PUSH1 0x06
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: DUP6
000001d8: PUSH1 0x05
000001da: DUP2
000001db: LT
000001dc: ISZERO
000001dd: PUSH2 0x0002
000001e0: JUMPI
000001e1: SLOAD
000001e2: PUSH1 0x01
000001e4: PUSH1 0xa0
000001e6: PUSH1 0x02
000001e8: EXP
000001e9: SUB
000001ea: AND
000001eb: SWAP1
000001ec: MSTORE
000001ed: PUSH1 0x20
000001ef: SWAP2
000001f0: SWAP1
000001f1: SWAP2
000001f2: MSTORE
000001f3: PUSH1 0x40
000001f5: SWAP1
000001f6: KECCAK256
000001f7: SLOAD
000001f8: SWAP1
000001f9: SWAP4
000001fa: ADD
000001fb: SWAP3
000001fc: PUSH1 0x01
000001fe: SWAP3
000001ff: SWAP1
00000200: SWAP3
00000201: ADD
00000202: SWAP2
00000203: PUSH2 0x01c7
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x40
0000020a: DUP1
0000020b: MLOAD
0000020c: PUSH1 0x04
0000020e: DUP1
0000020f: CALLDATALOAD
00000210: SWAP1
00000211: DUP2
00000212: ADD
00000213: CALLDATALOAD
00000214: PUSH1 0x20
00000216: DUP2
00000217: DUP2
00000218: MUL
00000219: DUP5
0000021a: DUP2
0000021b: ADD
0000021c: DUP3
0000021d: ADD
0000021e: SWAP1
0000021f: SWAP6
00000220: MSTORE
00000221: DUP2
00000222: DUP5
00000223: MSTORE
00000224: PUSH2 0x0405
00000227: SWAP5
00000228: PUSH1 0x24
0000022a: SWAP5
0000022b: SWAP4
0000022c: DUP6
0000022d: ADD
0000022e: SWAP3
0000022f: SWAP2
00000230: DUP3
00000231: SWAP2
00000232: SWAP1
00000233: DUP6
00000234: ADD
00000235: SWAP1
00000236: DUP5
00000237: SWAP1
00000238: DUP1
00000239: DUP3
0000023a: DUP5
0000023b: CALLDATACOPY
0000023c: POP
0000023d: POP
0000023e: PUSH1 0x40
00000240: DUP1
00000241: MLOAD
00000242: DUP8
00000243: CALLDATALOAD
00000244: PUSH1 0x04
00000246: DUP2
00000247: ADD
00000248: CALLDATALOAD
00000249: PUSH1 0x20
0000024b: DUP2
0000024c: DUP2
0000024d: MUL
0000024e: DUP5
0000024f: DUP2
00000250: ADD
00000251: DUP3
00000252: ADD
00000253: SWAP1
00000254: SWAP6
00000255: MSTORE
00000256: DUP2
00000257: DUP5
00000258: MSTORE
00000259: SWAP9
0000025a: SWAP10
0000025b: PUSH1 0x44
0000025d: SWAP10
0000025e: SWAP4
0000025f: SWAP9
00000260: POP
00000261: SWAP2
00000262: SWAP1
00000263: SWAP2
00000264: ADD
00000265: SWAP6
00000266: POP
00000267: SWAP4
00000268: POP
00000269: DUP4
0000026a: SWAP3
0000026b: POP
0000026c: DUP6
0000026d: ADD
0000026e: SWAP1
0000026f: DUP5
00000270: SWAP1
00000271: DUP1
00000272: DUP3
00000273: DUP5
00000274: CALLDATACOPY
00000275: POP
00000276: POP
00000277: PUSH1 0x40
00000279: DUP1
0000027a: MLOAD
0000027b: SWAP7
0000027c: CALLDATALOAD
0000027d: PUSH1 0x04
0000027f: DUP2
00000280: ADD
00000281: CALLDATALOAD
00000282: PUSH1 0x20
00000284: DUP2
00000285: DUP2
00000286: MUL
00000287: DUP11
00000288: DUP2
00000289: ADD
0000028a: DUP3
0000028b: ADD
0000028c: SWAP1
0000028d: SWAP5
0000028e: MSTORE
0000028f: DUP2
00000290: DUP11
00000291: MSTORE
00000292: SWAP8
00000293: SWAP9
00000294: PUSH1 0x64
00000296: SWAP9
00000297: SWAP1
00000298: SWAP8
00000299: POP
0000029a: PUSH1 0x24
0000029c: SWAP3
0000029d: SWAP1
0000029e: SWAP3
0000029f: ADD
000002a0: SWAP6
000002a1: POP
000002a2: SWAP4
000002a3: POP
000002a4: DUP4
000002a5: SWAP3
000002a6: POP
000002a7: DUP6
000002a8: ADD
000002a9: SWAP1
000002aa: DUP5
000002ab: SWAP1
000002ac: DUP1
000002ad: DUP3
000002ae: DUP5
000002af: CALLDATACOPY
000002b0: POP
000002b1: POP
000002b2: PUSH1 0x40
000002b4: DUP1
000002b5: MLOAD
000002b6: SWAP7
000002b7: CALLDATALOAD
000002b8: PUSH1 0x04
000002ba: DUP2
000002bb: ADD
000002bc: CALLDATALOAD
000002bd: PUSH1 0x20
000002bf: DUP2
000002c0: DUP2
000002c1: MUL
000002c2: DUP11
000002c3: DUP2
000002c4: ADD
000002c5: DUP3
000002c6: ADD
000002c7: SWAP1
000002c8: SWAP5
000002c9: MSTORE
000002ca: DUP2
000002cb: DUP11
000002cc: MSTORE
000002cd: SWAP8
000002ce: SWAP9
000002cf: PUSH1 0x84
000002d1: SWAP9
000002d2: SWAP1
000002d3: SWAP8
000002d4: POP
000002d5: PUSH1 0x24
000002d7: SWAP3
000002d8: SWAP1
000002d9: SWAP3
000002da: ADD
000002db: SWAP6
000002dc: POP
000002dd: SWAP4
000002de: POP
000002df: DUP4
000002e0: SWAP3
000002e1: POP
000002e2: DUP6
000002e3: ADD
000002e4: SWAP1
000002e5: DUP5
000002e6: SWAP1
000002e7: DUP1
000002e8: DUP3
000002e9: DUP5
000002ea: CALLDATACOPY
000002eb: POP
000002ec: SWAP5
000002ed: SWAP6
000002ee: CALLDATALOAD
000002ef: SWAP5
000002f0: POP
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: PUSH1 0x00
000002f7: PUSH1 0x00
000002f9: PUSH1 0x00
000002fb: CALLVALUE
000002fc: PUSH1 0x00
000002fe: EQ
000002ff: ISZERO
00000300: PUSH2 0x0795
00000303: JUMPI
00000304: PUSH2 0x078b
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH1 0x01
0000030b: PUSH1 0xa0
0000030d: PUSH1 0x02
0000030f: EXP
00000310: SUB
00000311: CALLER
00000312: AND
00000313: PUSH1 0x00
00000315: SWAP1
00000316: DUP2
00000317: MSTORE
00000318: PUSH1 0x06
0000031a: PUSH1 0x20
0000031c: MSTORE
0000031d: PUSH1 0x40
0000031f: SWAP1
00000320: KECCAK256
00000321: SLOAD
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: DUP1
00000326: MLOAD
00000327: SWAP2
00000328: DUP3
00000329: MSTORE
0000032a: MLOAD
0000032b: SWAP1
0000032c: DUP2
0000032d: SWAP1
0000032e: SUB
0000032f: PUSH1 0x20
00000331: ADD
00000332: SWAP1
00000333: RETURN
00000334: JUMPDEST
00000335: PUSH2 0x0322
00000338: PUSH1 0x0c
0000033a: SLOAD
0000033b: DUP2
0000033c: JUMP
0000033d: JUMPDEST
0000033e: PUSH1 0x04
00000340: CALLDATALOAD
00000341: PUSH1 0x01
00000343: PUSH1 0xa0
00000345: PUSH1 0x02
00000347: EXP
00000348: SUB
00000349: AND
0000034a: PUSH1 0x00
0000034c: SWAP1
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x06
00000351: PUSH1 0x20
00000353: MSTORE
00000354: PUSH1 0x40
00000356: SWAP1
00000357: KECCAK256
00000358: SLOAD
00000359: PUSH2 0x0322
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH2 0x0409
00000361: PUSH1 0x04
00000363: CALLDATALOAD
00000364: PUSH1 0x00
00000366: DUP2
00000367: PUSH1 0x05
00000369: DUP2
0000036a: LT
0000036b: ISZERO
0000036c: PUSH2 0x0002
0000036f: JUMPI
00000370: POP
00000371: POP
00000372: SLOAD
00000373: PUSH1 0x01
00000375: PUSH1 0xa0
00000377: PUSH1 0x02
00000379: EXP
0000037a: SUB
0000037b: AND
0000037c: DUP2
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x0322
00000382: PUSH1 0x04
00000384: CALLDATALOAD
00000385: PUSH1 0x0d
00000387: PUSH1 0x20
00000389: MSTORE
0000038a: PUSH1 0x00
0000038c: SWAP1
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x40
00000391: SWAP1
00000392: KECCAK256
00000393: SLOAD
00000394: DUP2
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x0405
0000039a: CALLER
0000039b: PUSH1 0x01
0000039d: PUSH1 0xa0
0000039f: PUSH1 0x02
000003a1: EXP
000003a2: SUB
000003a3: AND
000003a4: PUSH1 0x00
000003a6: SWAP1
000003a7: DUP2
000003a8: MSTORE
000003a9: PUSH1 0x0d
000003ab: PUSH1 0x20
000003ad: MSTORE
000003ae: PUSH1 0x40
000003b0: DUP2
000003b1: KECCAK256
000003b2: SLOAD
000003b3: EQ
000003b4: ISZERO
000003b5: PUSH2 0x03e5
000003b8: JUMPI
000003b9: PUSH1 0x0c
000003bb: SLOAD
000003bc: CALLER
000003bd: SWAP1
000003be: PUSH1 0x07
000003c0: SWAP1
000003c1: PUSH1 0x05
000003c3: DUP2
000003c4: LT
000003c5: ISZERO
000003c6: PUSH2 0x0002
000003c9: JUMPI
000003ca: ADD
000003cb: DUP1
000003cc: SLOAD
000003cd: PUSH1 0x01
000003cf: PUSH1 0xa0
000003d1: PUSH1 0x02
000003d3: EXP
000003d4: SUB
000003d5: NOT
000003d6: AND
000003d7: SWAP1
000003d8: SWAP2
000003d9: OR
000003da: SWAP1
000003db: SSTORE
000003dc: PUSH1 0x0c
000003de: DUP1
000003df: SLOAD
000003e0: PUSH1 0x01
000003e2: ADD
000003e3: SWAP1
000003e4: SSTORE
000003e5: JUMPDEST
000003e6: CALLER
000003e7: PUSH1 0x01
000003e9: PUSH1 0xa0
000003eb: PUSH1 0x02
000003ed: EXP
000003ee: SUB
000003ef: AND
000003f0: PUSH1 0x00
000003f2: SWAP1
000003f3: DUP2
000003f4: MSTORE
000003f5: PUSH1 0x0d
000003f7: PUSH1 0x20
000003f9: MSTORE
000003fa: PUSH1 0x40
000003fc: SWAP1
000003fd: KECCAK256
000003fe: DUP1
000003ff: SLOAD
00000400: CALLVALUE
00000401: ADD
00000402: SWAP1
00000403: SSTORE
00000404: JUMP
00000405: JUMPDEST
00000406: STOP
00000407: JUMPDEST
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH1 0x40
0000040c: DUP1
0000040d: MLOAD
0000040e: PUSH1 0x01
00000410: PUSH1 0xa0
00000412: PUSH1 0x02
00000414: EXP
00000415: SUB
00000416: SWAP3
00000417: SWAP1
00000418: SWAP3
00000419: AND
0000041a: DUP3
0000041b: MSTORE
0000041c: MLOAD
0000041d: SWAP1
0000041e: DUP2
0000041f: SWAP1
00000420: SUB
00000421: PUSH1 0x20
00000423: ADD
00000424: SWAP1
00000425: RETURN
00000426: JUMPDEST
00000427: PUSH1 0x00
00000429: SWAP4
0000042a: POP
0000042b: PUSH1 0x00
0000042d: SWAP3
0000042e: POP
0000042f: JUMPDEST
00000430: PUSH1 0x05
00000432: SLOAD
00000433: DUP4
00000434: LT
00000435: ISZERO
00000436: PUSH2 0x0472
00000439: JUMPI
0000043a: PUSH1 0x06
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: DUP6
00000440: PUSH1 0x05
00000442: DUP2
00000443: LT
00000444: ISZERO
00000445: PUSH2 0x0002
00000448: JUMPI
00000449: SLOAD
0000044a: PUSH1 0x01
0000044c: PUSH1 0xa0
0000044e: PUSH1 0x02
00000450: EXP
00000451: SUB
00000452: AND
00000453: SWAP1
00000454: MSTORE
00000455: PUSH1 0x20
00000457: SWAP2
00000458: SWAP1
00000459: SWAP2
0000045a: MSTORE
0000045b: PUSH1 0x40
0000045d: SWAP1
0000045e: KECCAK256
0000045f: SLOAD
00000460: PUSH1 0x05
00000462: MUL
00000463: SWAP1
00000464: SWAP4
00000465: ADD
00000466: SWAP3
00000467: PUSH1 0x01
00000469: SWAP3
0000046a: SWAP1
0000046b: SWAP3
0000046c: ADD
0000046d: SWAP2
0000046e: PUSH2 0x042f
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x00
00000475: SWAP3
00000476: POP
00000477: DUP3
00000478: SWAP2
00000479: POP
0000047a: JUMPDEST
0000047b: PUSH1 0x0c
0000047d: SLOAD
0000047e: DUP4
0000047f: LT
00000480: ISZERO
00000481: PUSH2 0x04bd
00000484: JUMPI
00000485: PUSH1 0x0d
00000487: PUSH1 0x00
00000489: PUSH1 0x07
0000048b: DUP6
0000048c: PUSH1 0x05
0000048e: DUP2
0000048f: LT
00000490: ISZERO
00000491: PUSH2 0x0002
00000494: JUMPI
00000495: ADD
00000496: SLOAD
00000497: PUSH1 0x01
00000499: PUSH1 0xa0
0000049b: PUSH1 0x02
0000049d: EXP
0000049e: SUB
0000049f: AND
000004a0: DUP2
000004a1: MSTORE
000004a2: PUSH1 0x20
000004a4: SWAP2
000004a5: SWAP1
000004a6: SWAP2
000004a7: MSTORE
000004a8: PUSH1 0x40
000004aa: SWAP1
000004ab: KECCAK256
000004ac: SLOAD
000004ad: SWAP2
000004ae: SWAP1
000004af: SWAP2
000004b0: ADD
000004b1: SWAP1
000004b2: PUSH1 0x01
000004b4: SWAP3
000004b5: SWAP1
000004b6: SWAP3
000004b7: ADD
000004b8: SWAP2
000004b9: PUSH2 0x047a
000004bc: JUMP
000004bd: JUMPDEST
000004be: DUP4
000004bf: ADDRESS
000004c0: PUSH1 0x01
000004c2: PUSH1 0xa0
000004c4: PUSH1 0x02
000004c6: EXP
000004c7: SUB
000004c8: AND
000004c9: BALANCE
000004ca: SUB
000004cb: DUP3
000004cc: PUSH1 0x0d
000004ce: PUSH1 0x00
000004d0: POP
000004d1: PUSH1 0x00
000004d3: CALLER
000004d4: PUSH1 0x01
000004d6: PUSH1 0xa0
000004d8: PUSH1 0x02
000004da: EXP
000004db: SUB
000004dc: AND
000004dd: DUP2
000004de: MSTORE
000004df: PUSH1 0x20
000004e1: ADD
000004e2: SWAP1
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: PUSH1 0x00
000004ea: KECCAK256
000004eb: PUSH1 0x00
000004ed: POP
000004ee: SLOAD
000004ef: DIV
000004f0: MUL
000004f1: SWAP1
000004f2: POP
000004f3: DUP4
000004f4: ADDRESS
000004f5: PUSH1 0x01
000004f7: PUSH1 0xa0
000004f9: PUSH1 0x02
000004fb: EXP
000004fc: SUB
000004fd: AND
000004fe: BALANCE
000004ff: SUB
00000500: DUP2
00000501: GT
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH2 0x014f
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: CALLER
00000510: PUSH1 0x01
00000512: PUSH1 0xa0
00000514: PUSH1 0x02
00000516: EXP
00000517: SUB
00000518: AND
00000519: SWAP1
0000051a: PUSH1 0x00
0000051c: SWAP1
0000051d: DUP4
0000051e: SWAP1
0000051f: DUP3
00000520: DUP2
00000521: DUP2
00000522: DUP2
00000523: DUP6
00000524: DUP9
00000525: DUP4
00000526: CALL
00000527: POP
00000528: POP
00000529: POP
0000052a: SWAP1
0000052b: DUP2
0000052c: MSTORE
0000052d: PUSH1 0x0d
0000052f: PUSH1 0x20
00000531: MSTORE
00000532: PUSH1 0x40
00000534: DUP2
00000535: KECCAK256
00000536: DUP2
00000537: SWAP1
00000538: SSTORE
00000539: SWAP3
0000053a: POP
0000053b: JUMPDEST
0000053c: PUSH1 0x0c
0000053e: SLOAD
0000053f: DUP4
00000540: LT
00000541: ISZERO
00000542: PUSH2 0x014f
00000545: JUMPI
00000546: CALLER
00000547: PUSH1 0x01
00000549: PUSH1 0xa0
0000054b: PUSH1 0x02
0000054d: EXP
0000054e: SUB
0000054f: AND
00000550: PUSH1 0x07
00000552: DUP5
00000553: PUSH1 0x05
00000555: DUP2
00000556: LT
00000557: ISZERO
00000558: PUSH2 0x0002
0000055b: JUMPI
0000055c: ADD
0000055d: SLOAD
0000055e: PUSH1 0x01
00000560: PUSH1 0xa0
00000562: PUSH1 0x02
00000564: EXP
00000565: SUB
00000566: AND
00000567: EQ
00000568: ISZERO
00000569: PUSH2 0x058b
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: PUSH1 0x07
00000571: DUP5
00000572: PUSH1 0x05
00000574: DUP2
00000575: LT
00000576: ISZERO
00000577: PUSH2 0x0002
0000057a: JUMPI
0000057b: ADD
0000057c: DUP1
0000057d: SLOAD
0000057e: PUSH1 0x01
00000580: PUSH1 0xa0
00000582: PUSH1 0x02
00000584: EXP
00000585: SUB
00000586: NOT
00000587: AND
00000588: SWAP1
00000589: SSTORE
0000058a: POP
0000058b: JUMPDEST
0000058c: PUSH1 0x01
0000058e: SWAP3
0000058f: SWAP1
00000590: SWAP3
00000591: ADD
00000592: SWAP2
00000593: PUSH2 0x053b
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH1 0x00
0000059a: SWAP3
0000059b: POP
0000059c: DUP3
0000059d: SWAP2
0000059e: POP
0000059f: JUMPDEST
000005a0: PUSH1 0x0c
000005a2: SLOAD
000005a3: DUP4
000005a4: LT
000005a5: ISZERO
000005a6: PUSH2 0x05e2
000005a9: JUMPI
000005aa: PUSH1 0x0d
000005ac: PUSH1 0x00
000005ae: PUSH1 0x07
000005b0: DUP6
000005b1: PUSH1 0x05
000005b3: DUP2
000005b4: LT
000005b5: ISZERO
000005b6: PUSH2 0x0002
000005b9: JUMPI
000005ba: ADD
000005bb: SLOAD
000005bc: PUSH1 0x01
000005be: PUSH1 0xa0
000005c0: PUSH1 0x02
000005c2: EXP
000005c3: SUB
000005c4: AND
000005c5: DUP2
000005c6: MSTORE
000005c7: PUSH1 0x20
000005c9: SWAP2
000005ca: SWAP1
000005cb: SWAP2
000005cc: MSTORE
000005cd: PUSH1 0x40
000005cf: SWAP1
000005d0: KECCAK256
000005d1: SLOAD
000005d2: SWAP2
000005d3: SWAP1
000005d4: SWAP2
000005d5: ADD
000005d6: SWAP1
000005d7: PUSH1 0x01
000005d9: SWAP3
000005da: SWAP1
000005db: SWAP3
000005dc: ADD
000005dd: SWAP2
000005de: PUSH2 0x059f
000005e1: JUMP
000005e2: JUMPDEST
000005e3: POP
000005e4: ADDRESS
000005e5: PUSH1 0x01
000005e7: PUSH1 0xa0
000005e9: PUSH1 0x02
000005eb: EXP
000005ec: SUB
000005ed: AND
000005ee: BALANCE
000005ef: SWAP3
000005f0: SWAP1
000005f1: SWAP3
000005f2: SUB
000005f3: SWAP2
000005f4: SWAP1
000005f5: SWAP2
000005f6: DIV
000005f7: PUSH1 0x64
000005f9: MUL
000005fa: SWAP3
000005fb: SWAP2
000005fc: POP
000005fd: POP
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH20 0x393519c01e80b188d326d461e4639bc0e3f62af0
00000615: SWAP1
00000616: POP
00000617: DUP1
00000618: PUSH1 0x01
0000061a: PUSH1 0xa0
0000061c: PUSH1 0x02
0000061e: EXP
0000061f: SUB
00000620: AND
00000621: PUSH4 0xa0a1cddb
00000626: DUP6
00000627: PUSH2 0x2a30
0000062a: ADD
0000062b: CALLER
0000062c: DUP12
0000062d: DUP12
0000062e: DUP12
0000062f: DUP12
00000630: PUSH1 0x40
00000632: MLOAD
00000633: DUP8
00000634: PUSH1 0xe0
00000636: PUSH1 0x02
00000638: EXP
00000639: MUL
0000063a: DUP2
0000063b: MSTORE
0000063c: PUSH1 0x04
0000063e: ADD
0000063f: DUP1
00000640: DUP8
00000641: DUP2
00000642: MSTORE
00000643: PUSH1 0x20
00000645: ADD
00000646: DUP7
00000647: PUSH1 0x01
00000649: PUSH1 0xa0
0000064b: PUSH1 0x02
0000064d: EXP
0000064e: SUB
0000064f: AND
00000650: DUP2
00000651: MSTORE
00000652: PUSH1 0x20
00000654: ADD
00000655: DUP1
00000656: PUSH1 0x20
00000658: ADD
00000659: DUP1
0000065a: PUSH1 0x20
0000065c: ADD
0000065d: DUP1
0000065e: PUSH1 0x20
00000660: ADD
00000661: DUP1
00000662: PUSH1 0x20
00000664: ADD
00000665: DUP6
00000666: DUP2
00000667: SUB
00000668: DUP6
00000669: MSTORE
0000066a: DUP10
0000066b: DUP2
0000066c: DUP2
0000066d: MLOAD
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x20
00000672: ADD
00000673: SWAP2
00000674: POP
00000675: DUP1
00000676: MLOAD
00000677: SWAP1
00000678: PUSH1 0x20
0000067a: ADD
0000067b: SWAP1
0000067c: PUSH1 0x20
0000067e: MUL
0000067f: DUP1
00000680: DUP4
00000681: DUP4
00000682: DUP3
00000683: SWAP1
00000684: PUSH1 0x00
00000686: PUSH1 0x04
00000688: PUSH1 0x20
0000068a: DUP5
0000068b: PUSH1 0x1f
0000068d: ADD
0000068e: DIV
0000068f: PUSH1 0x03
00000691: MUL
00000692: PUSH1 0x0f
00000694: ADD
00000695: CALL
00000696: POP
00000697: SWAP1
00000698: POP
00000699: ADD
0000069a: DUP6
0000069b: DUP2
0000069c: SUB
0000069d: DUP5
0000069e: MSTORE
0000069f: DUP9
000006a0: DUP2
000006a1: DUP2
000006a2: MLOAD
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: SWAP2
000006a9: POP
000006aa: DUP1
000006ab: MLOAD
000006ac: SWAP1
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP1
000006b1: PUSH1 0x20
000006b3: MUL
000006b4: DUP1
000006b5: DUP4
000006b6: DUP4
000006b7: DUP3
000006b8: SWAP1
000006b9: PUSH1 0x00
000006bb: PUSH1 0x04
000006bd: PUSH1 0x20
000006bf: DUP5
000006c0: PUSH1 0x1f
000006c2: ADD
000006c3: DIV
000006c4: PUSH1 0x03
000006c6: MUL
000006c7: PUSH1 0x0f
000006c9: ADD
000006ca: CALL
000006cb: POP
000006cc: SWAP1
000006cd: POP
000006ce: ADD
000006cf: DUP6
000006d0: DUP2
000006d1: SUB
000006d2: DUP4
000006d3: MSTORE
000006d4: DUP8
000006d5: DUP2
000006d6: DUP2
000006d7: MLOAD
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x20
000006dc: ADD
000006dd: SWAP2
000006de: POP
000006df: DUP1
000006e0: MLOAD
000006e1: SWAP1
000006e2: PUSH1 0x20
000006e4: ADD
000006e5: SWAP1
000006e6: PUSH1 0x20
000006e8: MUL
000006e9: DUP1
000006ea: DUP4
000006eb: DUP4
000006ec: DUP3
000006ed: SWAP1
000006ee: PUSH1 0x00
000006f0: PUSH1 0x04
000006f2: PUSH1 0x20
000006f4: DUP5
000006f5: PUSH1 0x1f
000006f7: ADD
000006f8: DIV
000006f9: PUSH1 0x03
000006fb: MUL
000006fc: PUSH1 0x0f
000006fe: ADD
000006ff: CALL
00000700: POP
00000701: SWAP1
00000702: POP
00000703: ADD
00000704: DUP6
00000705: DUP2
00000706: SUB
00000707: DUP3
00000708: MSTORE
00000709: DUP7
0000070a: DUP2
0000070b: DUP2
0000070c: MLOAD
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: SWAP2
00000713: POP
00000714: DUP1
00000715: MLOAD
00000716: SWAP1
00000717: PUSH1 0x20
00000719: ADD
0000071a: SWAP1
0000071b: PUSH1 0x20
0000071d: MUL
0000071e: DUP1
0000071f: DUP4
00000720: DUP4
00000721: DUP3
00000722: SWAP1
00000723: PUSH1 0x00
00000725: PUSH1 0x04
00000727: PUSH1 0x20
00000729: DUP5
0000072a: PUSH1 0x1f
0000072c: ADD
0000072d: DIV
0000072e: PUSH1 0x03
00000730: MUL
00000731: PUSH1 0x0f
00000733: ADD
00000734: CALL
00000735: POP
00000736: SWAP1
00000737: POP
00000738: ADD
00000739: SWAP11
0000073a: POP
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: POP
00000740: POP
00000741: POP
00000742: POP
00000743: POP
00000744: POP
00000745: PUSH1 0x00
00000747: PUSH1 0x40
00000749: MLOAD
0000074a: DUP1
0000074b: DUP4
0000074c: SUB
0000074d: DUP2
0000074e: PUSH1 0x00
00000750: DUP8
00000751: PUSH2 0x61da
00000754: GAS
00000755: SUB
00000756: CALL
00000757: ISZERO
00000758: PUSH2 0x0002
0000075b: JUMPI
0000075c: POP
0000075d: POP
0000075e: PUSH1 0x05
00000760: DUP1
00000761: SLOAD
00000762: CALLER
00000763: SWAP3
00000764: POP
00000765: PUSH1 0x00
00000767: SWAP2
00000768: DUP2
00000769: LT
0000076a: ISZERO
0000076b: PUSH2 0x0002
0000076e: JUMPI
0000076f: DUP1
00000770: SLOAD
00000771: PUSH1 0x01
00000773: PUSH1 0xa0
00000775: PUSH1 0x02
00000777: EXP
00000778: SUB
00000779: NOT
0000077a: AND
0000077b: SWAP1
0000077c: SWAP3
0000077d: OR
0000077e: SWAP1
0000077f: SWAP2
00000780: SSTORE
00000781: POP
00000782: PUSH1 0x05
00000784: DUP1
00000785: SLOAD
00000786: PUSH1 0x01
00000788: ADD
00000789: SWAP1
0000078a: SSTORE
0000078b: JUMPDEST
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: POP
00000791: POP
00000792: POP
00000793: POP
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x05
00000798: SLOAD
00000799: PUSH1 0x04
0000079b: SWAP1
0000079c: GT
0000079d: ISZERO
0000079e: PUSH2 0x07a9
000007a1: JUMPI
000007a2: PUSH2 0x07d0
000007a5: PUSH2 0x0183
000007a8: JUMP
000007a9: JUMPDEST
000007aa: CALLER
000007ab: PUSH1 0x01
000007ad: PUSH1 0xa0
000007af: PUSH1 0x02
000007b1: EXP
000007b2: SUB
000007b3: AND
000007b4: PUSH1 0x00
000007b6: SWAP1
000007b7: DUP2
000007b8: MSTORE
000007b9: PUSH1 0x06
000007bb: PUSH1 0x20
000007bd: MSTORE
000007be: PUSH1 0x40
000007c0: DUP2
000007c1: KECCAK256
000007c2: SLOAD
000007c3: GT
000007c4: ISZERO
000007c5: PUSH2 0x07d5
000007c8: JUMPI
000007c9: PUSH2 0x07d0
000007cc: PUSH2 0x0183
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH2 0x078b
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x00
000007d8: SWAP3
000007d9: POP
000007da: PUSH1 0x00
000007dc: SWAP2
000007dd: POP
000007de: JUMPDEST
000007df: PUSH1 0x05
000007e1: SLOAD
000007e2: DUP3
000007e3: LT
000007e4: ISZERO
000007e5: PUSH2 0x0821
000007e8: JUMPI
000007e9: PUSH1 0x06
000007eb: PUSH1 0x00
000007ed: DUP1
000007ee: DUP5
000007ef: PUSH1 0x05
000007f1: DUP2
000007f2: LT
000007f3: ISZERO
000007f4: PUSH2 0x0002
000007f7: JUMPI
000007f8: SLOAD
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: AND
00000802: SWAP1
00000803: MSTORE
00000804: PUSH1 0x20
00000806: SWAP2
00000807: SWAP1
00000808: SWAP2
00000809: MSTORE
0000080a: PUSH1 0x40
0000080c: SWAP1
0000080d: KECCAK256
0000080e: SLOAD
0000080f: PUSH1 0x05
00000811: MUL
00000812: SWAP1
00000813: SWAP3
00000814: ADD
00000815: SWAP2
00000816: PUSH1 0x01
00000818: SWAP2
00000819: SWAP1
0000081a: SWAP2
0000081b: ADD
0000081c: SWAP1
0000081d: PUSH2 0x07de
00000820: JUMP
00000821: JUMPDEST
00000822: CALLVALUE
00000823: PUSH1 0x05
00000825: MUL
00000826: DUP4
00000827: ADDRESS
00000828: PUSH1 0x01
0000082a: PUSH1 0xa0
0000082c: PUSH1 0x02
0000082e: EXP
0000082f: SUB
00000830: AND
00000831: BALANCE
00000832: SUB
00000833: LT
00000834: ISZERO
00000835: PUSH2 0x05ff
00000838: JUMPI
00000839: PUSH2 0x07d0
0000083c: PUSH2 0x0183
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: PUSH1 0xa0
00000845: PUSH1 0x02
00000847: EXP
00000848: SUB
00000849: DUP6
0000084a: AND
0000084b: PUSH1 0x00
0000084d: DUP2
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x06
00000852: PUSH1 0x20
00000854: MSTORE
00000855: PUSH1 0x40
00000857: DUP1
00000858: DUP3
00000859: KECCAK256
0000085a: DUP1
0000085b: SLOAD
0000085c: SWAP1
0000085d: DUP4
0000085e: SWAP1
0000085f: SSTORE
00000860: SWAP1
00000861: MLOAD
00000862: DUP9
00000863: SWAP7
00000864: POP
00000865: SWAP1
00000866: SWAP5
00000867: POP
00000868: PUSH1 0x05
0000086a: DUP6
0000086b: MUL
0000086c: SWAP1
0000086d: DUP3
0000086e: DUP2
0000086f: DUP2
00000870: DUP2
00000871: DUP6
00000872: DUP9
00000873: DUP4
00000874: CALL
00000875: POP
00000876: SWAP2
00000877: SWAP4
00000878: POP
00000879: POP
0000087a: POP
0000087b: POP
0000087c: JUMPDEST
0000087d: PUSH1 0x05
0000087f: SLOAD
00000880: DUP2
00000881: LT
00000882: ISZERO
00000883: PUSH2 0x08d7
00000886: JUMPI
00000887: PUSH1 0x01
00000889: PUSH1 0xa0
0000088b: PUSH1 0x02
0000088d: EXP
0000088e: SUB
0000088f: DUP4
00000890: AND
00000891: PUSH1 0x00
00000893: DUP3
00000894: PUSH1 0x05
00000896: DUP2
00000897: LT
00000898: ISZERO
00000899: PUSH2 0x0002
0000089c: JUMPI
0000089d: SLOAD
0000089e: PUSH1 0x01
000008a0: PUSH1 0xa0
000008a2: PUSH1 0x02
000008a4: EXP
000008a5: SUB
000008a6: AND
000008a7: SWAP2
000008a8: SWAP1
000008a9: SWAP2
000008aa: EQ
000008ab: ISZERO
000008ac: SWAP1
000008ad: POP
000008ae: PUSH2 0x08cf
000008b1: JUMPI
000008b2: PUSH1 0x00
000008b4: DUP1
000008b5: DUP3
000008b6: PUSH1 0x05
000008b8: DUP2
000008b9: LT
000008ba: ISZERO
000008bb: PUSH2 0x0002
000008be: JUMPI
000008bf: DUP1
000008c0: SLOAD
000008c1: PUSH1 0x01
000008c3: PUSH1 0xa0
000008c5: PUSH1 0x02
000008c7: EXP
000008c8: SUB
000008c9: NOT
000008ca: AND
000008cb: SWAP1
000008cc: SSTORE
000008cd: POP
000008ce: POP
000008cf: JUMPDEST
000008d0: PUSH1 0x01
000008d2: ADD
000008d3: PUSH2 0x087c
000008d6: JUMP
000008d7: JUMPDEST
000008d8: POP
000008d9: POP
000008da: POP
000008db: POP
000008dc: POP
000008dd: POP
000008de: POP
000008df: 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: 0xf2133826e5520623c8fcdaf1d2e5bc96a6fd1dd6aeebc67929c7f8e6a0cde52d
call_targets: 0x9d9199a46701cd502b0ed666063710feaafaf1f9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf2133826e5520623c8fcdaf1d2e5bc96a6fd1dd6aeebc67929c7f8e6a0cde52d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9d9199a46701cd502b0ed666063710feaafaf1f9"
    ],
    "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": "0x083b2732",
            "selector": "0x083b2732",
            "calldata_variants": [
                "0x083b2732",
                "0x083b27320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x187c5903",
            "selector": "0x187c5903",
            "calldata_variants": [
                "0x187c5903",
                "0x187c59030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1bccca14",
            "selector": "0x1bccca14",
            "calldata_variants": [
                "0x1bccca14",
                "0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29f8df0d",
            "selector": "0x29f8df0d",
            "calldata_variants": [
                "0x29f8df0d",
                "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f32e918",
            "selector": "0x3f32e918",
            "calldata_variants": [
                "0x3f32e918",
                "0x3f32e9180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x437600bc",
            "selector": "0x437600bc",
            "calldata_variants": [
                "0x437600bc",
                "0x437600bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x444bdb1b",
            "selector": "0x444bdb1b",
            "calldata_variants": [
                "0x444bdb1b",
                "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51870150",
            "selector": "0x51870150",
            "calldata_variants": [
                "0x51870150",
                "0x518701500000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 414,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1318,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1685,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf2133826e5520623c8fcdaf1d2e5bc96a6fd1dd6aeebc67929c7f8e6a0cde52d
call_targets: 0x9d9199a46701cd502b0ed666063710feaafaf1f9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf2133826e5520623c8fcdaf1d2e5bc96a6fd1dd6aeebc67929c7f8e6a0cde52d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9d9199a46701cd502b0ed666063710feaafaf1f9"
    ],
    "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": "0x083b2732",
            "selector": "0x083b2732",
            "calldata_variants": [
                "0x083b2732",
                "0x083b27320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x187c5903",
            "selector": "0x187c5903",
            "calldata_variants": [
                "0x187c5903",
                "0x187c59030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1bccca14",
            "selector": "0x1bccca14",
            "calldata_variants": [
                "0x1bccca14",
                "0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29f8df0d",
            "selector": "0x29f8df0d",
            "calldata_variants": [
                "0x29f8df0d",
                "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f32e918",
            "selector": "0x3f32e918",
            "calldata_variants": [
                "0x3f32e918",
                "0x3f32e9180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x437600bc",
            "selector": "0x437600bc",
            "calldata_variants": [
                "0x437600bc",
                "0x437600bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x444bdb1b",
            "selector": "0x444bdb1b",
            "calldata_variants": [
                "0x444bdb1b",
                "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51870150",
            "selector": "0x51870150",
            "calldata_variants": [
                "0x51870150",
                "0x518701500000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 414,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1318,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1685,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}