Open APotyomkin opened 2 years ago
Odin's documentation states that it is path-insensitive. Since a lot of false positives happen for this very reason, is it possible to make the analysis path-sensitive?
Odin's documentation states that it is path-insensitive. Since a lot of false positives happen for this very reason, is it possible to make the analysis path-sensitive?