注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 基于静态分析技术的源代码安全检测模型

  2. 介绍了当前主流的静态代码分析技术，在分析讨论其优缺点的基础上提出了一种新的静态代码检测模 型。该模型结合了当前成熟的静态分析技术，并借鉴了编译器中数据流和控制流分析的思想，获取上下文关联 的数据信息，从而更加准确地分析代码中存在的安全问题。

  3. 所属分类：专业指导

    • 发布日期：2009-06-09
    • 文件大小：270336
    • 提供者：tenorlu

  1. 一种基于静态分析技术的源代码安全检测模型

  2. 一种基于静态分析技术的源代码安全检测模型 收藏此文 全部作者 ： 梁婕 张淼 徐国爱 杨义先 第一作者单位 ： 北京邮电大学 论文摘要 ： 本文介绍了当前主流的静态代码分析技术，在分析讨论其优缺点基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术，并借鉴了编译器中数据流和控制流分析的思想，获取上下文关联的数据信息，从而更加准确地分析代码中存在的安全问题。 关键词 ： 数据流分析，控制流分析，别名分析，静态代码分析，源代码检测 发表日期 ： 2007年11月21日

  3. 所属分类：专业指导

    • 发布日期：2009-08-07
    • 文件大小：260096
    • 提供者：xttyawei

  1. Soot的Java程序控制流分析及图形化输出

  2. Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制流图进行图形化输出的方法。

  3. 所属分类：Java

    • 发布日期：2010-06-14
    • 文件大小：647168
    • 提供者：zwr8749

  1. Soot的Java程序控制流分析及图形化输出.pdf

  2. 一篇关于Soot的Java程序控制流分析及图形化输出的论文

  3. 所属分类：Java

    • 发布日期：2011-03-05
    • 文件大小：647168
    • 提供者：jijixiangfei

  1. 基于可执行代码中间表示的控制流分析

  2. 基于可执行代码中间表示的控制流分析

  3. 所属分类：网络安全

    • 发布日期：2011-12-08
    • 文件大小：192512
    • 提供者：iceageluke

  1. 控制台下的TS流分析工具（纯C实现）

  2. 纯C语言编写的控制台下的ts流分析工具，能准确的分析出TS流中的PSI、si表并在D盘中生成报告，能分析所有的描述符。

  3. 所属分类：嵌入式

    • 发布日期：2012-06-10
    • 文件大小：467968
    • 提供者：caryjohn

  1. 带控制流的静态函数调用分析方法

  2. 文献 带控制流的静态函数调用分析方法

  3. 所属分类：软件测试

    • 发布日期：2012-08-28
    • 文件大小：1048576
    • 提供者：wulijin1

  1. 雨田静态分析系统V1.1

  2. 能够对c文件进行静态分析。分析内容主要包括控制流分析、数据流分析、复杂度分析等内容。能够显示文件中的函数调用关系图，能够显示每个函数的控制流图。能够显示度量指标以及规则检查的结果。

  3. 所属分类：其它

    • 发布日期：2016-06-01
    • 文件大小：2097152
    • 提供者：plstudio

  1. 代码分析系统V1.2

  2. 可以对.c/cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系，能够显示函数的控制流 图。代码规则以 MISRA为依据，分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置，原因以及对应的规则，方便用户查证并改进问题，高效的改正问题以提高代码质量。

  3. 所属分类：C++

    • 发布日期：2016-08-27
    • 文件大小：3145728
    • 提供者：plstudio

  1. 大同某煤矿煤流分析及均衡控制措施

  2. 针对出煤量大、不均衡等原因造成的胶带重载停机难题,通过分析某矿各胶带机输送能力、综一8107工作面与综二8214工作面最大出煤量,得出当2个工作面煤流不稳定系数均为1.5时,容易造成重载停机,并在此基础上,提出了煤流均衡控制措施,有效保证了胶带的正常运转,实现了矿井的高产高效。研究结果对煤流分析及千万吨矿井的高产高效具有积极的指导意义。

  3. 所属分类：其它

    • 发布日期：2020-05-05
    • 文件大小：147456
    • 提供者：weixin_38734276

  1. talsta(静态分析系统)V1.2

  2. 简介 talsta是拥有独立知识产权的国产软件，能够对.c/.cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、编码规则的违反情况检查等。在对文件进行详尽分析基础上，结合系统特有的质量模型，talsta对被分析的代码进行了综合质量评估，以直观的形式显示编码的质量水平。系统提供了内容丰富的静态分析结果和多角度的质量分析报告，为对编码进行有效评估提供重要的参考，也为解决代码中存在的问题提供明确的线索，进而促进软件质量得到有效地改善与提高。 特点  指

  3. 所属分类：C

    • 发布日期：2020-04-01
    • 文件大小：9437184
    • 提供者：plstudio1

  1. 深厚覆盖层地基渗流控制数值分析

  2. 深厚覆盖层地基渗流控制数值分析，温立峰，柴军瑞，在深厚覆盖层上建坝，基础的防渗是关键技术问题。结合某工程实例，应用有限元分析方法，系统分析了地基防渗墙深度、铺盖长度及覆

  3. 所属分类：其它

    • 发布日期：2020-02-01
    • 文件大小：790528
    • 提供者：weixin_38674512

  1. 永磁风机网侧换流器前馈控制环节分析

  2. 永磁风机网侧换流器前馈控制环节分析，王渝红，欧林，简直驱永磁风力发电系统是未来风电发展的主要趋势。本文从直驱永磁风力发电系统中各个环节的数学模型和基本结构等方面介绍了其基

  3. 所属分类：其它

    • 发布日期：2020-01-10
    • 文件大小：275456
    • 提供者：weixin_38628990

  1. talstaV1.0(国产静态分析系统)评估版

  2. talsta是拥有独立知识产权的国产软件，能够对.c文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、编码规则的违反情况检查等。在对文件进行详尽分析基础上，结合系统特有的质量模型，talsta对被分析的代码进行了综合质量评估，以直观的形式显示编码的质量水平。系统提供了内容丰富的静态分析结果和多角度的质量分析报告，为对编码进行有效评估提供重要的参考，也为解决代码中存在的问题提供明确的线索，进而促进软件质量得到有效地改善与提高。

  3. 所属分类：其它

    • 发布日期：2019-07-05
    • 文件大小：5242880
    • 提供者：plstudio1

  1. 极难选煤重介分选过程工艺参数控制要点分析

  2. 本文阐述了我国煤炭的可选性评定标准及现阶段极难选煤炭特别是稀缺煤炭资源利用不足的问题。针对稀缺的极难选煤炭资源,对重介质旋流器分选过程工艺参数控制的要点进行了深入剖析,为今后极难选煤炭的洗选加工过程中重介质旋流器产品的参数选择提供了一定的技术支持。

  3. 所属分类：其它

    • 发布日期：2020-06-16
    • 文件大小：135168
    • 提供者：weixin_38722193

  1. 东风内燃机车微机位无压无流分析处理

  2. 兖州矿业(集团)公司铁路运输处通过对东风40D型内燃机车微机位无压无流的原因分析,采取水阻试验处理电气综合故障,取得了良好的效果。该机车励磁系统采用2套相互独立的系统:(1)微机励磁系统,通过内燃机车控制器控制;(2)油马达励磁系统,通过测速发

  3. 所属分类：其它

    • 发布日期：2020-06-29
    • 文件大小：119808
    • 提供者：weixin_38689551

  1. lancelot：重构控制流的intel x86（-64）代码分析库-源码

  2. 兰斯洛 英特尔x86（-64）代码分析库，可重建控制流 测试 $ pushd core; cargo test; popd $ pushd flirt; cargo test; popd $ pushd pylancelot $ maturin develop $ pytest $ popd

  3. 所属分类：其它

    • 发布日期：2021-02-27
    • 文件大小：4194304
    • 提供者：weixin_42099176

  1. 基于指令片段多样化和控制流随机化的迭代混淆

  2. 由于控制流程图可以反映程序的逻辑结构，因此静态和动态反向方法是 用于分析逻辑结构和指令序列，现有的控制流混淆方法比较少 抵抗反向攻击的能力。 为了解决这个问题，我们提出了一种基于指令片段的混淆方法 多样化和控制流随机化，通过各种等价物产生多样化的指令片段 转换规则和随机函数用于从程序的多路分支中选择一条执行路径， 然后程序会被反复混淆。 实验和分析表明，多样化的指令片段和 多路分支会增加静态逆向分析的难度，多路分支的随机选择会增加 动态指令跟踪的难度以及多次迭代转换的难度增加了 控制流程图

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：655360
    • 提供者：weixin_38750829

  1. C++反编译中控制流图优化方法研究

  2. 控制流分块是反编译系统中基本的功能之一。介绍了控制流分块方法，分析了C++语言与C语言的区别，指出了现有的控制流分块方法用于C++逆向的局限性，提出了改进C++逆向中流程分块的方法，给出了基于模块特征识别的算法，在部分开源架构中进行实验并取得了较好的效果。

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：448512
    • 提供者：weixin_38663415

  1. 基于控制流隐藏的代码迷惑

  2. 为了保护程序免受恶意攻击，确保软件的安全执行，提出了一种隐藏控制流图压平的代码迷惑方法。在已有的控制流图压平的基础上，引入分支函数和转移函数，建立了加强的压平控制流模型以防静态分析。本方案的安全性更多的是基于数据流，其模型是结构化且可扩展的，难以重构原始控制流图，所使用的单向函数不会静态的泄露任何控制流信息。若要理解程序控制流，攻击者必须对更大的代码段进行分析， 能有效的防止静态逆向工程。

  3. 所属分类：其它

    • 发布日期：2021-01-29
    • 文件大小：654336
    • 提供者：weixin_38696143
« 12 3 4 5 6 7 8 9 10 ... 50 »