Skip to content

Add core flags dump_rule and dump_patterns_of_rule as options in the show command#519

Merged
maciejpirog merged 1 commit intomainfrom
mpir/move-dump-rule-and-dump-patterns-of-rule-to-opengrep-show
Jan 5, 2026
Merged

Add core flags dump_rule and dump_patterns_of_rule as options in the show command#519
maciejpirog merged 1 commit intomainfrom
mpir/move-dump-rule-and-dump-patterns-of-rule-to-opengrep-show

Conversation

@maciejpirog
Copy link
Contributor

@maciejpirog maciejpirog commented Jan 4, 2026

Previously, to run these debugging flags, you had to call opengrep-core, which is not very intuitive to use. Now they can be run straight from the basic "--experimental" binary:

$ opengrep show dump-rule some-rule.yaml
{ Rule.id = ("my_rule_id", ());
  mode =
  `Taint ({ Rule.sources =
            ((),
             [{ Rule.source_id = "source:0:0:rules";
                source_formula =
                { Rule.f =
                  (Rule.And ((),
                     [{ Rule.f =
                        (Rule.P
  ...

$ opengrep show dump-patterns-of-rule some-rule.taml
E(
  Call(
    N(
      Id(("SomeUnsafeFunction", ()),
        {id_flags=Ref(2); id_resolved_alternative=Ref([]);
         id_resolved=Ref(None); id_type=Ref(None); id_svalue=Ref(None); })),
    []))
  ...

@dimitris-m dimitris-m removed the request for review from willem-delbare January 5, 2026 00:09
@dimitris-m dimitris-m mentioned this pull request Jan 5, 2026
Merged
@maciejpirog maciejpirog merged commit 7e9b7fa into main Jan 5, 2026
6 checks passed
@maciejpirog maciejpirog deleted the mpir/move-dump-rule-and-dump-patterns-of-rule-to-opengrep-show branch January 5, 2026 17:37
@dimitris-m dimitris-m mentioned this pull request Jan 6, 2026
Merged
tmeijn pushed a commit to tmeijn/dotfiles that referenced this pull request Jan 9, 2026
@tmeijn
build(deps): update opengrep/opengrep to v1.14.1
0a97be3 
This MR contains the following updates:

| Package | Update | Change |
|---|---|---|
| [opengrep/opengrep](https://github.com/opengrep/opengrep) | minor | `v1.13.2` → `v1.14.1` |

MR created with the help of [el-capitano/tools/renovate-bot](https://gitlab.com/el-capitano/tools/renovate-bot).

**Proposed changes to behavior should be submitted there as MRs.**

---

### Release Notes

<details>
<summary>opengrep/opengrep (opengrep/opengrep)</summary>

### [`v1.14.1`](https://github.com/opengrep/opengrep/releases/tag/v1.14.1): Opengrep 1.14.1

[Compare Source](opengrep/opengrep@v1.14.0...v1.14.1)

#### Improvements

- Clojure translation part II by [@&#8203;dimitris-m](https://github.com/dimitris-m) in [#&#8203;517](opengrep/opengrep#517)
- C#: Allow implicit variables in properties to be taint sources by [@&#8203;maciejpirog](https://github.com/maciejpirog) in [#&#8203;516](opengrep/opengrep#516)
- Add core flags `dump_rule` and `dump_patterns_of_rule` as options in the show command by [@&#8203;maciejpirog](https://github.com/maciejpirog) in [#&#8203;519](opengrep/opengrep#519)

#### Bug fixes

- Fix: pass signature databaseb to lambda analysis, handle method mutation tainting by [@&#8203;corneliuhoffman](https://github.com/corneliuhoffman) in [#&#8203;520](opengrep/opengrep#520)

#### Tech debt

- Fix CHANGELOG.md, OPENGREP.md, remove unused files by [@&#8203;dimitris-m](https://github.com/dimitris-m) in [#&#8203;523](opengrep/opengrep#523)

**Full Changelog**: <opengrep/opengrep@v1.14.0...v1.14.1>

### [`v1.14.0`](https://github.com/opengrep/opengrep/releases/tag/v1.14.0): Opengrep 1.14.0

[Compare Source](opengrep/opengrep@v1.13.2...v1.14.0)

#### Improvements

- Support for higher-order functions in intrafile taint analysis by [@&#8203;corneliuhoffman](https://github.com/corneliuhoffman) in [#&#8203;469](opengrep/opengrep#469) and [#&#8203;513](opengrep/opengrep#513)
- Clojure: Improved support for Clojure (incl. tainting) by [@&#8203;dimitris-m](https://github.com/dimitris-m) in [#&#8203;501](opengrep/opengrep#501)
- Dart: Improved support for Dart by [@&#8203;maciejpirog](https://github.com/maciejpirog) in [#&#8203;508](opengrep/opengrep#508)
- C#: Better handing of extension methods and extension blocks by [@&#8203;maciejpirog](https://github.com/maciejpirog) in [#&#8203;514](opengrep/opengrep#514)

#### Fixes

- Bump cygwin install action by [@&#8203;dimitris-m](https://github.com/dimitris-m) in [#&#8203;503](opengrep/opengrep#503) and [#&#8203;509](opengrep/opengrep#509)

**Full Changelog**: <opengrep/opengrep@v1.13.2...v1.14.0>

</details>

---

### Configuration

📅 **Schedule**: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied.

♻ **Rebasing**: Whenever MR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 **Ignore**: Close this MR and you won't be reminded about this update again.

---

 - [ ] <!-- rebase-check -->If you want to rebase/retry this MR, check this box

---

This MR has been generated by [Renovate Bot](https://github.com/renovatebot/renovate).
<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiI0Mi42OS4yIiwidXBkYXRlZEluVmVyIjoiNDIuNjkuMiIsInRhcmdldEJyYW5jaCI6Im1haW4iLCJsYWJlbHMiOlsiUmVub3ZhdGUgQm90IiwiYXV0b21hdGlvbjpib3QtYXV0aG9yZWQiLCJkZXBlbmRlbmN5LXR5cGU6Om1pbm9yIl19-->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dimitris-m dimitris-m dimitris-m approved these changes

@corneliuhoffman corneliuhoffman Awaiting requested review from corneliuhoffman corneliuhoffman is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@maciejpirog @dimitris-m