☆14Apr 4, 2024Updated last year
Alternatives and similar repositories for LookUB
Users that are interested in LookUB are comparing it to the libraries listed below
Sorting:
- System for verifying the correctness of generated Copilot programs☆17May 8, 2025Updated 9 months ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Jul 4, 2017Updated 8 years ago
- PIRA - Automatic Instrumentation Refinement☆16Mar 28, 2024Updated last year
- An extendable and flexible infrastructure for program instrumentation.☆24Feb 19, 2026Updated last week
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 2 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- rust-like traits (type erasure) on plain C++☆17Jun 30, 2023Updated 2 years ago
- ☆18Sep 4, 2023Updated 2 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆21Jan 22, 2024Updated 2 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- ☆33Aug 14, 2025Updated 6 months ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- Lovable memory-safe systems language with a pretty fast compiler☆18Feb 13, 2026Updated 2 weeks ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆31Dec 29, 2024Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61May 16, 2025Updated 9 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- Some experiments with SMT solvers and GIMPLE IR☆41Sep 29, 2023Updated 2 years ago
- C++/CLI compiler based on Clang.☆52May 21, 2014Updated 11 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Aug 16, 2024Updated last year
- ☆36Apr 26, 2023Updated 2 years ago
- ☆36Aug 21, 2025Updated 6 months ago
- A tagged-pointer type for C++.☆36Aug 3, 2023Updated 2 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Gossip Membership Protocol and Fault-Tolerant Key Value Store/☆12May 29, 2015Updated 10 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- distutils extension module - create an installer by InnoSetup.☆13Jul 28, 2015Updated 10 years ago
- Well optimised threading safe database engine could be used to build pretty well performed databases on top of it☆10Apr 7, 2022Updated 3 years ago
- ☆40Apr 3, 2022Updated 3 years ago
- A Grand Sumo prediction game☆10Updated this week
- Boost.Mustache☆10Jan 31, 2023Updated 3 years ago
- bad apple but its cargo compile output☆21Jan 4, 2026Updated last month
- observer-ptr - An observer_ptr for C++98 and later in a single-file header-only library (Extensions for Library Fundamentals, v2, v3)☆40Nov 28, 2025Updated 3 months ago
- A Tiny, portable, precise, incremental mark-sweep GC designed for C++.☆38May 29, 2020Updated 5 years ago
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- Manager program for the Bethesda Softworks Archives (BSA)☆13Sep 12, 2023Updated 2 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- A python implementation of the paper "GraRep: Learning Graph Representations with Global Structural Information".☆11Jun 7, 2017Updated 8 years ago
- VSCode extension adding BNF and EBNF syntax highlighting☆13Sep 13, 2023Updated 2 years ago