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

SE: System.exit call should be a sink in SE/CFG

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: 3.10
    • Fix Version/s: 3.12
    • Component/s: Symbolic Execution
    • Labels:
      None

      Description

      CommandLine commandLine = null;
          try {
            commandLine = parser.parse(options, args);
          } catch (Exception e) {
            System.err.println("ERROR: " + e.getMessage() + "\n");
            HelpFormatter formatter = new HelpFormatter();
            formatter.printHelp(NAME + " ", options, true);
            System.exit(-1);
          }
       
          // Set debug level right away
          if (commandLine.hasOption("d")) { //...
          }
      

        Attachments

          Activity

            People

            • Assignee:
              nicolas.peru Nicolas Peru
              Reporter:
              nicolas.peru Nicolas Peru
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Due:
                Created:
                Updated:
                Resolved: