A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
☆20Jan 14, 2021Updated 5 years ago
Alternatives and similar repositories for surveyor
Users that are interested in surveyor are comparing it to the libraries listed below
Sorting:
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- Fast time library☆20Jul 1, 2025Updated 8 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- ☆22Jan 7, 2026Updated last month
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- ☆17Sep 23, 2024Updated last year
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Feb 17, 2026Updated last week
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 4 months ago
- Dynamic Control Flow Recovery☆25Apr 15, 2018Updated 7 years ago
- Tree-sitter package for the Zig programming language☆29May 24, 2024Updated last year
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Apr 6, 2023Updated 2 years ago
- Overloaded plugin☆31Jun 15, 2024Updated last year
- glyb is an experimental graphics API agnostic text rendering, text layout, and vector canvas library.☆29Jun 17, 2025Updated 8 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆28Feb 27, 2024Updated 2 years ago
- Material for Haskell training☆37Jan 23, 2023Updated 3 years ago
- Cutter Instruction Reference Plugin☆30Jan 31, 2021Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated last year
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Data centralization tool☆36Aug 24, 2020Updated 5 years ago
- The formal proof of the Odd Order Theorem☆37Feb 18, 2026Updated last week
- Automatically generate Makefile by only typing smake in the project☆34Feb 6, 2026Updated 3 weeks ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Feb 3, 2024Updated 2 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Simple grammar-based test case generator☆40Updated this week
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Attribute grammar Based Language Extensions for C☆42Feb 20, 2026Updated last week
- ☆44Jul 14, 2025Updated 7 months ago
- Flex 'em lexers☆42Oct 19, 2020Updated 5 years ago
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 10 months ago
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- Heap analysis tooling for ptmalloc☆46Jun 13, 2022Updated 3 years ago
- Some of my crypto challenges☆11Jun 21, 2020Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Jul 20, 2025Updated 7 months ago
- ☆12Oct 13, 2022Updated 3 years ago
- Boost.Mustache☆10Jan 31, 2023Updated 3 years ago
- Tiny version of xlib, based on goingnuts' modifications of amigo's fork of an ancient xlib version.☆40Aug 11, 2016Updated 9 years ago