Commits

Breadcrumbs

History for

oncodeql-cli/v2.21.4

User selector

All users

All time

Commit History

Commits on May 2, 2025

• C++/C#/Java/Rust: Fixup tests.

  MathiasVP

  committed
  bce5f25

  Copy full SHA for bce5f25

• Merge branch 'main' into generate-more-value-preserving-summaries-2

  MathiasVP

  committed
  d5bc95d

  Copy full SHA for d5bc95d

• Merge pull request #19382 from michaelnebel/shared/modelgenrefactor

  Show description for 74669cb
  michaelnebel

  authored
  74669cb

  Copy full SHA for 74669cb

Commits on May 1, 2025

• Rust: Strenghten the modeling of the `Clone` trait

  hvitved

  committed
  423e2da

  Copy full SHA for 423e2da

Commits on Apr 30, 2025

• Rust: Fixup queries.

  MathiasVP

  committed
  7751973

  Copy full SHA for 7751973

• Rust: Use type inference to insert implicit borrows and derefs

  paldepind

  committed
  f584d22

  Copy full SHA for f584d22

Commits on Apr 29, 2025

• Rust: Re-factor implementation to use the new model generator interface.

  michaelnebel

  committed
  a6b5645

  Copy full SHA for a6b5645

Commits on Apr 25, 2025

• Rust: Adjust tests.

  michaelnebel

  committed
  2155396

  Copy full SHA for 2155396

Commits on Mar 20, 2025

• Rust: I think these generated models are correct. Accept them.

  geoffw0

  committed
  91d273a

  Copy full SHA for 91d273a

• Rust: Incidental changes to other .expected files.

  geoffw0

  committed
  98690f9

  Copy full SHA for 98690f9

Commits on Mar 3, 2025

• Rust: Accept changes

  paldepind

  committed
  1225c5c

  Copy full SHA for 1225c5c

• Merge branch 'main' into rust-ref-mut

  paldepind

  committed
  d8d8829

  Copy full SHA for d8d8829

Commits on Feb 28, 2025

• Rust: Model pointer read and write functions

  paldepind

  committed
  c4773c4

  Copy full SHA for c4773c4

Commits on Feb 26, 2025

• Rust: Allow SSA and some data flow for mutable borrows

  paldepind

  committed
  476fef4

  Copy full SHA for 476fef4

Commits on Feb 20, 2025

• Merge pull request #18784 from paldepind/rust-generate-sources-sinks

  Show description for cd49df0
  paldepind

  authored
  cd49df0

  Copy full SHA for cd49df0

Commits on Feb 17, 2025

• Merge branch 'main' into rust-ref-pattern

  paldepind

  committed
  8b3c1ab

  Copy full SHA for 8b3c1ab

Commits on Feb 14, 2025

• Rust: Generate sources and sinks

  paldepind

  committed
  632e0c8

  Copy full SHA for 632e0c8

Commits on Feb 13, 2025

• Rust: Use `Field` MaD token instead of `Variant`, `Struct`, `Tuple`

  hvitved

  committed
  e9c2503

  Copy full SHA for e9c2503

Commits on Feb 12, 2025

• Rust: Handle `ref` patterns in data flow

  Show description for 7476aea
  paldepind

  committed
  7476aea

  Copy full SHA for 7476aea

Commits on Feb 7, 2025

• Rust: Handle writes to references and add encoding of reference content

  paldepind

  committed
  1105576

  Copy full SHA for 1105576

• Rust: Add flow tests involving references

  paldepind

  committed
  11685a8

  Copy full SHA for 11685a8

• Rust: Add additional tests for model generation

  paldepind

  committed
  c9b5dab

  Copy full SHA for c9b5dab

Commits on Feb 5, 2025

• Rust: Implement data flow through tuple structs

  hvitved

  committed
  e4d9e29

  Copy full SHA for e4d9e29

• Merge pull request #18673 from paldepind/rust-higher-order-function-model-generation

  Show description for 670ecb3
  paldepind

  authored
  670ecb3

  Copy full SHA for 670ecb3

Commits on Feb 4, 2025

• Rust: Accept test changes

  paldepind

  committed
  d198a4a

  Copy full SHA for d198a4a

• Rust: Generate flow summaries for higher-order functions

  paldepind

  committed
  b0a3cdc

  Copy full SHA for b0a3cdc

• Rest: Add tests for higher-order functions

  paldepind

  committed
  c9e702d

  Copy full SHA for c9e702d

• Rust: Address PR comments

  paldepind

  committed
  0741331

  Copy full SHA for 0741331

Commits on Feb 3, 2025

• Rust: Fix model generation test

  paldepind

  committed
  0a9b864

  Copy full SHA for 0a9b864

Loading