From 9ec2bda81c819e0ba7b45361d530b25fac2bf268 Mon Sep 17 00:00:00 2001
From: alexey-utkin <alexey-utkin@users.noreply.github.com>
Date: Tue, 11 Oct 2022 07:25:30 +0000
Subject: [PATCH] UTBot code analysis add tests and utbot_report information

---
 utbot_report/generation-stats.csv        |   4 +
 utbot_report/project_code_analysis.sarif | 654 +++++++++++++++++++++++
 2 files changed, 658 insertions(+)
 create mode 100644 utbot_report/generation-stats.csv
 create mode 100644 utbot_report/project_code_analysis.sarif

diff --git a/utbot_report/generation-stats.csv b/utbot_report/generation-stats.csv
new file mode 100644
index 0000000..4a75794
--- /dev/null
+++ b/utbot_report/generation-stats.csv
@@ -0,0 +1,4 @@
+File,Klee Time (s),Solver Time (s),Resolution Time (s),Regression Tests Generated,Error Tests Generated,Covered Functions,Total functions
+src/main.c,0.00,0.00,0.00,3,4,4,4
+lib/libfunc.c,0.00,0.00,0.00,1,1,1,1
+Total:,0.00 (preprocessing +0.21),0.00,0.00,4,5,5,5
diff --git a/utbot_report/project_code_analysis.sarif b/utbot_report/project_code_analysis.sarif
new file mode 100644
index 0000000..1fc2859
--- /dev/null
+++ b/utbot_report/project_code_analysis.sarif
@@ -0,0 +1,654 @@
+{
+  "$schema": "https://schemastore.azurewebsites.net/schemas/json/sarif-2.1.0-rtm.5.json",
+  "runs": [
+    {
+      "results": [
+        {
+          "codeFlows": [
+            {
+              "threadFlows": [
+                {
+                  "locations": [
+                    {
+                      "location": {
+                        "message": {
+                          "text": "libfunc11 (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "lib/libfunc.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 4
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "error.libfunc11_test_2 (test)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "tests/lib/libfunc_dot_c_test.cpp",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 22
+                          }
+                        }
+                      },
+                      "module": "test"
+                    }
+                  ],
+                  "message": {
+                    "text": "UTBot generated"
+                  }
+                }
+              ]
+            }
+          ],
+          "kind": "fail",
+          "level": "error",
+          "locations": [
+            {
+              "message": {
+                "text": "libfunc11 (source)"
+              },
+              "physicalLocation": {
+                "artifactLocation": {
+                  "uri": "lib/libfunc.c",
+                  "uriBaseId": "%SRCROOT%"
+                },
+                "region": {
+                  "startLine": 4
+                }
+              }
+            }
+          ],
+          "message": {
+            "text": " overflow on division or remainder"
+          },
+          "ruleId": "overflow",
+          "stacks": [
+            {
+              "frames": [
+                {
+                  "location": {
+                    "message": {
+                      "text": "libfunc11 (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "lib/libfunc.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 4
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "error.libfunc11_test_2 (test)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "tests/lib/libfunc_dot_c_test.cpp",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 22
+                      }
+                    }
+                  },
+                  "module": "test"
+                }
+              ],
+              "message": {
+                "text": "UTBot generated"
+              }
+            }
+          ]
+        },
+        {
+          "codeFlows": [
+            {
+              "threadFlows": [
+                {
+                  "locations": [
+                    {
+                      "location": {
+                        "message": {
+                          "text": "barchik (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "src/main.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 5
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "error.barchik_test_2 (test)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "tests/src/main_dot_c_test.cpp",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 34
+                          }
+                        }
+                      },
+                      "module": "test"
+                    }
+                  ],
+                  "message": {
+                    "text": "UTBot generated"
+                  }
+                }
+              ]
+            }
+          ],
+          "kind": "fail",
+          "level": "error",
+          "locations": [
+            {
+              "message": {
+                "text": "barchik (source)"
+              },
+              "physicalLocation": {
+                "artifactLocation": {
+                  "uri": "src/main.c",
+                  "uriBaseId": "%SRCROOT%"
+                },
+                "region": {
+                  "startLine": 5
+                }
+              }
+            }
+          ],
+          "message": {
+            "text": " overflow on division or remainder"
+          },
+          "ruleId": "overflow",
+          "stacks": [
+            {
+              "frames": [
+                {
+                  "location": {
+                    "message": {
+                      "text": "barchik (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "src/main.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 5
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "error.barchik_test_2 (test)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "tests/src/main_dot_c_test.cpp",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 34
+                      }
+                    }
+                  },
+                  "module": "test"
+                }
+              ],
+              "message": {
+                "text": "UTBot generated"
+              }
+            }
+          ]
+        },
+        {
+          "codeFlows": [
+            {
+              "threadFlows": [
+                {
+                  "locations": [
+                    {
+                      "location": {
+                        "message": {
+                          "text": "foo12 (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "src/main.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 9
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "error.foo12_test_2 (test)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "tests/src/main_dot_c_test.cpp",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 39
+                          }
+                        }
+                      },
+                      "module": "test"
+                    }
+                  ],
+                  "message": {
+                    "text": "UTBot generated"
+                  }
+                }
+              ]
+            }
+          ],
+          "kind": "fail",
+          "level": "error",
+          "locations": [
+            {
+              "message": {
+                "text": "foo12 (source)"
+              },
+              "physicalLocation": {
+                "artifactLocation": {
+                  "uri": "src/main.c",
+                  "uriBaseId": "%SRCROOT%"
+                },
+                "region": {
+                  "startLine": 9
+                }
+              }
+            }
+          ],
+          "message": {
+            "text": " overflow on division or remainder"
+          },
+          "ruleId": "overflow",
+          "stacks": [
+            {
+              "frames": [
+                {
+                  "location": {
+                    "message": {
+                      "text": "foo12 (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "src/main.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 9
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "error.foo12_test_2 (test)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "tests/src/main_dot_c_test.cpp",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 39
+                      }
+                    }
+                  },
+                  "module": "test"
+                }
+              ],
+              "message": {
+                "text": "UTBot generated"
+              }
+            }
+          ]
+        },
+        {
+          "codeFlows": [
+            {
+              "threadFlows": [
+                {
+                  "locations": [
+                    {
+                      "location": {
+                        "message": {
+                          "text": "foo12 (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "src/main.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 9
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "opp (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "src/main.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 13
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "error.opp_test_2 (test)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "tests/src/main_dot_c_test.cpp",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 44
+                          }
+                        }
+                      },
+                      "module": "test"
+                    }
+                  ],
+                  "message": {
+                    "text": "UTBot generated"
+                  }
+                }
+              ]
+            }
+          ],
+          "kind": "fail",
+          "level": "error",
+          "locations": [
+            {
+              "message": {
+                "text": "foo12 (source)"
+              },
+              "physicalLocation": {
+                "artifactLocation": {
+                  "uri": "src/main.c",
+                  "uriBaseId": "%SRCROOT%"
+                },
+                "region": {
+                  "startLine": 9
+                }
+              }
+            }
+          ],
+          "message": {
+            "text": " overflow on division or remainder"
+          },
+          "ruleId": "overflow",
+          "stacks": [
+            {
+              "frames": [
+                {
+                  "location": {
+                    "message": {
+                      "text": "foo12 (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "src/main.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 9
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "opp (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "src/main.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 13
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "error.opp_test_2 (test)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "tests/src/main_dot_c_test.cpp",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 44
+                      }
+                    }
+                  },
+                  "module": "test"
+                }
+              ],
+              "message": {
+                "text": "UTBot generated"
+              }
+            }
+          ]
+        },
+        {
+          "codeFlows": [
+            {
+              "threadFlows": [
+                {
+                  "locations": [
+                    {
+                      "location": {
+                        "message": {
+                          "text": "barchik (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "src/main.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 5
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "main (source)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "src/main.c",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 18
+                          }
+                        }
+                      },
+                      "module": "project"
+                    },
+                    {
+                      "location": {
+                        "message": {
+                          "text": "error.main_test_1 (test)"
+                        },
+                        "physicalLocation": {
+                          "artifactLocation": {
+                            "uri": "tests/src/main_dot_c_test.cpp",
+                            "uriBaseId": "%SRCROOT%"
+                          },
+                          "region": {
+                            "startLine": 55
+                          }
+                        }
+                      },
+                      "module": "test"
+                    }
+                  ],
+                  "message": {
+                    "text": "UTBot generated"
+                  }
+                }
+              ]
+            }
+          ],
+          "kind": "fail",
+          "level": "error",
+          "locations": [
+            {
+              "message": {
+                "text": "barchik (source)"
+              },
+              "physicalLocation": {
+                "artifactLocation": {
+                  "uri": "src/main.c",
+                  "uriBaseId": "%SRCROOT%"
+                },
+                "region": {
+                  "startLine": 5
+                }
+              }
+            }
+          ],
+          "message": {
+            "text": " overflow on division or remainder"
+          },
+          "ruleId": "overflow",
+          "stacks": [
+            {
+              "frames": [
+                {
+                  "location": {
+                    "message": {
+                      "text": "barchik (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "src/main.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 5
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "main (source)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "src/main.c",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 18
+                      }
+                    }
+                  },
+                  "module": "project"
+                },
+                {
+                  "location": {
+                    "message": {
+                      "text": "error.main_test_1 (test)"
+                    },
+                    "physicalLocation": {
+                      "artifactLocation": {
+                        "uri": "tests/src/main_dot_c_test.cpp",
+                        "uriBaseId": "%SRCROOT%"
+                      },
+                      "region": {
+                        "startLine": 55
+                      }
+                    }
+                  },
+                  "module": "test"
+                }
+              ],
+              "message": {
+                "text": "UTBot generated"
+              }
+            }
+          ]
+        }
+      ],
+      "tool": {
+        "driver": {
+          "informationUri": "https://utbot.org",
+          "name": "UTBotCpp"
+        }
+      }
+    }
+  ],
+  "version": "2.1.0"
+}
\ No newline at end of file