Lists (3)
Stars
Infrastructure for Reassembleable Disassembling and Transformation
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
OpenRewrite recipes for data flow analysis.
Demand-Driven Pointer Analysis
Sparse IDE/IFDS solver and client implementation
The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.
A high-performance, parallel, compilation-based symbolic execution engine
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
An unofficial implementation of asm2vec as a standalone python package
BinRec: Dynamic Binary Lifting and Recompilation
O-MVLL is a code obfuscation tool based on LLVM for native code (Android and iOS).
A small sample from the "Practical Symbolic Execution" course, showing some of the slides describing test case generation, and an associated small lab
The CVE Binary Tool helps you determine if your system includes known vulnerabilities. You can scan binaries for over 350 common, vulnerable components (openssl, libpng, libxml2, expat and others),…
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
Automatic Disassembly Desynchronization Obfuscator
Dynamic unpacker and import fixer for Themida/WinLicense 2.x and 3.x.
an obfuscator based on LLVM which can obfuscate the program execution trajectory
This OS Tutorial expands on the fundamental concepts covered in cfenollosa/os-tutorial and covers entering long mode on the x86_64 architecture. It also uses clang rather than relying on an externa…