Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
382 workflow run results
382 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

strchr and friends options #6210: Commit 7db9d70 pushed by michael-schwarz
October 1, 2023 12:01 16s even_even_more_library
even_even_more_library
October 1, 2023 12:01 16s
sleep an friends options #6209: Commit f41d294 pushed by michael-schwarz
October 1, 2023 11:54 22s even_even_more_library
even_even_more_library
October 1, 2023 11:54 22s
htonl and friends options #6208: Commit d9418ce pushed by michael-schwarz
October 1, 2023 11:48 32s even_even_more_library
even_even_more_library
October 1, 2023 11:48 32s
atoi and friends options #6207: Commit 587b39f pushed by michael-schwarz
October 1, 2023 11:44 19s even_even_more_library
even_even_more_library
October 1, 2023 11:44 19s
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