Instead of trying to find where to end a notification by finding the first ';', GobPie now uses line and column end positions from the JSON output provided by Goblint.
Additionally, the Positions of AnalysisResults get the source file information from JSON instead of using the file that the analysis was stared on as source file because the JSON output has results for several different files, not only the one that triggered the analysis.
Instead of trying to find where to end a notification by finding the first ';', GobPie now uses line and column end positions from the JSON output provided by Goblint. Additionally, the Positions of AnalysisResults get the source file information from JSON instead of using the file that the analysis was stared on as source file because the JSON output has results for several different files, not only the one that triggered the analysis.
Needs to wait until goblint/analyzer #449 is merged.