x64dbg 是一个开源的Windows二进制调试器，旨在进行恶意软件分析和你没有源代码的可执行文件的逆向工程。有许多可用的功能和一个全面的插件系统来添加你自己的功能
Program for determining types of files for Windows, Linux and MacOS.
Performant type-checking for python.
#区块链#Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
#区块链#Symbolic execution tool
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
UNIX-like reverse engineering framework and command-line toolset.
Quickly find differences and similarities in disassembled code
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
腾讯云代码分析，是一套代码综合分析平台，主要功能是保障多工程项目敏捷迭代下的代码质量，以及支撑团队传承代码文化
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
cwe_checker finds vulnerable patterns in binary executables
Tai-e assignments for static program analysis
A LLVM-based static analysis framework.