RealFeedApp LLMLL отклоняет тело функции до компиляции
Язык программирования LLMLL использует SMT-решатели для проверки условий функций, отклоняя недоказуемые тела кода до их выполнения. На примере CVE-2014-1266 система выявила уязвимость в протоколе TLS.
- Область
- программирование
- Что сделали
- Создана языковая конструкция для ИИ-агентов, где код проверяется на соответствие контракту (условия входа и выхода) с помощью решателя логических задач (SMT solver) до того, как код будет принят.
- Зачем это
- Это позволяет автоматически отклонять вредоносные или ошибочные фрагменты кода, которые не проходят проверку, предотвращая их внедрение в программу.
#llm#smt solver#programming language#ai agent#code verification
