Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
237 workflow run results
237 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Spawn threads created from unknown functions as non-unique coverage #520: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:54 22m 36s issue_843
issue_843
September 28, 2023 11:54 22m 36s
Spawn threads created from unknown functions as non-unique coverage #519: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:48 18m 23s issue_843
issue_843
September 28, 2023 11:48 18m 23s
Fix BlobSize query compare coverage #518: Pull request #1196 opened by mrstanb
September 28, 2023 10:02 22m 8s mrstanb:fix-blobsize-query
mrstanb:fix-blobsize-query
September 28, 2023 10:02 22m 8s
Memory Out-Of-Bounds Access Analysis coverage #517: Pull request #1094 synchronize by michael-schwarz
September 28, 2023 07:49 22m 39s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 28, 2023 07:49 22m 39s
coverage coverage #516: Scheduled
September 28, 2023 02:04 43m 39s master
master
September 28, 2023 02:04 43m 39s
Memory Out-Of-Bounds Access Analysis coverage #515: Pull request #1094 synchronize by mrstanb
September 27, 2023 12:45 22m 13s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 27, 2023 12:45 22m 13s
coverage coverage #514: Scheduled
September 27, 2023 02:04 36m 9s master
master
September 27, 2023 02:04 36m 9s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #513: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 23m 5s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 23m 5s
Exclude free-free accesses from racing coverage #512: Pull request #1193 opened by sim642
September 26, 2023 15:16 22m 27s free-free-norace
free-free-norace
September 26, 2023 15:16 22m 27s
Memory Out-Of-Bounds Access Analysis coverage #511: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 8m 39s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 8m 39s
Use AddressDomain for queries coverage #510: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 19m 1s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 19m 1s