mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00

Files

Tom Hvitved 29cd346702 Ruby: Reduce non-linear recursion in CFG completion library

Before

```
noinline
incremental
Completion::nestedEnsureCompletion#ff(/* Completion::Completion */ Completion::TCompletion outer,
                                      int nestLevel)
:-
  (
    (
      Completion::TReturnCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TBreakCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TNextCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TRedoCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TRetryCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TRaiseCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TExitCompletion#f(outer),
      rec Completion::Completion#class#f(outer)
    )
  ),
  exists(/* ControlFlowGraphImpl::Trees::BodyStmtTree */ cached dontcare AST::Cached::TAstNode _ |
    ControlFlowGraphImpl::Trees::BodyStmtTree::getNestLevel_dispred#ff(_,
                                                                       nestLevel)
  )
| [base_case] false()
| [delta_order]
  (
    (
      Completion::TReturnCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TBreakCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TNextCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TRedoCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TRetryCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TRaiseCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    );
    (
      Completion::TExitCompletion#f(outer),
      delta previous rec Completion::Completion#class#f(outer)
    )
  ),
  project#ControlFlowGraphImpl::Trees::BodyStmtTree::getNestLevel_dispred#ff(nestLevel),
  not(previous rec Completion::nestedEnsureCompletion#ff(outer, nestLevel))
.
```

After

```
noinline
Completion::nestedEnsureCompletion#ff(Completion::TCompletion outer,
                                      int nestLevel)
:-
  (
    Completion::TReturnCompletion#f(outer);
    Completion::TBreakCompletion#f(outer);
    Completion::TNextCompletion#f(outer);
    Completion::TRedoCompletion#f(outer);
    Completion::TRetryCompletion#f(outer);
    Completion::TRaiseCompletion#f(outer);
    Completion::TExitCompletion#f(outer)
  ),
  project#ControlFlowGraphImpl::Trees::BodyStmtTree::getNestLevel_dispred#ff(nestLevel)
.
```

2021-12-20 19:22:47 +01:00

.vscode

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

actions/create-extractor-pack

Move create-extractor-pack Action

2021-10-15 11:47:57 +02:00

autobuilder

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

change-notes

Ruby: add Customizations.qll file

2021-12-07 15:37:04 +00:00

doc

Fix CI jobs

2021-11-23 22:03:01 +01:00

extractor

Ruby: update crate versions

2021-12-13 15:37:35 +00:00

generator

Ruby: update crate versions

2021-12-13 15:37:35 +00:00

node-types

Ruby: remove redundant closure

2021-12-02 16:29:59 +00:00

Ruby: Reduce non-linear recursion in CFG completion library

2021-12-20 19:22:47 +01:00

scripts

Fix scripts/prepare-db-upgrade.sh

2021-11-17 12:11:20 +01:00

tools

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

.gitattributes

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

.gitignore

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

Cargo.lock

Ruby: update crate versions

2021-12-13 15:37:35 +00:00

Cargo.toml

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

codeql-extractor.yml

Move files to ruby subfolder

2021-10-15 11:47:28 +02:00

Makefile

Fix CI jobs

2021-11-23 22:03:01 +01:00

README.md

Ruby: clean up docs

2021-10-28 12:04:48 +01:00

README.md

Ruby analysis support for CodeQL

This directory contains the extractor, CodeQL libraries, and queries that power Ruby support in LGTM and the other CodeQL products that GitHub makes available to its customers worldwide.

It contains two major components:

static analysis libraries and queries written in CodeQL that can be used to analyze such a database to find coding mistakes or security vulnerabilities.
an extractor, written in Rust, that parses Ruby source code and converts it into a database that can be queried using CodeQL. See Developer information for information on building the extractor (you do not need to do this if you are only developing queries).