Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
713 workflow run results
713 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1377: Pull request #1330 synchronize by FungOliver
February 12, 2024 03:48 10m 54s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 03:48 10m 54s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1376: Pull request #1330 synchronize by FungOliver
February 12, 2024 03:41 10m 42s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 03:41 10m 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1375: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:44 10m 53s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:44 10m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1374: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:29 10m 53s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:29 10m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1373: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:16 10m 57s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:16 10m 57s
coverage coverage #1372: Scheduled
February 12, 2024 02:04 11m 22s master
master
February 12, 2024 02:04 11m 22s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1371: Pull request #1330 synchronize by FungOliver
February 11, 2024 21:25 11m 6s FungOliver:relationalArray
FungOliver:relationalArray
February 11, 2024 21:25 11m 6s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1370: Pull request #1340 synchronize by SchiJoha
February 11, 2024 15:18 11m 20s SchiJoha:master
SchiJoha:master
February 11, 2024 15:18 11m 20s
coverage coverage #1369: Scheduled
February 11, 2024 02:06 11m 28s master
master
February 11, 2024 02:06 11m 28s
Linear Two-Variable Equalities Analysis coverage #1368: Pull request #1297 synchronize by DrMichaelPetter
February 10, 2024 17:42 8m 50s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 10, 2024 17:42 8m 50s
Linear Two-Variable Equalities Analysis coverage #1367: Pull request #1297 synchronize by DrMichaelPetter
February 10, 2024 16:08 9m 26s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 10, 2024 16:08 9m 26s
Add option witness.invariant.all-locals to only print locals definitely in scope coverage #1366: Pull request #1362 synchronize by michael-schwarz
February 10, 2024 15:54 11m 25s issue_1361
issue_1361
February 10, 2024 15:54 11m 25s
Add option witness.invariant.all-locals to only print locals definitely in scope coverage #1365: Pull request #1362 opened by michael-schwarz
February 10, 2024 15:52 10m 51s issue_1361
issue_1361
February 10, 2024 15:52 10m 51s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1364: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:54 11m 35s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:54 11m 35s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1363: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:18 10m 51s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:18 10m 51s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1362: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:01 8m 14s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:01 8m 14s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1361: Pull request #1330 synchronize by FungOliver
February 10, 2024 05:00 8m 50s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 05:00 8m 50s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1360: Pull request #1330 synchronize by FungOliver
February 10, 2024 04:52 9m 11s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 04:52 9m 11s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1359: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:57 8m 55s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:57 8m 55s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1358: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:31 8m 37s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:31 8m 37s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1357: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:30 8m 42s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:30 8m 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1356: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:13 9m 33s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:13 9m 33s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1355: Pull request #1330 synchronize by FungOliver
February 10, 2024 03:10 9m 4s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 03:10 9m 4s
coverage coverage #1354: Scheduled
February 10, 2024 02:01 11m 36s master
master
February 10, 2024 02:01 11m 36s
Enhance detection of buffer overflows by introducing variable for length of array/blob coverage #1353: Pull request #1330 synchronize by FungOliver
February 10, 2024 01:26 11m 2s FungOliver:relationalArray
FungOliver:relationalArray
February 10, 2024 01:26 11m 2s