Commits

Breadcrumbs

History for

on8763d18

User selector

All users

All time

Commit History

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

• 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

• Shared: QL doc improvement.

  michaelnebel

  committed
  f142af5

  Copy full SHA for f142af5

• Shared: Add a model generator parameterised module.

  michaelnebel

  committed
  3b9f3c2

  Copy full SHA for 3b9f3c2

Commits on Sep 10, 2024

• Java: Improve content based model generation.

  michaelnebel

  committed
  d2c98c8

  Copy full SHA for d2c98c8

Commits on Sep 3, 2024

• Java: Initial implementation of content based model generation.

  michaelnebel

  committed
  6365e5e

  Copy full SHA for 6365e5e

Commits on Aug 15, 2024

• ThreatModels: Add `stdin` kind

  Show description for 157d0b7
  RasmusWL

  committed
  157d0b7

  Copy full SHA for 157d0b7

Commits on Aug 10, 2024

• Update model validation

  owen-mc

  committed
  2fe74a8

  Copy full SHA for 2fe74a8

Commits on Jul 25, 2024

• Allow MaD sinks for go/request-forgery

  Show description for f7d6815
  owen-mc

  committed
  f7d6815

  Copy full SHA for f7d6815

Commits on Jul 23, 2024

• Merge pull request #16760 from owen-mc/java/reverse-dns-separate-threat-model-kind

  Show description for ff8bb2b
  owen-mc

  authored
  ff8bb2b

  Copy full SHA for ff8bb2b

Commits on Jul 8, 2024

• Make "reverse-dns" pass validation

  owen-mc

  committed
  6443221

  Copy full SHA for 6443221

Commits on Jun 27, 2024

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

  michaelnebel

  committed
  64ac52e

  Copy full SHA for 64ac52e

Commits on Jun 24, 2024

• Add parameterized module for MaD model printing.

  michaelnebel

  committed
  65e150b

  Copy full SHA for 65e150b

Commits on Jun 6, 2024

• Shared: Recognize 'remote-sink' in ModelValidation.qll.

  geoffw0

  committed
  8944972

  Copy full SHA for 8944972

Commits on May 17, 2024

• Share the Models as Data inline expect predicates.

  michaelnebel

  committed
  78b8a92

  Copy full SHA for 78b8a92

Commits on Apr 16, 2024

• Update shared/mad/codeql/mad/dynamic/GraphExport.qll

  asgerf

  authored
  ee5cb6f

  Copy full SHA for ee5cb6f

• Update shared/mad/codeql/mad/dynamic/GraphExport.qll

  Show description for 844b29b
  

  asgerf

  and

  RasmusWL

  authored
  844b29b

  Copy full SHA for 844b29b