juwel07/formai-v2-full

FormAI数据集是一个包含由语言模型生成的C代码的数据集，这些代码带有安全漏洞，并通过形式验证方法进行分析。数据集旨在研究生成式人工智能在软件安全中的应用，特别是从形式验证的角度出发。它包括多个特征字段，如类别、文件名、验证完成状态、漏洞行号、列号、函数、违反属性、错误类型、代码片段、源代码、行数和圈复杂度等，用于详细描述每个代码样本的安全漏洞属性。数据集可用于漏洞分类、软件安全分析和机器学习模型训练等任务。The FormAI dataset consists of C code generated by language models with security vulnerabilities, analyzed through formal verification methods. It is designed to explore the application of generative AI in software security, particularly from the perspective of formal verification. The dataset includes multiple feature fields such as category, file name, verification finished status, vulnerable line number, column, function, violated property, error type, code snippet, source code, number of lines, and cyclomatic complexity, which detail the security vulnerability attributes of each code sample. It can be used for tasks like vulnerability classification, software security analysis, and machine learning model training.