GitHub · Where software is built

Filter results based upon available code-gen configuration
#193 · kruegers opened on Jul 3, 2018
3
Migrate TLS use case to CogniCrypt_GEN
#334 · kruegers opened on Oct 11, 2019
1

Labels Milestones New issue

error on crypto analysis

#363

· rbonifacio opened

on Jan 29, 2020

Generated code causes analysis findings

#305

· AnakinRaW opened

on Jul 26, 2019

Improve Error Messages related to data flows from forbidden types

#224

· Lonzak opened

on Nov 13, 2018

Filter results based upon available code-gen configuration

#193

· kruegers opened

on Jul 3, 2018

Improve error messages for KeyGenerator and Cipher

#183

· ericbodden opened

on May 18, 2018

CrySL Rule for KeyGenParameterSpec

#127

· kruegers opened

on Dec 11, 2017

Create CrySL rules for LTA

#109

· kruegers opened

on Oct 23, 2017