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

搜索资源列表

  1. pc-lint 8.0

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

  3. 所属分类：C

    • 发布日期：2011-11-10
    • 文件大小：2mb
    • 提供者：yiphe

  1. FindBugsCloudServer-20110824.zip

  2. 静态分析工具承诺无需开发人员费劲就能找出代码中已有的缺陷。当然，如果有多年的编写经验，就会知道这些承诺并不是一定能兑现。尽管如此，好的静态分析工具仍然是工具箱中的无价之宝。在这个由两部分组成的系列文章的第一部分中，高级软件工程师 Chris Grindstaff 分析了 FindBugs 如何帮助提高代码质量以及排除隐含的缺陷。代码质量工具的一个问题是它们容易为开发人员提供大量但并非真正问题的问题——即 伪问题（false positives）。出现伪问题时，开发人员要学会忽略工具的输出或者放

  3. 所属分类：Java

    • 发布日期：2012-03-25
    • 文件大小：17mb
    • 提供者：angel_he

  1. vc源代码合集0951.rar

  2. vc源代码合集0951.rarvc源代码合集0951.rar 2012-06-12 11:54 80,235 (MSDN oct 2001)VC6 适用的最后一个版本[ISO].rar 2012-06-13 09:53 0 1.txt 2012-06-12 11:56 17,755 2011年北航计算机考研复试上机题.rar 2012-06-12 07:14 11,172,336 91算命软件.zip 2012-06-12 11:53 334,303 advanced+windows+debu

  3. 所属分类：Android

    • 发布日期：2012-06-13
    • 文件大小：190mb
    • 提供者：q123456789098

  1. java范例开发大全

  2. 第1篇 Java编程基础 第1章 Java开发环境的搭建（教学视频：9分钟） 2 1.1 理解Java 2 1.2 搭建Java所需环境 3 1.2.1 下载JDK 3 1.2.2 安装JDK 4 1.2.3 配置环境 5 1.2.4 测试JDK配置是否成功 7 实例1 开发第一个Java程序 7 第2章 Java基础类型与运算符（教学视频：39分钟） 9 2.1 基础类型 9 实例2 自动提升 9 实例3 自动转换 10 实例4 常用基础类型之强制转换 11 2.2 运算符 12 实例5 算

  3. 所属分类：Java

    • 发布日期：2013-03-08
    • 文件大小：17mb
    • 提供者：shengsikui

  1. WPF编程宝典 第2版完整版.zip

  2. WPF编程宝典 第2版完整版.zip 第1章 WPF概述 1 1.1 理解Windows图形 1 1.1.1 DirectX：新的图形引擎 1 1.1.2 硬件加速与WPF 2 1.2 WPF：高级API 4 1.2.1 分辨率无关性 5 1.2.2 WPF的演化 9 1.2.3 Windows窗体将继续保留 11 1.2.4 DirectX也将继续保留 12 1.2.5 Silverlight 12 1.3 WPF体系结构 13 1.4 结束语 17 第2章 XAML 19 2.1 理解XA

  3. 所属分类：C#

    • 发布日期：2013-03-30
    • 文件大小：43mb
    • 提供者：fzyxd1

  1. Java开发技术大全(500个源代码).

  2. 代码范例列表 第1章 示例描述：本章演示如何开始使用JDK进行程序的开发。 HelloWorldApp.java 第一个用Java开发的应用程序。 firstApplet.java 第一个用Java开发的Applet小程序。 firstApplet.htm 用来装载Applet的网页文件 第2章 示例描述：本章介绍开发Java的基础语法知识。 accumulationByDoWhile.java 用do~while语句写的累加程序 accumulationByFor.java 用for语句写的

  3. 所属分类：Java

    • 发布日期：2014-03-04
    • 文件大小：1mb
    • 提供者：zwh520

  1. fingbugs.zip

  2. FindBugs 是一个静态分析工具，它检查类或者 JAR 文件，将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图，而是通常使用 Visitor 模式来鉴别代码是否符合一些固定的规范。

  3. 所属分类：Java

    • 发布日期：2016-03-09
    • 文件大小：4mb
    • 提供者：xiaomageit

  1. django-docs-2.2-zh-hans.zip

  2. Django 2.2.2.dev20190508124537 文档 ========================== Django 文档 你所需要知道的关于 Django 的一切。 获取帮助 遇到问题？我们可以帮你！ 试试 FAQ —— 这里有很多常见问题的解答。 正在寻找特定的信息？试试 索引，模块索引 或者 详细内容目录。 在 django-users 邮件列表的档案库搜索，或者 post a question。 在 #django IRC channel 频道提问 在我们的 tick

  3. 所属分类：Python

    • 发布日期：2019-05-09
    • 文件大小：6mb
    • 提供者：all2lla

  1. 飞飞CMS影视导航系统 4.0.zip

  2. 飞飞导航影视导航系统是一款免费开源的PHP电影程序，自适应电脑、手机、平板、APP多个终端入口，无任何加密代码、安全有保障，是您最佳的建站工具。 飞飞CMS影视导航系统 4.0 更新日志：2018-10-10新增vip影片的ifr a me播放页面增加检测是否有来路检测；新增用户呢称登录方式；增加采集apikey参数；增加豆瓣与中文分启API配置与申请链接功能；增加视频管理，批量设置 影片系列的功能；增加维护工具，批量生成TAG功能；增加维护工具，批量删除指定播放地址；增加维护工具，批量生成链

  3. 所属分类：其它

  1. X-Cart Gold 4.5.4.zip

  2. X-Cart号称是全球最强大的PHP购物车开源软件，几乎囊括所有电子商务功能，采用网页方式管理后台，多语言支持，智能库存管理，模板定制灵活，功能插件化、模块化。X-Cart分为gold版和Pro版这两个版本。Gold版为普通商店版，Pro为商城版。这款软件的优势是功能比较强大，由于是付费方式采用终生制的开源软件，软件的稳定性、安全性以及可扩展性较强。目前已知的能与x-cart跨平台整合的软件包括了国外非常流行的Joomla、wordpress、Vtiger、Sugar、Quickbooks、M

  3. 所属分类：其它

    • 发布日期：2019-05-27
    • 文件大小：18mb
    • 提供者：weixin_39841882

  1. 静态代码分析工具Infer.zip

  2. Infer 是 Facebook 最新开源的静态程序分析工具，用于在发布移动应用之前对代码进行分析，找出潜在的问题。目前 Facebook 使用该工具来分析 Facebook 的 App，包括 Android 、iOS、Facebook Messenger 和 Instagram 等等。Facebook 称该工具帮助其每个月检查出数百个应用中潜在的 Bug，例如一些空指针访问、资源和内存泄漏等等。支持 Android 的 Java 和 iOS 的 C 和 Objective-C 代码。 标签：

  3. 所属分类：其它

    • 发布日期：2019-07-17
    • 文件大小：26mb
    • 提供者：weixin_39841856

  1. Rust的工具链管理器Rustup.zip

  2. RustupRustup 是一个命令行应用，能够下载并在不同版本的 Rust 工具链中进行切换 —— 如编译器 rustc 和标准库，该应用所支持的平台数量不少。事实上，rustc 本身就支持大约 56 个平台，而 rustup 实际上能够为其中14个平台管理编译器，为30个平台管理标准库。Rust 1.8 中引入的 Rustup，是一个针对 Rust 语言的工具链管理器（toolchain manager），其目标是让交叉编译 Rust 代码更加简单。Mozilla 工程师 Brian An

  3. 所属分类：其它

    • 发布日期：2019-07-17
    • 文件大小：627kb
    • 提供者：weixin_39840387

  1. 静态代码扫描工具TscanCode.zip

  2. TscanCode是一款静态代码扫描工具，TscanCode旨在助力开发与测试人员从代码层面挖掘问题，将那些长期困扰项目的诸如空指针宕机等问题，扼杀于萌芽阶段。支持用户根据不同需求自定义配置检查项，有极强的扩展性和可维护性。平均扫描速度10W行/分钟。TscanCode支持以下类型规则扫描：应用特性空指针检查，包含可疑的空指针，判空后解引用比如Crash等共3类subid检查数据越界，Sprintf_S越界共1类subid检查内存泄漏，分配和释放不匹配同1类subid检查逻辑错误，重复的代码分

  3. 所属分类：其它

    • 发布日期：2019-07-18
    • 文件大小：10mb
    • 提供者：weixin_39840588

  1. 基于OCaml的语法和工具链reason.zip

  2. reason是 OCaml 的一个新接口，是一种高度表达 ML 语言的方言，具有类型推断和静态类型检查，提供了一个用于编辑，构建和共享代码的新语法和工具链。具有以下特点：可以快速掌握强大的自动源代码格式化采用 Javascr ipt / C 互操作增量没有语言级 VM快速开发和共享项目 标签：reason

  3. 所属分类：其它

    • 发布日期：2019-07-19
    • 文件大小：703kb
    • 提供者：weixin_39840914

  1. Java开源的下一代社区平台Symphony.zip

  2. 简介 Symphony（[ˈsɪmfəni]，n.交响乐）是一个现代化的社区平台，因为它： 实现了面向内容讨论的论坛 包含了面向用户分享、交友、游戏的社交网络 集成了聚合独立博客的能力，共建共享优质资源 并且 100% 开源 欢迎到 Sym 官方讨论区了解更多。另外，如果你需要搭建一个企业内网论坛，请使用 SymX。 动机 Sym 的诞生是有如下几点原因： （正版） 很多系统界面上仍然保持着老式风格，远远没有跟上时代发展的脚步，它们没有创新、好玩的特性，缺少现代化的交互元素和用户体验 大部分系

  3. 所属分类：其它

  1. SMSetupV350.zip

  2. SourceMonitor 代码静态检查工具,功能包括:文件代码行数,注释行数,分支个数,注释率,函数个数,最大复杂度,最大深度,平均深度,平均圈复杂度等等指标.欢迎下载

  3. 所属分类：互联网

    • 发布日期：2020-05-08
    • 文件大小：2mb
    • 提供者：nima_zhang_b

  1. 雨田静态分析系统 v2.0.0官方版.zip

  2. A5下载站向大家推荐一款非常不错的静态分析工具软件——雨田静态分析系统。雨田静态分析系统依据MISRA为依据，可以对.c文件进行静态分析，并具有多元化的分析方式，包括基本指标分析、数据流分析、复杂度分析、循环分析以及代码质量分析，能够大幅提高代码质量。如果您对目前的静态分析还是不太理解如何实现，不妨尝试这款软件吧。 雨田静态分析系统软件特点 1、易用性好。仅仅需要打开文件即可完成分析，用户即可以查阅所关注函数的控制流图、度量指标、规则检查结果。 2、包容性强。几乎可以适用于所有能够编译通过

  3. 所属分类：其它

  1. findbugs(3.01).zip

  2. 1. 简介 FindBugs 是一个静态分析工具，它检查类或者 JAR 文件，将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图，而是通常使用 Visitor 模式。 2. 使用时机  开发阶段 　　当Developer完成了某一部分功能模块开发的时候(这通常是指代码撰写完成，并已 debug通过之后)，可藉由FindBugs对该模块涉及的java文件进行一次扫描，以发现一些不易察觉的b

  3. 所属分类：其它

    • 发布日期：2020-06-07
    • 文件大小：8mb
    • 提供者：CNCDXX_88

  1. pmd-bin-6.19.0-代码重复性检查工具.zip

  2. pmd-bin 静态代码分析工具 PMD是静态源代码分析器。 它发现常见的编程缺陷，例如未使用的变量，空的catch块，不必要的对象创建等。 它主要涉及Java和Apex，但支持其他六种语言。 PMD具有许多内置检查（以PMD术语，规则），在我们的“规则”参考中针对每种语言进行了记录。 我们还支持广泛的API来编写您自己的规则，您可以使用Java或作为独立的XPath查询来执行。

  3. 所属分类：互联网

    • 发布日期：2020-06-22
    • 文件大小：58mb
    • 提供者：yifan_2020

  1. 静态检查代码工具.zip

  2. 包括静态检查代码工具：source insight scan 和 pc-lint 及说明文档，代码静态分析工具,它能有效地发现程序语法错误、潜在的错误隐患、不合理的编程习惯等

  3. 所属分类：系统安全

    • 发布日期：2020-12-04
    • 文件大小：12mb
    • 提供者：nonono36
« 12 »