Clade is a tool for extracting information about software build process and source code
☆26Oct 26, 2026Updated last week
Alternatives and similar repositories for clade
Users that are interested in clade are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Read-only mirror of the Klever Git repository☆27Apr 27, 2026Updated 6 months ago
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 6 years ago
- zmk is a collection of reusable makefiles☆24Aug 4, 2024Updated 2 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 5 years ago
- Generate and execute fuzzing campaign commands for AFL++ based on the recommended multi-core secondary fuzzer options.☆11Jan 12, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Materials for the "Principles of Static Program Analysis" course☆13Jul 17, 2025Updated last year
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆18Mar 4, 2026Updated 7 months ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- SoSy-Lab Java Common Library☆18Updated this week
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆295Updated this week
- Context, field, and array-sensitive heap analysis for LLVM based on DSA.☆170Updated this week
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆12Oct 10, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- QEMU-based Memory Sanitizer for binary software.☆23Nov 19, 2025Updated 11 months ago
- KLEE Symbolic Execution Engine☆61Oct 27, 2019Updated 7 years ago
- Library for manipulating gdb in batch mode☆21Aug 9, 2026Updated 2 months ago
- ColorPicker Library for Android☆10Feb 13, 2011Updated 15 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 8 years ago
- AFL++ with support for FormatFuzzer☆18May 28, 2025Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 4 years ago
- Download, extract, validate, and repack Pebble PBW files.☆13Mar 30, 2013Updated 13 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 9 months ago
- Combined kernel source code for the Samsung Galaxy G970F, G973F and G975F. Use in combination with Magisk and TWRP.☆10Nov 17, 2020Updated 5 years ago
- Another (bad) ROP gadget finder, but this time in Rust☆22Apr 9, 2024Updated 2 years ago
- Source code release for the KRace project☆32Nov 15, 2021Updated 4 years ago
- FrameShift prototype implementation in LibAFL☆16Nov 13, 2025Updated 11 months ago
- A portable and complete C++ library for object file parsing and manipulation☆15Jun 26, 2022Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- Grph is a high-performance Java library for the manipulation of graphs.☆22Sep 1, 2021Updated 5 years ago
- Litani metabuild system☆21Jun 12, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Automatic fuzz targets generation for Golang packages☆52Jun 4, 2026Updated 4 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆153Jan 30, 2025Updated last year
- ☆17Feb 23, 2026Updated 8 months ago
- Hey!☆15Dec 15, 2018Updated 7 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆81Oct 1, 2026Updated last month