Create CFGs and compute complexity metrics for Python, C++, and Java code.
☆46May 10, 2024Updated 2 years ago
Alternatives and similar repositories for metrinome
Users that are interested in metrinome are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 6 years ago
- A differentiable, self-modifying esolang where gradient descent is an instruction and programs rewrite their own parameters, designed by …☆38Aug 25, 2026Updated 3 weeks ago
- A versatile fuzzer for detecting compiler optimization bugs across multiple architectures and compilers. Equipped with advanced code gene…☆15Dec 22, 2023Updated 2 years ago
- ☆16Jan 23, 2022Updated 4 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.
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆49Sep 6, 2026Updated last week
- ExploitGen is a template-augmented Exploit Code generation method based on CodeBERT, which accepted in JSS.☆11Feb 9, 2024Updated 2 years ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- A protocol reverse engineer tool written in java.☆28Oct 14, 2016Updated 9 years ago
- Fuzzing Multiparty Protocols like Pub/Sub Protocols☆19Sep 3, 2021Updated 5 years ago
- ☆12May 31, 2022Updated 4 years ago
- ☆10Oct 8, 2022Updated 3 years ago
- Multi-granularity vulnerability detection with a novel pre-trained code model☆19Dec 15, 2025Updated 9 months ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆37Jan 14, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.☆30Jan 10, 2026Updated 8 months ago
- Vagrant setup for building a machine for CTF/exploit development☆21Apr 21, 2019Updated 7 years ago
- Dynamic-Static binary instrumentation framework on top of GDB☆51Sep 25, 2023Updated 2 years ago
- Builders for attrs☆11Jul 31, 2019Updated 7 years ago
- A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.☆21Sep 22, 2020Updated 5 years ago
- Code from MSc thesis on combining learning and fuzzing☆20Jul 30, 2018Updated 8 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Precision Knowledge Editing (PKE): A novel method to reduce toxicity in LLMs while preserving performance, with robust evaluations and ha…☆12Nov 26, 2024Updated last year
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Dockerfile for Pwnable☆13Apr 3, 2025Updated last year
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Claude Max usage monitor for macOS menu bar☆19Updated this week
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆38Aug 17, 2023Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- ☆21Jan 2, 2021Updated 5 years ago
- TracerX Symbolic Virtual Machine☆32May 14, 2026Updated 4 months ago
- Fully automated ipa decrypt (requires mac and connected jailbroken ios device)☆13Apr 23, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An evolutionary, coverage-guided greybox network protocol fuzzer☆22Aug 31, 2021Updated 5 years ago
- fuzzing + concolic = fuzzolic :)☆131Nov 6, 2025Updated 10 months ago
- List the real world programs evaluated in fuzzing papers.☆56Jan 14, 2019Updated 7 years ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- ☆10Jun 1, 2024Updated 2 years ago
- Animation when click photo like Google Photos☆10Feb 5, 2016Updated 10 years ago
- ☆12Aug 31, 2026Updated 2 weeks ago