Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
479 workflow run results
479 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 coverage #513: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 23m 5s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 23m 5s
Improve multi-threaded UAF analysis and add SVComp result generation options #6161: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 34s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 34s
Improve multi-threaded UAF analysis and add SVComp result generation locked #8432: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 41m 0s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 41m 0s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #8142: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 5m 57s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 5m 57s
Improve multi-threaded UAF analysis and add SVComp result generation semgrep #7832: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 51s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 51s
Exclude free-free accesses from racing indentation #8141: Pull request #1193 opened by sim642
September 26, 2023 15:16 3s free-free-norace
free-free-norace
September 26, 2023 15:16 3s
Exclude free-free accesses from racing coverage #512: Pull request #1193 opened by sim642
September 26, 2023 15:16 22m 27s free-free-norace
free-free-norace
September 26, 2023 15:16 22m 27s
Exclude free-free accesses from racing semgrep #7831: Pull request #1193 opened by sim642
September 26, 2023 15:16 47s free-free-norace
free-free-norace
September 26, 2023 15:16 47s
Exclude free-free accesses from racing options #6160: Pull request #1193 opened by sim642
September 26, 2023 15:16 26s free-free-norace
free-free-norace
September 26, 2023 15:16 26s
Exclude free-free accesses from racing locked #8431: Pull request #1193 opened by sim642
September 26, 2023 15:16 34m 7s free-free-norace
free-free-norace
September 26, 2023 15:16 34m 7s
Memory Out-Of-Bounds Access Analysis semgrep #7830: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 57s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 57s
Memory Out-Of-Bounds Access Analysis options #6159: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 20s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 20s
Memory Out-Of-Bounds Access Analysis indentation #8140: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 6m 17s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 6m 17s
Memory Out-Of-Bounds Access Analysis coverage #511: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 8m 39s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 8m 39s
Memory Out-Of-Bounds Access Analysis locked #8430: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 15m 44s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 15m 44s
Refactor Access.may_race with match locked #8429: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 40m 52s free-free-norace
free-free-norace
September 26, 2023 15:09 40m 52s
Refactor Access.may_race with match indentation #8139: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 2s free-free-norace
free-free-norace
September 26, 2023 15:09 2s
Refactor Access.may_race with match options #6158: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 20s free-free-norace
free-free-norace
September 26, 2023 15:09 20s
Refactor Access.may_race with match semgrep #7829: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 44s free-free-norace
free-free-norace
September 26, 2023 15:09 44s
Use AddressDomain for queries locked #8428: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 34m 49s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 34m 49s
Use AddressDomain for queries options #6157: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 30s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 30s
Use AddressDomain for queries coverage #510: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 19m 1s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 19m 1s
Use AddressDomain for queries indentation #8138: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 5m 6s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 5m 6s
Use AddressDomain for queries semgrep #7828: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 57s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 57s
Merge branch 'master' into queries-ad-cont indentation #8137: Commit e718562 pushed by sim642
September 26, 2023 14:45 7m 0s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 7m 0s