Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
792 workflow run results
792 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refine Points-To set on locking a mutex coverage #1210: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 12:09 8m 41s issue_1287
issue_1287
January 29, 2024 12:09 8m 41s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled coverage #1209: Pull request #1324 synchronize by karoliineh
January 29, 2024 11:39 10m 56s alloca
alloca
January 29, 2024 11:39 10m 56s
Use Z module directly coverage #1208: Pull request #1329 synchronize by karoliineh
January 29, 2024 11:00 11m 6s z-module
z-module
January 29, 2024 11:00 11m 6s
Use Z module directly coverage #1207: Pull request #1329 synchronize by karoliineh
January 29, 2024 10:43 10m 57s z-module
z-module
January 29, 2024 10:43 10m 57s
Apron: Only replace deref expression with pointed to variable if types coincide coverage #1206: Pull request #1342 synchronize by jerhard
January 29, 2024 09:42 11m 18s isssue_1319
isssue_1319
January 29, 2024 09:42 11m 18s
coverage coverage #1205: Scheduled
January 29, 2024 02:03 18m 29s master
master
January 29, 2024 02:03 18m 29s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1204: Pull request #1330 synchronize by FungOliver
January 28, 2024 23:06 8m 20s FungOliver:relationalArray
FungOliver:relationalArray
January 28, 2024 23:06 8m 20s
eval_rv_base: cast without torg when typeOf fails coverage #1203: Pull request #1345 opened by michael-schwarz
January 28, 2024 18:41 10m 49s issue_1338
issue_1338
January 28, 2024 18:41 10m 49s
Handle LNot for float in forward evaluation and refinement on guards coverage #1202: Pull request #1344 opened by michael-schwarz
January 28, 2024 18:15 11m 0s issue_1211
issue_1211
January 28, 2024 18:15 11m 0s
coverage coverage #1201: Scheduled
January 28, 2024 02:05 18m 0s master
master
January 28, 2024 02:05 18m 0s
Refine Points-To set on locking a mutex coverage #1200: Pull request #1343 synchronize by michael-schwarz
January 27, 2024 22:45 10m 30s issue_1287
issue_1287
January 27, 2024 22:45 10m 30s
Refine Points-To set on locking a mutex coverage #1199: Pull request #1343 opened by michael-schwarz
January 27, 2024 22:39 10m 49s issue_1287
issue_1287
January 27, 2024 22:39 10m 49s
Apron: Only replace deref expression with pointed to variable if types coincide coverage #1198: Pull request #1342 synchronize by michael-schwarz
January 27, 2024 22:03 10m 34s isssue_1319
isssue_1319
January 27, 2024 22:03 10m 34s
Apron: Only replace deref expression with pointed to variable if types coincide coverage #1197: Pull request #1342 opened by michael-schwarz
January 27, 2024 22:02 11m 5s isssue_1319
isssue_1319
January 27, 2024 22:02 11m 5s
More precise abstractions of trigonometric functions using c-stubs coverage #1196: Pull request #1277 synchronize by FelixKrayer
January 27, 2024 16:35 11m 27s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 27, 2024 16:35 11m 27s
More precise abstractions of trigonometric functions using c-stubs coverage #1195: Pull request #1277 synchronize by FelixKrayer
January 27, 2024 15:37 10m 48s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 27, 2024 15:37 10m 48s
Float domain: Fix eval_comparison_binop coverage #1194: Pull request #1341 opened by michael-schwarz
January 27, 2024 11:08 10m 48s issue_1333
issue_1333
January 27, 2024 11:08 10m 48s
coverage coverage #1193: Scheduled
January 27, 2024 02:01 17m 57s master
master
January 27, 2024 02:01 17m 57s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1192: Pull request #1330 synchronize by FungOliver
January 27, 2024 01:00 8m 6s FungOliver:relationalArray
FungOliver:relationalArray
January 27, 2024 01:00 8m 6s
Add disjunctive completion of Apron domains coverage #1191: Pull request #1339 synchronize by sim642
January 26, 2024 16:38 8m 51s priv-atomic-disjunctive
priv-atomic-disjunctive
January 26, 2024 16:38 8m 51s
Use Z module directly coverage #1190: Pull request #1329 synchronize by karoliineh
January 26, 2024 15:21 10m 55s z-module
z-module
January 26, 2024 15:21 10m 55s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1189: Pull request #1340 opened by SchiJoha
January 26, 2024 14:25 11m 6s SchiJoha:master
SchiJoha:master
January 26, 2024 14:25 11m 6s
Add disjunctive completion of Apron domains coverage #1188: Pull request #1339 synchronize by sim642
January 26, 2024 12:09 9m 18s priv-atomic-disjunctive
priv-atomic-disjunctive
January 26, 2024 12:09 9m 18s
Add disjunctive completion of Apron domains coverage #1187: Pull request #1339 synchronize by sim642
January 26, 2024 10:53 8m 33s priv-atomic-disjunctive
priv-atomic-disjunctive
January 26, 2024 10:53 8m 33s
Add disjunctive completion of Apron domains coverage #1186: Pull request #1339 opened by sim642
January 26, 2024 10:49 8m 31s priv-atomic-disjunctive
priv-atomic-disjunctive
January 26, 2024 10:49 8m 31s
ProTip! You can narrow down the results and go further in time using created:<2024-01-26 or the other filters available.