Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / CROSSINGTUD/CryptoAnalysis issues and pull requests
#103 - Predicate 'randomized' not checked for SecureRandom
Issue -
State: closed - Opened by SvenEV almost 6 years ago
- 1 comment
#102 - 92
Pull Request -
State: closed - Opened by rbonifacio almost 6 years ago
#101 - CryptoAnalysis on Maven Central or our build server repository
Issue -
State: closed - Opened by linghuiluo almost 6 years ago
- 6 comments
Labels: enhancement
#100 - Add data-flow path for each findings
Issue -
State: open - Opened by johspaeth almost 6 years ago
Labels: enhancement
#99 - Updated BoomerangPDS to remove unnecessary nop statements on the tar…
Pull Request -
State: closed - Opened by johspaeth almost 6 years ago
#98 - Analyzed objects are reported multiple times
Issue -
State: closed - Opened by piskachev almost 6 years ago
- 1 comment
Labels: bug
#97 - Static field accesses is not properly modeled
Issue -
State: open - Opened by johspaeth almost 6 years ago
- 2 comments
Labels: bug, false negative
#96 - update soot dependency
Issue -
State: closed - Opened by linghuiluo almost 6 years ago
- 6 comments
#94 - Compile source code before executing HeadlessTests
Issue -
State: closed - Opened by johspaeth almost 6 years ago
#93 - Wpds #53
Pull Request -
State: closed - Opened by johspaeth almost 6 years ago
#92 - Error testing a predicate of Google Tink specification
Issue -
State: closed - Opened by rbonifacio almost 6 years ago
- 11 comments
#91 - Updated RequiredPredicateError.java
Pull Request -
State: closed - Opened by rakshitkr almost 6 years ago
#90 - Getting updates from master
Pull Request -
State: closed - Opened by sritejakv almost 6 years ago
- 2 comments
#89 - Create test cases for the Tink specifications
Issue -
State: closed - Opened by rbonifacio almost 6 years ago
- 1 comment
Labels: enhancement
#88 - Issue 84
Pull Request -
State: closed - Opened by enriozuni about 6 years ago
- 2 comments
#87 - Closes #81
Pull Request -
State: closed - Opened by johspaeth about 6 years ago
#86 - Improve Pipeline for Reporting Issues
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 1 comment
Labels: help wanted
#85 - False Positive reported for MessageDigest
Issue -
State: closed - Opened by sritejakv about 6 years ago
- 4 comments
#84 - Create Usage Pattern Tests for CipherInputStream, CipherOutputStream, DigestInputStream, DigestOutputStream
Issue -
State: closed - Opened by enriozuni about 6 years ago
- 1 comment
#83 - Adding new methods to KeyStore.crysl
Issue -
State: closed - Opened by sritejakv about 6 years ago
- 4 comments
#82 - #81 Tried to reproduce
Pull Request -
State: closed - Opened by johspaeth about 6 years ago
#81 - NeverTypeOf constraints not checked correctly
Issue -
State: closed - Opened by kruegers about 6 years ago
- 7 comments
Labels: bug, false negative
#80 - Handling of reversal operations in CrySL and CogniCrypt(_SAST)
Issue -
State: closed - Opened by kruegers about 6 years ago
- 9 comments
Labels: bug, enhancement, false positive
#79 - Predict and Evaluate Analysis Time
Issue -
State: open - Opened by johspaeth about 6 years ago
Labels: enhancement
#78 - Integrate Demand-Driven Call Graph
Issue -
State: closed - Opened by johspaeth about 6 years ago
Labels: enhancement
#77 - Issue 70 iv not random
Pull Request -
State: closed - Opened by johspaeth about 6 years ago
#76 - Include default rules by putting them into src/main/resources
Pull Request -
State: closed - Opened by mbruns42 about 6 years ago
- 2 comments
#75 - Disable releases for soot-snapshot
Pull Request -
State: closed - Opened by mbruns42 about 6 years ago
#74 - Fix issue #73: Add signature to error message if necessary
Pull Request -
State: closed - Opened by mbruns42 about 6 years ago
#73 - Add method signature to error message when expected & observed call have the same name
Issue -
State: closed - Opened by mbruns42 about 6 years ago
- 1 comment
Labels: enhancement
#72 - Remove WPDS build from shippable.yml
Pull Request -
State: closed - Opened by mbruns42 about 6 years ago
#71 - Update Dependencies to WPDS' Snapshot Versions
Pull Request -
State: closed - Opened by mbruns42 about 6 years ago
#70 - Static IV not marked as non-random
Issue -
State: closed - Opened by akwick about 6 years ago
- 8 comments
Labels: bug, false negative
#69 - Secure Public Key marked as Misuse
Issue -
State: open - Opened by akwick about 6 years ago
- 1 comment
Labels: bug
#68 - IV falsely detected as not properly generated
Issue -
State: closed - Opened by akwick about 6 years ago
- 4 comments
Labels: bug, false positive
#67 - Update Dependencies to WPDS' Snapshot Versions
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 1 comment
#66 - Ground Truth for Artifacts on maven central
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 2 comments
#65 - Added Surefire Maven plugin to generate Shippable test reports
Pull Request -
State: closed - Opened by enriozuni about 6 years ago
#64 - Test results in Shippable
Issue -
State: closed - Opened by kruegers about 6 years ago
- 3 comments
Labels: enhancement, CI
#63 - Issue 52
Pull Request -
State: closed - Opened by enriozuni about 6 years ago
- 2 comments
#62 - Updated PBEKeySpec rule only allows iterationCount = 10000, but not larger.
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 3 comments
Labels: bug
#61 - Analysis reports wrong expected method call
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 10 comments
#60 - Report results in SARIF format
Issue -
State: closed - Opened by johspaeth about 6 years ago
Labels: help wanted
#59 - Issue 58
Pull Request -
State: closed - Opened by enriozuni about 6 years ago
#58 - Add code coverage reports to Shippable output
Issue -
State: closed - Opened by enriozuni about 6 years ago
Labels: CI
#54 - Analysis crashes when run on our own CryptoAnalysis-1.0.0-jar-with-dependencies.jar file
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 2 comments
Labels: help wanted
#53 - Analysis does not find issue when passing wrong algorithm as parameter
Issue -
State: closed - Opened by mbruns42 about 6 years ago
- 16 comments
#52 - Include CogniCryptExample-Project and run static analysis in headless mode
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 1 comment
#51 - IncompleteOperationErrors are imprecise
Issue -
State: closed - Opened by johspaeth about 6 years ago
- 14 comments
#50 - KeyStore generates predicate generatedPrivkey
Issue -
State: closed - Opened by johspaeth over 6 years ago
Labels: enhancement
#49 - Missing predicate warning
Issue -
State: closed - Opened by ericbodden over 6 years ago
Labels: bug
#48 - Fix for issue #47
Pull Request -
State: closed - Opened by rajiv-thorat over 6 years ago
#47 - A collection of RefType is not necessary in FiniteStateMachineToTypestateChangeFunction
Issue -
State: closed - Opened by rajiv-thorat over 6 years ago
- 1 comment
#46 - Add license
Issue -
State: closed - Opened by johspaeth over 6 years ago
#45 - Enable CI for this repository
Issue -
State: closed - Opened by johspaeth over 6 years ago
Labels: enhancement
#44 - Verbose static analysis output
Issue -
State: closed - Opened by johspaeth over 6 years ago
- 1 comment
Labels: help wanted
#43 - Added option to keep line numbers
Pull Request -
State: closed - Opened by oshando over 6 years ago
#42 - Parse and read-in CrySL rules in source code format
Issue -
State: closed - Opened by johspaeth over 6 years ago
- 7 comments
Labels: enhancement
#41 - Extract Values on Call-Flow and Return-Flow
Issue -
State: closed - Opened by johspaeth over 6 years ago
#40 - Use a custom descriptor to include default rules in jar-with-dependencies
Pull Request -
State: closed - Opened by mbruns42 over 6 years ago
#39 - Move maven-plugin related code to a new repository
Issue -
State: closed - Opened by johspaeth over 6 years ago
#38 - Move Android-specific parts of this repository to a new repository
Issue -
State: closed - Opened by johspaeth over 6 years ago
#37 - StateMachineGraph uses Lists instead of Sets to maintain the States and Edges
Issue -
State: closed - Opened by johspaeth almost 7 years ago
#36 - Implement proper hashCode and equals Methods for CryptSLPredicate
Issue -
State: closed - Opened by johspaeth almost 7 years ago
#35 - Fix parameters in missingPredicates
Issue -
State: closed - Opened by kruegers almost 7 years ago
- 1 comment
Labels: bug, enhancement
#34 - TypestateErrorAt should receive expected method calls as parameter
Issue -
State: closed - Opened by kruegers almost 7 years ago
Labels: enhancement
#33 - CalltoForbiddenMethod should include alternate call(s)
Issue -
State: closed - Opened by kruegers almost 7 years ago
- 1 comment
Labels: enhancement
#32 - Implement TypestateErrorEndOfLife
Issue -
State: closed - Opened by kruegers almost 7 years ago
Labels: enhancement
#31 - typestateErrorAt should only be called once
Issue -
State: closed - Opened by kruegers almost 7 years ago
Labels: bug
#30 - Return value of CryptSLMethod.getRetObject().getValue()
Issue -
State: closed - Opened by Breitfelder about 7 years ago
Labels: bug
#29 - Use threading in the analysis
Issue -
State: closed - Opened by kruegers about 7 years ago
- 1 comment
#28 - Re-build rulesets for CryptoLint and CMA
Issue -
State: closed - Opened by kruegers about 7 years ago
#27 - Error reporting: Differentiate between Application and Android packages.
Issue -
State: closed - Opened by johspaeth about 7 years ago
#26 - Always check internal constraints
Issue -
State: closed - Opened by johspaeth about 7 years ago
#25 - Reporting of Predicates
Issue -
State: closed - Opened by johspaeth about 7 years ago
- 1 comment
#24 - SecretKeySpec rule delivers wrong predicate parameters
Issue -
State: closed - Opened by johspaeth about 7 years ago
- 1 comment
#23 - All states should be accepting states in SecretKey rule
Issue -
State: closed - Opened by johspaeth about 7 years ago
#22 - Error in SecureRandom specification
Issue -
State: closed - Opened by johspaeth about 7 years ago
#21 - PBEKeySpec should have a CryptSLCondPredicate
Issue -
State: closed - Opened by johspaeth about 7 years ago
- 1 comment
#20 - Add test cases for Signature
Issue -
State: closed - Opened by kruegers about 7 years ago
Labels: enhancement
#19 - Add test cases for messageDigest
Issue -
State: closed - Opened by kruegers about 7 years ago
Labels: enhancement
#18 - Cipher specification misses a transition
Issue -
State: closed - Opened by johspaeth about 7 years ago
- 2 comments
#17 - How to handle size evaluation
Issue -
State: closed - Opened by kruegers over 7 years ago
Labels: question
#16 - CryptSLMethod should not list the return value inside the parameter List.
Issue -
State: closed - Opened by johspaeth over 7 years ago
#15 - SecureRandom specification has two initial transitions
Issue -
State: closed - Opened by johspaeth over 7 years ago
- 1 comment
#14 - Distinguish between CI and GUI Modus
Issue -
State: closed - Opened by johspaeth over 7 years ago
#13 - Re-implement full predicate check
Issue -
State: closed - Opened by johspaeth over 7 years ago
- 2 comments
#12 - Kill ensured predicates
Issue -
State: closed - Opened by johspaeth over 7 years ago
- 5 comments
#11 - Cipher state machine is not in an accepting state after call to doFinal
Issue -
State: closed - Opened by johspaeth over 7 years ago
- 1 comment
#10 - Object must be in an accepting state at the end of the object's lifetime
Issue -
State: closed - Opened by johspaeth over 7 years ago
#9 - Refactor the order transformation
Issue -
State: closed - Opened by kruegers over 7 years ago
#8 - How to handle pre-defined predicates
Issue -
State: closed - Opened by kruegers over 7 years ago
- 4 comments
#7 - Master
Pull Request -
State: closed - Opened by kruegers over 7 years ago
#6 - How to handle "this" in predicate?
Issue -
State: closed - Opened by kruegers over 7 years ago
- 1 comment
Labels: question
#5 - Forbidden methods for PBEKeySpec is not specified correctly.
Issue -
State: closed - Opened by johspaeth over 7 years ago
Labels: bug
#4 - Use new structure of StateMachineGraph to match SootMethods
Issue -
State: closed - Opened by johspaeth over 7 years ago
Labels: enhancement
#3 - Serialization of Cipher.cryptslbin
Issue -
State: closed - Opened by johspaeth over 7 years ago
#2 - Adjust test cases to new Benchmark methods
Issue -
State: closed - Opened by johspaeth over 7 years ago
#1 - Use Sable/soot dependency instead of johspaeth/soot
Issue -
State: closed - Opened by johspaeth over 7 years ago