Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
66 workflow run results
66 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Memory Leak Analysis semgrep #7504: Pull request #1127 synchronize by mrstanb
August 8, 2023 16:53 46s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 8, 2023 16:53 46s
Memory Leak Analysis semgrep #7503: Pull request #1127 synchronize by mrstanb
August 8, 2023 16:47 1m 10s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 8, 2023 16:47 1m 10s
Memory Leak Analysis semgrep #7502: Pull request #1127 synchronize by mrstanb
August 8, 2023 16:42 43s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 8, 2023 16:42 43s
Fix Queries.BlobSize semgrep #7501: Pull request #1125 synchronize by mrstanb
August 6, 2023 12:35 39s mrstanb:fix-blobsize
mrstanb:fix-blobsize
August 6, 2023 12:35 39s
Fix FloatDomain whitespace (PR #1041) semgrep #7499: Commit f2b7d1c pushed by sim642
August 4, 2023 14:24 52s master
master
August 4, 2023 14:24 52s
Merge pull request #1041 from FelixKrayer/tmpSpecial semgrep #7498: Commit 5614dd3 pushed by michael-schwarz
August 4, 2023 12:08 50s master
master
August 4, 2023 12:08 50s
Memory Leak Analysis semgrep #7497: Pull request #1127 opened by mrstanb
August 4, 2023 08:29 51s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 4, 2023 08:29 51s
Analysis tracking equality between calls to math library functions to improve invariant semgrep #7496: Pull request #1041 synchronize by FelixKrayer
August 3, 2023 15:27 53s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 3, 2023 15:27 53s
Unassume benchmarking fixes semgrep #7495: Pull request #1124 synchronize by sim642
August 3, 2023 12:49 40s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 12:49 40s
Move options from unassume bench to yaml confs semgrep #7494: Commit ddecc85 pushed by sim642
August 3, 2023 12:49 42s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 12:49 42s
Merge pull request #1079 from goblint/libfuns-spec semgrep #7493: Commit babc881 pushed by sim642
August 3, 2023 12:14 53s master
master
August 3, 2023 12:14 53s
Unassume benchmarking fixes semgrep #7492: Pull request #1124 synchronize by sim642
August 3, 2023 11:59 50s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 11:59 50s
Fix fixpoint issue from #1126 semgrep #7491: Commit 409cbd1 pushed by sim642
August 3, 2023 11:59 41s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 11:59 41s
Fix Queries.BlobSize semgrep #7490: Pull request #1125 opened by mrstanb
August 3, 2023 09:03 45s mrstanb:fix-blobsize
mrstanb:fix-blobsize
August 3, 2023 09:03 45s
Convert library functions to new specifications semgrep #7489: Pull request #1079 synchronize by sim642
August 3, 2023 08:46 50s libfuns-spec
libfuns-spec
August 3, 2023 08:46 50s
Fix access analysis to not dereference non-pointer types semgrep #7488: Commit ed231fa pushed by sim642
August 3, 2023 08:46 43s libfuns-spec
libfuns-spec
August 3, 2023 08:46 43s
Convert library functions to new specifications semgrep #7487: Pull request #1079 synchronize by sim642
August 3, 2023 08:27 50s libfuns-spec
libfuns-spec
August 3, 2023 08:27 50s
Remove LibraryFunctions trailing whitespace, fix one VarArgs semgrep #7486: Commit 2267095 pushed by sim642
August 3, 2023 08:27 43s libfuns-spec
libfuns-spec
August 3, 2023 08:27 43s
Unassume benchmarking fixes semgrep #7485: Pull request #1124 synchronize by sim642
August 3, 2023 08:20 51s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 08:20 51s
Fix PartitionDomain.SetSet.pretty_diff crash semgrep #7484: Commit 870a9b8 pushed by sim642
August 3, 2023 08:20 45s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 08:20 45s
Convert library functions to new specifications semgrep #7481: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:32 53s libfuns-spec
libfuns-spec
August 2, 2023 19:32 53s
Update src/analyses/libraryFunctions.ml semgrep #7480: Commit f2fd9b5 pushed by karoliineh
August 2, 2023 19:32 52s libfuns-spec
libfuns-spec
August 2, 2023 19:32 52s
Convert library functions to new specifications semgrep #7479: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:31 55s libfuns-spec
libfuns-spec
August 2, 2023 19:31 55s
Merge branch 'master' into libfuns-spec semgrep #7478: Commit 66ab9fb pushed by karoliineh
August 2, 2023 19:31 41s libfuns-spec
libfuns-spec
August 2, 2023 19:31 41s
Improve multi-threaded UAF analysis and add SVComp result generation semgrep #7477: Pull request #1123 synchronize by mrstanb
August 2, 2023 12:32 41s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 2, 2023 12:32 41s