Source code (C,C++,Java) static analysis tool
☆53Jul 5, 2024Updated last year
Alternatives and similar repositories for cooddy
Users that are interested in cooddy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KLEEF Symbolic Execution Engine☆23Mar 16, 2026Updated last week
- A curated list of standards, tests and benchmarks that can be used for testing and evaluating dev-tools☆15Dec 23, 2022Updated 3 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 6 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆44Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- The open source taint analysis engine for the AI era☆32Updated this week
- Universal Symbolic Virtual Machine☆28Dec 10, 2025Updated 3 months ago
- Solver for Constrained Horn Clauses☆51Updated this week
- ☆16Jun 21, 2024Updated last year
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆19Jun 6, 2024Updated last year
- Code and data accompanying "Learning Deployable Navigation at Kilometer Scale from a Single Traversal"☆11Jun 15, 2018Updated 7 years ago
- ISO20022 message elements☆29Mar 9, 2017Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated 2 months ago
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 7 months ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Nov 5, 2021Updated 4 years ago
- ☆11May 18, 2021Updated 4 years ago
- Python Clang AST Viewer☆30Mar 25, 2024Updated 2 years ago
- A lightweight GUI tool that implements some typical block cipher, coding, hashing, and multi-architecture assemble/disassembly framework,…☆27Nov 21, 2024Updated last year
- Saint-Petersburg: Beamer theme for SPbU☆11Dec 3, 2021Updated 4 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆29Apr 15, 2023Updated 2 years ago
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- ☆25Feb 6, 2024Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆151Jan 30, 2025Updated last year
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- A web server that allows embedding in Discord based on URL.☆11Dec 8, 2022Updated 3 years ago
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated last month
- ☆25Feb 23, 2022Updated 4 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆33Mar 13, 2026Updated 2 weeks ago
- Checks for tpm vulnerabilities☆38Mar 16, 2023Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Papers sources, pictures, presentations, and other stuff☆24Mar 20, 2026Updated last week
- Kotlin DSL ANSI Output Colored Console☆35Aug 20, 2024Updated last year
- Tool for detecting error handling bugs☆23Sep 11, 2016Updated 9 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- SAI,Securely aggregate information 一个Chrome插件，用于每天关注知名安全网站文章☆49Mar 28, 2021Updated 5 years ago
- BBScan_py3☆16Jan 7, 2022Updated 4 years ago
- An ANSI C Vector library (Dynamic Array) that is fully configurable, fast, thread safe, reentrant, can store dynamic data structures as w…☆23Apr 30, 2024Updated last year