Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
579 workflow run results
579 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle sqrt & Some Bodged Solution for computing through abs semgrep #8278: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 46s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 46s
Handle <= as well semgrep #8277: Commit ba6726a pushed by michael-schwarz
November 18, 2023 11:51 41s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 41s
Handle sqrt & Some Bodged Solution for computing through abs semgrep #8276: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:41 41s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 41s
Make bodge a bit nicer semgrep #8275: Commit 6895ac0 pushed by michael-schwarz
November 18, 2023 11:41 43s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 43s
Handle sqrt & Some Bodged Solution for computing through abs semgrep #8274: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:28 36s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 36s
Reset baseInvariant to master semgrep #8273: Commit 3797338 pushed by michael-schwarz
November 18, 2023 11:28 40s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 40s
Handle sqrt & Some Bodged Solution for computing through abs semgrep #8272: Pull request #1254 opened by michael-schwarz
November 18, 2023 11:26 41s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:26 41s
Wir sind alle Pfuscher vor dem HERRN semgrep #8271: Commit 2ea8db4 pushed by michael-schwarz
November 18, 2023 11:21 38s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:21 38s
Improving parameter of math function abs in condition semgrep #8270: Pull request #1253 synchronize by michael-schwarz
November 18, 2023 10:33 41s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:33 41s
Merge branch 'no-overflow-sqrt' of https://github.com/goblint/analyze… semgrep #8269: Commit 66ebc90 pushed by michael-schwarz
November 18, 2023 10:32 41s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 41s
Improving parameter of math function abs in condition semgrep #8268: Pull request #1253 synchronize by stilscher
November 18, 2023 10:32 42s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 42s
trying to fix that value is not improved for parameter of abs call semgrep #8267: Commit 688cff1 pushed by stilscher
November 18, 2023 10:32 39s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 39s
Merge pull request #1093 from serenita/master semgrep #8266: Commit a40f2cf pushed by michael-schwarz
November 18, 2023 09:00 39s master
master
November 18, 2023 09:00 39s
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