Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
388 workflow run results
388 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Port ~50 library specifications to the new system coverage #545: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:22 28m 17s even_even_more_library
even_even_more_library
October 1, 2023 13:22 28m 17s
Port ~50 library specifications to the new system coverage #544: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:20 23m 7s even_even_more_library
even_even_more_library
October 1, 2023 13:20 23m 7s
Port ~50 library specifications to the new system coverage #543: Pull request #1200 opened by michael-schwarz
October 1, 2023 12:56 22m 4s even_even_more_library
even_even_more_library
October 1, 2023 12:56 22m 4s
coverage coverage #542: Scheduled
October 1, 2023 02:11 35m 21s master
master
October 1, 2023 02:11 35m 21s
Add out-of-bounds check for memset and memcpy coverage #541: Pull request #1197 synchronize by mrstanb
September 30, 2023 22:15 30m 30s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 22:15 30m 30s
Add out-of-bounds check for memset and memcpy coverage #540: Pull request #1197 synchronize by mrstanb
September 30, 2023 21:43 21m 33s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 21:43 21m 33s
coverage coverage #539: Scheduled
September 30, 2023 02:02 35m 22s master
master
September 30, 2023 02:02 35m 22s
Add out-of-bounds check for memset and memcpy coverage #538: Pull request #1197 synchronize by mrstanb
September 29, 2023 22:38 18m 5s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 22:38 18m 5s
Add out-of-bounds check for memset and memcpy coverage #537: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:21 13m 2s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:21 13m 2s
Add out-of-bounds check for memset and memcpy coverage #536: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:04 16m 5s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:04 16m 5s
Add out-of-bounds check for memset and memcpy coverage #535: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:54 12m 34s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:54 12m 34s
Add out-of-bounds check for memset and memcpy coverage #534: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:51 15m 51s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:51 15m 51s
Check all offsets, attributes and typedefs for ignored race memory locations coverage #533: Pull request #1198 synchronize by sim642
September 29, 2023 14:26 29m 54s race-ignorable
race-ignorable
September 29, 2023 14:26 29m 54s
Check all offsets, attributes and typedefs for ignored race memory locations coverage #532: Pull request #1198 synchronize by karoliineh
September 29, 2023 13:20 19m 51s race-ignorable
race-ignorable
September 29, 2023 13:20 19m 51s
Check all offsets, attributes and typedefs for ignored race memory locations coverage #531: Pull request #1198 opened by sim642
September 29, 2023 13:12 18m 22s race-ignorable
race-ignorable
September 29, 2023 13:12 18m 22s
Add out-of-bounds check for memset and memcpy coverage #530: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 19m 12s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 19m 12s
Support stack-allocating functions when allocating heap vars coverage #529: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 23m 12s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 23m 12s
Support stack-allocating functions when allocating heap vars coverage #528: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 19m 30s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 19m 30s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #527: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 22m 10s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 22m 10s
Add out-of-bounds check for memset and memcpy coverage #526: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 18m 41s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 18m 41s
Support stack-allocating functions when allocating heap vars coverage #525: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 24m 50s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 24m 50s
Add final messages about unsound results coverage #524: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 18m 44s final-errors
final-errors
September 29, 2023 08:42 18m 44s
Support stack-allocating functions when allocating heap vars coverage #523: Pull request #1179 synchronize by mrstanb
September 29, 2023 08:21 22m 13s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 08:21 22m 13s
coverage coverage #522: Scheduled
September 29, 2023 02:04 32m 57s master
master
September 29, 2023 02:04 32m 57s
Spawn threads created from unknown functions as non-unique coverage #521: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 12:04 19m 8s issue_843
issue_843
September 28, 2023 12:04 19m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.