{% extends "base.html" %} {% block title %}上传代码 - 形式化程序规范生成系统{% endblock %} {% block content %}

上传代码文件

请上传您的C/C++源代码文件，系统将自动分析并生成形式化规范

推荐使用全新的统一工作空间，获得更好的使用体验

进入工作空间

拖拽文件到此处或点击选择

支持 .c, .cpp, .h, .hpp 格式，最大 10MB

验证选项

支持的文件格式

.c

C源代码文件

.cpp

C++源代码文件

.h

C头文件

.hpp

C++头文件

示例代码

#include <stddef.h>

void *memcpy(void *dest, const void *src, size_t n) {
    if (dest == NULL || src == NULL) {
        return NULL;
    }

    char *d = (char *)dest;
    const char *s = (const char *)src;

    for (size_t i = 0; i < n; i++) {
        d[i] = s[i];
    }

    return dest;
}
#include <stddef.h>

size_t strlen(const char *str) {
    if (str == NULL) {
        return 0;
    }

    size_t len = 0;
    while (str[len] != '\0') {
        len++;
    }

    return len;
}
int sum_array(int *array, int size) {
    if (array == NULL || size <= 0) {
        return 0;
    }

    int sum = 0;
    for (int i = 0; i < size; i++) {
        sum += array[i];
    }

    return sum;
}

关于统一工作空间

6区域统一界面

所有功能集成在一个页面，无需跳转

实时WebSocket通信

即时查看分析进度和结果

智能工作流控制

灵活配置分析流程和验证参数

结果可视化展示

多标签页清晰呈现各类分析结果

立即体验工作空间
{% endblock %} {% block extra_css %} {% endblock %}