Code

Go: extract explicit alias types#18283

Code

Draft

owen-mc wants to merge 37 commits intogithub:maingithub/codeql:mainfrom owen-mc:go/extract-alias-typesowen-mc/codeql:go/extract-alias-typesCopy head branch name to clipboard

+19,276-375

Commits

Commits on Dec 10, 2024

• Go: Update dbscheme for aliases

  

  mbg

  authored and

  owen-mc

  committed
  cf1affc

• Go: Extract type aliases

  

  mbg

  authored and

  owen-mc

  committed
  f602ba3

• Go: Extract alias names

  

  mbg

  authored and

  owen-mc

  committed
  7abf9e6

• Go: Fix formatting and documentation of AliasType

  

  mbg

  authored and

  owen-mc

  committed
  17c279b

• Go: Update AliasType to implement getUnderlyingType

  

  mbg

  authored and

  owen-mc

  committed
  14df781

• Go: Extract objects for aliases

  

  mbg

  authored and

  owen-mc

  committed
  81501bd

• Factor out extractTypeObject

  owen-mc

  committed
  5502e13

• Fix alias use in HTML template escaping passthrough

  owen-mc

  committed
  a0aaba1

• Use unique type param names in test

  Show description for 1d39188
  owen-mc

  committed
  1d39188

• Fix syntax error in test

  owen-mc

  committed
  d50a5c8

• Improve AliasType.getUnderlyingType

  Show description for 56f2228
  owen-mc

  committed
  56f2228

• Update labels for alias types

  Show description for 807be11
  owen-mc

  committed
  807be11

• Add change note

  owen-mc

  committed
  979da03

• Look through aliases in hasOwnField

  

  smowton

  authored and

  owen-mc

  committed
  9233a02

• Implement deep unaliasing, and use it in interface dispatch resolution

  

  smowton

  authored and

  owen-mc

  committed
  d68e176

• Transparent aliases: don't look through named types

  

  smowton

  authored and

  owen-mc

  committed
  4841200

• Transparent aliases: don't write an invalid type to the @types table on extracting an alias

  

  smowton

  authored and

  owen-mc

  committed
  cd47680

• Distinguish types with and without explicit aliases in the type-label cache

  

  smowton

  authored and

  owen-mc

  committed
  cf54064

• Fix Mongodb additional taint step

  

  smowton

  authored and

  owen-mc

  committed
  eaf65d9

• Don't repeat parts of extractType that populate tracking tables

  

  smowton

  authored and

  owen-mc

  committed
  6adde0a

• Fix flow through pointer types related by aliasing

  

  smowton

  authored and

  owen-mc

  committed
  d23d36d

• Fix missed case

  

  smowton

  authored and

  owen-mc

  committed
  3ec68f6

• Improve efficiency of composite-type deep-unalias computation

  

  smowton

  authored and

  owen-mc

  committed
  0a5f217

• Make deep-unalias computation even more efficient using unpack routines

  

  smowton

  authored and

  owen-mc

  committed
  f2b3c2f

• Only extract transparent-alias versions of types when necessary

  

  smowton

  authored and

  owen-mc

  committed
  b455091

• Fix struct deepUnaliasedType predicate

  

  smowton

  authored and

  owen-mc

  committed
  2a6ebca

• Implement deep-unalias for interface types

  

  smowton

  authored and

  owen-mc

  committed
  546d661

• Fix TupleType's getDeepUnaliasedType, and make it efficient

  

  smowton

  authored and

  owen-mc

  committed
  635dd68

• autoformat and tidy an unnecessary direct db relation use

  

  smowton

  authored and

  owen-mc

  committed
  b7a4c85

• Interface unaliasing: don't confuse the empty interface with the type 'comparable'

  

  smowton

  authored and

  owen-mc

  committed
  f39b9db

• Ensure fields are created for de-aliased struct types

  Show description for 2b6786a
  

  smowton

  authored and

  owen-mc

  committed
  2b6786a

Commits on Dec 11, 2024

• autoformat

  

  smowton

  authored and

  owen-mc

  committed
  d3355e3

• Interface types: distinguish otherwise-identical interfaces with non-exported methods defined in different packages

  owen-mc

  committed
  3406e02

• Upgrade/downgrade scripts

  owen-mc

  committed
  a4b500c

Commits on Dec 13, 2024

• Accept test changes

  owen-mc

  committed
  305353e

• Test changes to be investigated

  owen-mc

  committed
  3c44685

• Make four predicates private

  Show description for 187b5ee
  owen-mc

  committed
  187b5ee