symbolic_execution
Topic | Replies | Views | Activity | |
---|---|---|---|---|
How can a nullpointer can come here | 9 | 544 | May 10, 2022 | |
Is it possible to write symbolic execution rules outside of sonar's package? | 3 | 754 | July 1, 2021 | |
False positive out of bounds (C) | 1 | 579 | November 20, 2018 | |
Wrong nullness analysis leads to false positive "condition always true/false" (squid:S2583) | 2 | 2031 | August 28, 2018 | |
Overriding a java rule with a custom version | 1 | 2205 | June 29, 2018 |