This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
☆16Apr 2, 2026Updated last week
Alternatives and similar repositories for Crypto-API-Rules
Users that are interested in Crypto-API-Rules are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆78Feb 23, 2026Updated last month
- ☆12May 9, 2022Updated 3 years ago
- CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.☆61Dec 13, 2024Updated last year
- A Rascal implementation of the Jimple framework.☆13Apr 2, 2022Updated 4 years ago
- ☆15Dec 16, 2025Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆18Sep 2, 2025Updated 7 months ago
- ☆121Dec 27, 2022Updated 3 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆15Feb 26, 2026Updated last month
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated last month
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- ☆15May 17, 2017Updated 8 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆91Jan 22, 2025Updated last year
- Demo about Eclipse IDE, Che, LSP4E, LSP4J and JDT-LS related to the Language Server Protocol☆12Dec 7, 2018Updated 7 years ago
- An implementation of the Oberon language using Scala☆56Jul 1, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Use surrounding WiFi networks to find the geolocation of the device☆19Sep 25, 2018Updated 7 years ago
- POJOs generated from the Static Analysis Results Interchange Format (SARIF) JSON schema.☆27Oct 8, 2025Updated 6 months ago
- A python script to generate custom wordlists using GPT☆14Dec 3, 2023Updated 2 years ago
- My solutions to problems in Arora & Barak's textbook Computational Complexity☆17Dec 21, 2011Updated 14 years ago
- ☆13Dec 31, 2020Updated 5 years ago
- Java code examples for Amazon CodeGuru Reviewer☆25Dec 14, 2023Updated 2 years ago
- R package providing Asio C++ library header files☆13Nov 26, 2025Updated 4 months ago
- Library with serializable versions of java.util.function.* interfaces.☆10May 31, 2019Updated 6 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆20Jul 15, 2023Updated 2 years ago
- Fork from asciicast2gif , Only make some images, exclude gif☆14Jul 10, 2023Updated 2 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆52Jan 6, 2023Updated 3 years ago
- Maveniverse Nisse☆17Updated this week
- FiSDK is an API toolkit developed by Fintechee for managing and controlling the backend of the Fintechee trading platform.☆30Jan 2, 2026Updated 3 months ago
- GPX file manager and viewer☆10Apr 10, 2016Updated 9 years ago
- ☆28Jan 20, 2026Updated 2 months ago
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆10Apr 3, 2022Updated 4 years ago
- Java implementation to convert Properties files to Yaml☆14Nov 18, 2020Updated 5 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.
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- Ruby/XSLT is a simple XSLT class based on libxml <xmlsoft.org/> and libxslt <xmlsoft.org/XSLT/>☆22Apr 6, 2020Updated 6 years ago
- Offline Poker Tournament and Cash Game Organizer☆10Mar 11, 2024Updated 2 years ago
- Framework model for static analysis of Android☆46Jul 13, 2016Updated 9 years ago
- A connector for Apache Spark to access Exasol☆13Oct 31, 2025Updated 5 months ago
- Script for WhatsApp Web Client Live Forensics☆30Dec 31, 2025Updated 3 months ago
- Sample project to show how to achieve zero-downtime deployment with Kubernetes, Spring Boot and Flyway☆12Jan 29, 2019Updated 7 years ago