Utilities for Coverity
☆16Nov 17, 2014Updated 11 years ago
Alternatives and similar repositories for coverity
Users that are interested in coverity are comparing it to the libraries listed below
Sorting:
- OSINT tool for domain discovery☆10Apr 5, 2024Updated last year
- TEAM Mentor 3.x Released Code☆16Aug 5, 2016Updated 9 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- ☆10May 12, 2022Updated 3 years ago
- Calculate the domain age with python script☆11Mar 27, 2018Updated 7 years ago
- Python tool for exploiting CVE-2021-35616☆11Dec 3, 2021Updated 4 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- This project provides an AI-driven test case generator using FastAPI. The application accepts a GitHub repository name and generates test…☆19Jun 7, 2024Updated last year
- Dockerized Beyond Compare☆10Mar 28, 2018Updated 7 years ago
- A curated list of GPT agents for cybersecurity☆12Oct 2, 2024Updated last year
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Simple implementation of an AppSec Pipeline using the Gasp library☆13Sep 8, 2019Updated 6 years ago
- Minimum DevSecOps with Monitoring Options on Amazon EKS☆13Feb 25, 2026Updated last week
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- A python RCE exploit on QNAP-QTS☆14Sep 15, 2020Updated 5 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- A tiny GitHub searcher using the GitHub API. No authentication required.☆12Updated this week
- Tourmaline is a AOT programming language with LLVM☆12Aug 21, 2017Updated 8 years ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Sep 17, 2019Updated 6 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Code repository for blog article series https://nixcademy.com/2023/10/31/cpp-with-nix-in-2023-part-1-shell/☆11Jan 11, 2024Updated 2 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- CrateDB driver for Rust☆14Aug 16, 2018Updated 7 years ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Mar 19, 2015Updated 10 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- building a game engine using rust-lang from scratch!☆10May 25, 2017Updated 8 years ago
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- ☆11Mar 29, 2022Updated 3 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Micro-benchmarking of Haskell code with detailed execution time statistics.☆18Aug 9, 2025Updated 7 months ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- ☆20Jun 25, 2013Updated 12 years ago
- Java and Scala client libraries for Concord☆13Feb 15, 2017Updated 9 years ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago