Anthropic: Claude 123 аһаҕас библиотека компиляцияламмыт кодугар массыынанан бэрэбиэркэлэнэр дакаастабыллары суруйда
Anthropic Frontier Red Team хамаандата уонна Theorem фирма Claude көмөтүнэн OSS-Fuzz 123 библиотекатын 239 фазз-тест киирэр сирэ модельлэммит эйгэҕэ 64 МБ-тан кыра дааннайга «түспэтин» дакаастаатылар. Үлэ сыллар тухары фаззинг көрбөтөх алҕастарын булла, ол эрээри дакаастабылларга улахан хааччахтар бааллар.
Anthropic чинчийиитин бэчээттээтэ: кини Frontier Red Team хамаандата формальнай ньымаларга аналлаах Theorem хампаанньаны кытта Claude көмөтүнэн Google OSS-Fuzz бырайыагын 123 аһаҕас библиотекатын куттала суох буолуутун формальнайдык бэрэбиэркэлээбит — барыта 239 киирэр сир. Дакаастабыллар исходнай кодка буолбакка, компиляцияламмыт RISC-V массыына кодугар үлэлииллэр.
Хайдах үлэлээбитэй
Хас биирдии фазз-тест формальнай спецификацияҕа кубулуйбут: компиляцияламмыт тест модельлэммит эйгэҕэ 64 МБ-тан кыра ханнык баҕарар дааннайга алдьаммат (холобур, AddressSanitizer булар память алҕаһа суох) буолуохтаах. Theorem RISC-V уонна Linux процессарын формальнай моделлэрин биэрбит, Claude дакаастабыллары суруйбут, оттон Rocq бэрэбиэркэлээбит. DevOps.com иһитиннэриитинэн, хас да нэдиэлэҕэ Claude 180 мөлүйүөн устуруока дакаастабылы оҥорбут.
Фаззинг көрбөтөх алҕастара
Claude булбут алҕастарын көннөрөрүгэр көҥүллэммит, уонна сүүһүнэн алҕас булуллубут. Холобур, декомпрессорга 20 МБ кэриҥэ дааннайга эрэ буфер таһыгар суруйууну үөскэтэр алҕас, уонна 64 МБ дааннайы эрэйэр ойуу декодерын алҕаһа. Anthropic модель программаны «хаһан да түспэт» гына судургутук суруйбатын диэн улахан патчтары ыстараабыннаабытын уонна бэрэбиэркэлээбитин этэр.
Хааччахтар
Anthropic «формальнайдык бэрэбиэркэлэммит» диэн «алҕаһа суох» диэни аныыбат диир. Дакаастабыллар биир потоктаах, статическайдык холбоммут musl libc туттар RISC-V бинарниктарыгар олоҕураллар, оттон Linux программатын үгүс өттө x86 эбэтэр ARM уонна glibc үрдүгэр үлэлиир; AddressSanitizer память алҕастарын барытын булбат, уонна киирэр сирдэр бары бэрэбиэркэлэммэтэхтэр. Сыаната эмиэ хааччах: дакаастабыллар сүүһүнэн мөлүйүөн токены эрэйиэхтэрин сөп. Саҥа Claude моделлэрин эффективностарын туһунан дааннайдар — Anthropic бэйэтин бенчмарктара. Дакаастабыллар сорҕолоро GitHub-ка таһаарыллыбыттар.