eclipse-cognicrypt / CogniCrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
☆61Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for CogniCrypt
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆15Updated 3 weeks ago
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆67Updated this week
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- A constraint solver abstraction layer for Java☆20Updated last year
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 6 months ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆87Updated this week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated 7 months ago
- Maven plugin to handle multi module projects for PiTest☆46Updated last year
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- AFL-based fuzzing for Java☆234Updated 4 years ago
- Home page of project "KB"☆114Updated 3 weeks ago
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- JDBL automatically removes unnecessary bytecode from Java applications through dynamic analysis https://dl.acm.org/doi/abs/10.1145/354694…☆16Updated last year
- JavaFuzz is a java classes fuzzer based on the the Java Reflection API☆20Updated 8 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Software testing optimization tool☆27Updated 9 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated 3 months ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- A framework for defining ratings for open source projects. In particular, the framework offers a security rating for open source projects…☆60Updated last week
- Coverage based JVM Fuzz testing tool.☆19Updated 5 years ago
- A toolbox with several call graph construction algorithm implementations☆19Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆168Updated 3 months ago
- Verify Open PGP / GPG signatures plugin☆49Updated last week
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 2 years ago
- IFDS/IDE Solver for Soot and other frameworks☆232Updated last year
- test driver to run JUnit tests isolated in a new JVM☆16Updated 2 weeks ago
- Data-flow testing coverage for Java☆19Updated 7 months ago