Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Complete TODOs in nullpointer.dereference.refine test semgrep #7701: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 58s warn-once
warn-once
September 13, 2023 18:41 58s
Ignore info messages for test case 77/05 due to MacOS CI semgrep #7700: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 57s staging_memsafety
staging_memsafety
September 13, 2023 15:16 57s
Add test for nullpointer.dereference.refine semgrep #7699: Commit d54c31d pushed by karoliineh
September 13, 2023 13:56 55s warn-once
warn-once
September 13, 2023 13:56 55s
Add exception handling for intdom arithmetic in memOutOfBounds semgrep #7698: Commit 15f782b pushed by mrstanb
September 13, 2023 13:26 44s staging_memsafety
staging_memsafety
September 13, 2023 13:26 44s
Add CHANGELOG for v2.2.1 semgrep #7697: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 1m 29s master
master
September 13, 2023 12:20 1m 29s
Remove -p in 70-transform/02-deadcode.t due to OSX semgrep #7696: Commit 833d90d pushed by sim642
September 13, 2023 12:16 55s master
master
September 13, 2023 12:16 55s
Fix deprecated tail syntax in 70-transform/02-deadcode.t semgrep #7695: Commit 1a731fd pushed by sim642
September 13, 2023 12:11 57s master
master
September 13, 2023 12:11 57s
Bump batteries lower bound to 3.5.0 semgrep #7694: Commit 246c999 pushed by sim642
September 13, 2023 11:45 45s master
master
September 13, 2023 11:45 45s
Use AddressDomain for MayPointTo and ReachableFrom queries semgrep #7693: Pull request #1142 synchronize by karoliineh
September 13, 2023 09:33 51s queries-ad
queries-ad
September 13, 2023 09:33 51s
D.remove instead of diffing singleton in memLeak semgrep #7692: Commit f18d808 pushed by karoliineh
September 13, 2023 09:33 50s queries-ad
queries-ad
September 13, 2023 09:33 50s
Disable pins for v2.2.0 release semgrep #7691: Commit b46aeda pushed by sim642
September 13, 2023 08:32 48s master
master
September 13, 2023 08:32 48s
Finalize v2.2.0 CHANGELOG semgrep #7690: Commit 336c5ff pushed by sim642
September 13, 2023 08:27 54s master
master
September 13, 2023 08:27 54s
Merge pull request #1162 from goblint/ocaml-5-apron-compat semgrep #7689: Commit 8f4a6a9 pushed by sim642
September 13, 2023 08:19 43s master
master
September 13, 2023 08:19 43s
Merge pull request #1161 from goblint/issue_1156 semgrep #7688: Commit e58b952 pushed by sim642
September 13, 2023 08:18 51s master
master
September 13, 2023 08:18 51s
Update releasing documentation about Zenodo webhook semgrep #7687: Commit 8440ff0 pushed by sim642
September 13, 2023 08:08 56s master
master
September 13, 2023 08:08 56s
Fix OCaml 5.0 Apron compatibility semgrep #7686: Pull request #1162 synchronize by sim642
September 13, 2023 07:56 51s ocaml-5-apron-compat
ocaml-5-apron-compat
September 13, 2023 07:56 51s
Merge branch 'master' into ocaml-5-apron-compat semgrep #7685: Commit 8be194d pushed by sim642
September 13, 2023 07:56 53s ocaml-5-apron-compat
ocaml-5-apron-compat
September 13, 2023 07:56 53s
Replace goblint-cil pin with published 2.0.2 semgrep #7684: Commit bef3c54 pushed by sim642
September 13, 2023 07:43 45s master
master
September 13, 2023 07:43 45s
Merge pull request #1166 from goblint/dependabot/github_actions/docke… semgrep #7683: Commit f7bb5e7 pushed by sim642
September 13, 2023 07:23 41s master
master
September 13, 2023 07:23 41s
Merge pull request #1165 from goblint/dependabot/github_actions/docke… semgrep #7682: Commit 72b333c pushed by sim642
September 13, 2023 07:23 45s master
master
September 13, 2023 07:23 45s
Merge pull request #1164 from goblint/dependabot/github_actions/docke… semgrep #7681: Commit b72a91c pushed by sim642
September 13, 2023 07:23 55s master
master
September 13, 2023 07:23 55s
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
fix: copying of files to GobView in projects with subdirectories semgrep #7600: Pull request #1143 opened by sallto
August 28, 2023 14:53 34s sallto:master
sallto:master
August 28, 2023 14:53 34s