Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
128 workflow run results
128 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add out-of-bounds check for memset and memcpy options #6206: Pull request #1197 synchronize by mrstanb
September 30, 2023 22:15 32s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 22:15 32s
Add out-of-bounds check for memset and memcpy options #6205: Pull request #1197 synchronize by mrstanb
September 30, 2023 21:43 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 21:43 18s
Add out-of-bounds check for memset and memcpy options #6204: Pull request #1197 synchronize by mrstanb
September 29, 2023 22:38 24s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 22:38 24s
Add out-of-bounds check for memset and memcpy options #6203: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:21 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:21 18s
Add out-of-bounds check for memset and memcpy options #6202: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:04 16s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:04 16s
Add out-of-bounds check for memset and memcpy options #6201: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:54 25s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:54 25s
Add out-of-bounds check for memset and memcpy options #6200: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:51 22s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:51 22s
Check all offsets, attributes and typedefs for ignored race memory locations options #6199: Pull request #1198 synchronize by sim642
September 29, 2023 14:26 26s race-ignorable
race-ignorable
September 29, 2023 14:26 26s
Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac… options #6198: Commit 8166b40 pushed by sim642
September 29, 2023 14:26 26s race-ignorable
race-ignorable
September 29, 2023 14:26 26s
Check all offsets, attributes and typedefs for ignored race memory locations options #6197: Pull request #1198 synchronize by karoliineh
September 29, 2023 13:20 28s race-ignorable
race-ignorable
September 29, 2023 13:20 28s
Add atomic library functions from nidhugg benchmark set options #6196: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 19s race-ignorable
race-ignorable
September 29, 2023 13:20 19s
Check all offsets, attributes and typedefs for ignored race memory locations options #6195: Pull request #1198 opened by sim642
September 29, 2023 13:12 26s race-ignorable
race-ignorable
September 29, 2023 13:12 26s
Document refactored race ignore check options #6194: Commit df9fda7 pushed by sim642
September 29, 2023 12:58 21s race-ignorable
race-ignorable
September 29, 2023 12:58 21s
Add out-of-bounds check for memset and memcpy options #6193: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 19s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 19s
Support stack-allocating functions when allocating heap vars options #6192: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 25s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 25s
Merge pull request #1123 from mrstanb/improve-uaf-analysis options #6191: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 17s master
master
September 29, 2023 10:41 17s
Support stack-allocating functions when allocating heap vars options #6190: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 21s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 21s
Improve multi-threaded UAF analysis and add SVComp result generation options #6189: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 19s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 19s
Add out-of-bounds check for memset and memcpy options #6188: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 24s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 24s
Support stack-allocating functions when allocating heap vars options #6187: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 18s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 18s
Merge pull request #1191 from goblint/final-errors options #6186: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 28s master
master
September 29, 2023 09:12 28s
Add final messages about unsound results options #6185: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 22s final-errors
final-errors
September 29, 2023 08:42 22s
Merge branch 'master' into final-errors options #6184: Commit b5ebff6 pushed by sim642
September 29, 2023 08:42 19s final-errors
final-errors
September 29, 2023 08:42 19s
Fix race in race_reach test for sv-benchmarks options #6183: Commit ee6dc36 pushed by sim642
September 29, 2023 08:40 18s master
master
September 29, 2023 08:40 18s
Support stack-allocating functions when allocating heap vars options #6182: Pull request #1179 synchronize by mrstanb
September 29, 2023 08:21 45s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 08:21 45s