Update semgrep requirement from <1.88,>=1.87 to >=1.87,<1.89

[dependabot]

Updates the requirements on semgrep to permit the latest version.

Release notes

Sourced from semgrep's releases.

Release v1.88.0

1.88.0 - 2024-09-18

Added

• The dataflow analysis in the Pro engine can now track method invocations on variables of an interface type, safely assuming that any implementation of the method can be called. For example, tainted input vulnerabilities in both implementation classes can now be detected in the following code:

  public interface MovieService {
    String vulnerableInjection(String input);
  }
  public class SimpleImpl implements MovieService {
  @​Override
  public String vulnerableInjection(String input) {
  return sink(input);
  }
  }
  public class MoreImpl implements MovieService {
  @​Override
  public String vulnerableInjection(String input) {
  return sink(input);
  }
  }
  public class AppController {
  private MovieService movieService;
  public String pwnTest(String taintedInput) {
  return movieService.vulnerableInjection(taintedInput);
  }
  }
  </code></pre>
  </li>
  <li>
  <p>Type inference for constructor parameter properties in TypeScript is now
  supported in the Pro engine. For example, the taint analysis can recognize that
  <code>sampleFunction</code> is defined in <code>AbstractedService</code> class in the following code:</p>
  <pre><code>export class AppController {
      constructor(private readonly abstractedService: AbstractedService) {}
  async taintTest() {
      const src = source();
      await this.abstractedService.sampleFunction(src);
  
  </code></pre>
  </li>
  </ul>
  <!-- raw HTML omitted -->
  </blockquote>
  <p>... (truncated)</p>
  </details>
  <details>
  <summary>Changelog</summary>
  <p><em>Sourced from <a href="https://github.com/semgrep/semgrep/blob/develop/CHANGELOG.md&quot;&gt;semgrep's changelog</a>.</em></p>
  <blockquote>
  <h2><a href="https://github.com/returntocorp/semgrep/releases/tag/v1.88.0&quot;&gt;1.88.0&lt;/a> - 2024-09-18</h2>
  <h3>Added</h3>
  <ul>
  <li>
  <p>The dataflow analysis in the Pro engine can now track method invocations on
  variables of an interface type, safely assuming that any implementation of the
  method can be called. For example, tainted input vulnerabilities in both
  implementation classes can now be detected in the following code:</p>
  <pre lang="java"><code>public interface MovieService {
  String vulnerableInjection(String input);
  }
  public class SimpleImpl implements MovieService {
  @Override
  public String vulnerableInjection(String input) {
  return sink(input);
  }
  }
  public class MoreImpl implements MovieService {
  @Override
  public String vulnerableInjection(String input) {
  return sink(input);
  }
  }
  public class AppController {
  private MovieService movieService;
  public String pwnTest(String taintedInput) {
  return movieService.vulnerableInjection(taintedInput);
  }
  }
  &lt;/code&gt;&lt;/pre&gt;
  &lt;/li&gt;
  &lt;li&gt;
  &lt;p&gt;Type inference for constructor parameter properties in TypeScript is now
  supported in the Pro engine. For example, the taint analysis can recognize that
  &lt;code&gt;sampleFunction&lt;/code&gt; is defined in &lt;code&gt;AbstractedService&lt;/code&gt; class in the following code:&lt;/p&gt;
  &lt;pre&gt;&lt;code&gt;export class AppController {
      constructor(private readonly abstractedService: AbstractedService) {}
  
      async taintTest() {
          const src = source();
          await this.abstractedService.sampleFunction(src);
      }
  &lt;/code&gt;&lt;/pre&gt;
  &lt;/li&gt;
  &lt;/ul&gt;
  &lt;!-- raw HTML omitted --&gt;
  &lt;/blockquote&gt;
  &lt;p&gt;... (truncated)&lt;/p&gt;
  &lt;/details&gt;
  &lt;details&gt;
  &lt;summary&gt;Commits&lt;/summary&gt;
  
  &lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/d3c402b5a023b121ab8f0ea77298bd6196014b6b&quot;&gt;&lt;code&gt;d3c402b&lt;/code&gt;&lt;/a&gt; chore: release version 1.88.0&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/eda7c4d3fe05c594eb2c2db3bb4feac30d88a34e&quot;&gt;&lt;code&gt;eda7c4d&lt;/code&gt;&lt;/a&gt;&lt;code&gt;semgrep/semgrep-proprietary#2284&lt;/code&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/d79b6dbf8f2320d7b6f189124e85edbe5159e8ad&quot;&gt;&lt;code&gt;d79b6db&lt;/code&gt;&lt;/a&gt; Revert &amp;quot;feat(kotlin): constructor type inference heuristic (semgrep/semgrep-p...&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/f4e4d5dd95790587843eb0e59e7b7c62bcc8b3e9&quot;&gt;&lt;code&gt;f4e4d5d&lt;/code&gt;&lt;/a&gt; refactor: Sort and dedup semgrep-core text output (semgrep/semgrep-proprietar...&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/3ab42dc16c4d4f17df308d2d39d4306492b13bfd&quot;&gt;&lt;code&gt;3ab42dc&lt;/code&gt;&lt;/a&gt; perf(memory): Don't auto ppx infer &lt;code&gt;compare&lt;/code&gt; for gensym (semgrep/semgrep-prop...&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/dbbce1fac1298e64e04001b7ff012ef5c71197e7&quot;&gt;&lt;code&gt;dbbce1f&lt;/code&gt;&lt;/a&gt;&lt;code&gt;semgrep/semgrep-proprietary#2265&lt;/code&gt;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/a151a43241861142b8da6d46cd47f56f5af92f44&quot;&gt;&lt;code&gt;a151a43&lt;/code&gt;&lt;/a&gt; refactor: Move signature instantiation out of Dataflow_tainting (semgrep/semg...&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/e19d6ce814950c2891ae87b943b506558498779b&quot;&gt;&lt;code&gt;e19d6ce&lt;/code&gt;&lt;/a&gt; Sig extraction for constructor parameter property in Typescript (semgrep/semg...&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/aec3bf91ecdf2c7d9880d992c59a3af5bc66ac6a&quot;&gt;&lt;code&gt;aec3bf9&lt;/code&gt;&lt;/a&gt; Use new ocaml-tree-sitter with support for extras (semgrep/semgrep-proprietar...&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://github.com/semgrep/semgrep/commit/c1d5479dc15c546a7a76b8b2268ab8626bebd78b&quot;&gt;&lt;code&gt;c1d5479&lt;/code&gt;&lt;/a&gt; feat(kotlin): constructor type inference heuristic (semgrep/semgrep-proprieta...&lt;/li&gt;
  &lt;li&gt;Additional commits viewable in &lt;a href=&quot;https://github.com/returntocorp/semgrep/compare/v1.87.0...v1.88.0&quot;&gt;compare view&lt;/a&gt;&lt;/li&gt;
  &lt;/ul&gt;
  &lt;/details&gt;
  
  &lt;br /&gt;
  </code></pre>
  
  
  Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.
  
  [//]: # (dependabot-automerge-start)
  [//]: # (dependabot-automerge-end)
  
  ---
  
  <details>
  <summary>Dependabot commands and options</summary>
  <br />
  
  You can trigger Dependabot actions by commenting on this PR:
  - `@dependabot rebase` will rebase this PR
  - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
  - `@dependabot merge` will merge this PR after your CI passes on it
  - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
  - `@dependabot cancel merge` will cancel a previously requested merge and block automerging
  - `@dependabot reopen` will reopen this PR if it is closed
  - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency
  - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
  
  
  </details>

[sonarcloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

[dependabot]

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.