Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,113 workflow run results
3,113 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain semgrep #8474: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 39s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 39s
Null Byte Array Domain indentation #8787: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 4m 2s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 4m 2s
Null Byte Array Domain coverage #887: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 19m 53s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 19m 53s
Null Byte Array Domain locked #9140: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 40m 48s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 40m 48s
Null Byte Array Domain options #6806: Pull request #1076 synchronize by michael-schwarz
November 28, 2023 21:06 30s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 28, 2023 21:06 30s
Consider is_modular for Addr.of_mval, of_var. semgrep #8473: Commit c40ec43 pushed by jerhard
November 28, 2023 17:43 43s modular_function_summaries
modular_function_summaries
November 28, 2023 17:43 43s
Consider is_modular for Addr.of_mval, of_var. indentation #8786: Commit c40ec43 pushed by jerhard
November 28, 2023 17:43 3m 18s modular_function_summaries
modular_function_summaries
November 28, 2023 17:43 3m 18s
Consider is_modular for Addr.of_mval, of_var. locked #9139: Commit c40ec43 pushed by jerhard
November 28, 2023 17:43 21m 22s modular_function_summaries
modular_function_summaries
November 28, 2023 17:43 21m 22s
Consider is_modular for Addr.of_mval, of_var. options #6805: Commit c40ec43 pushed by jerhard
November 28, 2023 17:43 15s modular_function_summaries
modular_function_summaries
November 28, 2023 17:43 15s
Let mallocWrapper analysis also run in modular mode. indentation #8785: Commit a6eab9c pushed by jerhard
November 28, 2023 17:18 3m 3s modular_function_summaries
modular_function_summaries
November 28, 2023 17:18 3m 3s
Let mallocWrapper analysis also run in modular mode. options #6804: Commit a6eab9c pushed by jerhard
November 28, 2023 17:18 25s modular_function_summaries
modular_function_summaries
November 28, 2023 17:18 25s
Let mallocWrapper analysis also run in modular mode. semgrep #8472: Commit a6eab9c pushed by jerhard
November 28, 2023 17:18 47s modular_function_summaries
modular_function_summaries
November 28, 2023 17:18 47s
Let mallocWrapper analysis also run in modular mode. locked #9138: Commit a6eab9c pushed by jerhard
November 28, 2023 17:18 29m 29s modular_function_summaries
modular_function_summaries
November 28, 2023 17:18 29m 29s
Suppress no-cmx-file warning options #6803: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 20s master
master
November 28, 2023 11:01 20s
Suppress no-cmx-file warning semgrep #8471: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 43s master
master
November 28, 2023 11:01 43s
Suppress no-cmx-file warning locked #9137: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 35m 40s master
master
November 28, 2023 11:01 35m 40s
Suppress no-cmx-file warning docs #199: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 5m 42s master
master
November 28, 2023 11:01 5m 42s
Suppress no-cmx-file warning indentation #8784: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 2m 51s master
master
November 28, 2023 11:01 2m 51s
Add some hacky atomic privatizations locked #9136: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 23m 50s priv-atomic
priv-atomic
November 28, 2023 10:48 23m 50s
Add some hacky atomic privatizations coverage #886: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 17m 14s priv-atomic
priv-atomic
November 28, 2023 10:48 17m 14s
Add some hacky atomic privatizations semgrep #8470: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 47s priv-atomic
priv-atomic
November 28, 2023 10:48 47s
Add some hacky atomic privatizations options #6802: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 25s priv-atomic
priv-atomic
November 28, 2023 10:48 25s
Add some hacky atomic privatizations indentation #8783: Pull request #1216 synchronize by sim642
November 28, 2023 10:48 2m 52s priv-atomic
priv-atomic
November 28, 2023 10:48 2m 52s
Fix unsoundness in per-mutex-tid which is revealed by strengthening locked #9135: Commit b3af798 pushed by sim642
November 28, 2023 10:48 34m 51s priv-atomic
priv-atomic
November 28, 2023 10:48 34m 51s
Fix unsoundness in per-mutex-tid which is revealed by strengthening options #6801: Commit b3af798 pushed by sim642
November 28, 2023 10:48 21s priv-atomic
priv-atomic
November 28, 2023 10:48 21s