Fix logs in SE engine

Author: Wohops

java-squid/src/main/java/org/sonar/java/se/ExplodedGraphWalker.java

@@ -132,7 +132,7 @@ private void execute(MethodTree tree) {
     while (!workList.isEmpty()) {
       steps++;
       if (steps > MAX_STEPS) {
-        throw new MaximumStepsReachedException("reached limit of " + MAX_STEPS + " steps for method " + tree.simpleName().name() + "in class " + tree.symbol().owner().name());
+        throw new MaximumStepsReachedException("reached limit of " + MAX_STEPS + " steps for method " + tree.simpleName().name() + " in class " + tree.symbol().owner().name());
       }
       // LIFO:
       node = workList.removeFirst();
@@ -520,7 +520,7 @@ public void enqueue(ExplodedGraph.ProgramPoint programPoint, ProgramState progra
     }
     if (isExplodedGraphTooBig(programState)) {
       throw new ExplodedGraphTooBigException("Program state constraints are too big : stopping Symbolic Execution for method "
-        + methodTree.simpleName().name() + "in class " + methodTree.symbol().owner().name());
+        + methodTree.simpleName().name() + " in class " + methodTree.symbol().owner().name());
     }
     ExplodedGraph.Node cachedNode = explodedGraph.getNode(programPoint, programState.visitedPoint(programPoint, nbOfExecution + 1));
     if (!cachedNode.isNew) {

java-squid/src/main/java/org/sonar/java/se/SymbolicExecutionVisitor.java

@@ -40,7 +40,7 @@ public void visitNode(Tree tree) {
     try {
       tree.accept(new ExplodedGraphWalker(context));
     } catch (ExplodedGraphWalker.MaximumStepsReachedException | ExplodedGraphWalker.ExplodedGraphTooBigException exception) {
-      LOG.error("Could not complete symbolic execution: ", exception.getMessage());
+      LOG.error("Could not complete symbolic execution: {}", exception.getMessage());
       LOG.debug("Could not complete symbolic execution: ", exception);
     }