Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
513 workflow run results
513 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
SV-COMP "Memory Safety" benchmark additions semgrep #7949: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:32 47s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:32 47s
SV-COMP "Memory Safety" benchmark additions semgrep #7948: Pull request #1201 synchronize by mrstanb
October 3, 2023 10:25 1m 2s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 10:25 1m 2s
SV-COMP "Memory Safety" benchmark additions semgrep #7947: Pull request #1201 synchronize by mrstanb
October 3, 2023 09:57 45s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 3, 2023 09:57 45s
Add final message for exp.single-threaded semgrep #7946: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 49s master
master
October 2, 2023 14:05 49s
Revert "Disable pins for v2.2.0 release" semgrep #7945: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 1m 0s master
master
October 2, 2023 13:40 1m 0s
Merge pull request #1198 from goblint/race-ignorable semgrep #7944: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 49s master
master
October 2, 2023 13:35 49s
Fix incorrect unlock in witness/tm-inv-transfer tests semgrep #7943: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 47s master
master
October 2, 2023 13:34 47s
SV-COMP "Memory Safety" benchmark additions semgrep #7942: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 51s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 51s
SV-COMP "Memory Safety" benchmark additions semgrep #7941: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 49s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 49s
Simplify is_not_heap_alloc_var and add TODO semgrep #7940: Commit 15e6c3d pushed by sim642
October 2, 2023 07:37 51s master
master
October 2, 2023 07:37 51s
Merge pull request #1197 from mrstanb/memset-memcpy-size-check semgrep #7939: Commit d3347e8 pushed by michael-schwarz
October 1, 2023 19:22 41s master
master
October 1, 2023 19:22 41s
Add out-of-bounds check for memset and memcpy semgrep #7938: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 45s
Merge pull request #1179 from mrstanb/stack-allocating-functions-prec… semgrep #7937: Commit 55594a7 pushed by michael-schwarz
October 1, 2023 16:49 51s master
master
October 1, 2023 16:49 51s
Add out-of-bounds check for memset and memcpy semgrep #7936: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:34 40s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:34 40s
Add out-of-bounds check for memset and memcpy semgrep #7935: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:16 57s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:16 57s
Add out-of-bounds check for memset and memcpy semgrep #7934: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:46 41s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:46 41s
Add out-of-bounds check for memset and memcpy semgrep #7933: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:45 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:45 45s
Port ~50 library specifications to the new system semgrep #7932: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:21 5m 56s even_even_more_library
even_even_more_library
October 1, 2023 15:21 5m 56s
36/15 activate sv-comp libraries semgrep #7931: Commit c53f193 pushed by michael-schwarz
October 1, 2023 15:21 2m 34s even_even_more_library
even_even_more_library
October 1, 2023 15:21 2m 34s
Port ~50 library specifications to the new system semgrep #7930: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:04 3m 51s even_even_more_library
even_even_more_library
October 1, 2023 15:04 3m 51s
Enable svcomp library functions where racemacros.h is included semgrep #7929: Commit c8ed7e2 pushed by michael-schwarz
October 1, 2023 15:04 2m 6s even_even_more_library
even_even_more_library
October 1, 2023 15:04 2m 6s
Port ~50 library specifications to the new system semgrep #7928: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:21 41m 58s even_even_more_library
even_even_more_library
October 1, 2023 14:21 41m 58s
getopt_long semgrep #7927: Commit 9fb68d4 pushed by michael-schwarz
October 1, 2023 14:21 36m 47s even_even_more_library
even_even_more_library
October 1, 2023 14:21 36m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-10-01 or the other filters available.