Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
645 workflow run results
645 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check all offsets, attributes and typedefs for ignored race memory locations semgrep #7868: Pull request #1198 synchronize by karoliineh
September 29, 2023 13:20 52s race-ignorable
race-ignorable
September 29, 2023 13:20 52s
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
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 options #6196: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 19s race-ignorable
race-ignorable
September 29, 2023 13:20 19s
Add atomic library functions from nidhugg benchmark set indentation #8177: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 6m 4s race-ignorable
race-ignorable
September 29, 2023 13:20 6m 4s
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
Add atomic library functions from nidhugg benchmark set semgrep #7867: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 47s race-ignorable
race-ignorable
September 29, 2023 13:20 47s
Check all offsets, attributes and typedefs for ignored race memory locations indentation #8176: Pull request #1198 opened by sim642
September 29, 2023 13:12 2s race-ignorable
race-ignorable
September 29, 2023 13:12 2s
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
Check all offsets, attributes and typedefs for ignored race memory locations semgrep #7866: Pull request #1198 opened by sim642
September 29, 2023 13:12 46s race-ignorable
race-ignorable
September 29, 2023 13:12 46s
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
Check all offsets, attributes and typedefs for ignored race memory locations coverage #531: Pull request #1198 opened by sim642
September 29, 2023 13:12 18m 22s race-ignorable
race-ignorable
September 29, 2023 13:12 18m 22s
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
Document refactored race ignore check semgrep #7865: Commit df9fda7 pushed by sim642
September 29, 2023 12:58 57s race-ignorable
race-ignorable
September 29, 2023 12:58 57s
Document refactored race ignore check indentation #8175: Commit df9fda7 pushed by sim642
September 29, 2023 12:58 3s race-ignorable
race-ignorable
September 29, 2023 12:58 3s
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 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
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
Add out-of-bounds check for memset and memcpy indentation #8174: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 5m 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 5m 45s
Add out-of-bounds check for memset and memcpy coverage #530: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 19m 12s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 19m 12s
Add out-of-bounds check for memset and memcpy semgrep #7864: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 59s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 59s
Support stack-allocating functions when allocating heap vars indentation #8173: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 5m 50s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 5m 50s
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
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
Support stack-allocating functions when allocating heap vars semgrep #7863: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 50s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 50s