philippegabriel / coverityView external linksLinks
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:
- TEAM Mentor 3.x Released Code☆16Aug 5, 2016Updated 9 years ago
- OSINT tool for domain discovery☆10Apr 5, 2024Updated last year
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- A curated list of GPT agents for cybersecurity☆12Oct 2, 2024Updated last year
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 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☆13Jan 9, 2026Updated last month
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- Dockerized Beyond Compare☆10Mar 28, 2018Updated 7 years ago
- Calculate the domain age with python script☆11Mar 27, 2018Updated 7 years ago
- ☆10May 12, 2022Updated 3 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- Python tool for exploiting CVE-2021-35616☆11Dec 3, 2021Updated 4 years ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Mar 19, 2015Updated 10 years ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years ago
- A curated collection of security tools, frameworks, and resources for Enumeration, Cloud Security, Static Analysis, Threat Intelligence, …☆21Dec 2, 2025Updated 2 months ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Sep 17, 2019Updated 6 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- Java and Scala client libraries for Concord☆13Feb 15, 2017Updated 9 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 6 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- A tiny GitHub searcher using the GitHub API. No authentication required.☆12May 2, 2025Updated 9 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- building a game engine using rust-lang from scratch!☆10May 25, 2017Updated 8 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- Workshop to learn about Spock Framework☆10Nov 2, 2018Updated 7 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- ☆20Jun 25, 2013Updated 12 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months 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
- minttp is an experiment to see if I could create a simple and minimal HTTP library without any dependencies.☆11Jan 5, 2018Updated 8 years ago
- PharoADO enables data persistence in Pharo by using ActiveX Data Objects (ADO) on Microsoft Windows and external DBMS☆10Aug 27, 2020Updated 5 years ago
- Tourmaline is a AOT programming language with LLVM☆12Aug 21, 2017Updated 8 years ago