flowdroid是一款对Android app进行风险分析的应用,下面深入其源码对其工作的流程进行相关的探究。 1、准备 a) 下载相关源码(包括soot、heros、jasmin、soot-i
NSA和开源软件并非水火不容。NSA本周 宣布 与Apache软件基金会合作,在Apache许可证下 开源 大 数据分析工具Niagarafiles (Nifi)。NSA称 Nifi 能在多个计算机网络中自动化数据流,即
为了减少测试与人工代码检查的工作量,软件供应商一般利用静态代码分析工具来进行程序正确性和稳定性的检查。Monoidics就是在2009年成立、专门设计代码分析工具的公司。该公司所开发的Infer静态代码分析工具提供了大规模代码检查的高效解决方案。2013年7月,社交网站巨头
静态分析工具PMD使用说明 目录 静态分析工具PMD使用说明 1 目录 2 1. 编写目的 3 2. PMD简介 4 3. PMD的安装和运行 4 3.1安装并从命令行运行PMD 4 3.2在Eclipse中安装PMD插件运行方式
SWFRETools是一款漏洞分析工具集,SWFRETools中收集的工具可以用于Adobe Flash player漏洞分析和恶意SWF文件的恶意软件分析工作。SWFRETools部分由Java编写,部分由python编写并在GPL
LOGISCOPE是法国Telelogic公司推出的专用于 软件质量保证和软件测试的产品。其主要功能是对 软件做质量分析和测试以保证软件的质量,并可做 认证和维护,特别是针对要求高可靠性和高安全性 的软件项目和工程。 LOGISCOPE简介
Another Compiler Compiler。 Yacc 的 GNU 版叫做 Bison。它是一种工具,将任何一种编程语言的所有语法翻译成针对此种语言的 Yacc 语 法解析器。它用巴科斯范式(BNF
是一个高质量的 yacc 变种,其目的是为了避免依赖某个特定的编译器。 yacc 是一个经典的生成语法分析器的工具,大学的《编译原理》课程里介绍过。 项目主页: http://www.open-open
的一个源代码管理分析工具,它可以在Windows,Linux等多种平台下工作。功能类似于windows下的Sourceinsight,它可以显示类,函数以及成员之间的关系,对阅读分析源代码机器有用。
cppcheck是静态的C/C++ 代码分析工具,用以检查内存泄漏,错配的内存分配和释放,缓冲区溢出,以及更多的问题。 You can check non-standard code that includes
PRI表示主机。SLV表示从机。 4 profiling profiling是设置一个全server级别的慢日志,将慢查询保存下来。 慢查询的数据会保存到 system.profile中。 打开profiling:
HttpClient 4 进行文件上传 httpclient4教程 下面分享一个自己封装的http工具类(暂不直接支持文件上传)------ 没有引入任何地三方jar包 1 HttpRequest类
前首先要分析列表滑动的性能瓶颈在什么地方。因为之前不会正确使用TraceView这个工具,主要是看不懂TraceView界面下方数据指标的值代表什么意思…以前我用 StopWatch 类来分析性能,现在觉得弱爆了…不过有些地方
OSXCollector 是 OS X 系统样本采集和分析工具。 Forensic 采集 采集脚本运行在相关的机器上,输出一个 JSON 文件,描述任务机器的相关情况。OSXCollector 会从
Smartctl (S.M.A.R.T 自监控,分析和报告技术)是类Unix系统下实施SMART任务命令行套件或工具,它用于打印SMART 自检 和 错误日志 ,启用并禁用SMRAT 自动检测 ,以及初始化设备自检。
GPerfUtils 是 Groovy 的性能和分析工具包,包含两个子项目 GProf 和 GBench。 项目主页: http://www.open-open.com/lib/view/home/1366077729687
Cube 是一个开源的基于 MongoDB 的数据分析工具 Cube 的收集器接收事件并将这些事件保持在 MongoDB 中。你可通过 UDP、HTTP POST 或者 WebSockets 来发送事件。同时
0是面向主题的JVM性能监控和分析工具,它利用字节码技术分析class,收集函数的执行耗时,并以图形化的界面实事显示JVM性能。不同于JVisual VM系统层面的监控和分析,uProfiler面向主题
摘要: 本文将提供一些工具,帮助你优化代码以及检查源代码中的潜在问题。 本文将提供一些工具,帮助你优化代码以及检查源代码中的潜在问题。 1. PMD from http://pmd.sourceforge
Silk是一个Django框架的分析检查工具,功能主要包括: 通过中间件拦截请求/响应 围绕SQL执行情况进行数据库的查询和分析 通过Python装饰器进行手动、动态地分析代码块和函数。 提供上述检测手段的可视化用户界面。