Commits

Breadcrumbs

History for

on6437168

User selector

All users

All time

Commit History

Commits on May 8, 2025

• Shared: Fix QLDoc to make QL4QL happy.

  MathiasVP

  committed
  6437168

  Copy full SHA for 6437168

Commits on May 2, 2025

• Shared: Deduplicate flow summaries.

  MathiasVP

  committed
  37bc2bf

  Copy full SHA for 37bc2bf

• Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.

  MathiasVP

  committed
  4d2f2b8

  Copy full SHA for 4d2f2b8

• Shared: Rename 'asLiftedTaintModel' to 'asLiftedModel'.

  MathiasVP

  committed
  54f0eed

  Copy full SHA for 54f0eed

• Merge branch 'main' into generate-more-value-preserving-summaries-2

  MathiasVP

  committed
  d5bc95d

  Copy full SHA for d5bc95d

Commits on Apr 30, 2025

• Shared: Generate value-preserving summaries when possible.

  MathiasVP

  committed
  607a1e4

  Copy full SHA for 607a1e4

Commits on Apr 29, 2025

• Shared: Sprinkle some predicate defaults and clean up.

  michaelnebel

  committed
  c9d01bc

  Copy full SHA for c9d01bc

• Shared: Make the summary, source and sink model generation a parameterized module.

  michaelnebel

  committed
  bb6530f

  Copy full SHA for bb6530f

• Shared: Split model printing of summaries and sources/sinks into separate param modules.

  michaelnebel

  committed
  b5c596b

  Copy full SHA for b5c596b

Commits on Apr 28, 2025

• Shared: Use 'isSink/1' in 'PropagateFlowConfig'.

  MathiasVP

  committed
  b91a2cc

  Copy full SHA for b91a2cc

Commits on Apr 25, 2025

• Shared: Address review comments.

  michaelnebel

  committed
  f6135d5

  Copy full SHA for f6135d5

• Shared: Re-factor the model generator and put the heuristic queries in its own module.

  michaelnebel

  committed
  f78be91

  Copy full SHA for f78be91

Commits on Apr 10, 2025

• Shared: Provide a hook to MaD generation to modify the 'ReturnValue' string.

  MathiasVP

  committed
  ea3bb8c

  Copy full SHA for ea3bb8c

• Shared: Move 'getEnclosingCallable' and 'getAsExprEnclosingCallable' out of the class signature.

  MathiasVP

  committed
  c484945

  Copy full SHA for c484945

• Shared: Move 'asParameter' out of the class signature.

  MathiasVP

  committed
  732fcbf

  Copy full SHA for 732fcbf

• Shared: Replace a 'count' with a 'strictcount' to prevent a CP when testing on C++.

  MathiasVP

  committed
  a1dc874

  Copy full SHA for a1dc874

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 Mar 6, 2025

• Added missing `response` and `request` MaD source kinds.

  Napalys

  committed
  89040d0

  Copy full SHA for 89040d0

Commits on Jan 29, 2025

• Shared: Use `strictconcat` in model generator printing

  paldepind

  committed
  9d87f26

  Copy full SHA for 9d87f26

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 27, 2024

• Data flow: Move more logic into `DataFlowImplCommon`

  hvitved

  committed
  7402276

  Copy full SHA for 7402276

Commits on Nov 6, 2024

• C#: Address review comments.

  michaelnebel

  committed
  e9c9519

  Copy full SHA for e9c9519

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

  michaelnebel

  committed
  55cfbcc

  Copy full SHA for 55cfbcc

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

  michaelnebel

  committed
  fe85481

  Copy full SHA for fe85481

Commits on Oct 9, 2024

• Shared: Only generate df summary model in the mixed query in case no context sensitive model exist.

  michaelnebel

  committed
  5d4ceee

  Copy full SHA for 5d4ceee

Commits on Oct 2, 2024

• Shared: Only use heuristic summary flow in case there is no content based flow.

  michaelnebel

  committed
  104d448

  Copy full SHA for 104d448

Commits on Sep 30, 2024

• Shared: Address model generator review comments.

  michaelnebel

  committed
  baae8d0

  Copy full SHA for baae8d0

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 26, 2024

• Shared: Content based models is now printed with dfc-generated provenance.

  michaelnebel

  committed
  e70297a

  Copy full SHA for e70297a

• Shared: Some model generator re-factoring.

  michaelnebel

  committed
  53c20cc

  Copy full SHA for 53c20cc

• Shared: steps in synthetic path chains should just mention the same synthetic fields.

  michaelnebel

  committed
  b041829

  Copy full SHA for b041829

• Shared: Only exclude API and parameter combinations where we could get more than three summaries.

  michaelnebel

  committed
  6cd548f

  Copy full SHA for 6cd548f

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