Commits

Breadcrumbs

History for

on652b6bb

User selector

All users

All time

Commit History

Commits on Feb 15, 2024

• Fix bugs revealed by omittable exists variables.

  

  Max Schaefer

  committed
  652b6bb

  Copy full SHA for 652b6bb

Commits on Feb 8, 2024

• Fix `isNeutral` predicates.

  

  Max Schaefer

  committed
  48105db

  Copy full SHA for 48105db

• Properly recognise existing models involving subtypes.

  Show description for 4b9443e
  

  Max Schaefer

  committed
  4b9443e

  Copy full SHA for 4b9443e

• Add test showing spurious sink candidate from method overriding a method for which we have a model.

  

  Max Schaefer

  committed
  a9c0fed

  Copy full SHA for a9c0fed

• Improve representation of implicit varargs arrays to more reliably filter out known flow steps.

  

  Max Schaefer

  committed
  02547d3

  Copy full SHA for 02547d3

Commits on Feb 1, 2024

• Do not consider expressions as candidates whose type is annotated with `@FunctionalInterface`.

  

  Max Schaefer

  committed
  e47b021

  Copy full SHA for e47b021

Commits on Jan 23, 2024

• Post-release preparation for codeql-cli-2.16.1

  

  github-actions[bot]

  committed
  d0b74c0

  Copy full SHA for d0b74c0

• Release preparation for version 2.16.1

  

  github-actions[bot]

  committed
  7ef611e

  Copy full SHA for 7ef611e

Commits on Jan 22, 2024

• Merge pull request #15356 from github/max-schaefer/automodel-void-source-candidates

  Show description for 5c43a0b
  max-schaefer

  authored
  5c43a0b

  Copy full SHA for 5c43a0b

• Rename {source,sink}Model to {source,sink}ModelCandidate.

  

  Max Schaefer

  committed
  99c9914

  Copy full SHA for 99c9914

• Remove redundant imports.

  

  Max Schaefer

  committed
  a3816d7

  Copy full SHA for a3816d7

• Autoformat.

  

  Max Schaefer

  committed
  78e5a1a

  Copy full SHA for 78e5a1a

Commits on Jan 17, 2024

• Make tags for positive and negative examples more precise.

  

  Max Schaefer

  committed
  7bc0304

  Copy full SHA for 7bc0304

• Merge pull request #15326 from github/max-schaefer/automodel-negative-sink-models

  Show description for 3ae4848
  max-schaefer

  authored
  3ae4848

  Copy full SHA for 3ae4848

• Fix spurious source models for primitive types in framework mode.

  

  Max Schaefer

  committed
  ae23920

  Copy full SHA for ae23920

• Autoformat.

  

  Max Schaefer

  committed
  9975f97

  Copy full SHA for 9975f97

• Use inline expectations for all framework-mode tests.

  

  Max Schaefer

  committed
  6d2bf68

  Copy full SHA for 6d2bf68

• Refactor framework-mode queries to make them more easily testable.

  

  Max Schaefer

  committed
  6c47a5d

  Copy full SHA for 6c47a5d

• Refactor application-mode tests so we can reuse most of it for framework mode.

  

  Max Schaefer

  committed
  adea805

  Copy full SHA for adea805

• Consolidate application mode tests.

  

  Max Schaefer

  committed
  312dd16

  Copy full SHA for 312dd16

• Use inline expectations for positive examples.

  

  Max Schaefer

  committed
  692d5e5

  Copy full SHA for 692d5e5

• Use inline expectations for negative-example tests as well.

  

  Max Schaefer

  committed
  83c5673

  Copy full SHA for 83c5673

• Fix treatment of void method calls.

  

  Max Schaefer

  committed
  1ebd074

  Copy full SHA for 1ebd074

• Turn `AutomodelApplicationModeExtractCandidates` into an inline-expectations test.

  

  Max Schaefer

  committed
  18e44b6

  Copy full SHA for 18e44b6

• Refactor application-mode candidate-extraction query so we can test its results before sampling.

  

  Max Schaefer

  committed
  587d69e

  Copy full SHA for 587d69e

• Treat unexploitable types more centrally.

  Show description for 800a78d
  

  Max Schaefer

  committed
  800a78d

  Copy full SHA for 800a78d

• Address review feedback.

  

  Max Schaefer

  committed
  8614d7b

  Copy full SHA for 8614d7b

Commits on Jan 15, 2024

• Fix omittable exists.

  

  Max Schaefer

  committed
  90a4552

  Copy full SHA for 90a4552

• Autoformat.

  

  Max Schaefer

  committed
  fee4407

  Copy full SHA for fee4407

• When checking whether an endpoint has already been modelled, make sure to take the extensibleType into account.

  

  Max Schaefer

  committed
  3befce9

  Copy full SHA for 3befce9

• Remove a few `getExtensibleType` checks which are now unnecessary.

  

  Max Schaefer

  committed
  68cf9ac

  Copy full SHA for 68cf9ac

Commits on Jan 12, 2024

• Some more performance refactoring.

  

  Max Schaefer

  committed
  919330f

  Copy full SHA for 919330f

• Refactor to avoid bad join order.

  

  Max Schaefer

  committed
  bb63fcd

  Copy full SHA for bb63fcd

• Rename a predicate.

  

  Max Schaefer

  committed
  45ca301

  Copy full SHA for 45ca301

• Extend negative characteristics for exceptions to source models.

  

  Max Schaefer

  committed
  ea26e21

  Copy full SHA for ea26e21