Alternatives and similar repositories for ASPIS

Users that are interested in ASPIS are comparing it to the libraries listed below

• lac-dcc / yali
  A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
  ☆34Updated 2 years ago
• herumi / xbyak_riscv
  ☆49Updated last month
• redplait / denvdis
  NVidia sass disassembler/inline patcher
  ☆28Updated this week
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆20Updated last year
• gatelabdavis / RANE
  ☆23Updated 2 years ago
• trailofbits / circuitous
  binary->LLVM->circuits
  ☆19Updated last year
• lac-dcc / hydra
  A benchmark game for guessing the hottest point of a program
  ☆16Updated this week
• aengelke / disarm
  Disarm — Fast AArch64 Decode/Encoder
  ☆42Updated 9 months ago
• UQ-PAC / llvm-translator
  ☆13Updated 2 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆55Updated last week
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆116Updated 4 years ago
• binary-translation / risotto-artifact-asplos23
  ☆20Updated 2 years ago
• optimisan / llvm-mips-backend
  Tutorial for writing an LLVM backend
  ☆25Updated 4 months ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 years ago
• AmeerAbdelhadi / Multi-Sink-Lee-Moore-Shortest-Path-Maze-Router
  This is an implemention of Lee-Moore's Shortest Path Maze Router with multi-sink nets support.
  ☆13Updated 9 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆51Updated 4 months ago
• triskellib / triskel
  A graphing library for Control Flow Graphs
  ☆66Updated 3 months ago
• michelou / llvm-examples
  Running and building LLVM on Windows
  ☆33Updated last year
• GrammaTech / gtirb-stack-stamp
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆33Updated 2 months ago
• mrexodia / binja-standalone-api
  Standalone API for Binary Ninja's LLIL
  ☆20Updated last year
• BFrizzleFoShizzle / VirtualTaggerPlugin
  Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions
  ☆15Updated 2 years ago
• diffkemp / diffkemp
  Static analysis of semantic differences in kernel versions
  ☆38Updated last week
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• vaivaswatha / lljit
  LLVM JIT: An Example
  ☆17Updated 5 years ago
• LLVMParty / args
  Minimal header-only C++11 argument parser library for simple command line tools.
  ☆25Updated 7 months ago
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 8 months ago
• mrexodia / cxx-common-cmake
  Experiment building lifting-bits dependencies with pure CMake. Migrated to:
  ☆22Updated 11 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆48Updated 6 months ago
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17Updated 7 years ago