Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
135 workflow run results
135 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions semgrep #7974: Pull request #1201 synchronize by mrstanb
October 3, 2023 21:57 57s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 21:57 57s
Some ~15 more library functions semgrep #7973: Pull request #1203 opened by michael-schwarz
October 3, 2023 20:51 1m 1s library_me_one_more_time
library_me_one_more_time
October 3, 2023 20:51 1m 1s
mount / umount semgrep #7972: Commit 7a1a3d9 pushed by michael-schwarz
October 3, 2023 20:49 59s library_me_one_more_time
library_me_one_more_time
October 3, 2023 20:49 59s
SV-COMP "Memory Safety" benchmark additions semgrep #7971: Pull request #1201 synchronize by michael-schwarz
October 3, 2023 16:48 55s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 16:48 55s
SV-COMP "Memory Safety" benchmark additions semgrep #7970: Pull request #1201 synchronize by mrstanb
October 3, 2023 16:13 47s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 16:13 47s
SV-COMP "Memory Safety" benchmark additions semgrep #7969: Pull request #1201 synchronize by mrstanb
October 3, 2023 15:37 56s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 15:37 56s
SV-COMP "Memory Safety" benchmark additions semgrep #7968: Pull request #1201 synchronize by mrstanb
October 3, 2023 14:40 56s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 14:40 56s
SV-COMP "Memory Safety" benchmark additions semgrep #7967: Pull request #1201 synchronize by mrstanb
October 3, 2023 14:33 45s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 14:33 45s
TUM Practical Course Summer 2023: Termination Analyses semgrep #7966: Pull request #1093 synchronize by michael-schwarz
October 3, 2023 14:11 47s serenita:master
serenita:master
October 3, 2023 14:11 47s
TUM Practical Course Summer 2023: Termination Analyses semgrep #7965: Pull request #1093 synchronize by michael-schwarz
October 3, 2023 13:54 39s serenita:master
serenita:master
October 3, 2023 13:54 39s
Port ~50 library specifications to the new system semgrep #7964: Pull request #1200 synchronize by michael-schwarz
October 3, 2023 13:36 57s even_even_more_library
even_even_more_library
October 3, 2023 13:36 57s
Merge branch 'master' into even_even_more_library semgrep #7963: Commit 1fcbda9 pushed by michael-schwarz
October 3, 2023 13:36 54s even_even_more_library
even_even_more_library
October 3, 2023 13:36 54s
SV-COMP "Memory Safety" benchmark additions semgrep #7962: Pull request #1201 synchronize by mrstanb
October 3, 2023 13:26 41s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 13:26 41s
SV-COMP "Memory Safety" benchmark additions semgrep #7961: Pull request #1201 synchronize by mrstanb
October 3, 2023 13:13 1m 31s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 13:13 1m 31s
Remove spurious long double constant warning semgrep #7960: Pull request #1202 opened by michael-schwarz
October 3, 2023 12:40 1m 16s long_double_constant_warning
long_double_constant_warning
October 3, 2023 12:40 1m 16s
Allow constant zero in CReal case semgrep #7959: Commit f542ede pushed by michael-schwarz
October 3, 2023 12:36 56s long_double_constant_warning
long_double_constant_warning
October 3, 2023 12:36 56s
Remove TODO semgrep #7958: Commit da997a3 pushed by michael-schwarz
October 3, 2023 11:12 42s even_even_more_library
even_even_more_library
October 3, 2023 11:12 42s
Add sema_init back semgrep #7957: Commit 820312c pushed by michael-schwarz
October 3, 2023 10:48 5m 38s even_even_more_library
even_even_more_library
October 3, 2023 10:48 5m 38s
Move getdtablesize to glibc semgrep #7956: Commit 8cdd6da pushed by michael-schwarz
October 3, 2023 10:47 6m 13s even_even_more_library
even_even_more_library
October 3, 2023 10:47 6m 13s
Do not record accesses to sem semgrep #7955: Commit 79d71b8 pushed by michael-schwarz
October 3, 2023 10:45 5m 6s even_even_more_library
even_even_more_library
October 3, 2023 10:45 5m 6s
Apply suggestions from code review semgrep #7954: Commit d855613 pushed by michael-schwarz
October 3, 2023 10:42 7m 26s even_even_more_library
even_even_more_library
October 3, 2023 10:42 7m 26s
Punctuation semgrep #7953: Commit 960b023 pushed by michael-schwarz
October 3, 2023 10:40 4m 51s even_even_more_library
even_even_more_library
October 3, 2023 10:40 4m 51s
Move str[n]casecmp to Posix group semgrep #7952: Commit 0e77bc2 pushed by michael-schwarz
October 3, 2023 10:39 44s even_even_more_library
even_even_more_library
October 3, 2023 10:39 44s
Comment on Sem* specials that they are unused semgrep #7951: Commit 8f1bd75 pushed by michael-schwarz
October 3, 2023 10:38 57s even_even_more_library
even_even_more_library
October 3, 2023 10:38 57s
SV-COMP "Memory Safety" benchmark additions semgrep #7950: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:35 57s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:35 57s