Commits

Breadcrumbs

History for

on2e0699a

User selector

All users

All time

Commit History

Commits on Apr 25, 2025

• C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.

  michaelnebel

  committed
  2a0097e

  Copy full SHA for 2a0097e

Commits on Apr 10, 2025

• Java: Fixup MaD input.

  MathiasVP

  committed
  b6c6587

  Copy full SHA for b6c6587

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 Dec 12, 2024

• Also move the postprocessing queries to the library pack.

  michaelnebel

  committed
  0bfc1b6

  Copy full SHA for 0bfc1b6

• Move modules to the library packs.

  michaelnebel

  committed
  941b0ab

  Copy full SHA for 941b0ab

• Java: Update all test util paths to point to the new location.

  michaelnebel

  committed
  0a1d2d0

  Copy full SHA for 0a1d2d0

• Java: Move test utilities to the java query pack.

  michaelnebel

  committed
  91cfb30

  Copy full SHA for 91cfb30

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

• Java: Make language specific modifications.

  michaelnebel

  committed
  a86cd18

  Copy full SHA for a86cd18

Commits on Oct 1, 2024

• Merge pull request #17604 from aschackmull/java/neutral-overrides

  Show description for 6081ba5
  aschackmull

  authored
  6081ba5

  Copy full SHA for 6081ba5

Commits on Sep 30, 2024

• Java: Add overrides to the interpretation of neutral MaD models.

  aschackmull

  committed
  ec0bd44

  Copy full SHA for ec0bd44

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

• Java: Use the shared model generator implementation.

  michaelnebel

  committed
  2033818

  Copy full SHA for 2033818

• Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements

  Show description for 4a9e3ee
  michaelnebel

  authored
  4a9e3ee

  Copy full SHA for 4a9e3ee

Commits on Sep 17, 2024

• C#/Java: Address review comments.

  michaelnebel

  committed
  68165bb

  Copy full SHA for 68165bb

Commits on Sep 16, 2024

• Java: Deprecate RefType.nestedName(), and add RefType.getNestedName()

  igfoo

  committed
  41ed6e6

  Copy full SHA for 41ed6e6

Commits on Sep 10, 2024

• Java: Only keep the best generated model in terms of taint/value.

  michaelnebel

  committed
  9149a17

  Copy full SHA for 9149a17

• Java: Improve content based model generation.

  michaelnebel

  committed
  d2c98c8

  Copy full SHA for d2c98c8

Commits on Sep 5, 2024

• Java/C#: Address review comments.

  michaelnebel

  committed
  e1048cf

  Copy full SHA for e1048cf

Commits on Sep 3, 2024

• Java: Add content based model generation test.

  michaelnebel

  committed
  5ddcb16

  Copy full SHA for 5ddcb16

• Java: Initial implementation of content based model generation.

  michaelnebel

  committed
  6365e5e

  Copy full SHA for 6365e5e

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

• Java: Add some summary debugging queries.

  michaelnebel

  committed
  fd311d5

  Copy full SHA for fd311d5

Commits on Aug 13, 2024

• Sync shared file

  hvitved

  committed
  d638b5c

  Copy full SHA for d638b5c

Commits on Jun 27, 2024

• Java: Sync files and make language specific implementation.

  michaelnebel

  committed
  e23ff3e

  Copy full SHA for e23ff3e

Commits on Jun 24, 2024

• Java: Sync files and make language specific implementation.

  michaelnebel

  committed
  c687dcb

  Copy full SHA for c687dcb

• Java: Base the model printing on the shared implementation.

  michaelnebel

  committed
  9cd16fd

  Copy full SHA for 9cd16fd

Commits on Jun 19, 2024

• Java: Sync changes and make dummy language specific implementation.

  michaelnebel

  committed
  ed3f1e4

  Copy full SHA for ed3f1e4

Commits on Jun 17, 2024

• Java: Make source and sink callable adapters.

  michaelnebel

  committed
  833b4f9

  Copy full SHA for 833b4f9