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

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
Support stack-allocating functions when allocating heap vars coverage #529: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 23m 12s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 23m 12s
Merge pull request #1123 from mrstanb/improve-uaf-analysis indentation #8172: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 6m 2s master
master
September 29, 2023 10:41 6m 2s
Merge pull request #1123 from mrstanb/improve-uaf-analysis semgrep #7862: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 53s master
master
September 29, 2023 10:41 53s
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
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
Merge pull request #1123 from mrstanb/improve-uaf-analysis docs #130: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 10m 10s master
master
September 29, 2023 10:41 10m 10s
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
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
Support stack-allocating functions when allocating heap vars semgrep #7861: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 43s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 43s
Support stack-allocating functions when allocating heap vars coverage #528: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 19m 30s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 19m 30s
Support stack-allocating functions when allocating heap vars indentation #8171: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 5m 56s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 5m 56s
Improve multi-threaded UAF analysis and add SVComp result generation semgrep #7860: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 52s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 52s
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
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