Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
736 workflow run results
736 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

affeq: Fix array OOB in invariant semgrep #8837: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 41s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 41s
Remark on issue with fractional coefficients semgrep #8836: Commit ca18e35 pushed by michael-schwarz
January 12, 2024 13:14 44s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 44s
Support for inline assembler & goto instructions in inline assembler semgrep #8835: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 12:47 45s N0W0RK:master
N0W0RK:master
January 12, 2024 12:47 45s
affeq: Fix array OOB in invariant semgrep #8833: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 11:53 38s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 38s
Simplify semgrep #8832: Commit f99f320 pushed by michael-schwarz
January 12, 2024 11:53 38s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 38s
Linear Two-Variable Equalities Analysis semgrep #8829: Pull request #1297 synchronize by reb-ddm
January 12, 2024 10:05 36s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 10:05 36s
Linear Two-Variable Equalities Analysis semgrep #8828: Pull request #1297 synchronize by reb-ddm
January 12, 2024 09:59 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 09:59 38s
affeq: Fix array OOB in invariant semgrep #8827: Pull request #1327 opened by michael-schwarz
January 12, 2024 09:40 38s affeq_witnesses
affeq_witnesses
January 12, 2024 09:40 38s
affeq: Fix array OOB in invariant semgrep #8826: Commit 022a9bc pushed by michael-schwarz
January 12, 2024 09:38 37s affeq_witnesses
affeq_witnesses
January 12, 2024 09:38 37s
Merge pull request #1325 from goblint/dependabot/pip/docs/jinja2-3.1.3 semgrep #8825: Commit 6e79c1f pushed by sim642
January 12, 2024 09:35 42s master
master
January 12, 2024 09:35 42s
Merge pull request #1310 from goblint/unboxed semgrep #8824: Commit eade39e pushed by sim642
January 12, 2024 09:26 41s master
master
January 12, 2024 09:26 41s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs semgrep #8823: Pull request #1325 synchronize by sim642
January 12, 2024 09:16 45s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 12, 2024 09:16 45s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs semgrep #8822: Pull request #1325 opened by dependabot bot
January 11, 2024 19:19 40s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 40s
Linear Two-Variable Equalities Analysis semgrep #8821: Pull request #1297 synchronize by jennieliangga
January 11, 2024 19:00 40s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 19:00 40s
Unbox some types semgrep #8820: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 38s unboxed
unboxed
January 11, 2024 15:33 38s
Merge branch 'master' into unboxed semgrep #8819: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 41s unboxed
unboxed
January 11, 2024 15:33 41s
Linear Two-Variable Equalities Analysis semgrep #8818: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 38s
Merge branch 'master' into priv-atomic semgrep #8817: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 34s priv-atomic
priv-atomic
January 11, 2024 15:04 34s
Add some hacky atomic privatizations semgrep #8816: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 38s priv-atomic
priv-atomic
January 11, 2024 15:04 38s
Comment out atomic mutex protecting everything again semgrep #8815: Commit 696a35f pushed by sim642
January 11, 2024 14:58 41s priv-atomic
priv-atomic
January 11, 2024 14:58 41s
Add __goblint_globalize special function semgrep #8814: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 41s priv-atomic
priv-atomic
January 11, 2024 14:53 41s
Delete duplicate priv-atomic tests semgrep #8813: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 41s priv-atomic
priv-atomic
January 11, 2024 14:44 41s
Separate relation mutex-meet-tid with atomic support semgrep #8812: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 39s priv-atomic
priv-atomic
January 11, 2024 14:34 39s
Separate base privatization with atomic support semgrep #8811: Commit f754362 pushed by sim642
January 11, 2024 14:01 34s priv-atomic
priv-atomic
January 11, 2024 14:01 34s
Fix goblint-lib-modules.py output semgrep #8810: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 37s master
master
January 11, 2024 13:46 37s