公共文化服务平台

2025年7月25日星期五

|

欢迎来到佛山市图书馆•公共文化服务平台

登录 | 注册 | 进入后台

搜索到1237篇“ C代码“的相关文章

一种从函数式卷积表达式到C代码的重写转换方法: 本发明提供了一种在Coq定理证明器中以函数式方式表达AI神经网络算子的方法，实现了一种将函数式卷积表达式转换为C代码的重写技术。主要包括六个关键部分，张量原语的形式化定义、中间变量绑定值的形式化定义、张量原语及中间变量绑...; 张晓丽陈钢

一种芯片验证环境中调试汇编和C代码的方法及相关装置: 本申请提供了一种芯片验证环境中调试汇编和C代码的方法及相关装置，涉及芯片验证技术领域，该方法包括：获取SOC芯片仿真过程中的当前PC指针值；根据当前PC指针值，在函数存储变量集中匹配对应的C函数，在指令存储变量集中匹配对...; 陈龙黄毅

一种利用数据流分析算法分析C代码中的内存安全的方法: 本发明提供了一种利用数据流分析算法分析C代码中的内存安全的方法。将指令定义成形式化后的指令集，进行如下操作，静态分析出代码需要并给指针添加标记；将代码转化成抽象语法树，并对其每一个指令进行类型检查，同时对涉及到的指针权限...; 贾枭孙振东

C++代码到CUDA-C代码的转换方法: 本申请涉及计算机技术领域，公开了一种C++代码到CUDA‑C代码的转换方法，该方法包括：接收C++源代码，进行词法分析，语法分析，生成抽象语法树，并进行语义分析，确保源代码在语义上是正确的；对抽象语法树进行分析，识别出各...; 刘敏姜凯赵鑫鑫薛海军

将shell脚本转换为C代码的方法、装置、设备及存储介质: 本发明公开了将shell脚本转换为C代码的方法、装置、设备及存储介质。所述方法包括：从待转换shell脚本中选取当前待转换代码段；依次对所述当前待转换代码段中的shell语句进行解析并转换，得到所述当前待转换代码段对应的...; 王崇阳黄新天李明

利用抽象语法树分析算法分析C代码中指针缺陷的检测方法: 本发明公开了一种利用抽象语法树分析算法分析C代码中指针缺陷的检测方法。所述利用抽象语法树分析算法分析C代码中指针缺陷的检测方法包括：收集已经存在的编码标准、代码评审意见以及代码分析报告中指针相关的缺陷信息，提取缺陷关键特...; 张怡欣文会迎徐思宇刘梦梦朱小超武宁李岩

一种基于自动化定理证明器的C代码程序验证方法及系统: 本发明提供一种基于自动化定理证明器的C代码程序验证方法及系统，包括C代码编译器、语义解析器、自动定理证明器、测试用例生成器、Isabelle交互式定理证明器、证明目标桥接器、向量数据库。本方案利用所述语义解析器，将项目代...; 赵永望章喆

一种基于自动化定理证明器的C代码程序验证方法及系统: 本发明提供一种基于自动化定理证明器的C代码程序验证方法及系统，包括C代码编译器、语义解析器、自动定理证明器、测试用例生成器、Isabelle交互式定理证明器、证明目标桥接器、向量数据库。本方案利用所述语义解析器，将项目代...; 赵永望章喆

MIPS核处理器的C代码工程项目可视化管理和编译生成方法: 本发明提供一种MIPS核处理器的C代码工程项目可视化管理和编译生成方法，其包括：通过JSON数据格式记录工程项目选项，采用solution—project分层方式对多个工程项目选项进行管理；采用脚本程序读取JSON数据文...; 高彬

一种从函数式卷积表达式到C代码的重写转换方法: 本发明提供了一种在Coq定理证明器中以函数式方式表达AI神经网络算子的方法，实现了一种将函数式卷积表达式转换为C代码的重写技术。主要包括六个关键部分，张量原语的形式化定义、中间变量绑定值的形式化定义、张量原语及中间变量绑...; 张晓丽陈钢

加载更多 ∨

相关作者

方青坡: 作品数：10被引量：5H指数：1; 供职机构：解放军信息工程大学; 研究主题：C代码信息流信息流分析无线局域网镜像文件

杨志斌: 作品数：108被引量：169H指数：7; 供职机构：南京航空航天大学; 研究主题：AADL 自动生成方法安全关键软件 L模型 AAD

赵秀凤: 作品数：24被引量：37H指数：4; 供职机构：解放军信息工程大学; 研究主题：可证明安全 C代码信息流信息流分析基于身份

郭渊博: 作品数：204被引量：892H指数：15; 供职机构：解放军信息工程大学; 研究主题：容忍入侵入侵检测网络安全网络异常检测

鲁秋子: 作品数：4被引量：1H指数：1; 供职机构：北京交通大学; 研究主题：架构混杂系统离散事件系统主动容错 C代码