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
Sorting:
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- A curated list of standards, tests and benchmarks that can be used for testing and evaluating dev-tools☆15Dec 23, 2022Updated 3 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18Jun 6, 2024Updated last year
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 2 weeks ago
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 7 months ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- TriCera: a model checker for C programs☆26Updated this week
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- ☆26Sep 21, 2022Updated 3 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Feb 26, 2026Updated last week
- ☆14Jan 3, 2023Updated 3 years ago
- ☆10Jul 10, 2021Updated 4 years ago
- Security-focused static analyzer for Java and Kotlin web applications☆30Feb 25, 2026Updated last week
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 6 months ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format☆44Feb 23, 2026Updated last week
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆77Oct 14, 2024Updated last year
- Spinbox extension for customtkinter (add-on)☆10Jun 4, 2024Updated last year
- MediaPipeのFaceMesh検出を用いて、虹彩部分に写輪眼(©NARUTO -ナルト-)を表示するプログラム☆11Apr 16, 2022Updated 3 years ago
- Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension☆11Jun 12, 2025Updated 8 months ago
- FastjsonScan,支持版本识别、出网检测、AutoType检测、依赖检测,poc验证等功能☆13Jun 17, 2025Updated 8 months ago
- Find Pitch of an Audio file☆10Jun 10, 2019Updated 6 years ago
- A simple led indicator for PyQt5☆11Sep 15, 2017Updated 8 years ago
- OpenMP offload playground☆10Nov 16, 2024Updated last year
- PyQt thread which overlays the translucent loading screen with label on the whole window like some generic application loading screen.☆12Feb 4, 2022Updated 4 years ago
- A cross platform manga/doujinshi manager with namespace & tag support☆10Oct 10, 2021Updated 4 years ago
- Combined InstantID🔥 and FouriScale to generate high resolution image!☆11Apr 3, 2024Updated last year
- Solver for Constrained Horn Clauses☆50Updated this week
- ☆11Nov 22, 2023Updated 2 years ago
- Virtual Makeup is a smart beauty camera app feature that allows users to try on makeup, hair colors, and accessories via augmented realit…☆15Aug 3, 2021Updated 4 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Burp Suite extension to encode an IP address focused to bypass application IP / domain blacklist.☆11Sep 22, 2023Updated 2 years ago
- ☆13Jan 24, 2024Updated 2 years ago
- Python package for NDArray-based processing of QVideoFrame with Qt6.☆13Sep 26, 2023Updated 2 years ago
- Code used for mouse single cell RNAseq testis atlas☆12Nov 28, 2020Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- ☆12Jan 13, 2025Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago