Commits

Breadcrumbs

History for

on6f79480

User selector

All users

All time

Commit History

Commits on Aug 14, 2024

• C#: Add example of missing sink generation.

  michaelnebel

  committed
  6f79480

  Copy full SHA for 6f79480

Commits on Aug 13, 2024

• Merge pull request #16576 from hvitved/csharp/static-field-side-effect

  Show description for 3395dc9
  hvitved

  authored
  3395dc9

  Copy full SHA for 3395dc9

• Merge pull request #17173 from hvitved/shared/inline-flow-provenance

  Show description for 51077ce
  hvitved

  authored
  51077ce

  Copy full SHA for 51077ce

• C#: Update expected test output

  hvitved

  committed
  69b581c

  Copy full SHA for 69b581c

• Shared: Apply `ShowProvenance` in `InlineFlowTest.qll`

  hvitved

  committed
  f83df76

  Copy full SHA for f83df76

• 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 Aug 12, 2024

• Merge pull request #17007 from michaelnebel/shared/neutralimplementation

  Show description for 4a5c9f0
  michaelnebel

  authored
  4a5c9f0

  Copy full SHA for 4a5c9f0

• C#: Exclude `System.Runtime.CompilerServices` attributes from XML documentation needed check

  tamasvajk

  committed
  63d07a9

  Copy full SHA for 63d07a9

• C#: Add support for flow through side-effects on static fields

  hvitved

  committed
  1bcac50

  Copy full SHA for 1bcac50

• C#: Add a data flow test for side effects on static fields

  hvitved

  committed
  29c204b

  Copy full SHA for 29c204b

Commits on Aug 6, 2024

• C#: Update expected test output

  hvitved

  committed
  00d447b

  Copy full SHA for 00d447b

Commits on Jul 31, 2024

• C#/Go/Java/Python/Ruby: Accept qltest .expected changes.

  aschackmull

  committed
  9724516

  Copy full SHA for 9724516

Commits on Jul 18, 2024

• C#/Java: Update model generator expected output.

  michaelnebel

  committed
  0bf1ed1

  Copy full SHA for 0bf1ed1

• C#/Java/Go: Neutrals are split into seperate classes.

  michaelnebel

  committed
  ca4bd0c

  Copy full SHA for ca4bd0c

• C#/Java: Add test for missing neutral summary generation.

  michaelnebel

  committed
  c9832df

  Copy full SHA for c9832df

Commits on Jul 15, 2024

• Merge pull request #16873 from michaelnebel/csharp/narrowsourcegeneration

  Show description for 18cde3b
  michaelnebel

  authored
  18cde3b

  Copy full SHA for 18cde3b

Commits on Jul 11, 2024

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

  hvitved

  committed
  0459422

  Copy full SHA for 0459422

• C#: Add data flow test for multi-body dispatch

  hvitved

  committed
  35bf990

  Copy full SHA for 35bf990

Commits on Jul 4, 2024

• Merge pull request #16875 from hvitved/csharp/ssa-param-def

  Show description for d675304
  hvitved

  authored
  d675304

  Copy full SHA for d675304

Commits on Jul 2, 2024

• C#: Update model generator expected output.

  michaelnebel

  committed
  e05f835

  Copy full SHA for e05f835

• C#: Re-write some of the existing source model generation tests and introduce a new one for ToString.

  michaelnebel

  committed
  70494d3

  Copy full SHA for 70494d3

Commits on Jul 1, 2024

• C#: Move implicit entry definitions inside method bodies in SSA construction

  hvitved

  committed
  c5c97ac

  Copy full SHA for c5c97ac

Commits on Jun 28, 2024

• C#: Add SSA test for multi-bodied method

  hvitved

  committed
  075a249

  Copy full SHA for 075a249

Commits on Jun 27, 2024

• C#: Update expected source/sink model generator expected test output.

  michaelnebel

  committed
  f7ce4f3

  Copy full SHA for f7ce4f3

• C#: Add some source/sink examples where lifting is applied.

  michaelnebel

  committed
  3180d8f

  Copy full SHA for 3180d8f

Commits on Jun 26, 2024

• Merge pull request #16836 from michaelnebel/csharp/bestlocation

  Show description for e1f65d1
  michaelnebel

  authored
  e1f65d1

  Copy full SHA for e1f65d1

Commits on Jun 25, 2024

• C#: Update expected test output.

  michaelnebel

  committed
  d18915a

  Copy full SHA for d18915a

Commits on Jun 24, 2024

• C#: Update expected test output.

  michaelnebel

  committed
  854674a

  Copy full SHA for 854674a

• C#: Add some source and sink modelling examples where a neutral exist.

  michaelnebel

  committed
  2657e7f

  Copy full SHA for 2657e7f

Commits on Jun 19, 2024

• C#: Update model generator expected output.

  michaelnebel

  committed
  9990747

  Copy full SHA for 9990747

Commits on Jun 18, 2024

• C#: Update expected test output from model generation.

  michaelnebel

  committed
  dfaa40a

  Copy full SHA for dfaa40a

• C#: Add some source/sink model generator test examples.

  michaelnebel

  committed
  031e44b

  Copy full SHA for 031e44b

Commits on Jun 13, 2024

• C#: Update expected test output after .NET 8 models update.

  michaelnebel

  committed
  854c6fa

  Copy full SHA for 854c6fa

Commits on Jun 12, 2024

• C#: Update expected test output.

  michaelnebel

  committed
  48739da

  Copy full SHA for 48739da

• C#: Add member flow example.

  michaelnebel

  committed
  5aee352

  Copy full SHA for 5aee352