Code-Augur: Agentic Vulnerability Detection via Specification Inference
Code-Augur एक नवीन एजेंटिक भेद्यता पहचान ढांचा (framework) है जो कोड से सुरक्षा विशिष्टताओं (security specifications) को स्पष्ट रूप से अनुमानित करके और रनटाइम फाल्सिफिकेशन (runtime falsification) के माध्यम से उन्हें निरंतर परिष्कृत करके स्वायत्त LLMs की विश्वसनीयता और प्रभावशीलता को बढ़ाता है, जिससे उन महत्वपूर्ण कमजोरियों का पता चलता है जिन्हें अन्य विधियाँ छोड़ देती हैं।