Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
439 workflow run results
439 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1163 from goblint/dependabot/github_actions/docke… semgrep #7680: Commit a9562b9 pushed by sim642
September 13, 2023 07:22 54s master
master
September 13, 2023 07:22 54s
Bump docker/login-action from 2 to 3 semgrep #7679: Pull request #1166 opened by dependabot bot
September 12, 2023 20:07 16m 15s dependabot/github_actions/docker/login-action-3
dependabot/github_actions/docker/login-action-3
September 12, 2023 20:07 16m 15s
Bump docker/setup-buildx-action from 2 to 3 semgrep #7678: Pull request #1165 opened by dependabot bot
September 12, 2023 20:07 1m 21s dependabot/github_actions/docker/setup-buildx-action-3
dependabot/github_actions/docker/setup-buildx-action-3
September 12, 2023 20:07 1m 21s
Bump docker/metadata-action from 4 to 5 semgrep #7677: Pull request #1164 opened by dependabot bot
September 12, 2023 20:07 50s dependabot/github_actions/docker/metadata-action-5
dependabot/github_actions/docker/metadata-action-5
September 12, 2023 20:07 50s
Bump docker/build-push-action from 4 to 5 semgrep #7676: Pull request #1163 opened by dependabot bot
September 12, 2023 20:07 46s dependabot/github_actions/docker/build-push-action-5
dependabot/github_actions/docker/build-push-action-5
September 12, 2023 20:07 46s
Fix OCaml 5.0 Apron compatibility semgrep #7675: Pull request #1162 opened by sim642
September 12, 2023 14:12 46s ocaml-5-apron-compat
ocaml-5-apron-compat
September 12, 2023 14:12 46s
Congruences: Make % sound by restricting cases where we return a constant semgrep #7674: Pull request #1161 opened by michael-schwarz
September 12, 2023 14:10 57s issue_1156
issue_1156
September 12, 2023 14:10 57s
Congruences: Make % sound by restricting cases where we return a cons… semgrep #7673: Commit bff9159 pushed by michael-schwarz
September 12, 2023 14:03 1m 1s issue_1156
issue_1156
September 12, 2023 14:03 1m 1s
Update Gobview to OCaml 5 compatible semgrep #7672: Commit 94db94d pushed by sim642
September 12, 2023 13:04 56s ocaml-5-apron-compat
ocaml-5-apron-compat
September 12, 2023 13:04 56s
Use AddressDomain for MayPointTo and ReachableFrom queries semgrep #7671: Pull request #1142 synchronize by karoliineh
September 12, 2023 13:04 53s queries-ad
queries-ad
September 12, 2023 13:04 53s
Simplify remove_unreachable in uninit and malloc_null semgrep #7670: Commit 3ee9af8 pushed by karoliineh
September 12, 2023 13:04 43s queries-ad
queries-ad
September 12, 2023 13:04 43s
Update Gobview to OCaml 5 compatible semgrep #7669: Commit 98f80f6 pushed by sim642
September 12, 2023 11:32 44s ocaml-5-apron-compat
ocaml-5-apron-compat
September 12, 2023 11:32 44s
Add OCaml 5.0 to unlocked workflow semgrep #7668: Commit 13062df pushed by sim642
September 12, 2023 11:25 56s ocaml-5-apron-compat
ocaml-5-apron-compat
September 12, 2023 11:25 56s
Use opam 2.0 compatible switch create (closes #1133) semgrep #7667: Commit ee31392 pushed by sim642
September 12, 2023 11:19 41s master
master
September 12, 2023 11:19 41s
Merge pull request #1160 from goblint/benchmarking-docs semgrep #7666: Commit 256ca95 pushed by sim642
September 12, 2023 11:05 54s master
master
September 12, 2023 11:05 54s
Document Goblint benchmarking best practices semgrep #7665: Pull request #1160 synchronize by sim642
September 12, 2023 11:02 47s benchmarking-docs
benchmarking-docs
September 12, 2023 11:02 47s
Add opam post-message about OCaml 5 benchmarking semgrep #7664: Commit cd45df5 pushed by sim642
September 12, 2023 11:02 47s benchmarking-docs
benchmarking-docs
September 12, 2023 11:02 47s
Document Goblint benchmarking best practices semgrep #7663: Pull request #1160 opened by sim642
September 12, 2023 10:41 43s benchmarking-docs
benchmarking-docs
September 12, 2023 10:41 43s
Refer to benchmarking guide in README semgrep #7662: Commit a3eaf9a pushed by sim642
September 12, 2023 10:39 1m 4s benchmarking-docs
benchmarking-docs
September 12, 2023 10:39 1m 4s
Merge pull request #1154 from goblint/issue_1153 semgrep #7661: Commit 037e9ce pushed by michael-schwarz
September 12, 2023 07:53 9m 14s master
master
September 12, 2023 07:53 9m 14s
Use AddressDomain for MayPointTo and ReachableFrom queries semgrep #7660: Pull request #1142 synchronize by karoliineh
September 12, 2023 07:51 3m 38s queries-ad
queries-ad
September 12, 2023 07:51 3m 38s
Merge branch 'master' into queries-ad semgrep #7659: Commit 5583f04 pushed by karoliineh
September 12, 2023 07:51 1m 18s queries-ad
queries-ad
September 12, 2023 07:51 1m 18s
Merge pull request #1138 from goblint/libfuns-silver-searcher semgrep #7658: Commit 834782e pushed by sim642
September 12, 2023 07:47 1m 46s master
master
September 12, 2023 07:47 1m 46s
Library functions that are used in the silver searcher including some from the pcre library semgrep #7657: Pull request #1138 synchronize by sim642
September 12, 2023 07:47 47s libfuns-silver-searcher
libfuns-silver-searcher
September 12, 2023 07:47 47s
Merge branch 'master' into libfuns-silver-searcher semgrep #7656: Commit 0bae7fd pushed by sim642
September 12, 2023 07:47 57s libfuns-silver-searcher
libfuns-silver-searcher
September 12, 2023 07:47 57s
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.