Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。 observe sets of possible values for the variables of

JSDetox是一款支持人工分析恶意javascript代码的安全工具，它可以解密一些混淆的javascript代码。JSDetox可以格式化/ 美 化js代码，实现了部分浏览器的dom，因此可以解密

项目介绍 Tika 是一个内容分析工具，自带全面的parser工具类， 能解析基本所有常见格式的文件，得到文件的metadata，content等内容，返回格式化信息 。总的来说可以作为一个通用的

池是一个框架中最高深的技术。研究后才发现，线程池的实现是如此精巧。本文从技术角度分析了线程池的本质 原理和组成，同时分析了JDK、Jetty6、Jetty8、Tomcat的源码实现，对于想了解线程池本

scdbg是一款多平台开源的Shellcode模拟运行、分析工具。其基于 libemulibrary 搭建的虚拟环境，通过模拟32位处理器、内存和基本Windows API运行环境来虚拟执行Shellcode以分析其行为。有了虚拟执行妈妈再也不用担心我的电脑中病毒了。

自动化研究所 田捷研究员带领下的 医学影像处理研究组开发的集成化的医学影像处理与分析C++类库。开发MITK的灵感得自于开源软件VTK和ITK的巨大成功, 其目的主要是为医学影像领域提供一套整合了医学图像

spark部分代码分析，修改笔记

详细地了解这一点，我们需要做一些性能分析，这时，我们自然就要用到一些性能分析工具。Java有许多的性能分析工具，可以帮助我们弄清楚这个问题，但是 我们应该使用哪一款工具呢？ 为了做出正确的选择，我列出性能分析应满足一些最低要求：

VisualVM是一个集成多个JDK命令行工具的可视化工具。可以作为Java应用程序性能分析和运行监控的工具。开发人员可以利用 它来监控、分析线程信息，浏览内存堆数据。系统管理员可以利用它来监测、控制Java应用程序横跨整个网络的情

cppcheck是静态的C/C++ 代码分析工具，用以检查内存泄漏，错配的内存分配和释放，缓冲区溢出，以及更多的问题。 项目主页： http://www.open-open.com/lib

使用 MongoVUE 来查看，管理 GridFS MongoVUE 地址： http://www.mongovue.com/ MongoVUE 是个免费软件，但超过 15 天后功能受限。可以通过删除以下注册表项来解除限制：

Speed Tracer是一款功能强大的Web性能分析扩展，可以对网页中的元素进行全方位的检测分析，找出你网页运行缓慢的罪魁祸首，以方便开发者优化代码，功能很强大。 Speed Tracer 是能

MuPDF是一个PDF格式分析器，用来阅读PDF文件，并创建Fitz trees。 MuPDF也有一个API修改PDF文件的内部对象，并写入文件。举例来说，有可能使用加密MuPDF库来对现有的PDF文件重新安排页面。

android酷炫翻页效果+图形分析

zPerfmon是一个应用程序性能分析套件。定期收集产品信息，系统的指标和其他数据。它具有数据可视化和数据关联功能，它可以展示有关性能，健康和行为趋势。 项目主页： http://www.open-open

prematurely”－“服务器过早终止”错误。 ECONNABORTED： 1、软件导致的连接取消。一个已经建立的连接被host方的软件取消，原因可能是数据传输超时或者是协议错误。 2、该错误被描述为“software

很简单，而且这一进化的语言还是一个可以运行第三方硬件字节码的虚拟机。它还是垃圾收集 器，从而令存储管理和内核转储（core dump）不再是麻烦。当然还有它相当全面的类库。虽然它没有什么惊世的新性能，但它把许多语言的优点基于一身。

Library 或 pandas 是连接 SciPy 和 NumPy 的一种工具，该工具是为了解决数据分析任务而创建的。Pandas 纳入了大量库和一些标准的数据模型，提供了高效地操作大型数据集所需的工具。Comma-separated

操作系统资源释放检查，中断，文件描述符等 8. 异常STL 函数使用检查 9. 代码格式错误，以及性能因素检查 项目主页： http://www.open-open.com/lib/view/home/1370403354586

gperftools是Google提供的一套工具，其中的一个功能是CPU profiler，用于分析程序性能，找到程序的性能瓶颈。 安装 gperftools： http://code.google.