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

Sparsification of Affine Equality Matrix semgrep #11381: Pull request #1625 synchronize by charlotte-brandt
December 21, 2024 18:09 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 18:09 Action required
Introduce a simplified version of td3 with warrowing (see PR 1611) semgrep #11380: Pull request #1626 synchronize by FelixKrayer
December 21, 2024 17:20 40s FelixKrayer:td_simplified
FelixKrayer:td_simplified
December 21, 2024 17:20 40s
Sparsification of Affine Equality Matrix semgrep #11379: Pull request #1625 synchronize by GollokG
December 21, 2024 17:12 45s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 17:12 45s
Sparsification of Affine Equality Matrix semgrep #11378: Pull request #1625 synchronize by GollokG
December 21, 2024 09:04 41s CopperCableIsolator:master
CopperCableIsolator:master
December 21, 2024 09:04 41s
Linear Two Variable Equality Domain Refining Value Domain semgrep #11377: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:17 40s affineeq-refine
affineeq-refine
December 20, 2024 10:17 40s
duplicate regression test semgrep #11376: Commit e9100c6 pushed by DrMichaelPetter
December 20, 2024 10:17 49s affineeq-refine
affineeq-refine
December 20, 2024 10:17 49s
Linear Two Variable Equality Domain Refining Value Domain semgrep #11375: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 10:08 46s affineeq-refine
affineeq-refine
December 20, 2024 10:08 46s
more regression semgrep #11374: Commit 0a9f46d pushed by DrMichaelPetter
December 20, 2024 10:08 43s affineeq-refine
affineeq-refine
December 20, 2024 10:08 43s
Merge pull request #1580 from goblint/issue-1577 semgrep #11373: Commit 91bbf20 pushed by sim642
December 20, 2024 09:44 2m 48s master
master
December 20, 2024 09:44 2m 48s
Bitfield Domain semgrep #11372: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:43 1m 45s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:43 1m 45s
Bitfield Domain semgrep #11371: Pull request #1623 synchronize by ManuelLerchner
December 20, 2024 09:42 46s ManuelLerchner:master
ManuelLerchner:master
December 20, 2024 09:42 46s
Rename a few missed ctx -> man renames semgrep #11370: Commit fde89dd pushed by sim642
December 20, 2024 09:41 38s master
master
December 20, 2024 09:41 38s
Merge branch 'master' into traces-vojdani semgrep #11369: Commit 040772c pushed by sim642
December 20, 2024 09:38 39s traces-vojdani
traces-vojdani
December 20, 2024 09:38 39s
Optimize none base privatization, add eager Vojdani privatization semgrep #11368: Pull request #1552 synchronize by sim642
December 20, 2024 09:38 46s traces-vojdani
traces-vojdani
December 20, 2024 09:38 46s
Optimize none base privatization, add eager Vojdani privatization semgrep #11367: Pull request #1552 synchronize by sim642
December 20, 2024 09:30 47s traces-vojdani
traces-vojdani
December 20, 2024 09:30 47s
Add exp.volatiles_are_top back to none privatization semgrep #11366: Commit 51676de pushed by sim642
December 20, 2024 09:30 40s traces-vojdani
traces-vojdani
December 20, 2024 09:30 40s
Linear Two Variable Equality Domain Refining Value Domain semgrep #11365: Pull request #1635 synchronize by DrMichaelPetter
December 20, 2024 09:22 3m 2s affineeq-refine
affineeq-refine
December 20, 2024 09:22 3m 2s
Merge branch 'master' into affineeq-refine semgrep #11364: Commit cb92439 pushed by DrMichaelPetter
December 20, 2024 09:22 39s affineeq-refine
affineeq-refine
December 20, 2024 09:22 39s
Merge pull request #1649 from goblint/fix-apron-overflows semgrep #11363: Commit 3068dcb pushed by DrMichaelPetter
December 20, 2024 09:20 2m 16s master
master
December 20, 2024 09:20 2m 16s
Optimize none base privatization, add eager Vojdani privatization semgrep #11362: Pull request #1552 synchronize by sim642
December 20, 2024 09:19 38s traces-vojdani
traces-vojdani
December 20, 2024 09:19 38s
Add comment comma from review semgrep #11361: Commit c14fdf3 pushed by sim642
December 20, 2024 09:18 47s traces-vojdani
traces-vojdani
December 20, 2024 09:18 47s
Implement delayed widening semgrep #11360: Pull request #1483 synchronize by sim642
December 20, 2024 09:16 51s RonaldJudin:delay-widening
RonaldJudin:delay-widening
December 20, 2024 09:16 51s
Sparsification of Affine Equality Matrix semgrep #11359: Pull request #1625 synchronize by GollokG
December 19, 2024 20:24 39s CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 20:24 39s
Sparsification of Affine Equality Matrix semgrep #11358: Pull request #1625 synchronize by GollokG
December 19, 2024 20:22 45s CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 20:22 45s
Sparsification of Affine Equality Matrix semgrep #11357: Pull request #1625 synchronize by CopperCableIsolator
December 19, 2024 16:01 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 19, 2024 16:01 Action required