GeezerVison is showing github.com — CROSSING
Pinned
Loading
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Java
80
45
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
Java
16
13
Demo of the github Action of CryptoAnalysis (for the CamBench repository)
Java
1
1
Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
Java
10
10
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
Java
JavaScript
JetBrains MPS
Rascal
TeX
Sort
Showing 10 of 21 repositories
CryptoAnalysis
Public
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
CROSSINGTUD/CryptoAnalysis's past year of commit activity
Java
80
EPL-2.0
45
9
31
Updated Nov 5, 2026
Crypto-API-Rules
Public
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
CROSSINGTUD/Crypto-API-Rules's past year of commit activity
Java
16
13
5
8
Updated Oct 26, 2026
CROSSINGTUD/CogniCrypt_DOC's past year of commit activity
Java
3
2
3
0
Updated Aug 20, 2026
CamBench
Public
Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
CROSSINGTUD/CamBench's past year of commit activity
Java
10
Apache-2.0
10
1
0
Updated Jun 8, 2026
CROSSINGTUD/CryptSL's past year of commit activity
Java
7
EPL-2.0
5
3
13
Updated Dec 22, 2025
CryptoAnalysis-demo
Public
Demo of the github Action of CryptoAnalysis (for the CamBench repository)
CROSSINGTUD/CryptoAnalysis-demo's past year of commit activity
Java
1
Apache-2.0
1
0
1
Updated Jun 30, 2025
Crysl-MPS
Public
Port of Crysl Editor to Jetbrains MPS
CROSSINGTUD/Crysl-MPS's past year of commit activity
JetBrains MPS
1
2
0
0
Updated Feb 5, 2023
CROSSINGTUD/S6_integration_Elsa's past year of commit activity
C++
0
1
0
0
Updated Aug 1, 2022
CROSSINGTUD/Thesis-2021-Asgharivaskasi's past year of commit activity
TeX
0
0
0
0
Updated May 19, 2022
CROSSINGTUD/E4_integration_PSI_code's past year of commit activity
C
0
MIT
7
0
0
Updated Jan 14, 2022
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.