Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
140 workflow run results
140 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add out-of-bounds check for memset and memcpy locked #8481: Pull request #1197 synchronize by mrstanb
September 30, 2023 22:15 31m 35s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 22:15 31m 35s
Add out-of-bounds check for memset and memcpy locked #8480: Pull request #1197 synchronize by mrstanb
September 30, 2023 21:43 36m 12s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 21:43 36m 12s
locked locked #8479: Scheduled
September 30, 2023 01:58 2h 14m 2s master
master
September 30, 2023 01:58 2h 14m 2s
Add out-of-bounds check for memset and memcpy locked #8478: Pull request #1197 synchronize by mrstanb
September 29, 2023 22:38 38m 0s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 22:38 38m 0s
Add out-of-bounds check for memset and memcpy locked #8477: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:21 19m 28s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:21 19m 28s
Add out-of-bounds check for memset and memcpy locked #8476: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:04 29m 19s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:04 29m 19s
Add out-of-bounds check for memset and memcpy locked #8475: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:54 25m 4s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:54 25m 4s
Add out-of-bounds check for memset and memcpy locked #8474: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:51 24m 33s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:51 24m 33s
Check all offsets, attributes and typedefs for ignored race memory locations locked #8473: Pull request #1198 synchronize by sim642
September 29, 2023 14:26 49m 25s race-ignorable
race-ignorable
September 29, 2023 14:26 49m 25s
Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac… locked #8472: Commit 8166b40 pushed by sim642
September 29, 2023 14:26 44m 12s race-ignorable
race-ignorable
September 29, 2023 14:26 44m 12s
Check all offsets, attributes and typedefs for ignored race memory locations locked #8471: Pull request #1198 synchronize by karoliineh
September 29, 2023 13:20 30m 37s race-ignorable
race-ignorable
September 29, 2023 13:20 30m 37s
Add atomic library functions from nidhugg benchmark set locked #8470: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 31m 24s race-ignorable
race-ignorable
September 29, 2023 13:20 31m 24s
Check all offsets, attributes and typedefs for ignored race memory locations locked #8469: Pull request #1198 opened by sim642
September 29, 2023 13:12 39m 55s race-ignorable
race-ignorable
September 29, 2023 13:12 39m 55s
Document refactored race ignore check locked #8468: Commit df9fda7 pushed by sim642
September 29, 2023 12:58 34m 6s race-ignorable
race-ignorable
September 29, 2023 12:58 34m 6s
Add out-of-bounds check for memset and memcpy locked #8467: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 33m 30s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 33m 30s
Support stack-allocating functions when allocating heap vars locked #8466: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 39m 0s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 39m 0s
Merge pull request #1123 from mrstanb/improve-uaf-analysis locked #8465: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 43m 57s master
master
September 29, 2023 10:41 43m 57s
Support stack-allocating functions when allocating heap vars locked #8464: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 30m 23s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 30m 23s
Improve multi-threaded UAF analysis and add SVComp result generation locked #8463: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 39m 6s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 39m 6s
Add out-of-bounds check for memset and memcpy locked #8462: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 26m 21s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 26m 21s
Support stack-allocating functions when allocating heap vars locked #8461: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 32m 18s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 32m 18s
Merge pull request #1191 from goblint/final-errors locked #8460: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 34m 36s master
master
September 29, 2023 09:12 34m 36s
Add final messages about unsound results locked #8459: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 32m 39s final-errors
final-errors
September 29, 2023 08:42 32m 39s
Merge branch 'master' into final-errors locked #8458: Commit b5ebff6 pushed by sim642
September 29, 2023 08:42 40m 35s final-errors
final-errors
September 29, 2023 08:42 40m 35s
Fix race in race_reach test for sv-benchmarks locked #8457: Commit ee6dc36 pushed by sim642
September 29, 2023 08:40 35m 26s master
master
September 29, 2023 08:40 35m 26s