Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
☆182Oct 18, 2024Updated last year
Alternatives and similar repositories for UTBotCpp
Users that are interested in UTBotCpp are comparing it to the libraries listed below
Sorting:
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 7 months ago
- Automated unit test generation and precise code analysis for Java☆142Oct 27, 2025Updated 4 months ago
- Minimal header-only C++11 argument parser library for simple command line tools.☆25Feb 2, 2025Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- fast and effective way to access and analyze java bytecode☆32Dec 10, 2025Updated 2 months ago
- An optimizing decompiler (modified to use remill semantics)☆30Jan 4, 2019Updated 7 years ago
- Source code (C,C++,Java) static analysis tool☆53Jul 5, 2024Updated last year
- LLDB based debugger for Linux Kernel☆28Apr 5, 2025Updated 11 months ago
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated 7 months ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Oct 10, 2024Updated last year
- A feed of malware samples curated from threat intelligence sources.☆28Oct 6, 2023Updated 2 years ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆91Jul 28, 2024Updated last year
- ☆166Jul 25, 2025Updated 7 months ago
- VSCode extension for the LLVM IR language☆60May 29, 2024Updated last year
- LLVM Graph View for VSCode☆40Mar 25, 2025Updated 11 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- A LLVM Sanitizer for Symbolic Tracing☆234Feb 7, 2026Updated 3 weeks ago
- Python bindings for BochsCPU☆38Aug 10, 2025Updated 6 months ago
- Juliet C/C++ Dynamic Test Suite☆35Apr 18, 2023Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆36Feb 17, 2026Updated 2 weeks ago
- Rust implementation of the rectcut algorithm described in https://halt.software/dead-simple-layouts/☆18Feb 13, 2023Updated 3 years ago
- x86-64 Automated test data generator☆26Aug 18, 2025Updated 6 months ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- A suite of experiments for evaluating open-source binary taint trackers.☆33Feb 15, 2022Updated 4 years ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆25Jul 9, 2024Updated last year
- PDB Rewriting Rust Library☆27Apr 26, 2024Updated last year
- Universal Symbolic Virtual Machine☆28Dec 10, 2025Updated 2 months ago
- A pure C++17 implementation of WPP software tracing☆19Nov 20, 2020Updated 5 years ago
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Embedded Text Editor for Dear ImGui☆19Jul 11, 2023Updated 2 years ago
- Cross platform C++ libraries☆21Feb 26, 2026Updated last week
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- x64dbg typeparsing plugin with Windows types☆71Aug 29, 2025Updated 6 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆144Jan 26, 2026Updated last month
- Disarm — Fast AArch64 Decode/Encoder☆45Dec 21, 2024Updated last year
- Cleaned elf for PS4 supporting c++ and includes imports and utility classes☆19Sep 25, 2020Updated 5 years ago