Commits

Breadcrumbs

History for

on092de64

User selector

All users

All time

Commit History

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

Commits on Jun 14, 2024

• C#/Java: Address review comments.

  michaelnebel

  committed
  a29446a

  Copy full SHA for a29446a

Commits on Jun 13, 2024

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

  michaelnebel

  committed
  e247d5b

  Copy full SHA for e247d5b

Commits on May 23, 2024

• Java: Do not lift neutrals and only generate for public endpoints.

  michaelnebel

  committed
  6f5bdfb

  Copy full SHA for 6f5bdfb

• Java: Remove source dispatch when there's an exact match from a manual model.

  aschackmull

  committed
  0f86408

  Copy full SHA for 0f86408

Commits on May 21, 2024

• Address review comments

  hvitved

  committed
  bebcd67

  Copy full SHA for bebcd67

• Data flow: Synthesize parameter return nodes

  hvitved

  committed
  454687d

  Copy full SHA for 454687d

Commits on May 8, 2024

• Java: Make it evident that we print signature of the lifted callable.

  michaelnebel

  committed
  64145cf

  Copy full SHA for 64145cf

• C#/Java: Invert api filtering logic.

  michaelnebel

  committed
  f00ad7c

  Copy full SHA for f00ad7c

• Java: Improve super implementation and ensure that lift produces a result.

  michaelnebel

  committed
  e8120af

  Copy full SHA for e8120af

Commits on Apr 12, 2024

• Java/Dataflow: Propagate MaD-id/model-id to PathGraph.

  aschackmull

  committed
  2925e45

  Copy full SHA for 2925e45

Commits on Mar 19, 2024

• Java/Go/Swift: Sync changes.

  michaelnebel

  committed
  70c6744

  Copy full SHA for 70c6744

Commits on Mar 11, 2024

• Data flow: Add `ConfigSig::accessPathLimit`

  hvitved

  committed
  7a39f07

  Copy full SHA for 7a39f07

Commits on Jan 12, 2024

• Java: Address review comments.

  michaelnebel

  committed
  37a21ec

  Copy full SHA for 37a21ec

• Java: Avoid generating contradicting summary and neutral summary models.

  michaelnebel

  committed
  6af0bca

  Copy full SHA for 6af0bca

• C#/Java: Don't generate models if there exist a manual summary or neutral summary.

  michaelnebel

  committed
  81de9d3

  Copy full SHA for 81de9d3

Commits on Dec 10, 2023

• Java: Use `FlowSummaryImpl` from `dataflow` pack

  hvitved

  committed
  f9dbf67

  Copy full SHA for f9dbf67

Commits on Sep 25, 2023

• Java: Split API name column into separate columns

  koesie10

  committed
  ced95e0

  Copy full SHA for ced95e0

Commits on Sep 22, 2023

• Java: Remove unnecessary columns

  koesie10

  committed
  f4522ed

  Copy full SHA for f4522ed

• Java: Switch from problem to table query

  koesie10

  committed
  7dc22e4

  Copy full SHA for 7dc22e4

Commits on Sep 20, 2023

• Java: Fix identification of supported endpoints in framework mode

  koesie10

  committed
  9e29847

  Copy full SHA for 9e29847

• Java: Refactor most of the logic out of the model editor query files

  koesie10

  committed
  73ebd21

  Copy full SHA for 73ebd21

• Java: Rename CallableMethod to Endpoint

  koesie10

  committed
  6e78aac

  Copy full SHA for 6e78aac

• Java: Update query id/tags and documentation

  koesie10

  committed
  fee9640

  Copy full SHA for fee9640

• Java: Rename queries from fetch methods to endpoints

  koesie10

  committed
  fe7ce0a

  Copy full SHA for fe7ce0a

• Java: Rename AutomodelVsCode to ModelEditor

  koesie10

  committed
  082a454

  Copy full SHA for 082a454

Commits on Sep 13, 2023

• Java: Fix formatting of AutomodelVsCode.qll file

  koesie10

  committed
  0434cce

  Copy full SHA for 0434cce

• Java: Use don't care expression for kind and provenance

  koesie10

  committed
  95296f1

  Copy full SHA for 95296f1

• Java: Add VS Code model editor queries

  koesie10

  committed
  7db082f

  Copy full SHA for 7db082f

Commits on Jul 13, 2023

• C#/Java/Ruby: Remove superfluous module members.

  aschackmull

  committed
  91de43f

  Copy full SHA for 91de43f

Commits on Jun 15, 2023

• Java: Rewrite `InlineFlowTest` as a parameterized module

  jketema

  committed
  742eb8d

  Copy full SHA for 742eb8d