Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
267 workflow run results
267 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses semgrep #8265: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 40s serenita:master
serenita:master
November 17, 2023 17:40 40s
Do loop unrolling for loops with boundedness check. semgrep #8264: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 54s termination_dev
termination_dev
November 17, 2023 17:38 54s
Call Autotune.focusOnSpecification before preprocessing, as terminati… semgrep #8263: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 47s termination_dev
termination_dev
November 17, 2023 16:52 47s
Improving parameter of math function abs in condition semgrep #8262: Pull request #1253 opened by stilscher
November 17, 2023 15:22 36s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 36s
improve values of parameters in abs call semgrep #8261: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 35s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 35s
Be more precise for << of Intervals semgrep #8260: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 39s issue_1250
issue_1250
November 17, 2023 14:36 39s
Be more precise for << of Intervals semgrep #8259: Commit c8c49a5 pushed by michael-schwarz
November 17, 2023 14:35 42s issue_1250
issue_1250
November 17, 2023 14:35 42s
Autotuner: Remove activateTerminationAnalysis, as there is already ot… semgrep #8258: Commit 26d8012 pushed by jerhard
November 17, 2023 14:18 34s termination_dev
termination_dev
November 17, 2023 14:18 34s
Make YAML output buffer sizing exponential semgrep #8257: Commit f709482 pushed by sim642
November 17, 2023 14:07 44s svcomp24-dev
svcomp24-dev
November 17, 2023 14:07 44s
Update for Earlybird usage semgrep #8256: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 37s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 37s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev semgrep #8255: Commit a69e5b6 pushed by sim642
November 17, 2023 13:33 44s svcomp24-dev
svcomp24-dev
November 17, 2023 13:33 44s
Fix YamlWitness indentation semgrep #8254: Commit 3c89ece pushed by sim642
November 17, 2023 13:32 40s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:32 40s
Refactor YAML witness fundec lookup semgrep #8253: Commit 0fb479f pushed by sim642
November 17, 2023 13:16 47s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:16 47s
Merge branch 'master' into pldi-bench semgrep #8252: Commit f52baee pushed by sim642
November 17, 2023 12:25 40s pldi-bench
pldi-bench
November 17, 2023 12:25 40s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev semgrep #8251: Commit b699aa0 pushed by sim642
November 17, 2023 12:24 39s svcomp24-dev
svcomp24-dev
November 17, 2023 12:24 39s
Merge pull request #1240 from goblint/yaml-witness-2.0 semgrep #8250: Commit 97ab0b6 pushed by sim642
November 17, 2023 12:09 38s master
master
November 17, 2023 12:09 38s
Merge pull request #1247 from goblint/region-escape-svcomp semgrep #8249: Commit ca46852 pushed by sim642
November 17, 2023 12:07 46s master
master
November 17, 2023 12:07 46s
Fix YAML witness invariants for unrolled loops semgrep #8248: Pull request #1248 synchronize by sim642
November 17, 2023 11:19 46s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 46s
Fix bisect_ppx build semgrep #8247: Commit 952b90d pushed by sim642
November 17, 2023 11:19 42s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:19 42s
Fix YAML witness invariants for unrolled loops semgrep #8246: Pull request #1248 opened by sim642
November 17, 2023 11:11 41s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:11 41s
Merge branch 'yaml-witness-2.0' into yaml-witness-location-hack semgrep #8245: Commit eabb461 pushed by sim642
November 17, 2023 11:04 51s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 11:04 51s
Merge branch 'master' into region-escape semgrep #8244: Commit d26f8fb pushed by sim642
November 17, 2023 10:29 42s region-escape
region-escape
November 17, 2023 10:29 42s
Handling escaped variables in region analysis semgrep #8243: Pull request #989 synchronize by sim642
November 17, 2023 10:29 45s region-escape
region-escape
November 17, 2023 10:29 45s
Fix region escaping in per-thread-array-init-race semgrep #8242: Pull request #1247 opened by sim642
November 17, 2023 10:17 41s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:17 41s
Fix region bullet escaping (issue #107) semgrep #8241: Commit 73bf6fe pushed by sim642
November 17, 2023 10:14 46s region-escape-svcomp
region-escape-svcomp
November 17, 2023 10:14 46s