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

Fix ThreadIdDomain comments from review semgrep #11281: Commit 205d2b9 pushed by sim642
December 17, 2024 08:53 42s threadid-history-may_create
threadid-history-may_create
December 17, 2024 08:53 42s
Fixes for Self-Validation Issues semgrep #11280: Pull request #1641 opened by michael-schwarz
December 17, 2024 08:50 47s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 08:50 47s
Update tests semgrep #11279: Commit 267f25e pushed by michael-schwarz
December 17, 2024 08:46 55s witness_val_fail_cherrypick
witness_val_fail_cherrypick
December 17, 2024 08:46 55s
Make meet in AddressDomain more precise semgrep #11278: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 16:18 45s issue_1467
issue_1467
December 16, 2024 16:18 45s
For elements in the same bucket, perform meet semgrep #11277: Commit 8af2e49 pushed by michael-schwarz
December 16, 2024 16:18 42s issue_1467
issue_1467
December 16, 2024 16:18 42s
Fix mine-W-noinit not resetting W in threadenter semgrep #11276: Pull request #1640 opened by sim642
December 16, 2024 15:48 52s mine-W-noinit-threadenter
mine-W-noinit-threadenter
December 16, 2024 15:48 52s
Fix mine-W-noinit threadenter to reset W semgrep #11275: Commit be4d3de pushed by sim642
December 16, 2024 15:44 56s mine-W-noinit-threadenter
mine-W-noinit-threadenter
December 16, 2024 15:44 56s
Merge branch 'master' into issue_1467 semgrep #11274: Commit 3fcb562 pushed by michael-schwarz
December 16, 2024 15:21 1m 35s issue_1467
issue_1467
December 16, 2024 15:21 1m 35s
Make meet in AddressDomain more precise semgrep #11273: Pull request #1468 synchronize by michael-schwarz
December 16, 2024 15:21 44s issue_1467
issue_1467
December 16, 2024 15:21 44s
Merge pull request #1605 from goblint/topdown_term semgrep #11272: Commit b68df11 pushed by sim642
December 16, 2024 11:01 50s master
master
December 16, 2024 11:01 50s
Add ex-10 from traces semgrep #11271: Commit 48ba6af pushed by sim642
December 16, 2024 10:09 47s simmo-phd-thesis-ex-10
simmo-phd-thesis-ex-10
December 16, 2024 10:09 47s
Merge pull request #1619 from goblint/issue-1616 semgrep #11270: Commit b7747c9 pushed by sim642
December 16, 2024 09:10 46s master
master
December 16, 2024 09:10 46s
Merge pull request #1606 from goblint/intdomain-split semgrep #11269: Commit d2f6584 pushed by sim642
December 16, 2024 09:10 40s master
master
December 16, 2024 09:10 40s
Sanity test all solvers and fix topdown_term & slr3 semgrep #11268: Pull request #1605 synchronize by sim642
December 16, 2024 09:00 40s topdown_term
topdown_term
December 16, 2024 09:00 40s
Disable broken two solver semgrep #11267: Commit b0243f9 pushed by sim642
December 16, 2024 09:00 41s topdown_term
topdown_term
December 16, 2024 09:00 41s
Merge branch 'master' into intdomain-split semgrep #11266: Commit ff77a63 pushed by sim642
December 16, 2024 08:42 39s intdomain-split
intdomain-split
December 16, 2024 08:42 39s
Split IntDomains into separate files semgrep #11265: Pull request #1606 synchronize by sim642
December 16, 2024 08:42 1m 5s intdomain-split
intdomain-split
December 16, 2024 08:42 1m 5s
Merge pull request #1638 from goblint/vmcai25-docs semgrep #11264: Commit 38442a6 pushed by sim642
December 16, 2024 08:35 42s master
master
December 16, 2024 08:35 42s
Sparsification of Affine Equality Matrix semgrep #11263: Pull request #1625 synchronize by GollokG
December 14, 2024 16:18 41s CopperCableIsolator:master
CopperCableIsolator:master
December 14, 2024 16:18 41s
Sparsification of Affine Equality Matrix semgrep #11262: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:18 45s CopperCableIsolator:master
CopperCableIsolator:master
December 13, 2024 17:18 45s
Sparsification of Affine Equality Matrix semgrep #11261: Pull request #1625 synchronize by charlotte-brandt
December 13, 2024 17:13 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 13, 2024 17:13 Action required
Sparsification of Affine Equality Matrix semgrep #11260: Pull request #1625 synchronize by CopperCableIsolator
December 12, 2024 14:16 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 12, 2024 14:16 Action required
Sparsification of Affine Equality Matrix semgrep #11259: Pull request #1625 synchronize by GollokG
December 12, 2024 14:07 51s CopperCableIsolator:master
CopperCableIsolator:master
December 12, 2024 14:07 51s
Bitfield Domain semgrep #11256: Pull request #1623 synchronize by ManuelLerchner
December 11, 2024 03:33 52s ManuelLerchner:master
ManuelLerchner:master
December 11, 2024 03:33 52s
Sparsification of Affine Equality Matrix semgrep #11255: Pull request #1625 synchronize by CopperCableIsolator
December 10, 2024 16:47 Action required CopperCableIsolator:master
CopperCableIsolator:master
December 10, 2024 16:47 Action required