Uploaded image for project: 'SonarJava'
  1. SonarJava
  2. SONARJAVA-3184

S3518 Simple relational operations should be considered

    Details

    • Type: False-Positive
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: Symbolic Execution
    • Labels:
      None

      Description

      Following code leads to FP on RSPEC-3518 because we don't create constraints from relational operands.

      void fp() {
        int z = 0;
        if (z > 1) {
          int y = 1 / z;
        }
      }
       

       

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                Unassigned
                Reporter:
                tibor.blenessy Tibor Blenessy
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated: