Skip to content

Actions: goblint/analyzer

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
579 workflow run results
579 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove duplicate vsprintf and add vsnprintf
semgrep #7725: Commit 4444284 pushed by karoliineh
September 18, 2023 08:36 48s libfuns-zlib-lzma
September 18, 2023 08:36 48s
Fix Cilfacade.split_anoncomp_name for empty names (closes #1171)
semgrep #7724: Commit 1feb75e pushed by sim642
September 18, 2023 08:32 50s master
September 18, 2023 08:32 50s
fix: copying of files to GobView in projects with subdirectories
semgrep #7600: Pull request #1143 opened by sallto
August 28, 2023 14:53 34s sallto:master
August 28, 2023 14:53 34s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.