您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

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

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

    • 发布日期:2009-06-09
    • 文件大小:270336
    • 提供者:tenorlu
  1. 一种基于静态分析技术的源代码安全检测模型

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

    • 发布日期:2009-08-07
    • 文件大小:260096
    • 提供者:xttyawei
  1. 代码静态分析工具PC-LINT安装配置

  2. 代码静态分析工具P代码静态分析工具PC-LINT安装配置C-LINT安装配置
  3. 所属分类:C

    • 发布日期:2010-11-07
    • 文件大小:6144
    • 提供者:taikang10
  1. prest静态分析软件

  2. prest是一个开源的静态分析和缺陷预测软件,很好地支持对java代码的静态分析,提取一系列复杂度信息,并可实现对缺陷的预测。
  3. 所属分类:Java

    • 发布日期:2010-11-28
    • 文件大小:9437184
    • 提供者:yuanzi1983918
  1. PC_Line 8.88w

  2. PC-Lint简介 C/C++语言的语法拥有其它语言所没有的灵活性,这种灵活性带来了代码效率的提升,但相应也使得代码编写具有很大的随意性,另外C/C++编译器不进行强制类型检查,也不做任何边界检查,这就增加了代码中存在隐患的可能性。如果能够在代码提交测试之前发现这些潜在的错误,就能够极大地减轻测试人员的压力,减少软件项目的除错成本,可是传统的C/C++编译器对此已经无能为力,这个任务只能由专用的代码检查工具完成。 PC-Lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分
  3. 所属分类:C

    • 发布日期:2011-08-17
    • 文件大小:3145728
    • 提供者:zmxfirst
  1. 使用抽象语法树和静态分析的克隆代码自动重构方法

  2. 使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法使用抽象语法树和静态分析的克隆代码自动重构方法
  3. 所属分类:软件测试

    • 发布日期:2011-09-27
    • 文件大小:289792
    • 提供者:liao_feixiong
  1. 代码静态分析工具ITS4

  2. ITS4的源代码,可以进行代码静态分析,通过规则匹配来报出风险,但它不能理解程序上下文意思,存在很大的误报。
  3. 所属分类:C

    • 发布日期:2013-07-31
    • 文件大小:59392
    • 提供者:zhangdaiyuan
  1. Android 静态分析实例以及工具

  2. 静态分析是探索Android程序内幕的一种最常见的方法,它与动态调剂双剑合璧,帮助分析人员解决分析时遇到的各种“疑难”问题。 静态分析是指在不运行的情况下,采用词法分析、语法分析等各种技术手段对程序文件进行扫描从而生成程序的反汇编代码,然后阅读反汇编代码来掌握 程序功能的一种技术,它有两种方法:一种方法是阅读反汇编生成的Dalvik字节码,可以用IDA Pro分析dex文件,或者使用文本编辑器阅读baksmali反编 译生成的smali文件;另一种方法是阅读反汇编生成的java源码,可以使用d
  3. 所属分类:Android

    • 发布日期:2013-09-03
    • 文件大小:48234496
    • 提供者:banketree
  1. pmd Java代码静态分析工具

  2. pmd Java代码静态分析工具 PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation, and so forth. It supports Java, Javascr ipt, XML, XSL. Additionally it includes CPD, the copy-p
  3. 所属分类:Java

    • 发布日期:2013-10-10
    • 文件大小:4194304
    • 提供者:onlyouangie
  1. PC_Lint C/C++ 软件代码 静态分析工具

  2. PC-Lint是C/C++软件代码静态分析工具,你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。 C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PCLint识别并报告 C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等 等。软件除错是软件项目开发成本和延
  3. 所属分类:C++

    • 发布日期:2013-11-16
    • 文件大小:2097152
    • 提供者:wjh627641217
  1. linux tcp ip 协议栈内核代码静态分析

  2. 协议栈内核代码静态分析,对linux内核中以太网设备驱动的注册、802.3、网络层、TCP、UDP层双向调用回路有详细注释分析。
  3. 所属分类:Linux

    • 发布日期:2014-03-22
    • 文件大小:1048576
    • 提供者:mfcmyworld
  1. 静态分析工具

  2. FindBugs 是一个静态分析工具,它检查类或者 JAR 文件,将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具,就可以在不实际运行程序的情况对软件进行分析。
  3. 所属分类:Android

    • 发布日期:2015-01-15
    • 文件大小:3145728
    • 提供者:lixiaolei5446
  1. 代码静态分析工具

  2. PC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具,它的全称是PC-Lint/FlexeLint for C/C++,PC-Lint 能够在Windows、MS-DOS和OS/2平台上使用,以二进制可执行文件的形式发布,而FlexeLint 运行于其它平台,以源代码的形式发布。PC-lint 在全球拥有广泛的客户群,许多大型的软件开发组织都把PC-Lint 检查作为代码走查的第一道工序。PC-Lint不仅能够对程序进行全局分析,识别没有被适当检验的数组下标
  3. 所属分类:C

    • 发布日期:2017-07-19
    • 文件大小:7340032
    • 提供者:weixin_39559134
  1. 安全代码静态分析

  2. 程序员要知道:他们的代码几乎需要在各种使用环境和各种配置之下都是安全的。静态源代码分析为用户提供了使用优秀的工具来审查其工作的能力,从而找出各类可直接导致安全漏洞的错误。现在,本书提供了一份关于静态分析的完整指导:如何进行静态分析,如将其集成到软件开发过程以及如何在代码安全审查期间最大化其功效等。静态分析专家BrianChess和JacobWest探讨了当前最为常见的安全缺陷类型。他们使用来自实际安全事件的Java和C代码实例阐明了:如何发现编码错误,如何防止出现编码错误以及如何通过静态分析来
  3. 所属分类:网络安全

    • 发布日期:2017-11-28
    • 文件大小:3145728
    • 提供者:becgiggs
  1. pclint C/C++软件代码静态分析工具

  2. PC-Lint是C/C++软件代码静态分析工具,使用PC-Lint在代码走读和单元测试之前进行检查,可以提前发现程序隐藏错误,提高代码质量,节省测试时间。并提供编码规则检查,规范软件人员的编码行为。 因本软件好多人不易安装,所以特集成安装说明、配置、及常见问题,省得大家到处找安装方法。
  3. 所属分类:C++

    • 发布日期:2009-02-17
    • 文件大小:3145728
    • 提供者:zzhangjiali
  1. 代码静态分析工具试用总结--SpecChecker

  2. 从代码静态分析的5个方面分析SpecChecker工具的特点,有助于从各个代码静态分析工具中选用适合自己的
  3. 所属分类:C

    • 发布日期:2018-08-06
    • 文件大小:33792
    • 提供者:eigrl
  1. jQAssistant使用基于Neo4J查询语言进行代码静态分析

  2. jQAssistant:使用基于Neo4J查询语言进行代码静态分析
  3. 所属分类:其它

    • 发布日期:2019-08-06
    • 文件大小:592896
    • 提供者:weixin_39840387
  1. Vulny-Code-Static-Analysis:基于正则表达式的Python脚本,可使用静态分析来检测PHP源代码内部的漏洞-Source code audit

  2. VulnyCode-PHP代码静态分析 用于将漏洞检测为PHP源代码的基本脚本,它使用正则表达式查找漏洞。 # HELP ╭─ :ghost: swisskycrashlab: ~ /Github/PHP_Code_Static_Analysis ‹master * › ╰─$ python3 index.py usage: index.py [-h] [--dir DIR] [--plain] optional arguments: -h, --help sh
  3. 所属分类:其它

    • 发布日期:2021-03-25
    • 文件大小:25600
    • 提供者:weixin_42118056
  1. C++代码静态分析工具-Prefast

  2. 1.什么是PrefastPrefast是一种代码分析工具,它能够帮助你找到编译器不能找到的错误或者缺陷。Prefast首次被微软集成到VisualStudio2005TeamSuite中去,使用起来非常方便。2.怎么使用Prefast在vs2005TeamSuite中,使用Prefast非常简单。修改你的工程属性,设置EnableCodeAnalysisForC/C++为Yes.效果:注意到有可能错误的地方以浅灰色显示在编辑器中了。3.Prefast能帮你找到哪些错误1)没有初始化//no in
  3. 所属分类:其它

    • 发布日期:2021-02-27
    • 文件大小:286720
    • 提供者:weixin_38546608
  1. C++代码静态分析工具-Prefast

  2. 1.什么是PrefastPrefast是一种代码分析工具,它能够帮助你找到编译器不能找到的错误或者缺陷。Prefast首次被微软集成到VisualStudio2005TeamSuite中去,使用起来非常方便。2.怎么使用Prefast在vs2005TeamSuite中,使用Prefast非常简单。修改你的工程属性,设置EnableCodeAnalysisForC/C++为Yes.效果:注意到有可能错误的地方以浅灰色显示在编辑器中了。3.Prefast能帮你找到哪些错误1)没有初始化//no in
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:286720
    • 提供者:weixin_38697063
« 12 3 4 5 6 7 8 9 10 ... 50 »