您的位置： 专家智库 > >

安徽中科国创高可信软件有限公司

作品数：24 被引量：2H指数：1
相关机构：科大国创软件股份有限公司中国科学技术大学华为技术有限公司更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作机构

文献类型

  • 22篇专利
  • 1篇期刊文章
  • 1篇标准

领域

  • 12篇自动化与计算...
  • 2篇文化科学

主题

  • 14篇代码
  • 5篇语法树
  • 5篇抽象语法
  • 5篇抽象语法树
  • 3篇断言
  • 3篇多维度
  • 3篇语句
  • 3篇语言
  • 3篇数据结构
  • 3篇维度
  • 3篇教学
  • 3篇分析程序
  • 3篇程序语言
  • 2篇代理
  • 2篇代码分析
  • 2篇代码质量
  • 2篇定理
  • 2篇定理证明
  • 2篇定理证明器
  • 2篇信息保存

机构

  • 24篇安徽中科国创...
  • 4篇科大国创软件...
  • 1篇复旦大学
  • 1篇吉首大学
  • 1篇清华大学
  • 1篇武汉大学
  • 1篇中国科学院
  • 1篇中国科学技术...
  • 1篇公安部第三研...
  • 1篇华为技术有限...
  • 1篇中国电子科技...
  • 1篇中国信息安全...
  • 1篇中国合格评定...
  • 1篇北京天融信网...
  • 1篇北京中电华大...
  • 1篇北京中测安华...
  • 1篇成都虚谷伟业...
  • 1篇荣耀终端有限...
  • 1篇中科信息安全...
  • 1篇全技术有限公...

作者

  • 1篇杨永生
  • 1篇张宝峰
  • 1篇许源

传媒

  • 1篇电子技术（上...

年份

  • 4篇2024
  • 8篇2023
  • 4篇2022
  • 4篇2021
  • 3篇2020
  • 1篇2018
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种代码诊断信息方法及其管理系统、存储介质
本发明涉及一种代码诊断信息方法及其管理系统、存储介质，属于软件开发测试领域，包括以下步骤：对诊断信息进行统计和展示；跟踪诊断信息的状态变更情况，并通知相关端口；配置诊断信息状态变更审核流程，并通过一定的配置来自动推进流程...
李兆鹏陈长华郑有红顾建平
一种静态程序分析诊断信息置信度计算方法及系统
本发明公开一种静态程序分析诊断信息置信度计算方法及系统，属于程序开发技术领域，该方法包括以下步骤：根据规则实现采取的技术路线和检查器算法特征初始化置信度基准值，并建立置信度数据库；基于标准测试集和用户反馈数据调整置信度基...
李兆鹏顾建平王柏何海洋吴珊
一种C语言程序数据泄露的检测方法及系统
本发明公开了一种C语言程序数据泄露的检测方法及系统，该方法包括：接收携带有信息流标注的C语言程序；对所述信息流标注进行提取并解析，获取数据访问规则标签；基于预设规则，确定所有程序点的上下文安全级别；基于隐蔽存储通道两端的...
黄海军杜准王立东
文献传递
基于SMT求解器的一阶逻辑公式程序验证方法及系统
本发明公开了一种基于SMT求解器的一阶逻辑公式程序验证方法及系统，包括接收至少一个客户端中任一客户端发送的程序形式化验证数据交互请求；基于获取的数据验证请求内容，提取数据验证请求中的一阶逻辑公式；基于SMT求解器对上述数...
王浩纪金龙都云鑫
基于修订日志的程序分析软件自动化测试方法及系统
本发明公开了基于修订日志的程序分析软件自动化测试方法及系统，该方法包括：获取软件代码中的最小代码规则单元；获取软件代码的第一版本和第二版本，并获取第二版本中相比于第一版本发生变更的最小代码规则单元的具体变更类型；执行所述...
李兆鹏顾建平姜峰
一种针对复杂易变数据结构的程序验证方法
本发明公开了一种针对复杂易变数据结构的程序验证方法，基于改进的形状图逻辑完成程序验证，改良分离逻辑得到纯符号表示的形状图逻辑，再添加与符号断言等价的图形化表示，可以用图形、符号断言混合的形状图表示形状图逻辑断言，最后添加...
杨大润杜准王浩纪金龙
基于修订日志的程序分析软件自动化测试方法及系统
本发明公开了基于修订日志的程序分析软件自动化测试方法及系统，该方法包括：获取软件代码中的最小代码规则单元；获取软件代码的第一版本和第二版本，并获取第二版本中相比于第一版本发生变更的最小代码规则单元的具体变更类型；执行所述...
李兆鹏顾建平姜峰
文献传递
基于程序测试和分析的多维度代码质量综合评价方法及系统
一种基于程序测试和分析的多维度代码质量综合评价方法，包括以下步骤：接收用户提交的上机作业；基于上机作业执行第一测试程序的不同执行结果获取对应的表征编译运行情况的第一得分，第一测试程序为编译运行程序；在第一得分不为0的情况...
郑有红李兆鹏顾建平沈笑凌
一种基于抽象语法树和定理证明的局部敏感程序分析方法
本发明公开了一种基于抽象语法树和定理证明的局部敏感程序分析方法，包括：对程序代码构建出没有语法错误的抽象语法树AST；遍历程序代码的抽象语法树AST，收集待检测节点及待检测节点的相关节点，根据待检测节点及其相关节点信息，...
李兆鹏顾建平戴一飞
基于符号执行技术的C++程序静态分析被引量：2
2018年
C++作为一种基础性的编程语言,由于其使用领域的敏感性和相对其他主流编程语言的脆弱性,一直是静态分析软件所关注的重点。符号执行分析拥有很高的精确度和覆盖率,并已经出现了针对C语言进行分析的行解决方案。Clang是一个基于LLVM的开源C/C++语言编译器,Shape Checker是一个使用Clang作为前端的C语言符号执行分析器,本文利用Clang编译C/C++语言后中间表示的相似性,将原有的分析功能拓展到C++语言上。本文提出了一组拓展方法用以支持C++的面向对象特性和异常处理特性,并在Shape Checker分析器上进行实验,取得了良好的效果。
孙文全李兆鹏
关键词：C++语言LLVM
全选 清除 导出
共3页<123>
聚类工具0