Facebook开源静态代码分析工具Infer 资讯

为了减少测试与人工代码检查的工作量,软件供应商一般利用静态代码分析工具来进行程序正确性和稳定性的检查。Monoidics就是在2009年成立、专门设计代码分析工具的公司。该公司所开发的Infer静态代码分析工具提供了大规模代码检查的高

jopen 2015-06-19   9199   0
Infer  

数据分析的 7 个关键步骤 资讯

术语总让人联想到一个孤独的天才独自工作,将深奥的公式应用于大量的数据,从而探索出有用的见解。但这仅仅是数据分析过程中的一步。数据分析本身不是目标,目标是使企业能够做出更好的决策。数据科学家构建出的产品,必须使得组织中的每

勿忘初心321 2015-12-24   14091   1
P268

  系统分析师之路 文档

系统分析师之路http://book.csdn.net/bookfiles/194/1001949068.shtml 内容介绍: 本书由希赛IT教育研发中心组织编写,系《中国系统分析员》杂志的精华版

1115625114 2013-05-03   3240   0
P4

  Hibernate懒加载深入分析 文档

  Hibernate懒加载深入分析 2011-04-29 19:42 94人阅读 评论(0) 收藏 举报 ----------------------------------------------------------

xiaofei820 2012-01-14   468   0
P20

  POCO C++ 库学习和分析 -- 日期与时间 文档

POCO C++库学习和分析 -- 日期与时间         在Poco库中,与时间和日期相关的一些类,其内部实现是非常简单的。看相关文档时,比较有意思的倒是历史上的不同时间表示法。 1. 系统时间函数

michealtig 2014-09-12   485   0
P3

  POCO C++ 库学习和分析 -- 任务 文档

POCO C++库学习和分析 -- 任务 1. 任务的定义         任务虽然在Poco::Foundation库的目录结构中被单独划出,其实也可以被看成线程的应用,放在线程章节。首先来看一下Poco中对于任务的描述:

michealtig 2014-09-12   504   0
P27

  Mysql源代码分析系列(2):源代码结构 文档

 Mysql源代码分析系列(2): 源代码结构 Mysql源代码主要包括客户端程序代码,服务器端代码,测试工具和一些库构成,下面我们对比较重要的目录做些介绍。 BUILD 这个目录在本系列的上篇文章

wwjiang007 2011-07-25   5523   0
P29

  基于UML的BBS论坛需求分析与建模 文档

基于UML的BBS系统需求分析与建模 南华大学 计算机科学与技术学院 实验报告 ( 2011 ~2012 学年度 第二学期 ) 课程名称 需求分析与建模 实验名称 基于UML的BBS系统需求分析与建模 姓名 肖喜武

lonuery 2012-08-05   10886   0
P104

  Android 平台机制深入分析 文档

有米手机应用广告(优蜜信息科技) www.youmi.net Android平台机制深入分析 目 录 Android 核心分析之一--------分析方法论探讨之设计意图.........................

mousefat 2012-12-25   3704   0
P17

  静态分析工具PMD使用说明 文档

 静态分析工具PMD使用说明 目录 静态分析工具PMD使用说明 1 目录 2 1. 编写目的 3 2. PMD简介 4 3. PMD的安装和运行 4 3.1安装并从命令行运行PMD 4 3.2在Eclipse中安装PMD插件运行方式

zqzqhpj 2013-12-04   3106   0
P36

  MATLAB 音频信号的分析与合成程序 文档

MATLAB的程序结构和控制流 2.4 M文件的调试 2.5 程序设计实例 2.5.1 音频信号的分析与合成 2.5.2 音频频谱分析仪 2.5.3 幅度调制程序设计1 2. 2.1 脚本文件和函数文件2.1.1 M脚本文件

millys_11 2012-06-20   7933   0
P21

  数据流图(DFD)分析参考 文档

1. 2.1.2 需求工程过程 问题识别分析与综合编写文档分析评审2.1.2 需求分析过程可行性研究需求导出 和分析需求描述需求有效性 验证可行性报告系统模型用户需求和 系统需求需求文挡 2. 结构化开发方法(Structured

combox 2011-11-10   697   0
报告  
P22

  大数据应用 - 数据安全和数据分析 文档

1. 大数据应用 ——数据安全和数据分析 周鑫 英特尔中国研究院 2. 工作方向2关注实体行业 数据分析带动应用 数据将走上开放、共享和交易之路 关注沉淀的数据和实体来源的数据 3. 案例分享乘法效应

cpp45 2015-01-18   627   0
P38

  图书馆管理系统_需求分析 文档

1. 需求分析报告任务概述功能需求性能分析目的背景功能模块数据流图E-R图运行需求数据字典 2. 目的背景 现行许多中小型图书馆信息管理工作仍是由专人进行图书档案的登记,修改,增删,查询,效率低下,出错率高,数据不安全。

garming 2012-03-17   7021   0
方案   报告   Basic  
P37

  SUN JVM 内存管理机制分析 文档

1. 曹春 联动北方科技中间件技术支持SUN JVM 内存管理机制分析 用心联动世界 品质源于专业400-810-2327 www.landingbj.com 2. 主讲内容如下400-810-2327

wmswu 2012-02-29   3914   0

漏洞分析工具集 SWFRETools 开源项目

SWFRETools是一款漏洞分析工具集,SWFRETools中收集的工具可以用于Adobe Flash player漏洞分析和恶意SWF文件的恶意软件分析工作。SWFRETools部分由Java编写,部分由python编写并在GPL

码头工人 2019-01-17   581   0

数据分析三部曲 博客

University Of Maryland的Shneiderman教授把数据分析的过程归纳为三大步:Overview,Zoom&Filter,Detail-on-demand。可以大致简译为:全盘观

netloser 2010-12-24   2041   0
P73

  静态代码分析工具 Logiscope 软件 文档

LOGISCOPE是法国Telelogic公司推出的专用于 软件质量保证和软件测试的产品。其主要功能是对 软件做质量分析和测试以保证软件的质量,并可做 认证和维护,特别是针对要求高可靠性和高安全性 的软件项目和工程。 LOGISCOPE简介

hxh_hz 2012-12-25   719   0
P45

  海量日志分析系统实践 文档

基于MySql的日志分析系统设计                             漆兴 beidou77@gmail.com 2. 主要内容日志分析系统查询需求分析 访问特点分析 基于性能考虑的系统体系架构

opennosql 2011-08-26   10367   0
P63

  SNMPv3 分析及详解 文档

1. 第七章 SNMPv3分析 7.1 SNMP的安全问题 7.2 SNMPv3协议框架 7.3 SNMPv3安全机制 2. 7.1 SNMP的安全问题 SNMP制定之初并没有过多地考虑其安全性,这使其早期版本存在安全隐患。

xd_echo 2013-09-16   894   0
1 2 3 4 5 6 7 8 9 10