Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
50 workflow run results
50 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add final messages about unsound results coverage #509: Pull request #1191 synchronize by sim642
September 26, 2023 12:20 20m 29s final-errors
final-errors
September 26, 2023 12:20 20m 29s
Add final messages about unsound results coverage #508: Pull request #1191 opened by sim642
September 26, 2023 11:33 14m 55s final-errors
final-errors
September 26, 2023 11:33 14m 55s
coverage coverage #507: Scheduled
September 26, 2023 02:04 31m 9s master
master
September 26, 2023 02:04 31m 9s
Spawn threads created from unknown functions as non-unique coverage #506: Pull request #1187 synchronize by michael-schwarz
September 25, 2023 11:07 19m 0s issue_843
issue_843
September 25, 2023 11:07 19m 0s
Add and fix library functions for Concrat benchmarks coverage #505: Pull request #1174 synchronize by sim642
September 25, 2023 08:27 16m 5s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 16m 5s
Add and fix library functions for Concrat benchmarks coverage #504: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 15m 20s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 15m 20s
coverage coverage #503: Scheduled
September 25, 2023 02:04 43m 6s master
master
September 25, 2023 02:04 43m 6s
Spawn threads created from unknown functions as non-unique coverage #502: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 28m 9s issue_843
issue_843
September 24, 2023 15:29 28m 9s
No shortcut for narrow and meet in HConsed when int refinement is active coverage #501: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 23m 18s issue_1005
issue_1005
September 24, 2023 12:31 23m 18s
Null Byte Array Domain coverage #500: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 13m 39s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 13m 39s
Null Byte Array Domain coverage #499: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:00 19m 28s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:00 19m 28s
Null Byte Array Domain coverage #498: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 09:49 19m 14s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 09:49 19m 14s
Null Byte Array Domain coverage #497: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 09:14 21m 9s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 09:14 21m 9s
coverage coverage #496: Scheduled
September 24, 2023 02:06 33m 57s master
master
September 24, 2023 02:06 33m 57s
Null Byte Array Domain coverage #495: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 20:43 27m 56s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 20:43 27m 56s
Null Byte Array Domain coverage #494: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 18:59 17m 24s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 18:59 17m 24s
Null Byte Array Domain coverage #493: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:45 28m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:45 28m 5s
Null Byte Array Domain coverage #492: Pull request #1076 synchronize by nathanschmidt
September 23, 2023 15:33 18m 1s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 23, 2023 15:33 18m 1s
fix: copying of files to GobView in projects with subdirectories coverage #491: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:27 22m 57s sallto:master
sallto:master
September 23, 2023 14:27 22m 57s
fix: copying of files to GobView in projects with subdirectories coverage #490: Pull request #1143 synchronize by michael-schwarz
September 23, 2023 14:14 24m 49s sallto:master
sallto:master
September 23, 2023 14:14 24m 49s
Optimize CFG representation coverage #489: Pull request #609 synchronize by michael-schwarz
September 23, 2023 14:02 15m 44s cfg-optimize
cfg-optimize
September 23, 2023 14:02 15m 44s