symbolic_execution
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Catch the C and C++ bugs that hide across your files: CTU analysis enters beta |
|
0 | 107 | July 17, 2026 |
| Custom JSON Behavior Not Loaded in SonarJava Symbolic Execution Plugin |
|
9 | 121 | April 22, 2025 |
| How can a nullpointer can come here |
|
8 | 849 | May 3, 2022 |
| Is it possible to write symbolic execution rules outside of sonar's package? |
|
2 | 1053 | June 24, 2021 |
| False positive out of bounds (C) |
|
1 | 687 | November 20, 2018 |
| Wrong nullness analysis leads to false positive "condition always true/false" (squid:S2583) |
|
1 | 2240 | August 28, 2018 |
| Overriding a java rule with a custom version |
|
1 | 2561 | June 29, 2018 |