CryptoAnalysis
CryptoAnalysis copied to clipboard
getAllTransitions() doesn't return all possible correct transitions
The method getAllTransitions in StateMachineGraph
is currently unable to handle multiple initial transitions like in SSLParameters
rule. Additionally, it is doesn't return expected transitions when |
operator is used in ORDER section.
This issue is same as the one created in CogniCrypt repo.