Classifications of error on TP and FP

[S1eGa]

NOTE: This PR is based on sarif-report branch.

Adds classification of errors to:

• Confident --- errors which may be considered as True Positives
• Possible --- errors which may be considered as False Positives

Error is Confident if predicate on it is inferable from current constraint set.

In extra cases it requires workaround:

• For NPE we should consider symbols on which value of pointers dependent
• For assert fails we need to take a look at the result of the last br instruction

In SARIF reports this classification reflected in error level in JSON: error and warning values correspondingly.
For logging added POSSIBLE ERROR log line.

[codecov-commenter]

Codecov Report

Merging #170 (ec4df69) into main (ebca2f3) will decrease coverage by 0.05%.
The diff coverage is 72.95%.

❗ Current head ec4df69 differs from pull request most recent head 2538e1e. Consider uploading reports for the commit 2538e1e to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #170      +/-   ##
==========================================
- Coverage   69.74%   69.70%   -0.05%     
==========================================
  Files         219      219              
  Lines       31170    31240      +70     
  Branches     6875     6898      +23     
==========================================
+ Hits        21740    21776      +36     
- Misses       6849     6879      +30     
- Partials     2581     2585       +4     

Files	Coverage Δ
lib/Core/CodeEvent.h	100.00% <100.00%> (ø)
lib/Core/ExecutionState.cpp	71.83% <100.00%> (+0.19%)	⬆️
lib/Core/ExecutionState.h	89.90% <ø> (ø)
lib/Core/Executor.h	74.07% <ø> (ø)
lib/Expr/ExprUtil.cpp	84.69% <ø> (-7.15%)	⬇️
lib/Support/ErrorHandling.cpp	56.92% <0.00%> (-1.81%)	⬇️
lib/Core/SpecialFunctionHandler.cpp	73.50% <69.23%> (-0.03%)	⬇️
lib/Core/Executor.cpp	74.24% <73.00%> (-0.19%)	⬇️