Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,194 workflow run results
1,194 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 indentation #8170: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 7m 10s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 7m 10s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #527: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 22m 10s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 22m 10s
Add out-of-bounds check for memset and memcpy semgrep #7859: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 42s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 42s
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
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
Add out-of-bounds check for memset and memcpy coverage #526: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 18m 41s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 18m 41s
Add out-of-bounds check for memset and memcpy indentation #8169: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 3s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 3s
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
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
Support stack-allocating functions when allocating heap vars indentation #8168: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 5m 44s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 5m 44s
Support stack-allocating functions when allocating heap vars coverage #525: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 24m 50s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 24m 50s
Support stack-allocating functions when allocating heap vars semgrep #7858: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 52s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 52s
Merge pull request #1191 from goblint/final-errors indentation #8167: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 5m 59s master
master
September 29, 2023 09:12 5m 59s
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
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
Merge pull request #1191 from goblint/final-errors semgrep #7857: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 55s master
master
September 29, 2023 09:12 55s
Merge pull request #1191 from goblint/final-errors docs #129: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 11m 34s master
master
September 29, 2023 09:12 11m 34s
Add final messages about unsound results coverage #524: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 18m 44s final-errors
final-errors
September 29, 2023 08:42 18m 44s
Add final messages about unsound results indentation #8166: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 5m 49s final-errors
final-errors
September 29, 2023 08:42 5m 49s
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
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
Add final messages about unsound results semgrep #7856: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 58s final-errors
final-errors
September 29, 2023 08:42 58s
Merge branch 'master' into final-errors indentation #8165: Commit b5ebff6 pushed by sim642
September 29, 2023 08:42 6m 31s final-errors
final-errors
September 29, 2023 08:42 6m 31s
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
Merge branch 'master' into final-errors semgrep #7855: Commit b5ebff6 pushed by sim642
September 29, 2023 08:42 1m 4s final-errors
final-errors
September 29, 2023 08:42 1m 4s