Closed dennisfischer closed 5 years ago
This PR includes #56
Undefined behavior in code: SC.cpp; bool assert_sensitive_only_checked_condition is missing a return statement SCPatch.cpp: bool patchStore is missing a return statement
bool assert_sensitive_only_checked_condition
bool patchStore
This PR includes #56
Undefined behavior in code: SC.cpp;
bool assert_sensitive_only_checked_condition
is missing a return statement SCPatch.cpp:bool patchStore
is missing a return statement