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

搜索资源列表

  1. PC Lint C语言 静态检测工具

  2. C语言的静态检测工具，好容易翻出来，给大家共享：）

  3. 所属分类：C

    • 发布日期：2009-10-26
    • 文件大小：3145728
    • 提供者：iamfoolberg

  1. 内存泄露静态检测模型

  2. 　 摘　要　内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障, 极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时 还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具,并已用于软件测试。 关键词　内存泄露,区间运算,静态测试,故障模型,别名分析

  3. 所属分类：Linux

    • 发布日期：2011-12-23
    • 文件大小：257024
    • 提供者：linqying

  1. splint-3.1.2.src.tgz

  2. unix下的代码静态接测工具，以前貌似是gcc的一个组件，后来分离了出来，其实是很有用的工具，静态检测能发现很多隐藏的问题，经过检测没有警告的程序质量是有保证的。 开源是一种精神

  3. 所属分类：C

    • 发布日期：2012-06-04
    • 文件大小：2097152
    • 提供者：hxl_c0s0d0n

  1. java代码静态检测规则

  2. java 代码静态检测120条 类似于sonar 检测规范很棒

  3. 所属分类：Java

    • 发布日期：2012-11-16
    • 文件大小：132096
    • 提供者：zhaolixin007

  1. PClint代码静态检测工具

  2. 这是一篇介绍代码静态检测的工具文档，对熟悉pclint工具软件的使用有帮助

  3. 所属分类：C

    • 发布日期：2013-05-21
    • 文件大小：202752
    • 提供者：u010146557

  1. PCLINT代码静态检测工具软件

  2. 这是一篇介绍代码静态检测的工具文档，对熟悉pclint工具软件的使用有帮助

  3. 所属分类：C

    • 发布日期：2013-05-21
    • 文件大小：518144
    • 提供者：u010146557

  1. Android恶意软件静态检测方案的研究

  2. Android恶意软件静态检测方案的研究

  3. 所属分类：网络安全

    • 发布日期：2014-01-11
    • 文件大小：676864
    • 提供者：u013447237

  1. Android恶意代码的静态检测研究

  2. Android恶意代码的静态检测研究的论文，值得一看。

  3. 所属分类：网络安全

    • 发布日期：2015-04-13
    • 文件大小：2097152
    • 提供者：xpzhanglz

  1. android 人脸检测识别

  2. 基于Google自带人脸检测接口，静态检测

  3. 所属分类：Android

    • 发布日期：2016-11-09
    • 文件大小：1048576
    • 提供者：qq_15105217

  1. 电机静态检测技术介绍

  2. 电机静态检测的技术介绍 PI=10分钟对地绝缘值/1分钟对地绝缘值，因为PI是相对值，不受温度和湿度的影响（温度可5到10倍影响绝缘电阻值变化），传统绝缘电阻R值，仅提供一个状态点的值，且受温度影响很大。

  3. 所属分类：制造

    • 发布日期：2018-11-01
    • 文件大小：28311552
    • 提供者：qq_28461151

  1. 一个Java，Object-C的静态检测工具，可帮助Android，IOS开发者检测一些潜在的bug及资源泄漏问题.zip

  2. 一个Java，Object-C的静态检测工具，可帮助Android，IOS开发者检测一些潜在的bug及资源泄漏问题.zip,A static analyzer for Java, C, C++, and Objective-C

  3. 所属分类：其它

    • 发布日期：2019-10-12
    • 文件大小：27262976
    • 提供者：weixin_38744207

  1. 一种C/C++代码安全静态检测模型

  2. 目前在对C/C++漏洞的检测，研究比较深入的是针对源代码的静态扫描技术，主要的静态分析方法有以下几类。 　　词法分析：是早被用来进行缓冲区溢出漏洞检测的方法。这种方法是对软件源程序进行扫描分析，同时与特征库进行匹配，进而找出软件程序中可能存在的溢出漏洞。这种方法的局限性在于容易产生漏报或误报，并且它也不能理解软件程序的语义。因此需要进一步的进行上下文分析 　　约束分析：通过产生、求解程序的约束条件，约束分析即可确定程序的性质。约束分析方法建立的局部化约束产生的规则能清楚的描述指令副作用乃

  3. 所属分类：其它

    • 发布日期：2020-12-22
    • 文件大小：184320
    • 提供者：weixin_38750861

  1. Java静态检测工具的简单介绍

  2. 静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面;可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构 　　检查等内容。”。看了一系列

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：72704
    • 提供者：weixin_38557530

  1. 基于静态检测的C++内存泄漏分析

  2. 基于静态检测的C++内存泄漏分析

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：2097152
    • 提供者：weixin_38696922

  1. Android源代码的静态检测分析技术

  2. Android源代码的静态检测分析技术

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：576512
    • 提供者：weixin_38589774

  1. Java静态检测工具的简单介绍

  2. 静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。”。看了一系列的静态

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：142336
    • 提供者：weixin_38680492

  1. winchecksec：Checksec，但对于Windows：静态检测可执行文件中的安全缓解措施-源码

  2. winchecksec：Checksec，但对于Windows：静态检测可执行文件中的安全缓解措施

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：256000
    • 提供者：weixin_42127369

  1. C/C++源代码静态检测系统的设计和实现

  2. 为了检测出C/C++源代码程序中常见的运行时错误，设计了一个静态检测系统。该系统通过词法分析、语法分析、语义分析来获取程序的语法树。然后系统的检测程序将会分析语法树的每一个结点，判断结点中的属性信息是否存在错误。创新点在于语法树数据结构和检测程序的设计。通过检测程序对结点的属性值的分析，能够检测出C/C++源代码程序中出现的数组越界、指针错误、字符串函数错误，内存泄露等问题。

  3. 所属分类：其它

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

  1. Java静态检测工具的简单介绍

  2. 静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性， 代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构 检查等内容。”。看

  3. 所属分类：其它

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

  1. 面向源代码的软件漏洞静态检测综述

  2. 软件静态漏洞检测依据分析对象主要分为二进制漏洞检测和源代码漏洞检测。由于源代码含有更为丰富的语义信息而备受代码审查人员的青睐。针对现有的源代码漏洞检测研究工作，从基于代码相似性的漏洞检测、基于符号执行的漏洞检测、基于规则的漏洞检测以及基于机器学习的漏洞检测4个方面进行了总结，并以基于源代码相似性的漏洞检测系统和面向源代码的软件漏洞智能检测系统两个具体方案为例详细介绍了漏洞检测过程。

  3. 所属分类：其它

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