-
Notifications
You must be signed in to change notification settings - Fork 24
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
CogniCrypt fails to track static fields #292
Comments
Thanks for reporting @linghuiluo can you share the code? |
I found minimal working and non-working code: No error:
but an error is shown when we explicitly assign the field to a variable
|
@johspaeth example here
|
Closing this issue because it is a duplicate to CROSSINGTUD/CryptoAnalysis#97. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Linghui has a test case in which the program uses too few rounds for key derivation but the round value "20" is stored in a static fields. CogniCrypt fails to report this rule violation.
The text was updated successfully, but these errors were encountered: