The method getTransitions in StateMachineGraphAnalyser 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.
In order to avoid cycles in the graph, the code here skips already visited transition in the graph. Since Stores is already visited in Gets->Loads->GetEntry->GetKey->SetEntry->Stores, the transitions Gets->Loads->SetEntry->Stores and Gets->Loads->GetKey->SetEntry->Stores containing Stores are skipped
The method getTransitions in StateMachineGraphAnalyser is currently unable to handle multiple initial transitions like in SSLParameters rule. Additionally, it is doesn't return expected transitions when
|operator is used inORDERsection.In order to avoid cycles in the graph, the code here skips already visited transition in the graph. Since
Storesis already visited inGets->Loads->GetEntry->GetKey->SetEntry->Stores, the transitionsGets->Loads->SetEntry->StoresandGets->Loads->GetKey->SetEntry->StorescontainingStoresare skipped