Commits

Breadcrumbs

History for

on70494d3

User selector

All users

All time

Commit History

Commits on Jul 2, 2024

• 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

• Merge pull request #16861 from michaelnebel/modelgen/sourcesinklift

  Show description for 25b2018
  michaelnebel

  authored
  25b2018

  Copy full SHA for 25b2018

Commits on Jun 28, 2024

• Merge remote-tracking branch 'upstream/main' into 'rc/3.14'

  aibaars

  committed
  b12b33c

  Copy full SHA for b12b33c

• Add TSP diagnostic for binlog usage

  tamasvajk

  committed
  4db586f

  Copy full SHA for 4db586f

• Record diagnostics in binlog extraction test

  tamasvajk

  committed
  c892744

  Copy full SHA for c892744

Commits on Jun 27, 2024

• Compute unique identifier (folder path) for each compilation

  tamasvajk

  committed
  0b41d51

  Copy full SHA for 0b41d51

• Change binlog test to have colliding generated file locations

  tamasvajk

  committed
  1ae40c9

  Copy full SHA for 1ae40c9

• C#: Adjust trap location, database ID and archiving of generated sources

  tamasvajk

  committed
  fb0520c

  Copy full SHA for fb0520c

• C#: Add binlog support to buildless with source generator support

  tamasvajk

  committed
  31ad195

  Copy full SHA for 31ad195

• 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

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

  michaelnebel

  committed
  64ac52e

  Copy full SHA for 64ac52e

• C#: Fix integration test expected file

  tamasvajk

  committed
  6b6d705

  Copy full SHA for 6b6d705

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

• Merge pull request #16722 from michaelnebel/csharp/modelgensourcesink

  Show description for 8dc95ce
  michaelnebel

  authored
  8dc95ce

  Copy full SHA for 8dc95ce

• Post-release preparation for codeql-cli-2.17.6

  

  github-actions[bot]

  committed
  fd38573

  Copy full SHA for fd38573

Commits on Jun 24, 2024

• Release preparation for version 2.17.6

  

  github-actions[bot]

  committed
  e32a587

  Copy full SHA for e32a587

• C#: Fix join-order.

  aschackmull

  committed
  3ede3af

  Copy full SHA for 3ede3af

• Dataflow: Cache compatibleTypes.

  aschackmull

  committed
  8c23e21

  Copy full SHA for 8c23e21

• C#: Update expected test output.

  michaelnebel

  committed
  854674a

  Copy full SHA for 854674a

• 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#: Add some source and sink modelling examples where a neutral exist.

  michaelnebel

  committed
  2657e7f

  Copy full SHA for 2657e7f

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

  michaelnebel

  committed
  b7bc540

  Copy full SHA for b7bc540

• Merge pull request #16759 from michaelnebel/modelgen/sourcesinkmodelgen

  Show description for 94d12ed
  michaelnebel

  authored
  94d12ed

  Copy full SHA for 94d12ed

Commits on Jun 19, 2024

• C#: Update model generator expected output.

  michaelnebel

  committed
  9990747

  Copy full SHA for 9990747

• 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#: Make sure no file is added twice to the compilation

  tamasvajk

  committed
  6c8e391

  Copy full SHA for 6c8e391

• C#: Add integration test with file added multiple times in the same compilation

  tamasvajk

  committed
  5170585

  Copy full SHA for 5170585

• C#: Some renaming and re-factoring.

  michaelnebel

  committed
  1c3ceac

  Copy full SHA for 1c3ceac

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

  michaelnebel

  committed
  dfaa40a

  Copy full SHA for dfaa40a

• 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

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

  michaelnebel

  committed
  031e44b

  Copy full SHA for 031e44b

Commits on Jun 17, 2024

• C#: Use the new shared classes for Source and Sink callables.

  michaelnebel

  committed
  0fabca9

  Copy full SHA for 0fabca9

Commits on Jun 14, 2024

• C#/Java: Address review comments.

  michaelnebel

  committed
  a29446a

  Copy full SHA for a29446a