Commits

Breadcrumbs

History for

oncodeql-cli/v2.15.5

User selector

All users

All time

Commit History

Commits on Nov 30, 2023

• Move TypeTestGuard's logic into Guard.appliesTypeTest

  smowton

  committed
  77b1721

  Copy full SHA for 77b1721

• Restrict pattern type guards to account for nested record matching failures

  smowton

  committed
  6583c72

  Copy full SHA for 6583c72

• First stab at implementing negative type-test logic for pattern-case

  smowton

  committed
  0bb051e

  Copy full SHA for 0bb051e

• Switch to using VariableAssign for instanceof and switch dataflow

  smowton

  committed
  3d980b1

  Copy full SHA for 3d980b1

• Ensure pattern-case and binding-instanceof are covered in all of type, dispatch and object flow

  smowton

  committed
  fa09be0

  Copy full SHA for fa09be0

• Adapt ancillary analyses to record patterns

  smowton

  committed
  936c020

  Copy full SHA for 936c020

• Basic extraction of record patterns

  smowton

  committed
  daccd04

  Copy full SHA for daccd04

• Support switch cases with binding patterns

  smowton

  committed
  f4b45fa

  Copy full SHA for f4b45fa

Commits on Oct 27, 2023

• Java: Split the different layers of virtual dispatch into separate cached stages.

  aschackmull

  committed
  9769953

  Copy full SHA for 9769953

Commits on Oct 24, 2023

• Mass rename L/RValue -> VarWrite/Read

  smowton

  authored
  ac38d4c

  Copy full SHA for ac38d4c

• Mass-rename MethodAccess -> MethodCall

  smowton

  authored
  f552a15

  Copy full SHA for f552a15

Commits on Aug 8, 2023

• Java: Always apply heuristic query regardless of existing models.

  aschackmull

  committed
  ab334f6

  Copy full SHA for ab334f6

Commits on Aug 3, 2023

• Java: Replace ratpack test fix with general heuristic summary.

  aschackmull

  committed
  37455ec

  Copy full SHA for 37455ec

Commits on Jul 24, 2023

• Use new TypeInputStream

  atorralba

  committed
  5330ce1

  Copy full SHA for 5330ce1

Commits on Jul 19, 2023

• Java: Avoid low-confidence dispatch to InputStream methods

  Show description for 2dbbcc2
  atorralba

  committed
  2dbbcc2

  Copy full SHA for 2dbbcc2

Commits on Jun 30, 2023

• Remove pragma[assume_small_delta]

  cklin

  committed
  ce464a7

  Copy full SHA for ce464a7

Commits on Mar 14, 2023

• Java: Add qldoc.

  aschackmull

  committed
  a9d2b93

  Copy full SHA for a9d2b93

• Java: Remove low-confidence dispatch to known neutrals.

  aschackmull

  committed
  dbfc256

  Copy full SHA for dbfc256

Commits on Feb 14, 2023

• Improve join ordering

  smowton

  committed
  62d10f9

  Copy full SHA for 62d10f9

Commits on Feb 3, 2023

• Java: Apply deadcode guard to data flow nodes.

  aschackmull

  committed
  a1aeb99

  Copy full SHA for a1aeb99

Commits on Dec 8, 2022

• Java: Switch DispatchFlow to typetracking.

  aschackmull

  committed
  d157e13

  Copy full SHA for d157e13

Commits on Dec 7, 2022

• Java: Switch to qualified imports.

  aschackmull

  committed
  f17f19c

  Copy full SHA for f17f19c

Commits on Nov 23, 2022

• Java: Adjust the prioritisation between MaD and source dispatch.

  aschackmull

  committed
  807f87e

  Copy full SHA for 807f87e

Commits on Oct 20, 2022

• Java: Fix some join-orders.

  aschackmull

  committed
  9ebcaf8

  Copy full SHA for 9ebcaf8

Commits on Sep 15, 2022

• Java: Use MaD summaries for java.util.Hashtable.

  aschackmull

  committed
  a4ae9a0

  Copy full SHA for a4ae9a0

Commits on Sep 14, 2022

• Java: Remove low confidence dispatch for which we have a manual summary.

  aschackmull

  committed
  ba3ebee

  Copy full SHA for ba3ebee

Commits on Sep 13, 2022

• Java: Replace ad-hoc variable tracking with union type flow in dispatch.

  aschackmull

  committed
  a8eedce

  Copy full SHA for a8eedce

Commits on Aug 29, 2022

• Java: Allow dispatch to methods on abstract classes without subtypes.

  aschackmull

  committed
  e89b42f

  Copy full SHA for e89b42f

• Java: Move file.

  aschackmull

  committed
  adfd474

  Copy full SHA for adfd474

Commits on Aug 26, 2022

• Java: Address review comments.

  aschackmull

  committed
  3e5155d

  Copy full SHA for 3e5155d

Commits on Aug 24, 2022

• Java: Improve unification check for wildcards with lower bounds.

  aschackmull

  committed
  92f2976

  Copy full SHA for 92f2976

• Java: Improve unification check for bounded types.

  aschackmull

  committed
  f248c6a

  Copy full SHA for f248c6a

• Java: Deduplicate unification code as a parameterised module.

  aschackmull

  committed
  6b01f02

  Copy full SHA for 6b01f02

Commits on Aug 16, 2022

• Java: Make synthesized method bodies disjoint from source code.

  aschackmull

  committed
  df40ccd

  Copy full SHA for df40ccd

Commits on Aug 2, 2022

• Java: Improve join-order.

  aschackmull

  committed
  cd356a5

  Copy full SHA for cd356a5