Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
3,667 workflow runs
3,667 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename ctx -> man semgrep #11331: Pull request #1648 synchronize by michael-schwarz
December 19, 2024 09:03 6m 39s issue_1438
issue_1438
December 19, 2024 09:03 6m 39s
Z3: Change accidentally changed things back to ctx semgrep #11330: Commit 7211045 pushed by michael-schwarz
December 19, 2024 09:02 5m 58s issue_1438
issue_1438
December 19, 2024 09:02 5m 58s
Rename ctx -> man semgrep #11329: Pull request #1648 synchronize by michael-schwarz
December 19, 2024 09:01 2m 20s issue_1438
issue_1438
December 19, 2024 09:01 2m 20s
Fix sync timing call semgrep #11328: Commit 196bf69 pushed by michael-schwarz
December 19, 2024 09:01 42s issue_1438
issue_1438
December 19, 2024 09:01 42s
Rename ctx -> man semgrep #11327: Pull request #1648 synchronize by michael-schwarz
December 19, 2024 09:01 43s issue_1438
issue_1438
December 19, 2024 09:01 43s
extractPthread: Change accidentally changed name back semgrep #11326: Commit 1b8d70a pushed by michael-schwarz
December 19, 2024 09:01 41s issue_1438
issue_1438
December 19, 2024 09:01 41s
Rename ctx -> man semgrep #11325: Pull request #1648 synchronize by michael-schwarz
December 18, 2024 14:22 1m 2s issue_1438
issue_1438
December 18, 2024 14:22 1m 2s
Brainfart semgrep #11324: Commit e559cb6 pushed by michael-schwarz
December 18, 2024 14:22 47s issue_1438
issue_1438
December 18, 2024 14:22 47s
Rename ctx -> man semgrep #11323: Pull request #1648 opened by michael-schwarz
December 18, 2024 14:15 48s issue_1438
issue_1438
December 18, 2024 14:15 48s
Ignore rename semgrep #11322: Commit 197e804 pushed by michael-schwarz
December 18, 2024 14:14 46s issue_1438
issue_1438
December 18, 2024 14:14 46s
Rename ctx -> man semgrep #11321: Commit 0c155e6 pushed by michael-schwarz
December 18, 2024 14:13 50s issue_1438
issue_1438
December 18, 2024 14:13 50s
Sparsification of Affine Equality Matrix semgrep #11320: Pull request #1625 synchronize by GollokG
December 18, 2024 13:48 52s CopperCableIsolator:master
CopperCableIsolator:master
December 18, 2024 13:48 52s
Bitfield Domain semgrep #11319: Pull request #1623 synchronize by iC4rl0s
December 17, 2024 18:25 Action required ManuelLerchner:master
ManuelLerchner:master
December 17, 2024 18:25 Action required
Sparsification of Affine Equality Matrix semgrep #11318: Pull request #1625 synchronize by CopperCableIsolator
December 17, 2024 16:37 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 16:37 Action required
Sparsification of Affine Equality Matrix semgrep #11317: Pull request #1625 synchronize by charlotte-brandt
December 17, 2024 16:34 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 16:34 Action required
Sparsification of Affine Equality Matrix semgrep #11316: Pull request #1625 synchronize by CopperCableIsolator
December 17, 2024 16:02 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 16:02 Action required
Relational: Use same invalidation strategy as base semgrep #11315: Pull request #1646 synchronize by michael-schwarz
December 17, 2024 15:44 44s issue_1535
issue_1535
December 17, 2024 15:44 44s
Support for threadenter for unknown function semgrep #11314: Commit 563a5b1 pushed by michael-schwarz
December 17, 2024 15:44 42s issue_1535
issue_1535
December 17, 2024 15:44 42s
Relational: Use same invalidation strategy as base semgrep #11313: Pull request #1646 synchronize by michael-schwarz
December 17, 2024 15:30 43s issue_1535
issue_1535
December 17, 2024 15:30 43s
Make name unique? semgrep #11312: Commit 406ad22 pushed by michael-schwarz
December 17, 2024 15:30 47s issue_1535
issue_1535
December 17, 2024 15:30 47s
Sparsification of Affine Equality Matrix semgrep #11311: Pull request #1625 synchronize by charlotte-brandt
December 17, 2024 15:24 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 17, 2024 15:24 Action required
Bitfield Domain semgrep #11310: Pull request #1623 reopened by ManuelLerchner
December 17, 2024 15:17 1m 23s ManuelLerchner:master
ManuelLerchner:master
December 17, 2024 15:17 1m 23s
Bitfield Domain semgrep #11309: Pull request #1623 synchronize by ManuelLerchner
December 17, 2024 15:17 48s ManuelLerchner:master
ManuelLerchner:master
December 17, 2024 15:17 48s
Relational: Use same invalidation strategy as base semgrep #11308: Pull request #1646 opened by michael-schwarz
December 17, 2024 15:11 43s issue_1535
issue_1535
December 17, 2024 15:11 43s
Use same invalidation strategy as base (References #1535) semgrep #11307: Commit 508d7e2 pushed by michael-schwarz
December 17, 2024 15:10 40s issue_1535
issue_1535
December 17, 2024 15:10 40s