Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
584 workflow run results
584 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve multi-threaded valid-memcleanup semgrep #8303: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:46 38s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:46 38s
Be more precise for << of Intervals semgrep #8302: Pull request #1252 synchronize by michael-schwarz
November 19, 2023 18:28 42s issue_1250
issue_1250
November 19, 2023 18:28 42s
<< Fix wrong order of minimal/maximal semgrep #8301: Commit f6cef72 pushed by michael-schwarz
November 19, 2023 18:28 39s issue_1250
issue_1250
November 19, 2023 18:28 39s
Improve multi-threaded valid-memcleanup semgrep #8300: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:26 48s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:26 48s
Improve multi-threaded valid-memcleanup semgrep #8299: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 18:02 40s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:02 40s
Improve multi-threaded valid-memcleanup semgrep #8298: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 34s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 34s
Improve multi-threaded valid-memcleanup semgrep #8297: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 42s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 42s
Merge pull request #1255 from goblint/autotune_termination_spec semgrep #8296: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 39s master
master
November 19, 2023 17:01 39s
Improve multi-threaded valid-memcleanup semgrep #8295: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 43s
Account for allocated heap memory which is unreachable from globals semgrep #8294: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 44s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 44s
Improve multi-threaded valid-memcleanup semgrep #8293: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 43s
Account for allocated heap memory which is unreachable from globals semgrep #8292: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 39s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 39s
Improve multi-threaded valid-memcleanup semgrep #8291: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 35s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 35s
Add tmpSpecial to analyses, termination to aututoner. semgrep #8290: Commit 67e311c pushed by jerhard
November 19, 2023 16:18 50s benchmark_sv_comp
benchmark_sv_comp
November 19, 2023 16:18 50s
Autotune termination spec before preprocessing, but not others. semgrep #8289: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 38s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 38s
Use autotune.activated termination as separate switch whether termina… semgrep #8288: Commit 9d8629d pushed by jerhard
November 19, 2023 15:58 41s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 41s
Autotune termination spec before preprocessing, but not others. semgrep #8287: Pull request #1255 opened by jerhard
November 19, 2023 15:49 44s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:49 44s
Autotune termination spec before preprocessing, but not others. semgrep #8286: Commit 0652213 pushed by jerhard
November 19, 2023 15:47 41s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:47 41s
unlocked: Only test termination in config with Apron (References #1093) semgrep #8285: Commit 116916a pushed by michael-schwarz
November 19, 2023 15:14 40s master
master
November 19, 2023 15:14 40s
Avoid creating unneeded Task module which may not be set in `is_error… semgrep #8284: Commit 1f4d8be pushed by michael-schwarz
November 19, 2023 00:30 44s master
master
November 19, 2023 00:30 44s
Account for allocated heap memory which is unreachable from globals semgrep #8283: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 44s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 44s
Account for allocated heap memory which is unreachable from globals semgrep #8282: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 40s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 40s
Improve multi-threaded valid-memcleanup semgrep #8281: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 43s
Handle sqrt & Some Bodged Solution for computing through abs semgrep #8280: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 5m 2s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 2s
39/07: Add NOWARN annotation semgrep #8279: Commit 8ea9ffa pushed by michael-schwarz
November 18, 2023 11:51 48s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 48s