facebookexperimental / semcodeLinks
semcode
☆40Updated 2 weeks ago
Alternatives and similar repositories for semcode
Users that are interested in semcode are comparing it to the libraries listed below
Sorting:
- ☆24Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated last year
- Modeling futexes in TLA+☆20Updated last year
- GCC plugin for C language that tracks references to allocated objects☆30Updated 8 months ago
- XML representation of the x86 instruction set☆28Updated 7 months ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆94Updated 2 months ago
- ☆29Updated 6 years ago
- Decompose source code into templates and fragments for any language.☆23Updated 3 years ago
- Nautilus Aerokernel☆48Updated 3 years ago
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- Creating a minimal ELF file☆119Updated 8 months ago
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- Generic batch system calls for Linux☆26Updated 2 weeks ago
- ☆13Updated 7 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated 11 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆123Updated this week
- dude, is my code constant time?☆194Updated last year
- Working draft of nextgen malloc implementation for musl libc☆123Updated 5 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- A Brainfuck interpreter embedded inside DWARF debug information☆39Updated last year
- Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.☆111Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆40Updated 2 years ago
- Linux kernel module written in Zig☆116Updated 6 years ago
- Assembly super-optimization via constraint solving☆232Updated this week
- Malloc failure testing☆42Updated 6 years ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- ☆52Updated 3 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Updated 3 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated last month