Commits

Breadcrumbs

History for

oncodeql-cli/latest

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 10, 2025

• C#: Fixup MaD input.

  MathiasVP

  committed
  04bf908

  Copy full SHA for 04bf908

Commits on Mar 26, 2025

• C#: Correct printing of out and ref notes in the model generator.

  michaelnebel

  committed
  8763d18

  Copy full SHA for 8763d18

Commits on Jan 29, 2025

• Java, C#: Ensure variable is used in all disjuncts

  paldepind

  committed
  7055095

  Copy full SHA for 7055095

Commits on Jan 28, 2025

• Shared: Generalize the number of columns in a generated MaD row

  paldepind

  committed
  13e0829

  Copy full SHA for 13e0829

Commits on Nov 6, 2024

• C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.

  michaelnebel

  committed
  55cfbcc

  Copy full SHA for 55cfbcc

• C#: Simplify delegate read and store steps (remove dependency on parameter).

  michaelnebel

  committed
  5c38935

  Copy full SHA for 5c38935

• C#: Add read and store steps for delegate calls.

  michaelnebel

  committed
  fe85481

  Copy full SHA for fe85481

Commits on Sep 27, 2024

• Shared: Only make unlifted models in case the API itself is relevant.

  michaelnebel

  committed
  80497f5

  Copy full SHA for 80497f5

• C#/Java: Add a query that uses both content based and non-content based model generation.

  michaelnebel

  committed
  8310faa

  Copy full SHA for 8310faa

Commits on Sep 24, 2024

• Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.

  michaelnebel

  committed
  e608575

  Copy full SHA for e608575

• Shared: Move the model generator implementation to an internal folder.

  michaelnebel

  committed
  fd45d2d

  Copy full SHA for fd45d2d

• Shared: Make a ContentSensitive module with predicates and classes related to content flow.

  michaelnebel

  committed
  22c2522

  Copy full SHA for 22c2522

Commits on Sep 19, 2024

• C#: Use the shared model generator implementation.

  michaelnebel

  committed
  1f3b28a

  Copy full SHA for 1f3b28a

Commits on Sep 17, 2024

• C#/Java: Address review comments.

  michaelnebel

  committed
  68165bb

  Copy full SHA for 68165bb

Commits on Sep 10, 2024

• C#: Add the capture content summary models query.

  michaelnebel

  committed
  da012a7

  Copy full SHA for da012a7

• C#: Sync changes and make language specific parts.

  michaelnebel

  committed
  e948902

  Copy full SHA for e948902

Commits on Sep 5, 2024

• Java/C#: Address review comments.

  michaelnebel

  committed
  e1048cf

  Copy full SHA for e1048cf

Commits on Sep 3, 2024

• C#: Sync changes and make C# implementation.

  michaelnebel

  committed
  486246c

  Copy full SHA for 486246c

Commits on Aug 26, 2024

• Merge pull request #17246 from michaelnebel/modelgendebug

  Show description for e81fdc9
  michaelnebel

  authored
  e81fdc9

  Copy full SHA for e81fdc9

• C#/Java: Address review comments.

  michaelnebel

  committed
  34d83a6

  Copy full SHA for 34d83a6

Commits on Aug 20, 2024

• C#: Add some summary debugging queries.

  michaelnebel

  committed
  6ea01b8

  Copy full SHA for 6ea01b8

Commits on Aug 13, 2024

• C#: Implement `ContentSet`

  hvitved

  committed
  f6ec56a

  Copy full SHA for f6ec56a

• 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

Pagination

Previous

Next