Commits

Breadcrumbs

History for

on0235df8

User selector

All users

All time

Commit History

Commits on Sep 24, 2024

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

  michaelnebel

  committed
  22c2522

  Copy full SHA for 22c2522

Commits on Sep 10, 2024

• C#: Add some synthetic field content based examples.

  michaelnebel

  committed
  0abc08c

  Copy full SHA for 0abc08c

• C#: Adjust existing model generator tests and update expected output.

  michaelnebel

  committed
  b94940b

  Copy full SHA for b94940b

Commits on Sep 3, 2024

• C#: Add a couple more testcases.

  michaelnebel

  committed
  6e8941e

  Copy full SHA for 6e8941e

• C#: Add content based summary generation test.

  michaelnebel

  committed
  4123876

  Copy full SHA for 4123876

Commits on Aug 15, 2024

• C#: Fixup test expectations from using `stdin`

  RasmusWL

  committed
  ebafe65

  Copy full SHA for ebafe65

Commits on Aug 14, 2024

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

  michaelnebel

  committed
  eaf4f5e

  Copy full SHA for eaf4f5e

• C#: Add example of missing sink generation.

  michaelnebel

  committed
  6f79480

  Copy full SHA for 6f79480

Commits on Jul 18, 2024

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

  michaelnebel

  committed
  0bf1ed1

  Copy full SHA for 0bf1ed1

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

  michaelnebel

  committed
  c9832df

  Copy full SHA for c9832df

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 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 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 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

• C#: Update expected test output.

  michaelnebel

  committed
  4b62cb6

  Copy full SHA for 4b62cb6

• C#: Add some compound sink examples.

  michaelnebel

  committed
  0bbf131

  Copy full SHA for 0bbf131

Commits on Jun 3, 2024

• C#: Add some more external flow testcases (one with a spurious result).

  michaelnebel

  committed
  213e391

  Copy full SHA for 213e391

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

• C#: Add some spurious summary generation examples.

  michaelnebel

  committed
  02f9aec

  Copy full SHA for 02f9aec

Commits on May 24, 2024

• C#: Add model generator test case for property.

  michaelnebel

  committed
  ad55744

  Copy full SHA for ad55744

• C#: Update expected test output.

  michaelnebel

  committed
  057a420

  Copy full SHA for 057a420

• C#: Add some model generator tests related to lifting.

  michaelnebel

  committed
  0d397ce

  Copy full SHA for 0d397ce

Commits on May 17, 2024

• C#: Re-factor the model generator tests.

  michaelnebel

  committed
  e198d01

  Copy full SHA for e198d01

• C#: Convert neutral capture test to inline expectation.

  michaelnebel

  committed
  adeff8c

  Copy full SHA for adeff8c

• C#: Convert type based summary capture test to inline expectation.

  michaelnebel

  committed
  e3b6ee1

  Copy full SHA for e3b6ee1

• C#: Convert sink capture test to inline expectation.

  michaelnebel

  committed
  a5fd433

  Copy full SHA for a5fd433

• C#: Convert source capture test to inline expectation.

  michaelnebel

  committed
  26f9297

  Copy full SHA for 26f9297

• C#: Convert summary capture test to inline expectation.

  michaelnebel

  committed
  404b39b

  Copy full SHA for 404b39b