数据流分析技术相关硕士博士期刊学术论文 - 搜论网

数据流分析技术相关论文

用于程序验证的数据流分析技术的整合

在交互式的程序验证中,人们希望自动化地获得一些信息来提高证明效率。数据流分析是一类典型的静态程序分析方法。将这些分析方法......

学位

数据流分析程序验证控制流图程序分析范围分析核心数据结构指针变量管理模块基本块验证过程

基于数据流分析的内网防泄密系统

随着网络应用的不断发展，网络泄密事件也层出不穷，针时这种情况。本文设计了一个基于数据流分析的的内网防泄密系统，将数据流分析技术......

会议

数据流分析技术企业内网防泄密系统防信息泄露泄密事件网络应用解决方案可用性计算机文档设计检测机密

看过本文同时还关注