Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
169 workflow run results
169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #388: Scheduled
August 28, 2023 02:03 25m 48s master
master
August 28, 2023 02:03 25m 48s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #387: Pull request #1123 synchronize by mrstanb
August 27, 2023 12:00 12m 2s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 27, 2023 12:00 12m 2s
coverage coverage #386: Scheduled
August 27, 2023 02:04 35m 52s master
master
August 27, 2023 02:04 35m 52s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #385: Pull request #1123 synchronize by mrstanb
August 26, 2023 12:38 13m 47s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 26, 2023 12:38 13m 47s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #384: Pull request #1123 synchronize by mrstanb
August 26, 2023 10:30 18m 0s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 26, 2023 10:30 18m 0s
coverage coverage #383: Scheduled
August 26, 2023 02:00 25m 3s master
master
August 26, 2023 02:00 25m 3s
Memory Out-Of-Bounds Access Analysis coverage #382: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:52 19m 11s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:52 19m 11s
Memory Out-Of-Bounds Access Analysis coverage #381: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:51 16m 16s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:51 16m 16s
Memory Out-Of-Bounds Access Analysis coverage #380: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:46 16m 50s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:46 16m 50s
Memory Out-Of-Bounds Access Analysis coverage #379: Pull request #1094 synchronize by mrstanb
August 25, 2023 16:41 19m 16s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 25, 2023 16:41 19m 16s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #378: Pull request #1142 synchronize by karoliineh
August 25, 2023 16:38 15m 47s queries-ad
queries-ad
August 25, 2023 16:38 15m 47s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #377: Pull request #1142 synchronize by karoliineh
August 25, 2023 16:09 18m 56s queries-ad
queries-ad
August 25, 2023 16:09 18m 56s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #376: Pull request #1142 synchronize by karoliineh
August 25, 2023 14:26 16m 30s queries-ad
queries-ad
August 25, 2023 14:26 16m 30s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #375: Pull request #1142 synchronize by karoliineh
August 25, 2023 13:47 22m 28s queries-ad
queries-ad
August 25, 2023 13:47 22m 28s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #374: Pull request #1142 synchronize by karoliineh
August 25, 2023 08:25 15m 40s queries-ad
queries-ad
August 25, 2023 08:25 15m 40s
coverage coverage #373: Scheduled
August 25, 2023 02:03 36m 31s master
master
August 25, 2023 02:03 36m 31s
Memory Out-Of-Bounds Access Analysis coverage #372: Pull request #1094 synchronize by mrstanb
August 24, 2023 10:20 13m 28s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 24, 2023 10:20 13m 28s
coverage coverage #371: Scheduled
August 24, 2023 02:01 31m 6s master
master
August 24, 2023 02:01 31m 6s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #370: Pull request #1142 synchronize by karoliineh
August 23, 2023 15:51 17m 7s queries-ad
queries-ad
August 23, 2023 15:51 17m 7s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #369: Pull request #1142 synchronize by karoliineh
August 23, 2023 12:04 26m 30s queries-ad
queries-ad
August 23, 2023 12:04 26m 30s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #368: Pull request #1142 synchronize by karoliineh
August 23, 2023 11:04 17m 3s queries-ad
queries-ad
August 23, 2023 11:04 17m 3s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #367: Pull request #1142 synchronize by karoliineh
August 23, 2023 10:54 21m 0s queries-ad
queries-ad
August 23, 2023 10:54 21m 0s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #366: Pull request #1142 synchronize by sim642
August 23, 2023 09:59 19m 13s queries-ad
queries-ad
August 23, 2023 09:59 19m 13s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #365: Pull request #1142 synchronize by sim642
August 23, 2023 09:46 22m 28s queries-ad
queries-ad
August 23, 2023 09:46 22m 28s
Use AddressDomain for MayPointTo and ReachableFrom queries coverage #364: Pull request #1142 synchronize by sim642
August 23, 2023 07:33 22m 51s queries-ad
queries-ad
August 23, 2023 07:33 22m 51s