Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,952 workflow run results
4,952 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rm spurious parens indentation #9165: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 3m 40s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 3m 40s
Rm spurious parens semgrep #8841: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 38s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 38s
affeq: Fix array OOB in invariant semgrep #8842: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 50s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 50s
Rm spurious parens options #7184: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 26s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 26s
affeq: Fix array OOB in invariant options #7185: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 24s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 24s
affeq: Fix array OOB in invariant coverage #1105: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 11m 8s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 11m 8s
Rm spurious parens locked #9563: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 29m 57s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 29m 57s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled semgrep #8840: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 42s alloca
alloca
January 12, 2024 14:37 42s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled options #7183: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 21s alloca
alloca
January 12, 2024 14:37 21s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled indentation #9164: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 3m 20s alloca
alloca
January 12, 2024 14:37 3m 20s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled locked #9562: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 25m 17s alloca
alloca
January 12, 2024 14:37 25m 17s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled coverage #1104: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 11m 9s alloca
alloca
January 12, 2024 14:37 11m 9s
Revert "Consider alloca in special in memLeak" options #7182: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 27s alloca
alloca
January 12, 2024 14:37 27s
Revert "Consider alloca in special in memLeak" semgrep #8839: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 41s alloca
alloca
January 12, 2024 14:37 41s
Revert "Consider alloca in special in memLeak" indentation #9163: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 3m 11s alloca
alloca
January 12, 2024 14:37 3m 11s
Revert "Consider alloca in special in memLeak" locked #9561: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 30m 1s alloca
alloca
January 12, 2024 14:37 30m 1s
Support for inline assembler & goto instructions in inline assembler locked #9560: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 12m 51s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 12m 51s
Support for inline assembler & goto instructions in inline assembler options #7181: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 20s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 20s
Support for inline assembler & goto instructions in inline assembler semgrep #8838: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 38s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 38s
Support for inline assembler & goto instructions in inline assembler coverage #1103: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 7m 48s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 7m 48s
Support for inline assembler & goto instructions in inline assembler indentation #9162: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 2m 54s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 2m 54s
affeq: Fix array OOB in invariant semgrep #8837: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 41s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 41s
affeq: Fix array OOB in invariant options #7180: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 24s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 24s
affeq: Fix array OOB in invariant indentation #9161: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 3m 14s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 3m 14s
affeq: Fix array OOB in invariant coverage #1102: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 11m 35s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 11m 35s