关于AmocoAmoco是一款功能强大的二进制源码静态分析工具，该工具基于Python 3.8开发，可以帮助广大研究人员轻松对二进制程序执行静态符号分析。工具特性1、一个通用的指令…
关于BinaryNinja-OllamaBinaryNinja-Ollama是一款针对开源AI模型的本地化工具，该工具可以帮助广大研究人员提取开源的AI模型，并将其运行在本地设备上…
关于WycheproofWycheproof是一款功能强大的加密代码库安全强度检测工具，广大研究人员可以使用Wycheproof来测试加密库的安全健壮度。工具背景在密码学中，微小的…
关于MonocleMonocle是一款基于LLM的二进制文件自然语言搜索工具，该工具由LLM驱动，用于对已编译的目标二进制文件执行自然语言搜索，并查找加密代码、密码字符串和安全缺陷…
关于windows_x64_shellcode_templatewindows_x64_shellcode_template简称为Wx64ST，它是一款功能强大的Shellcode…
关于LavaDomeLavaDome是一款针对HTML代码安全和Web安全的强大工具，该工具基于ShadowDOM实现其功能，可以帮助广大研究人员实现安全的DOM节点/树隔离和封装…
关于GWPSanGWPSan是一款基于数据采样的二进制代码动态安全检测框架，该工具消耗资源非常少，旨在实现适合生产用途的各种二进制代码错误检测。GWPSan 不会修改执行的代码，而…
静态应用程序安全测试(SAST)是分析和测试应用程序源代码是否存在安全漏洞的过程。软件开发人员使用 SAST 在软件开发生命周期(SDLC)早期(即应用最终发布之前)查找并修复源代…
关于RopdumpRopdump是一款针对二进制可执行文件的安全检测工具，该工具基于纯Python开发，是一个命令行工具，旨在帮助广大研究人员检测和分析二进制可执行文件中潜在的RO…
关于ExtrudeExtrude是一款功能强大的二进制源码安全分析工具，该工具可以帮助广大研究人员轻松检测和分析分析二进制文件是否存在缺失的安全功能、信息泄露等。当前版本的Extr…