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

Apron: Only replace deref expression with pointed to variable if types coincide semgrep #8978: Pull request #1342 synchronize by jerhard
January 29, 2024 09:42 41s isssue_1319
isssue_1319
January 29, 2024 09:42 41s
Declare other() before calling it. semgrep #8977: Commit ae226c9 pushed by jerhard
January 29, 2024 09:42 44s isssue_1319
isssue_1319
January 29, 2024 09:42 44s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8976: Pull request #1330 synchronize by FungOliver
January 28, 2024 23:06 37s FungOliver:relationalArray
FungOliver:relationalArray
January 28, 2024 23:06 37s
eval_rv_base: cast without torg when typeOf fails semgrep #8975: Pull request #1345 opened by michael-schwarz
January 28, 2024 18:41 36s issue_1338
issue_1338
January 28, 2024 18:41 36s
Indent semgrep #8974: Commit 1bb8d43 pushed by michael-schwarz
January 28, 2024 18:39 33s issue_1338
issue_1338
January 28, 2024 18:39 33s
eval_rv_base: cast without torg when typeOf fails semgrep #8973: Commit dfaa55b pushed by michael-schwarz
January 28, 2024 18:39 37s issue_1338
issue_1338
January 28, 2024 18:39 37s
Handle LNot for float in forward evaluation and refinement on guards semgrep #8972: Pull request #1344 opened by michael-schwarz
January 28, 2024 18:15 39s issue_1211
issue_1211
January 28, 2024 18:15 39s
Handle LNot for float in forward evaluation and refinement semgrep #8971: Commit 0cc39e2 pushed by michael-schwarz
January 28, 2024 18:13 42s issue_1211
issue_1211
January 28, 2024 18:13 42s
Refine Points-To set on locking a mutex semgrep #8970: Pull request #1343 synchronize by michael-schwarz
January 27, 2024 22:45 34s issue_1287
issue_1287
January 27, 2024 22:45 34s
Add multithreaded example semgrep #8969: Commit 55dacde pushed by michael-schwarz
January 27, 2024 22:45 39s issue_1287
issue_1287
January 27, 2024 22:45 39s
Refine Points-To set on locking a mutex semgrep #8968: Pull request #1343 opened by michael-schwarz
January 27, 2024 22:39 36s issue_1287
issue_1287
January 27, 2024 22:39 36s
Refine Points-To set on locking a mutex semgrep #8967: Commit 880d59f pushed by michael-schwarz
January 27, 2024 22:37 40s issue_1287
issue_1287
January 27, 2024 22:37 40s
Apron: Only replace deref expression with pointed to variable if types coincide semgrep #8966: Pull request #1342 synchronize by michael-schwarz
January 27, 2024 22:03 39s isssue_1319
isssue_1319
January 27, 2024 22:03 39s
Use Cilfacade semgrep #8965: Commit ba0233f pushed by michael-schwarz
January 27, 2024 22:03 36s isssue_1319
isssue_1319
January 27, 2024 22:03 36s
Apron: Only replace deref expression with pointed to variable if types coincide semgrep #8964: Pull request #1342 opened by michael-schwarz
January 27, 2024 22:02 33s isssue_1319
isssue_1319
January 27, 2024 22:02 33s
Apron: Only replace deref expression with pointed to variable if type… semgrep #8963: Commit d55b0e0 pushed by michael-schwarz
January 27, 2024 21:59 37s isssue_1319
isssue_1319
January 27, 2024 21:59 37s
More precise abstractions of trigonometric functions using c-stubs semgrep #8962: Pull request #1277 synchronize by FelixKrayer
January 27, 2024 16:35 40s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 27, 2024 16:35 40s
More precise abstractions of trigonometric functions using c-stubs semgrep #8961: Pull request #1277 synchronize by FelixKrayer
January 27, 2024 15:37 39s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 27, 2024 15:37 39s
Float domain: Fix eval_comparison_binop semgrep #8960: Pull request #1341 opened by michael-schwarz
January 27, 2024 11:08 38s issue_1333
issue_1333
January 27, 2024 11:08 38s
Float domain: Fix eval_comparison_binop semgrep #8959: Commit 6400e57 pushed by michael-schwarz
January 27, 2024 11:03 40s issue_1333
issue_1333
January 27, 2024 11:03 40s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8958: Pull request #1330 synchronize by FungOliver
January 27, 2024 01:00 38s FungOliver:relationalArray
FungOliver:relationalArray
January 27, 2024 01:00 38s
Abuse CWE for finding warnings of interest semgrep #8957: Commit a289112 pushed by karoliineh
January 26, 2024 16:39 38s context-warnings
context-warnings
January 26, 2024 16:39 38s
Add disjunctive completion of Apron domains semgrep #8956: Pull request #1339 synchronize by sim642
January 26, 2024 16:38 40s priv-atomic-disjunctive
priv-atomic-disjunctive
January 26, 2024 16:38 40s
Compare Apron using show semgrep #8955: Commit b3ba969 pushed by sim642
January 26, 2024 16:38 42s priv-atomic-disjunctive
priv-atomic-disjunctive
January 26, 2024 16:38 42s
Print out such warnings that are not in every context of one node semgrep #8954: Commit 3a8412d pushed by karoliineh
January 26, 2024 16:04 45s context-warnings
context-warnings
January 26, 2024 16:04 45s