This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
☆16Dec 15, 2025Updated 2 months ago
Alternatives and similar repositories for Crypto-API-Rules
Users that are interested in Crypto-API-Rules are comparing it to the libraries listed below
Sorting:
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆78Updated this week
- ☆12May 9, 2022Updated 3 years ago
- An Android Instrumentation tool to compute Code Coverage☆18Jul 25, 2025Updated 7 months ago
- ☆15Dec 16, 2025Updated 2 months ago
- ☆18Sep 2, 2025Updated 5 months ago
- POJOs generated from the Static Analysis Results Interchange Format (SARIF) JSON schema.☆27Oct 8, 2025Updated 4 months ago
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆10Apr 3, 2022Updated 3 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆91Jan 22, 2025Updated last year
- GPX file manager and viewer☆10Apr 10, 2016Updated 9 years ago
- Get advice for the best post-quantum cryptography algorithm for your use case☆17Sep 11, 2025Updated 5 months ago
- ☆12Aug 6, 2024Updated last year
- PoC for CVE-2022-22954 - VMware Workspace ONE Access Freemarker Server-Side Template Injection☆10Apr 12, 2022Updated 3 years ago
- A collection of post-quantum cryptographic algorithms (and emerging standards) implemented in Rust.☆16Jul 18, 2025Updated 7 months ago
- Cloud Security Automation☆14Dec 2, 2020Updated 5 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- FiSDK is an API toolkit developed by Fintechee for managing and controlling the backend of the Fintechee trading platform.☆30Jan 2, 2026Updated last month
- Set up your own CTF with NIZKCTF☆14Oct 20, 2017Updated 8 years ago
- Maveniverse Nisse☆13Updated this week
- [AAAI 2024] DataElixir: Purifying Poisoned Dataset to Mitigate Backdoor Attacks via Diffusion Models☆12Dec 5, 2024Updated last year
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Exasol SQL driver for Golang☆11Feb 9, 2026Updated 2 weeks ago
- Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"☆19Nov 11, 2025Updated 3 months ago
- ☆13May 27, 2019Updated 6 years ago
- Experiments on Data Poisoning Regression Learning☆12Oct 5, 2020Updated 5 years ago
- Ruby/XSLT is a simple XSLT class based on libxml <xmlsoft.org/> and libxslt <xmlsoft.org/XSLT/>☆22Apr 6, 2020Updated 5 years ago
- Expert Advisors, Browser-based EA. This is a Nodejs package to help Fintechee's users compile C/C++ source codes(to make the expert advis…☆14Apr 17, 2024Updated last year
- This repository is a place to leave and share notes on Hak5 scripts - credit to the many authors for sharing great content.☆13Nov 27, 2021Updated 4 years ago
- A sample CLI tool made in V that prints geometric shapes to the screen.☆11Dec 2, 2023Updated 2 years ago
- Demos how parameterized test can be implemented using JUnit Rules without a custom TestRunner☆23Aug 14, 2018Updated 7 years ago
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last week
- Implements Stripe Checkout as an Angular module.☆13Sep 5, 2018Updated 7 years ago
- Simple, practical and overridable conversions between dataclasses and jsonable dictionaries (long term maintenance).☆11Apr 3, 2025Updated 10 months ago
- ☆12Sep 6, 2023Updated 2 years ago
- ☆16Nov 18, 2025Updated 3 months ago
- Push SpotBugs results as check run annotations☆10Oct 16, 2023Updated 2 years ago
- Musictime is popcorntime for music.☆10Sep 6, 2024Updated last year
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆14May 1, 2016Updated 9 years ago