Android污点分析工具flowdroid源码简析 经验

3、数据流分析 数据流的分析主要依赖heros工具,可能大家有些时候对heros、jasmin与soot的关系理不大清,heros、jasmin是基于soot开发的工具,相当于soot的插件,不能独立运行,因

jbzq6611 2017-06-25   23632   0

50+ 顶级开源 Kubernetes 工具列表 经验

的主流云供应商纷纷提供 K8s 支持。本文总结了 50 多种 Kubernetes 集群部署、监控、安全及测试等相关工具,大部分为开源项目,非常适合技术人员入门。 原生可视化与控制 1、Kubernetes Dashboard

码头工人 2019-01-04   13402   0

Web前端优化最佳实践及工具集锦 经验

实可能还有很多可以提升的地方。Google和雅虎也提出了一些Web应用的前端优化建议,并发布了一些工具,你可以逐一检验你的Web应用,以便达到更高的性能。 这些优化不仅仅可以给用户提供更好的体验,

jopen 2015-03-25   32930   0

使用HTML为Ruby构建GUI的工具:ShenmeGUI 经验

ShenmeGUI是一套受Shoes启发而诞生的GUI工具,拥有相似的DSL语法,使用HTML构建界面,并实现了前后端数据的双向绑定,可以便捷地实现一些轻量的GUI应用。 安装 执行gem install

dwd4 2015-03-31   13291   0

Redis的WEB界面管理工具 phpRedisAdmin 经验

P的MySQL WEB管理工具,非常实用也非常好用。而本文要介绍的是一个叫php Redis Admin的工具,从名字上你就能看到,它是一个PHP的Redis WEB管理工具。 项目主页:

openkk 2011-12-01   37677   0

可视化 javaScript 图表生成工具 Protovis 经验

Protovis 是一个可视化 javaScript 图表生成工具。 示例代码: new pv.Panel().width(150).height(150) .add(pv.Bar) .data([1

openkk 2011-12-10   20223   0

工作流建模工具 IX Workflow Modeler 经验

IX Workflow Modeler是一个用于工作流建模的图形工具。工作流模型可以在不依赖于应用程序逻辑的基础上进行创建和编辑,然后再与工作流应用程序结合。从而能够快 速,方便,透明地进行商业流程维护。IX

openkk 2011-12-18   15598   0

Java工作时间管理工具 MinuteMan 经验

MinuteMan 是一个工作时间跟踪工具,支持多个雇员。可跟踪多个项目、跟踪待办事宜并生成报告。 项目主页: http://www.open-open.com/lib/view/home/1324784829546

jopen 2011-12-24   14724   0

Windows安装程序制作工具 NSIS 经验

Scriptable Install System) 是一个专业开源的制作 windows 安装程序的工具。特性: Generates self-contained executable installers

fmms 2012-01-10   48181   0

Java安装程序制作工具 IzPack 经验

IzPack 是一个 Java 安装程序制作工具,能够制作一些简单的安装程序。制作出来的安装程序能在 Unix-like, MacOS X, Windows 等系统平台上运行。 项目主页: http://www

fmms 2012-01-10   43605   0

HTML到PDF的转换工具(PHP5) dompdf 经验

dompdf是一个HTML到PDF的转换工具。它的核心是一个遵循大部份CSS2.1样式的Rendering引擎。dompdf采用样式驱动,它能够下载并读取外部样式,整个样式标签和单个HTML元素的样式

fmms 2012-01-18   28677   0

Ruby国际化工具 R18n 经验

R18n 是一个国际化和本地化的工具用来为 Ruby 应用程序实现多语言支持的功能。R18n 使用 YAML 格式来存储翻译的内容。 示例用法: Merb::Router.prepare do match('(/:locale)'

fmms 2012-01-26   19748   0

多媒体转换工具 - FF Multi Converter 经验

FF Multi Converter 是一个简单的音频、视频、图像和文档的格式转换工具,使用 ffmpeg 处理音频和视频、unoconv 用于文档格式转换以及 PythonMagick 用于图片格式转换。

jopen 2012-02-04   13644   0

生成CSS3样式的工具 - Layer Styles 经验

Layer Styles是一个用于生成CSS3样式的网页应用程序,通过设置一些基本参数(阴影、圆角等)生成你想要的样式。

fmms 2012-02-09   23475   0
CSS3   CSS   前端技术  

Java制作EPUB电子书的工具 EpubCheck 经验

Adobe EpubCheck 是创建 EPUB 数字图书的非常棒的工具。下载后可作为独立应用程序、Web 应用程序或库(需要 Java 1.5 或更高版本)运行。你也可以在 Java 程序中调用 EpubCheck

fmms 2012-02-19   52218   0
EPUB  

Web服务性能测试工具 Pylot 经验

Pylot 是一款开源的用以测试 Web Service性能和扩展性的工具,它运行HTTP负载测试,这对于制定容量计划、确定基准点、分析系统瓶颈以及系统调优都非常有用。在使用过程 中,Pylot会发起并发请求(HTTP

openkk 2012-02-26   22986   0

Linux文献管理工具 Referencer 经验

Referencer 是一个运行于 Gnome 桌面的文献管理工具。 Smart web links Referencer uses documents' metadata to provide handy

fmms 2011-12-11   31995   0

Java打包成Exe的工具 exe4j 经验

exe4j是一个帮助你集成Java应用程序到Windows操 作环境的java可执行文件生成工具,无论这些应用是用于服务器,还是图形用户界面(GUI)或命令行的应用程序。如果你想在任务管理器中及 Windows

openkk 2011-12-17   22041   0

语法分析器生成工具 YACC 经验

Another Compiler Compiler。 Yacc 的 GNU 版叫做 Bison。它是一种工具,将任何一种编程语言的所有语法翻译成针对此种语言的 Yacc 语 法解析器。它用巴科斯范式(BNF

openkk 2011-12-30   78926   0

语法分析器生成工具 Berkeley Yacc 经验

是一个高质量的 yacc 变种,其目的是为了避免依赖某个特定的编译器。 yacc 是一个经典的生成语法分析器的工具,大学的《编译原理》课程里介绍过。 项目主页: http://www.open-open

openkk 2011-12-30   64806   0
1 2 3 4 5 6 7 8 9 10