svenfeld's repositories
3d_final_report
Content of final report
Language:TeX000
AutoEq
Automatic headphone equalization from frequency responses
Language:Jupyter NotebookMIT000
CogniCrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
Language:JavaEPL-2.0000
CogniCrypt-CI-Integration
This repository contains code for a Jenkins adaptor for CogniCrypt which is based on warnings-ng-plugin https://github.com/jenkinsci/warnings-ng-plugin
Language:JavaMIT000
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
Language:Java000
000
Language:JavaScript000
Language:HTML000
SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
Language:JavaEPL-2.0000