PLSysSec / rlbox_wasm2c_sandbox

Related projects ⓘ

Alternatives and complementary repositories for rlbox_wasm2c_sandbox

• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆66Updated this week
• wasm3 / wasm-coremark
  CoreMark 1.0 ported to WebAssembly
  ☆39Updated 3 years ago
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆56Updated 3 years ago
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆43Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆77Updated 9 months ago
• intel / pin-based-cec
  Pin-Based Constant Execution Checker (Pin-based CEC)
  ☆15Updated last week
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆26Updated last month
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆44Updated 10 months ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆48Updated last week
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆40Updated this week
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated last year
• amd / aocl-compression
  A software library of lossless data compression methods tuned and optimized for AMD “Zen”-based CPUs
  ☆24Updated 3 weeks ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆27Updated 4 years ago
• vusec / LookUB
  ☆11Updated 7 months ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆54Updated this week
• smuellerDD / esdm
  Entropy Source and DRNG Manager
  ☆11Updated last month
• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆58Updated 4 months ago
• GregoryComer / x86-csv
  A machine-readable representation of the Intel x86 Instruction Set Reference.
  ☆31Updated 3 years ago
• intel / thin-layout-optimizer
  ☆52Updated 2 months ago
• intel / intel-sdsi
  ☆48Updated this week
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆36Updated 5 months ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆18Updated 5 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 5 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆23Updated 5 months ago
• LykenSol / rust-demangle.c
  C port of the Rust symbol demangler (rustc-demangle)
  ☆39Updated last year
• jedisct1 / supercop
  Always up-to-date mirror of the SUPERCOP cryptographic benchmark.
  ☆25Updated this week
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆112Updated 3 years ago
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• CTSRD-CHERI / cheribuild
  Easily build and run CHERI related projects
  ☆68Updated last week