Details
-
Type:
New Feature
-
Status: Closed
-
Priority:
Major
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: 5.0
-
Component/s: Rules, Symbolic Execution
-
Labels:None
Description
Add new property sonar.java.debug allowing to enable debugging tools for Symbolic Execution engine. Once enabled, it will play debugging rules on files to help identify the following problems. First rule to be implemented as test case:
- Display what are the method yields produced once methods are completely explored;
Attachments
Issue Links
- is depended upon by
-
SONARJAVA-2567 Debugging rule: Display which method does not complete SE, for what reason
-
- Closed
-
-
SONARJAVA-2568 Debugging rule: Display what method yields which available for each method invocation
-
- Closed
-
- is related to
-
SONARJAVA-3622 Drop unused Symbolic Execution debugging rules
-
- Closed
-