Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
127 workflow run results
127 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add out-of-bounds check for memset and memcpy semgrep #7877: Pull request #1197 synchronize by mrstanb
September 30, 2023 22:15 50s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 22:15 50s
Add out-of-bounds check for memset and memcpy semgrep #7876: Pull request #1197 synchronize by mrstanb
September 30, 2023 21:43 46s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 30, 2023 21:43 46s
Add out-of-bounds check for memset and memcpy semgrep #7875: Pull request #1197 synchronize by mrstanb
September 29, 2023 22:38 54s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 22:38 54s
Add out-of-bounds check for memset and memcpy semgrep #7874: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:21 52s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:21 52s
Add out-of-bounds check for memset and memcpy semgrep #7873: Pull request #1197 synchronize by mrstanb
September 29, 2023 15:04 56s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 15:04 56s
Add out-of-bounds check for memset and memcpy semgrep #7872: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:54 52s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:54 52s
Add out-of-bounds check for memset and memcpy semgrep #7871: Pull request #1197 synchronize by mrstanb
September 29, 2023 14:51 48s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 14:51 48s
Check all offsets, attributes and typedefs for ignored race memory locations semgrep #7870: Pull request #1198 synchronize by sim642
September 29, 2023 14:26 53s race-ignorable
race-ignorable
September 29, 2023 14:26 53s
Merge branch 'race-ignorable' of github.com:goblint/analyzer into rac… semgrep #7869: Commit 8166b40 pushed by sim642
September 29, 2023 14:26 52s race-ignorable
race-ignorable
September 29, 2023 14:26 52s
Check all offsets, attributes and typedefs for ignored race memory locations semgrep #7868: Pull request #1198 synchronize by karoliineh
September 29, 2023 13:20 52s race-ignorable
race-ignorable
September 29, 2023 13:20 52s
Add atomic library functions from nidhugg benchmark set semgrep #7867: Commit 18a1733 pushed by karoliineh
September 29, 2023 13:20 47s race-ignorable
race-ignorable
September 29, 2023 13:20 47s
Check all offsets, attributes and typedefs for ignored race memory locations semgrep #7866: Pull request #1198 opened by sim642
September 29, 2023 13:12 46s race-ignorable
race-ignorable
September 29, 2023 13:12 46s
Document refactored race ignore check semgrep #7865: Commit df9fda7 pushed by sim642
September 29, 2023 12:58 57s race-ignorable
race-ignorable
September 29, 2023 12:58 57s
Add out-of-bounds check for memset and memcpy semgrep #7864: Pull request #1197 synchronize by mrstanb
September 29, 2023 11:22 59s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 11:22 59s
Support stack-allocating functions when allocating heap vars semgrep #7863: Pull request #1179 synchronize by mrstanb
September 29, 2023 11:15 50s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 11:15 50s
Merge pull request #1123 from mrstanb/improve-uaf-analysis semgrep #7862: Commit 67160fe pushed by michael-schwarz
September 29, 2023 10:41 53s master
master
September 29, 2023 10:41 53s
Support stack-allocating functions when allocating heap vars semgrep #7861: Pull request #1179 synchronize by mrstanb
September 29, 2023 10:31 43s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 10:31 43s
Improve multi-threaded UAF analysis and add SVComp result generation semgrep #7860: Pull request #1123 synchronize by mrstanb
September 29, 2023 10:17 52s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 29, 2023 10:17 52s
Add out-of-bounds check for memset and memcpy semgrep #7859: Pull request #1197 opened by mrstanb
September 29, 2023 09:57 42s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
September 29, 2023 09:57 42s
Support stack-allocating functions when allocating heap vars semgrep #7858: Pull request #1179 synchronize by mrstanb
September 29, 2023 09:28 52s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 09:28 52s
Merge pull request #1191 from goblint/final-errors semgrep #7857: Commit 91ea3b9 pushed by sim642
September 29, 2023 09:12 55s master
master
September 29, 2023 09:12 55s
Add final messages about unsound results semgrep #7856: Pull request #1191 synchronize by sim642
September 29, 2023 08:42 58s final-errors
final-errors
September 29, 2023 08:42 58s
Merge branch 'master' into final-errors semgrep #7855: Commit b5ebff6 pushed by sim642
September 29, 2023 08:42 1m 4s final-errors
final-errors
September 29, 2023 08:42 1m 4s
Fix race in race_reach test for sv-benchmarks semgrep #7854: Commit ee6dc36 pushed by sim642
September 29, 2023 08:40 49s master
master
September 29, 2023 08:40 49s
Support stack-allocating functions when allocating heap vars semgrep #7853: Pull request #1179 synchronize by mrstanb
September 29, 2023 08:21 53s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 08:21 53s