Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
363 workflow run results
363 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP 2024 development semgrep #8398: Pull request #1257 synchronize by sim642
November 22, 2023 12:51 43s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 43s
Merge remote-tracking branch 'mrstanb/improve-multi-threaded-valid-me… semgrep #8397: Commit d629d14 pushed by sim642
November 22, 2023 12:51 44s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 44s
Merge pull request #1269 from goblint/svcomp24-funs semgrep #8396: Commit 3414f4f pushed by sim642
November 22, 2023 12:32 44s master
master
November 22, 2023 12:32 44s
SV-COMP 2024 development semgrep #8395: Pull request #1257 synchronize by sim642
November 22, 2023 12:30 44s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 44s
Add CHANGELOG for v2.3.0 semgrep #8394: Commit 9c65057 pushed by sim642
November 22, 2023 12:30 40s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 40s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned semgrep #8393: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 12:21 42s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 42s
Undo setting mutex-meet-tid privatization in autotuner semgrep #8392: Commit 06f543a pushed by michael-schwarz
November 22, 2023 12:21 39s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 39s
Add unknown functions from SV-COMP semgrep #8391: Pull request #1269 synchronize by sim642
November 22, 2023 12:10 47s svcomp24-funs
svcomp24-funs
November 22, 2023 12:10 47s
Move *_unlocked functions to glibc group, fix *wscanf varargs semgrep #8390: Commit c98025c pushed by sim642
November 22, 2023 12:09 41s svcomp24-funs
svcomp24-funs
November 22, 2023 12:09 41s
Add unknown functions from SV-COMP semgrep #8389: Pull request #1269 synchronize by karoliineh
November 22, 2023 11:54 39s svcomp24-funs
svcomp24-funs
November 22, 2023 11:54 39s
Add fun def for iswxdigit #1239 semgrep #8388: Commit 949432b pushed by karoliineh
November 22, 2023 11:54 34s svcomp24-funs
svcomp24-funs
November 22, 2023 11:54 34s
Add unknown functions from SV-COMP semgrep #8387: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 40s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 40s
Add fun defs for wprintf, iswxdigit and .*wscanf #1239 semgrep #8386: Commit 7159875 pushed by karoliineh
November 22, 2023 11:47 36s svcomp24-funs
svcomp24-funs
November 22, 2023 11:47 36s
Add missing fun defs from sv-benchmarks #1239 semgrep #8385: Commit 4fa70bd pushed by karoliineh
November 22, 2023 11:11 40s svcomp24-funs
svcomp24-funs
November 22, 2023 11:11 40s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned semgrep #8384: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 42s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 42s
Revert spurious changes to base.ml semgrep #8383: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 44s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 44s
Account for allocated heap memory which is unreachable from globals semgrep #8382: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 40s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 40s
Merge pull request #1262 from goblint/issue_1259 semgrep #8381: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 40s master
master
November 22, 2023 10:30 40s
Improve multi-threaded valid-memcleanup semgrep #8380: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 51s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 51s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned semgrep #8379: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 39s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 39s
Move AfterConfig.run to after the autotuner semgrep #8378: Commit c5cda33 pushed by michael-schwarz
November 22, 2023 10:22 47s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 47s
Improve multi-threaded valid-memcleanup semgrep #8377: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 44s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 44s
Improve multi-threaded valid-memcleanup semgrep #8376: Pull request #1246 synchronize by jerhard
November 22, 2023 10:04 41s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:04 41s
Improve multi-threaded valid-memcleanup semgrep #8375: Pull request #1246 synchronize by jerhard
November 22, 2023 10:02 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:02 43s
Improve multi-threaded valid-memcleanup semgrep #8374: Pull request #1246 synchronize by jerhard
November 22, 2023 09:53 41s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 09:53 41s