goblint / analyzer / 402

Builds Branch Commit Type Ran Committer Via Coverage
402 master Fix semgrep 1.38 compatibility push Simmo Saan github
59.79
401 master Fix semgrep 1.38 compatibility push Simmo Saan github
59.79
400 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
398 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
397 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
396 HEAD Merge 0d3af6cfe into 593822588 Pull #1144 GitHub github
59.98
394 HEAD Merge 9fef5946d into 593822588 Pull #1144 GitHub github
59.97
393 HEAD Merge 326b8e66d into 593822588 Pull #1144 GitHub github
59.94
392 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
388 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
386 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
383 master Merge pull request #1139 from mrstanb/detect-deallocation-at-offset push GitHub github
59.79
378 HEAD Merge 57549d0ee into 1da8e9762 Pull #1142 GitHub github
60.0
377 HEAD Merge 43223d09d into 1da8e9762 Pull #1142 GitHub github
60.0
376 HEAD Merge f3c3d185c into 1da8e9762 Pull #1142 GitHub github
59.96