A collection of out-of-tree LLVM passes for teaching and learning
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Library for lifting machine code to LLVM bitcode
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Automatic verification of LLVM optimizations
cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Components of a decompilation pipeline.
#区块链#SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a
A collection of LLVM transform and analysis passes to write shellcode in regular C
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
#计算机科学#A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations