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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 静态代码检查工具 PC-LINT以及sourceinsight中配置

  2. PC-Lint是一个历史悠久，功能异常强劲的静态代码检测工具。它的使用历史可以追溯到计算机编程的远古时代（30多年以前）。经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐患，而且也能够有效地帮你提出许多程序在空间利用、运行效率上的改进点，在很多专业级的软件公司，比如Microsoft， PC-Lint检查无错误无警告是代码首先要过的第一关，我个人觉得，对于小公司和个人开发而言，PC-Lint也非常重要，因为基于开发成本考虑，小公司和个人往往不能拿出很多很全面的测试，这时候，PC-Lint

  3. 所属分类：专业指导

    • 发布日期：2010-02-22
    • 文件大小：2097152
    • 提供者：lllhdt

  1. PC-lint (静态代码检测工具)

  2. 概述PC-Lint是一个历史悠久，功能异常强劲的静态代码检测工具。经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐患，而且也能够有效地帮你提出许多程序在空间利用、运行效率上的改进点，在很多专业级的软件公司，比如Microsoft， PC-Lint检查无错误无警告是代码首先要过的第一关，觉得，对于小公司和个人开发而言，PC-Lint也非常重要，因为基于开发成本考虑，小公司和个人往往不能拿出很多很全面的，这时候，PC-Lint的强劲功能可以很好地提高软件的质量。

  3. 所属分类：C++

    • 发布日期：2010-09-10
    • 文件大小：5242880
    • 提供者：lyp2003ok

  1. 经典代码检测工具：PC-Lint

  2. 超级好用的静态代码检测工具pc-lint。分数不多，放心下载。呵呵。

  3. 所属分类：其它

    • 发布日期：2010-09-15
    • 文件大小：4194304
    • 提供者：JUSTACY

  1. cppcheck1.50

  2. cppcheck 静态代码检测工具 能够检测C/C++代码中得很多错误，，是一个不错的代码检测工具

  3. 所属分类：C++

    • 发布日期：2011-08-26
    • 文件大小：1048576
    • 提供者：wzg373177433

  1. 静态代码检测工具.doc

  2. 静态代码检测工具 请参照

  3. 所属分类：其它

    • 发布日期：2008-05-14
    • 文件大小：84992
    • 提供者：woshuzhu1

  1. PClint检测报告

  2. 静态代码检测工具---PC-lint PC-LINT中的各种错误信息都有一个相关的错误号，以及修改的参考。

  3. 所属分类：C++

    • 发布日期：2011-11-18
    • 文件大小：975872
    • 提供者：witch61

  1. PC-Lint静态代码检测工具

  2. PC-Lint是一个历史悠久，功能异常强劲的静态代码检测工具。它的使用历史可以追溯到计算机编程的远古时代(30多年以前)。经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐患，而且也能够有效地帮你提出许多程序在空间利用、运行效率上的改进点，在很多专业级的软件公司，比如Microsoft， PC-Lint检查无错误无警告是代码首先要过的第一关，我个人觉得，对于小公司和个人开发而言，PC-Lint也非常重要，因为基于开发成本考虑，小公司和个人往往不能拿出很多很全面的测试，这时候，PC-Lint

  3. 所属分类：专业指导

    • 发布日期：2008-05-27
    • 文件大小：4194304
    • 提供者：tianwds

  1. 静态代码分析工具

  2. PVS-Studio静态代码分析工具作为一种工具来检测代码中的缺陷和商业代码分析对比。越来越多的领域依赖计算机，代码的质量就成了关键。比如航天、国防、工业控制、金融等对安全性，稳定性要求很高的领域。PVS-Studio 分析源代码或者生成的目标文件，并不实际运行源代码生成的文件。PVS-Studio 能发现一些潜在问题，或者针对某些潜在问题给出警告。

  3. 所属分类：C++

    • 发布日期：2012-07-20
    • 文件大小：22020096
    • 提供者：hector8888

  1. PCLINT9静态代码检测工具

  2. 静态代码检测工具，可以检测代码的潜在问题，如内存泄露等。。 如何在vc中集成pclint工具，查看博客：http://blog.csdn.net/wfdtxz/article/details/8518553

  3. 所属分类：C

    • 发布日期：2013-01-19
    • 文件大小：12582912
    • 提供者：wfdtxz

  1. 静态代码检测工具

  2. 自己从网上搜索的一些静态代码检测工具的简要描述！

  3. 所属分类：系统安全

    • 发布日期：2015-09-01
    • 文件大小：19456
    • 提供者：qq_30957197

  1. cppcheck静态代码检测工具

  2. Cppcheck是一种C/C++代码缺陷静态检查工具，不同于C/C++编译器及其它分析工具，Cppcheck只检查编译器检查不出来的bug，不检查语法错误。

  3. 所属分类：其它

    • 发布日期：2017-12-19
    • 文件大小：7340032
    • 提供者：leite1992

  1. 基于敏感权限及其函数调用图的Android恶意代码检测

  2. 为了有效地检测 Android 平台上的恶意软件，提出了一种基于敏感权限及其函数调用 流程图的静态综合检测方法．通过对恶意软件进行逆向工程分析，构建了包含恶意代码敏感权 限与函数调用图的特征库．并采用 Munkres 匈牙利算法计算待测样本与特征库在相同敏感权 限下两个函数调用图之间的编辑距离，得到两个函数调用图之间的相似性，进而得到两个应用 程序之间的相似性，据此对恶意软件进行检测识别．实验结果表明，该检测方法具有较高的准 确性与有效性，检测效果明显优于工具 Androguard．

  3. 所属分类：Android

    • 发布日期：2018-01-20
    • 文件大小：1048576
    • 提供者：fengpan91

  1. PMD检测规则

  2. PMD是一款开源的静态代码检测工具，可以检查代码的质量问题，文件是对PMD检测规则进行说明，解压密码：PMD。

  3. 所属分类：Java

    • 发布日期：2018-10-15
    • 文件大小：68608
    • 提供者：riverhj

  1. pc-lint用于sourceinsight上静态代码检测

  2. pc-lint用于sourceinsight上静态代码检测，亲测可以使用。

  3. 所属分类：C++

    • 发布日期：2019-02-28
    • 文件大小：8388608
    • 提供者：youlong144

  1. C++静态代码分析PreFast

  2. 1、历史 　　Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是，Prefast检测的缺项不仅仅是安全缺陷，但是安全缺陷类型是其检测的为重要的部分。Prefast推出后在微软内部得到了广泛的使用，并经历了若干格版本的升级。现在，微软将这个内部工具商业化，以提供给外部的开发人员使用。 　　2、如何获得Prefast 　　目前有两个办法可以获得Prefast工具。 　　Prefast包括在Visual Studio 200

  3. 所属分类：其它

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

  1. docker-pmd-cpd:该存储库包含dockerfile，用于构建用于源代码分析（PMD）和重复代码检测（CPD）的映像-docker source code

  2. docker-pmd-cpd 为构建docker映像 PMD是源代码分析器。 它支持Java，Javascr ipt和Salesforce Apex / Visualforce。 CPD是复制粘贴检测器。 它可以找到Java，C，C ++，C＃Python，Javascr ipt，Fortran，PHP等中的重复代码。 截至2019年3月18日，当前构建的映像使用6.12.0版本的PMD / CPD。 包含用于构建用于源代码分析（PMD）和重复代码检测（CPD）的映像的dockerfil

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：1024
    • 提供者：weixin_42099151

  1. 基于图编辑距离的恶意代码检测

  2. 传统的恶意代码检测方法漏报率高且运行效率低,很大程度的依赖于人工检测.为解决该问题,基于恶意代码自身的函数调用顺序及程序结构特征,通过静态分析技术将恶意代码抽象为函数调用图,采用图的编辑距离作为恶意代码间相似度的评估标准,将恶意代码的分类识别转化为在已建立的恶意代码图数据库中搜索最小编辑距离邻居图的问题,在此基础上实现了用户检测未知文件恶意性的系统.为了提高检测速度,引入了函数对应的汇编指令集和多路优势点树的高维索引算法.实验证明,该方案兼顾了恶意代码检测的准确性和运行效率.

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：284672
    • 提供者：weixin_38629206

  1. LitterBox：静态代码分析工具，用于检测Scratch项目中的重复错误模式-源码

  2. LitterBox是用于检测项目中错误的静态代码分析工具。 Scratch程序中的错误会破坏乐趣并抑制学习成功。 许多常见的错误是错误代码重复发生的结果。 LitterBox提供了对常见错误模式集合的检查。 给定Scratch项目ID或文件，LitterBox将检索并解析项目的源代码，并报告所标识的所有错误模式实例。 LitterBox还可以检查代码气味，并提供有关所选Scratch项目的度量。 LitterBox和教学法的开发。 建筑垃圾箱 LitterBox是使用构建的。 要生成可执行的

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：2097152
    • 提供者：weixin_42104947
« 12 3 4 5 6 7 8 9 10 ... 31 »