Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
1,409 workflow run results
1,409 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9056: Pull request #1330 synchronize by FungOliver
February 1, 2024 23:12 40s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 23:12 40s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9055: Pull request #1330 synchronize by FungOliver
February 1, 2024 22:26 41s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 22:26 41s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9054: Pull request #1330 synchronize by FungOliver
February 1, 2024 22:03 42s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 22:03 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9053: Pull request #1330 synchronize by FungOliver
February 1, 2024 21:51 41s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 21:51 41s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9052: Pull request #1330 synchronize by FungOliver
February 1, 2024 20:28 45s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 20:28 45s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9051: Pull request #1330 synchronize by FungOliver
February 1, 2024 20:26 39s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 20:26 39s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #9050: Pull request #1330 synchronize by FungOliver
February 1, 2024 20:25 41s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 20:25 41s
Towards fixing GobView search: Avoid truncation of very large integers semgrep #9049: Pull request #1092 synchronize by stilscher
February 1, 2024 18:16 41s fix-gobview-search
fix-gobview-search
February 1, 2024 18:16 41s
add comment semgrep #9048: Commit 7bd3b4f pushed by stilscher
February 1, 2024 18:16 41s fix-gobview-search
fix-gobview-search
February 1, 2024 18:16 41s
Merge branch 'master' into fix-gobview-search semgrep #9047: Commit 2892b8a pushed by stilscher
February 1, 2024 18:14 43s fix-gobview-search
fix-gobview-search
February 1, 2024 18:14 43s
Towards fixing GobView search: Avoid truncation of very large integers semgrep #9046: Pull request #1092 synchronize by stilscher
February 1, 2024 18:14 44s fix-gobview-search
fix-gobview-search
February 1, 2024 18:14 44s
More precise abstractions of trigonometric functions using c-stubs semgrep #9045: Pull request #1277 synchronize by stilscher
February 1, 2024 17:55 37s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 1, 2024 17:55 37s
implement sinus function as shift of cosinus semgrep #9044: Commit ae732f1 pushed by stilscher
February 1, 2024 17:55 44s math_funeval
math_funeval
February 1, 2024 17:55 44s
Linear Two-Variable Equalities Analysis semgrep #9043: Pull request #1297 synchronize by alina-weber
February 1, 2024 17:14 41s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 17:14 41s
fix get_ikind invalid argument error semgrep #9042: Commit 34b2667 pushed by stilscher
February 1, 2024 17:06 39s fix-gobview-issue-38
fix-gobview-issue-38
February 1, 2024 17:06 39s
Linear Two-Variable Equalities Analysis semgrep #9041: Pull request #1297 synchronize by alina-weber
February 1, 2024 14:36 36s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:36 36s
Linear Two-Variable Equalities Analysis semgrep #9040: Pull request #1297 synchronize by reb-ddm
February 1, 2024 14:25 49s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:25 49s
Linear Two-Variable Equalities Analysis semgrep #9039: Pull request #1297 synchronize by alina-weber
February 1, 2024 14:08 37s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:08 37s
Linear Two-Variable Equalities Analysis semgrep #9038: Pull request #1297 synchronize by reb-ddm
February 1, 2024 14:05 44s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:05 44s
Linear Two-Variable Equalities Analysis semgrep #9037: Pull request #1297 synchronize by reb-ddm
February 1, 2024 14:00 35s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:00 35s
Linear Two-Variable Equalities Analysis semgrep #9036: Pull request #1297 synchronize by reb-ddm
February 1, 2024 13:53 44s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 13:53 44s
Remove intermediate module definition in AffineEqualityAnalysis semgrep #9035: Pull request #1349 synchronize by jerhard
February 1, 2024 12:55 38s apron_cleanup
apron_cleanup
February 1, 2024 12:55 38s
Avoid intermediate definition of module in ApronAnalysis. semgrep #9034: Commit eb1ad54 pushed by jerhard
February 1, 2024 12:55 39s apron_cleanup
apron_cleanup
February 1, 2024 12:55 39s
Linear Two-Variable Equalities Analysis semgrep #9033: Pull request #1297 synchronize by alina-weber
February 1, 2024 12:09 44s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 12:09 44s
Remove intermediate module definition in AffineEqualityAnalysis semgrep #9032: Pull request #1349 opened by jerhard
February 1, 2024 10:50 42s apron_cleanup
apron_cleanup
February 1, 2024 10:50 42s