Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
289 workflow run results
289 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not invalidate special function lvals recursively semgrep #8373: Pull request #1264 synchronize by karoliineh
November 22, 2023 09:31 51s base-special-lval
base-special-lval
November 22, 2023 09:31 51s
Fix indentation semgrep #8372: Commit cb06f70 pushed by karoliineh
November 22, 2023 09:31 46s base-special-lval
base-special-lval
November 22, 2023 09:31 46s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned semgrep #8371: Pull request #1265 opened by michael-schwarz
November 22, 2023 08:36 43s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:36 43s
Enable mutex-meet-tid for ValidDeref semgrep #8370: Commit 17ebe80 pushed by michael-schwarz
November 22, 2023 08:29 47s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:29 47s
Do not invalidate special function lvals recursively semgrep #8369: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 45s base-special-lval
base-special-lval
November 21, 2023 20:15 45s
Update cram tests semgrep #8368: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 42s base-special-lval
base-special-lval
November 21, 2023 20:15 42s
Account for allocated heap memory which is unreachable from globals semgrep #8367: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 46s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 46s
Do not invalidate special function lvals recursively semgrep #8366: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 43s base-special-lval
base-special-lval
November 21, 2023 20:01 43s
Special function lval not invalidated recursively semgrep #8365: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 45s base-special-lval
base-special-lval
November 21, 2023 19:59 45s
Let tmpSpecial be activated on demand by autotuner. semgrep #8364: Commit 3c37ca4 pushed by jerhard
November 21, 2023 19:46 41s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:46 41s
Rename testcases to deduplicate ids. semgrep #8363: Commit 78d04fa pushed by jerhard
November 21, 2023 19:43 1m 2s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:43 1m 2s
Improve multi-threaded valid-memcleanup semgrep #8362: Pull request #1246 synchronize by jerhard
November 21, 2023 19:31 51s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 19:31 51s
Fix BlobSize for calloc semgrep #8361: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 17:01 43s issue_1259
issue_1259
November 21, 2023 17:01 43s
Add test semgrep #8360: Commit d1d85b3 pushed by michael-schwarz
November 21, 2023 17:01 43s issue_1259
issue_1259
November 21, 2023 17:01 43s
Improve multi-threaded valid-memcleanup semgrep #8359: Pull request #1246 synchronize by jerhard
November 21, 2023 16:57 44s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:57 44s
Improve multi-threaded valid-memcleanup semgrep #8358: Pull request #1246 synchronize by jerhard
November 21, 2023 16:41 52s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:41 52s
Improve multi-threaded valid-memcleanup semgrep #8357: Pull request #1246 synchronize by jerhard
November 21, 2023 16:19 50s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:19 50s
Fix BlobSize for calloc semgrep #8356: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 15:30 42s issue_1259
issue_1259
November 21, 2023 15:30 42s
Merge branch 'master' into issue_1259 semgrep #8355: Commit 8542481 pushed by michael-schwarz
November 21, 2023 15:30 45s issue_1259
issue_1259
November 21, 2023 15:30 45s
Adapt cram test from #1258 to #1252 semgrep #8354: Commit 9c808c9 pushed by sim642
November 21, 2023 15:22 45s master
master
November 21, 2023 15:22 45s
Fix BlobSize for calloc semgrep #8353: Pull request #1262 opened by michael-schwarz
November 21, 2023 15:12 46s issue_1259
issue_1259
November 21, 2023 15:12 46s
Fix BlobSize for calloc semgrep #8352: Commit ed90e61 pushed by michael-schwarz
November 21, 2023 15:11 37s issue_1259
issue_1259
November 21, 2023 15:11 37s
Fix no-overflow cram test expected output semgrep #8351: Pull request #1261 opened by jerhard
November 21, 2023 15:05 45s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:05 45s
Update no-overflow cram test. semgrep #8350: Commit bc1a5f9 pushed by jerhard
November 21, 2023 15:01 39s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:01 39s
SV-COMP 2024 development semgrep #8349: Pull request #1257 synchronize by sim642
November 21, 2023 14:17 48s svcomp24-dev
svcomp24-dev
November 21, 2023 14:17 48s