68 skills found · Page 1 of 3
lifting-bits / McsemaFramework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
lifting-bits / RemillLibrary for lifting machine code to LLVM bitcode
travitch / Whole Program LlvmA wrapper script to build whole-program LLVM bitcode files
andoma / VmirVirtual Machine for Intermediate Representation
lifting-bits / RellicRellic produces goto-free C output from LLVM bitcode
mchalupa / Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
SheLLVM / SheLLVMA collection of LLVM transform and analysis passes to write shellcode in regular C
lifting-bits / Anvillanvill forges beautiful LLVM bitcode out of raw machine code
seahorn / ClamStatic Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
seahorn / Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
plast-lab / CclyzerA tool for analyzing LLVM bitcode using Datalog.
ShiftLeftSecurity / Llvm2cpgLLVM meets Code Property Graphs
UbiquityDotNET / Llvm.NETLLVM Bindings for .NET
maropu / Lljvm TranslatorA lightweight library to inject LLVM bitcode into JVMs
zhuowei / MetalShaderToolsTools and samples for understanding Apple's Metal shading language and its LLVM Bitcode shader files
matthewbdwyer / TipcA compiler from TIP to llvm bitcode
compor / Llvm Ir Cmake UtilsLLVM IR CMake utils for bitcode file manipulation by opt and friends
AmrDeveloper / LLQLLLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM IR/Bitcode files
sdasgup3 / Binary DecompilationExtracting high level semantic information from binary code
mseaborn / Tiny Llvm CodegenA fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.