Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify s analysis consists of two steps. First, it symbolically analyzes the contract s dependency graph to extract pr

Domain4.3(明小子)10.10.10更新版主要更新内容如下： 1.驱除部分死连接，恢复部分官方连接 2.改变默认显示页面为本人BLOG 3.修正程序在检测时出错的BUG 4.修正程序在部分系统中无法启动的BUG 5.加了一个功能模块，但还不成熟，隐藏了，高手的话可以用OD调出来！>!< 6.修复前段时间一些朋友反映的错误和程序宏 7.增加四款SKN皮肤！ 10.10.11紧急更新： 1.修正新版程序在部分系统中启动后直接导致系统蓝屏的BUG 2.修正域名查询的几个错误 3.修正程序批量检测查询到域名的时候无反映的BUG！ Domain4.2(明小子)10.01.

jboss中间件的反序列化漏洞检测工具，可检测主机搭建的中间件并获得shell

【最好的程序漏洞分析检测工具】EurekaLog 7.7 Update 8 hotfix 64(V 7.7.8.64)，企业版~源码版！EurekaLog是著名且不可多得的Delphi 完整的Bug决议工具。EurekaLog为Delphi和C++Builder开发者提供的，一个完整的Bug决议工具。能让所编写的应用程序有能力捕获任何异常和内存泄露，直接在最终用户的电脑上，生成调用堆栈的详细日志（包括file, class, method and line number），可以设置通过Email或者WEB发送每个日志的副本。据官方的Features介绍，其企业版包含源代码，支持Delphi版本各种版本，支持10.2、10.3.2，编译后的文件大约增加300千字节。

Nmap是一款网络扫描和主机检测的非常有用的工具。 Nmap是不局限于仅仅收集信息和枚举，同时可以用来作为一个漏洞探测器或安全扫描器。这个是Windows版本。

Elasticsearch漏洞检测工具，包含Elasticsearch_1.2漏洞利用工具.jar和esExploit (elasticsearch)终极版.jar（Powered By VTI），如有侵权请联系删除。

struts2 漏洞检测工具 ，快速检测struts命令执行漏洞，可批量。运行环境要求：MAC/Linux下的Python2、Python3 。支持ST2-005,ST2-008,ST2-009,ST2-013,ST2-016,ST2-019,ST2-020,ST2-devmode,ST2-032,ST2-033,ST2-037,ST2-045,ST2-046,ST2-048,ST2-052,ST2-053,ST2-057的漏洞检测

在CSDN上没有找到，所以将别处下载的上传过来，必须免费分享！ 包括两个程序，代码尚未调试，希望有所借鉴。 代码仅供学习交流，切勿行危害安全之事，务必遵守法律法规！

一个SQL注入漏洞检测原型工具，由SQL注入动态检测工具，SQL漏洞静态代码检测工具，测试用的网站3部分组成。用Java语言实现。运行时需eclipse等IDE支持。可供学习参考。

代码检测工具，检测出代码中存在的安全问题，并生成报告