Commits

Breadcrumbs

History for

oncodeql-cli-2.18.3

User selector

All users

All time

Commit History

Commits on Aug 13, 2024

• Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch

  Show description for fbcb449
  hvitved

  authored
  fbcb449

  Copy full SHA for fbcb449

Commits on Jul 15, 2024

• C#: Code quality improvement.

  michaelnebel

  committed
  8eba4a3

  Copy full SHA for 8eba4a3

Commits on Jul 11, 2024

• C#: Restrict multi-body dataflow dispatch based on file-system distance

  hvitved

  committed
  0459422

  Copy full SHA for 0459422

Commits on Jul 2, 2024

• C#: Do not generate source models for Overriable callables that overrides or implements something.

  michaelnebel

  committed
  5639ada

  Copy full SHA for 5639ada

Commits on Jun 27, 2024

• C#: Only lift summary models in the model generator.

  michaelnebel

  committed
  64ac52e

  Copy full SHA for 64ac52e

Commits on Jun 24, 2024

• C#: Exclude APIs with a manual source neutral from source model generation and allow source generation for all source kinds.

  michaelnebel

  committed
  b27a9d9

  Copy full SHA for b27a9d9

• C#: Adjust implementation to use the shared model printer.

  michaelnebel

  committed
  b7bc540

  Copy full SHA for b7bc540

Commits on Jun 19, 2024

• C#: Only allow source propgatation upwards in the call stack if the call path consists of unique call targets (to avoid unwanted virtual dispatch). This severely tightens the generation of extrapol…

  Show description for 4020491
  michaelnebel

  committed
  4020491

  Copy full SHA for 4020491

Commits on Jun 18, 2024

• C#: Some renaming and re-factoring.

  michaelnebel

  committed
  1c3ceac

  Copy full SHA for 1c3ceac

• C#: Use the same types as sanitizers for source and sink model as we use for summary model generation.

  michaelnebel

  committed
  b5d6a6d

  Copy full SHA for b5d6a6d

Commits on Jun 14, 2024

• C#/Java: Address review comments.

  michaelnebel

  committed
  a29446a

  Copy full SHA for a29446a

Commits on Jun 12, 2024

• C#: Perceive field and property reads as additional flow steps in sink extrapolation.

  michaelnebel

  committed
  91ebeee

  Copy full SHA for 91ebeee

Commits on May 31, 2024

• C#: The model generator should consider System.Type and System.DateTime as sanitizers.

  michaelnebel

  committed
  8b75bb2

  Copy full SHA for 8b75bb2

Commits on May 28, 2024

• C#: Address review comments.

  michaelnebel

  committed
  5a25967

  Copy full SHA for 5a25967

Commits on May 24, 2024

• C#: Use manual sink callables as exclusion for extrapolated sinks.

  michaelnebel

  committed
  c59c7cf

  Copy full SHA for c59c7cf

• C#: Introduce lifting of callables in the model generator.

  michaelnebel

  committed
  a8feda2

  Copy full SHA for a8feda2

• C#: Re-factor model generator specific to align with Java.

  michaelnebel

  committed
  3ad29d8

  Copy full SHA for 3ad29d8

Commits on May 21, 2024

• Address review comments

  hvitved

  committed
  bebcd67

  Copy full SHA for bebcd67

• Data flow: Synthesize parameter return nodes

  hvitved

  committed
  454687d

  Copy full SHA for 454687d

Commits on May 16, 2024

• C#: Remove the override and ext column from the summaries printing test.

  michaelnebel

  committed
  763d53a

  Copy full SHA for 763d53a

Commits on May 8, 2024

• C#/Java: Invert api filtering logic.

  michaelnebel

  committed
  f00ad7c

  Copy full SHA for f00ad7c

Commits on Apr 12, 2024

• C#: Address review comments.

  michaelnebel

  committed
  254c6c3

  Copy full SHA for 254c6c3

• C#: Only attempt to generate models for properties that does not both have a get and a set accessor.

  michaelnebel

  committed
  8cc4f86

  Copy full SHA for 8cc4f86

Commits on Mar 11, 2024

• Data flow: Add `ConfigSig::accessPathLimit`

  hvitved

  committed
  7a39f07

  Copy full SHA for 7a39f07

Commits on Mar 7, 2024

• C#: Clean up implementation and remove CIL dataflow implementation.

  michaelnebel

  committed
  58a1353

  Copy full SHA for 58a1353

Commits on Jan 12, 2024

• C#/Java: Don't generate models if there exist a manual summary or neutral summary.

  michaelnebel

  committed
  81de9d3

  Copy full SHA for 81de9d3

Commits on Nov 9, 2023

• C#: Include type parameters when printing MaD rows with generics

  hvitved

  committed
  6f4311d

  Copy full SHA for 6f4311d

Commits on Nov 5, 2023

• C#: Merge `ExternalFlow.qll` and `ExternalFlowExtensions.qll`, and move to `internal`

  hvitved

  committed
  2a33a86

  Copy full SHA for 2a33a86

Commits on Jul 13, 2023

• C#/Java/Ruby: Remove superfluous module members.

  aschackmull

  committed
  91de43f

  Copy full SHA for 91de43f

Commits on May 8, 2023

• C#: Adjust the model generator to produce kinds for neutrals.

  michaelnebel

  committed
  7c3a258

  Copy full SHA for 7c3a258

Commits on May 2, 2023

• Java/C#: Adjust references.

  aschackmull

  committed
  2001ce3

  Copy full SHA for 2001ce3

Commits on Apr 27, 2023

• Dataflow: Sync.

  aschackmull

  committed
  9140cbe

  Copy full SHA for 9140cbe

Commits on Apr 13, 2023

• C#/Java: Update dataflow model generator related comments to include provenance.

  michaelnebel

  committed
  dc8a31f

  Copy full SHA for dc8a31f

• C#: Make a parameterized module for model printing and adjust the model generator printing to the new provenance.

  michaelnebel

  committed
  6a7092d

  Copy full SHA for 6a7092d

• C#: Adjust the implementation to use the new predicates and Provenance.

  michaelnebel

  committed
  37abdc7

  Copy full SHA for 37abdc7