Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
96 workflow run results
96 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions semgrep #7993: Pull request #1201 synchronize by mrstanb
October 4, 2023 17:53 1m 5s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 17:53 1m 5s
Extract cpp special path regex construction semgrep #7991: Commit 093eb5e pushed by sim642
October 4, 2023 12:52 55s master
master
October 4, 2023 12:52 55s
Merge pull request #1202 from goblint/long_double_constant_warning semgrep #7990: Commit 475f3bb pushed by michael-schwarz
October 4, 2023 11:52 54s master
master
October 4, 2023 11:52 54s
SV-COMP "Memory Safety" benchmark additions semgrep #7989: Pull request #1201 synchronize by mrstanb
October 4, 2023 10:47 54s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 10:47 54s
Remove spurious long double constant warning semgrep #7988: Pull request #1202 synchronize by michael-schwarz
October 4, 2023 10:38 58s long_double_constant_warning
long_double_constant_warning
October 4, 2023 10:38 58s
Fix test description semgrep #7987: Commit 058990e pushed by michael-schwarz
October 4, 2023 10:38 59s long_double_constant_warning
long_double_constant_warning
October 4, 2023 10:38 59s
Some ~15 more library functions semgrep #7986: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 10:30 47s library_me_one_more_time
library_me_one_more_time
October 4, 2023 10:30 47s
Rm duplicates semgrep #7985: Commit 3cf5e36 pushed by michael-schwarz
October 4, 2023 10:30 42s library_me_one_more_time
library_me_one_more_time
October 4, 2023 10:30 42s
SV-COMP "Memory Safety" benchmark additions semgrep #7984: Pull request #1201 synchronize by mrstanb
October 4, 2023 10:25 1m 34s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 10:25 1m 34s
SV-COMP "Memory Safety" benchmark additions semgrep #7983: Pull request #1201 synchronize by mrstanb
October 4, 2023 09:36 43s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 09:36 43s
Some ~15 more library functions semgrep #7982: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 09:29 52s library_me_one_more_time
library_me_one_more_time
October 4, 2023 09:29 52s
Rm duplicate fstat semgrep #7981: Commit 3aab987 pushed by michael-schwarz
October 4, 2023 09:29 57s library_me_one_more_time
library_me_one_more_time
October 4, 2023 09:29 57s
Port ~50 library specifications to the new system (#1200) semgrep #7980: Commit a9f2bae pushed by michael-schwarz
October 4, 2023 09:17 59s master
master
October 4, 2023 09:17 59s
Use exp.architecture for SV-COMP preprocessing semgrep #7979: Commit 11164fd pushed by sim642
October 4, 2023 09:16 54s svcomp24-conf
svcomp24-conf
October 4, 2023 09:16 54s
Rm duplicate fstat semgrep #7978: Commit a43554d pushed by michael-schwarz
October 4, 2023 08:52 1m 35s library_me_one_more_time
library_me_one_more_time
October 4, 2023 08:52 1m 35s
Some ~15 more library functions semgrep #7977: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 08:52 52s library_me_one_more_time
library_me_one_more_time
October 4, 2023 08:52 52s
Fix select semgrep #7976: Commit 12742a3 pushed by michael-schwarz
October 4, 2023 08:52 46s library_me_one_more_time
library_me_one_more_time
October 4, 2023 08:52 46s
Some ~15 more library functions semgrep #7975: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 08:52 1m 0s library_me_one_more_time
library_me_one_more_time
October 4, 2023 08:52 1m 0s
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