shahrzad's repositories
codyze
Codyze is a static analyzer for Java, C, C++ based on code property graphs
Language:JavaApache-2.0000
CogniCrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
CogniCrypt_TESTGEN
A Test Generator for Java Crypto APIs
Language:Java000
Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
000
CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Language:JavaEPL-2.0000