ๆฌๆฅๅ่ฏฆ็ป้่ฟฐๅบไบ Supervisor-Agent ๆถๆ็ๅค็บงไปปๅกๅ่งฃไธ่ทฏ็ฑ่ฐๅบฆๆบๅถ
ๅจ่ช็ฉบ้ฃๆง่ฝฏไปถๆต่ฏๅบๆฏไธญ๏ผ้ขไธด็ไธๅคงๆ ธๅฟๆๆ๏ผ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ
โ Supervisor (ไปปๅก็ผๆ) โ
โ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโโโโโโโโโ โ
โ โ ไปปๅกๅ่งฃๅจ โโ โ ่ทฏ็ฑ่ฐๅบฆๅจ โโ โ ็ญ็ฅ้ๆฉๅจ โ โ
โ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโโโโโโโโโ โ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ
โ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ
โ ๆง่กๅฑ (ไธๅคง็ญ็ฅ) โ
โ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโโโโโโโโโ โ
โ โ ็ฌฆๅทๆง่ก โ โ ๆจก็ณๆต่ฏ โ โ LLM ็ๆ โ โ
โ โ (SMT/SBVT) โ โ (AFL++) โ โ (AssertPath-LLM) โ โ
โ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโ โโโโโโโโโโโโโโโโโโโโโโโ โ
โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ
ๅฐ้ฃๆง่ฝฏไปถๆๅ่ฝๅๅไธบ็ฌ็ซๆต่ฏๆจกๅ๏ผ
| ๆจกๅ็ฑปๅซ | ็คบไพ | ๆต่ฏ้็น |
|---|---|---|
| ้ฃ่กๆงๅถ | ้ซๅบฆๆงๅถใๅงฟๆๆงๅถ | ๅฎๆถๆงใ็จณๅฎๆง |
| ไผ ๆๅจ่ๅ | GPSใๆฏๆงๅฏผ่ช | ๆฐๆฎไธ่ดๆง |
| ้ไฟกๅ่ฎฎ | ๅฐ้ข็ซ้ไฟกใ้ฅๆต | ๅ่ฎฎๅ่งๆง |
| ๆ ้ๅค็ | ไผ ๆๅจๅคฑๆใ้พ่ทฏไธญๆญ | ๅฎน้ๆขๅค |
ๅฏนๆฏไธชๅ่ฝๆจกๅ๏ผๆๆต่ฏ็ฎๆ ่ฟไธๆญฅๅ่งฃ๏ผ
่พๅ
ฅ็ฉบ้ดๅๅ โ ่พน็ๆกไปถ่ฏๅซ โ ่ทฏๅพ่ฆ็่งๅ
ๅ ณ้ฎๆๆ ๏ผ
ๆ นๆฎไปฃ็ ็นๅพ่ชๅจ้ๆฉๆไผ็ญ็ฅ๏ผ
| ไปฃ็ ็นๅพ | ๆจ่็ญ็ฅ | ็็ฑ |
|---|---|---|
| ๅซๅคๆๅพช็ฏ/ๆกไปถ | ็ฌฆๅทๆง่ก | ็ฒพ็กฎ่ทฏๅพๆข็ดข |
| ๅซๅค้จ่พๅ ฅ | ๆจก็ณๆต่ฏ | ้ซๆ็ผบ้ทๅ็ฐ |
| ๅซไธๅก้ป่พ | LLM ็ๆ | ่ฏญไน็่งฃไผๅฟ |
# ไผชไปฃ็ ๏ผ็ญ็ฅ้ๆฉๅณ็ญ
def select_strategy(code_analysis):
complexity = analyze_complexity(code_analysis)
has_external_io = detect_external_io(code_analysis)
has_business_logic = detect_business_logic(code_analysis)
if complexity > THRESHOLD_HIGH:
return "symbolic_execution"
elif has_external_io:
return "fuzzing"
elif has_business_logic:
return "llm_generation"
else:
return "hybrid" # ็ปๅ็ญ็ฅ
| ็ปดๅบฆ | ๆ้ | ๆๆ |
|---|---|---|
| ๅๅคๆๅบฆ | 0.3 | CC > 15 โ ็ฌฆๅทๆง่ก |
| ๅค้จไพ่ต | 0.25 | ๅซๆไปถ/็ฝ็ป/ๆฐๆฎๅบ โ ๆจก็ณๆต่ฏ |
| ไธๅก่ฏญไน | 0.25 | ๅซไธๅก่งๅ/ๆ ก้ช้ป่พ โ LLM |
| ๅๅฒ็ผบ้ท | 0.2 | ็ฑปไผผไปฃ็ ๅๅฒ้ฎ้ข็ |
ไปปๅกๅ่งฃ็็ปๆ็ดๆฅไฝไธบๆญ่จ็ๆ็่พๅ ฅ๏ผ
| ๆๆ | ไผ ็ปๆนๆณ | ๆไปฌ็ๆนๆณ | ๆๅ |
|---|---|---|---|
| ๆต่ฏ่ฆ็็ | 72% | 96% | +24% |
| ็ผบ้ทๅ็ฐ็ | 45% | 89% | +44% |
| ๅนณๅ็จไพ็ๆๆถ้ด | 15min | 3min | -80% |
| ไบบๅทฅๅนฒ้ขๆฌกๆฐ | 8ๆฌก | 2ๆฌก | -75% |