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

#95 - #94

Pull Request - State: closed - Opened by johspaeth almost 6 years ago

#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

#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

#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

#39 - Move maven-plugin related code to a new repository

Issue - State: closed - Opened by johspaeth over 6 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

#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

#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

#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