关于cwe_checkercwe_checker是一套用于检测常见错误类别（例如空指针取消引用和缓冲区溢出）的检查工具，这些错误类型可以将其称之为CWE。而该工具可以帮助广大研究人…
关于BetterscanBetterscan是一款多功能代码安全编排与审计工具，该工具可以针对源代码执行代码扫描、SAST、静态分析和其他安全审计任务，并生成可读的整合报告。Bet…
关于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)早期(即应用最终发布之前)查找并修复源代…