bluewater82/averinn-interface

# AVERINN Web 界面 AVERINN 神经网络验证框架的浏览器用户界面。 ## 概述 AVERINN 是一个形式化验证工具，用于证明人工神经网络控制器的安全属性。该工具功能强大，但目前仅以命令行界面程序的形式存在。本项目旨在使用 React-FastAPI 技术栈创建一个更直观的图形用户界面，使研究人员和工程师能够独立配置、运行和可视化验证过程，而无需直接通过终端与其进行交互。

本项目作为新墨西哥大学国家科学基金会本科生研究体验 (REU) 项目的一部分正在进行开发。

## 项目目标 该浏览器界面旨在： - 简化 AVERINN 验证任务的执行 - 根据用户的选择自动创建自定义配置文件 - 支持多种验证类型/工作流 - 在执行前验证用户输入 - 允许用户上传网络、动态模型和规格表 - 以简洁、用户友好的格式展示验证结果 - 降低框架新用户的学习门槛 ## 当前功能 - 基于 React 的前端 - FastAPI 后端 - 自动生成配置文件 - 支持动态和非动态验证模式 - 通过前端上传文件 - 通过前端选择参数 - 防止上传不受支持文件的安全机制 - AVERINN 引擎的执行 - 结果解析与展示 ## 技术栈 ### 前端 - React - Javascript - HTML - CSS - Bootstrap ### 后端 - FastAPI - Python ### 验证引擎 - AVERINN - 示例网络、配置和基准测试文件 ## 当前状态 本项目目前正在积极开发中。 作为旨在提高验证工具可用性的持续研究的一部分，正在不断添加新功能。 ## 截图    ## 未来开发 计划中的未来改进包括： - 更好的结果可视化 - 验证期间的进度报告 - 工具运行时的按钮锁定机制 - 运行各种工具类型（线性、混合等）的选项 - 改进的错误报告 ## 致谢 此界面构建在现有的 AVERINN 验证框架之上。我没有对引擎本身做出任何贡献。 ## 许可证 本仓库目前包含为学术研究而开发的成果。 在尝试将底层框架重新分发或整合到其他项目之前，请参阅原始的 AVERINN 项目 (github.com/ratanlal02/AVERINN) 以了解相关的许可信息。

标签：AV绕过, FastAPI, React, Syscalls, Web前端, 可视化工具, 后端开发, 多模态安全, 形式化验证, 数据可视化, 神经网络, 逆向工具