CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
☆78Feb 23, 2026Updated last week
Alternatives and similar repositories for CryptoAnalysis
Users that are interested in CryptoAnalysis are comparing it to the libraries listed below
Sorting:
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Dec 15, 2025Updated 2 months ago
- Demand-Driven Pointer Analysis☆14Updated this week
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Jul 8, 2021Updated 4 years ago
- A toolbox with several call graph construction algorithm implementations☆21May 21, 2023Updated 2 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- Password management and cracking training☆13Jul 15, 2025Updated 7 months ago
- Demo to enable HTTPS and HTTP/2 for spring boot web application☆10Feb 7, 2020Updated 6 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- This is a project I'm using to learn Rust and binary analysis.☆11Jan 20, 2022Updated 4 years ago
- Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"☆19Nov 11, 2025Updated 3 months ago
- A Rascal implementation of the Jimple framework.☆13Apr 2, 2022Updated 3 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆16Updated this week
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 5 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Oct 10, 2024Updated last year
- A string deobfuscator for Android applications using backwards program slicing☆14Aug 10, 2019Updated 6 years ago
- Analysis for access-control vulnerabilities in Java Spring Security applications.☆14May 25, 2022Updated 3 years ago
- ☆18Aug 7, 2020Updated 5 years ago
- A tool to instrument Android APKs based on Soot☆15Jul 8, 2020Updated 5 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆68Dec 10, 2024Updated last year
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- ☆12Jan 13, 2021Updated 5 years ago
- Ditto.☆18Jul 23, 2020Updated 5 years ago
- Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange☆19Mar 26, 2025Updated 11 months ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆15Nov 11, 2022Updated 3 years ago
- ☆14Mar 8, 2023Updated 2 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- This is the source of our Return Oriented Programming tool.☆14Nov 8, 2019Updated 6 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- A LLVM-based static analysis framework.☆1,034Feb 17, 2026Updated last week
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆22Aug 30, 2019Updated 6 years ago
- ☆121Dec 27, 2022Updated 3 years ago
- Browser Fuzzing with Machine Learning☆22Mar 6, 2019Updated 6 years ago
- ☆18Sep 2, 2025Updated 5 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Jul 14, 2025Updated 7 months ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆91Jan 22, 2025Updated last year