Alternatives and similar repositories for semcode

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

• pornin / cycle-counter
  ☆24Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆30Updated 8 months ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 7 months ago
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆94Updated 2 months ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆48Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated this week
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 8 months ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated 2 years ago
• c-blake / batch
  Generic batch system calls for Linux
  ☆26Updated 2 weeks ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 11 months ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆123Updated this week
• oreparaz / dudect
  dude, is my code constant time?
  ☆194Updated last year
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆39Updated last year
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆111Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 years ago
• Mic92 / zig.ko
  Linux kernel module written in Zig
  ☆116Updated 6 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆232Updated this week
• ralight / mallocfail
  Malloc failure testing
  ☆42Updated 6 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆33Updated 3 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 4 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated last month