Closed hiqua closed 2 years ago
In Securify, a conflict happens when both the safe and the violation behaviors of a same patterns are matched, meaning that there's an inconsistency somewhere.
We should test that, for all the examples, there is no conflict.
In Securify, a conflict happens when both the safe and the violation behaviors of a same patterns are matched, meaning that there's an inconsistency somewhere.
We should test that, for all the examples, there is no conflict.