Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mine-W privatization undermines Miné, lock is less precise than mine/protection semgrep #11140: Pull request #1613 synchronize by sim642
November 27, 2024 11:41 44s mine-W-part-by-S
mine-W-part-by-S
November 27, 2024 11:41 44s
Partition W by m not S in Miné's analysis semgrep #11139: Commit d447838 pushed by sim642
November 27, 2024 11:41 45s mine-W-part-by-S
mine-W-part-by-S
November 27, 2024 11:41 45s
Sparsification of Affine Equality Matrix semgrep #11138: Pull request #1625 synchronize by GollokG
November 26, 2024 18:40 47s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 18:40 47s
Sparsification of Affine Equality Matrix semgrep #11137: Pull request #1625 synchronize by charlotte-brandt
November 26, 2024 18:05 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 18:05 Action required
Sparsification of Affine Equality Matrix semgrep #11136: Pull request #1625 synchronize by GollokG
November 26, 2024 17:21 49s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 17:21 49s
Sparsification of Affine Equality Matrix semgrep #11135: Pull request #1625 synchronize by GollokG
November 26, 2024 16:47 52s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 16:47 52s
Sparsification of Affine Equality Matrix semgrep #11134: Pull request #1625 synchronize by charlotte-brandt
November 26, 2024 16:13 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 16:13 Action required
Sparsification of Affine Equality Matrix semgrep #11133: Pull request #1625 synchronize by GollokG
November 26, 2024 16:11 1m 15s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 16:11 1m 15s
Sparsification of Affine Equality Matrix semgrep #11132: Pull request #1625 synchronize by GollokG
November 26, 2024 15:59 54s CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 15:59 54s
Sparsification of Affine Equality Matrix semgrep #11131: Pull request #1625 synchronize by charlotte-brandt
November 26, 2024 15:57 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 15:57 Action required
Sparsification of Affine Equality Matrix semgrep #11130: Pull request #1625 synchronize by CopperCableIsolator
November 26, 2024 15:47 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 15:47 Action required
Sparsification of Affine Equality Matrix semgrep #11129: Pull request #1625 synchronize by CopperCableIsolator
November 26, 2024 15:16 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 26, 2024 15:16 Action required
Merge pull request #1519 from goblint/imaxabs semgrep #11128: Commit ec06dea pushed by sim642
November 26, 2024 09:10 49s master
master
November 26, 2024 09:10 49s
Replace readwrite protection with read protection semgrep #11127: Pull request #1631 opened by sim642
November 25, 2024 10:57 49s protection-read-only
protection-read-only
November 25, 2024 10:57 49s
Replace readwrite protection with read protection semgrep #11126: Commit e85dc04 pushed by sim642
November 25, 2024 10:41 51s protection-read-only
protection-read-only
November 25, 2024 10:41 51s
Use variant type for kind of protection instead of bool semgrep #11125: Commit edb3acb pushed by sim642
November 25, 2024 09:34 44s protection-read-only
protection-read-only
November 25, 2024 09:34 44s
Add test 13-privatized/95-protection-read-only semgrep #11124: Commit 0451046 pushed by sim642
November 25, 2024 08:55 45s protection-read-only
protection-read-only
November 25, 2024 08:55 45s
SV-COMP 2025 development semgrep #11123: Pull request #1601 synchronize by sim642
November 22, 2024 09:12 46s svcomp25-dev
svcomp25-dev
November 22, 2024 09:12 46s
Add parsing of integer constraints in YAML violation_sequence-s semgrep #11122: Commit 0ca1bb3 pushed by sim642
November 22, 2024 09:12 46s svcomp25-dev
svcomp25-dev
November 22, 2024 09:12 46s
Sparsification of Affine Equality Matrix semgrep #11121: Pull request #1625 synchronize by feniup
November 21, 2024 16:08 Action required CopperCableIsolator:master
CopperCableIsolator:master
November 21, 2024 16:08 Action required
Simplify relational witness invariants semgrep #11120: Pull request #1630 opened by sim642
November 21, 2024 16:02 2m 49s apron-invariant-simplify
apron-invariant-simplify
November 21, 2024 16:02 2m 49s
Avoid excessive 0 constants in relational invariants semgrep #11119: Commit 95971af pushed by sim642
November 21, 2024 15:57 2m 9s apron-invariant-simplify
apron-invariant-simplify
November 21, 2024 15:57 2m 9s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables semgrep #11118: Pull request #1394 synchronize by sim642
November 21, 2024 15:05 59s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 15:05 59s
Remove support for old ghost_variable and ghost_update entry types semgrep #11117: Commit 2c25848 pushed by sim642
November 21, 2024 15:05 1m 2s yaml-witness-ghost
yaml-witness-ghost
November 21, 2024 15:05 1m 2s
Sparsification of Affine Equality Matrix semgrep #11116: Pull request #1625 synchronize by GollokG
November 21, 2024 14:48 1m 5s CopperCableIsolator:master
CopperCableIsolator:master
November 21, 2024 14:48 1m 5s