Граф коммитов

2672 Коммитов

Автор SHA1 Сообщение Дата
Owen Mansel-Chan dd87b1a9de
Convert `os.stdin` model to MaD 2024-11-19 16:59:47 +00:00
Owen Mansel-Chan bf824cac0a
Allow package-level variables in MaD 2024-11-19 16:59:42 +00:00
Owen Mansel-Chan c5bec1cc7f
Merge pull request #17966 from owen-mc/go/mad/subtypes-true
Go: set `subtypes` column to true for models where it has a meaning
2024-11-19 00:43:55 +00:00
Owen Mansel-Chan 06b72e5782
Update models in test expectation files 2024-11-16 19:44:32 +00:00
Owen Mansel-Chan 5745969462
Set subtypes=false when it has no meaning 2024-11-16 19:34:23 +00:00
Ian Lynagh 50b9702afd Go: Remove a redundant override 2024-11-14 21:19:29 +00:00
Owen Mansel-Chan 44e865114a
Add change note 2024-11-12 11:37:07 +00:00
Owen Mansel-Chan d31700cf92
Accept changes in models in .expected files 2024-11-12 11:34:29 +00:00
Owen Mansel-Chan dfd8e7d397
Set subtypes column to True in models
This is almost always what we want.
2024-11-12 11:21:52 +00:00
Owen Mansel-Chan fd4a6d4bb8
Change note 2024-11-11 23:55:57 +00:00
Owen Mansel-Chan 13fb92ad3e
Rename `getIntermediateEmbeddedType` 2024-11-11 23:53:14 +00:00
Owen Mansel-Chan d3a6452860
Add missing QLDoc 2024-11-11 23:50:09 +00:00
Owen Mansel-Chan 6af5b55d51
Refactor elementAppliesToQualifier
This is needed for performance when there are lots of embeddings.
2024-11-11 23:50:08 +00:00
Owen Mansel-Chan 3986dffc91
Keep methods and fields separate in SourceOrSinkElement
This improves performance.
2024-11-11 23:50:06 +00:00
Owen Mansel-Chan b6a31b1def
Restrict to Methods 2024-11-11 23:50:04 +00:00
Owen Mansel-Chan 57192e8154
Add even more tests 2024-11-11 23:49:58 +00:00
Owen Mansel-Chan e813fa346b
Fix case in some test-related file names 2024-11-11 23:48:34 +00:00
Owen Mansel-Chan 8abb0594c3
Combine two arms of newtype `TSourceOrSinkElement` 2024-11-11 23:48:32 +00:00
Owen Mansel-Chan b2c2a94866
Accept review comment - doc clarification 2024-11-11 23:48:30 +00:00
Owen Mansel-Chan 39afb18ee4
Fix bad join order 2024-11-11 23:48:29 +00:00
Owen Mansel-Chan 80e8015e67
Inline late and remove manual magic 2024-11-11 23:48:27 +00:00
Owen Mansel-Chan c2aee37210
`getSyntacticQualifier` -> `getSyntacticQualifierBaseType`
This improves performance.
2024-11-11 23:48:25 +00:00
Owen Mansel-Chan ede3b9f033
Improve join order by making a separate predicate 2024-11-11 23:48:23 +00:00
Owen Mansel-Chan e335737f38
Minor fixes to docs 2024-11-11 23:48:21 +00:00
Owen Mansel-Chan adc946ec2b
Revert simplification to make tests pass 2024-11-11 23:48:19 +00:00
Owen Mansel-Chan 4a1fce9168
Test non-promoted fields and methods 2024-11-11 23:46:10 +00:00
Chris Smowton f61251cc24
Document elementAppliesToQualifier 2024-11-11 23:43:59 +00:00
Chris Smowton 7ffff43424
Improve comments 2024-11-11 23:43:57 +00:00
Chris Smowton cd99bea9c1
Explain getSyntacticQual 2024-11-11 23:43:55 +00:00
Chris Smowton ccc525abd3
Remove probably-unnecessary pragma 2024-11-11 23:43:53 +00:00
Chris Smowton fd40662ad8
Rename getImplicitFieldReadInstruction 2024-11-11 23:43:51 +00:00
Chris Smowton e290cecabd
Rename ensureCorrectTypeInfo and getSyntacticRecv 2024-11-11 23:43:49 +00:00
Chris Smowton 17a3429f1e
Correct hasTypeInfo doc comment 2024-11-11 23:43:47 +00:00
Chris Smowton 20e8d48869
Add comment noting that a Method or Field might have multiple SourceOrSinkElements 2024-11-11 23:43:45 +00:00
Chris Smowton 520acc4b1c
Further simplify interpretElement to avoid 'm' only being used on one side of a disjunction 2024-11-11 23:43:44 +00:00
Chris Smowton d9126d384f
Simplify interpretElement 2024-11-11 23:43:42 +00:00
Chris Smowton e90e313295
Simplify ensureCorrectTypeInfo 2024-11-11 23:43:40 +00:00
Owen Mansel-Chan e46ec5a171
Fix MaD inheritance 2024-11-11 23:41:11 +00:00
Owen Mansel-Chan 91375d3a49
Update ExternalFlow.qll docs on `subtypes` column 2024-11-11 23:31:39 +00:00
Owen Mansel-Chan a277bcbc3e
Merge pull request #17941 from owen-mc/go/fix/missing-method-qualified-names
Go: fix missing qualified names for some promoted methods
2024-11-11 22:50:17 +00:00
dependabot[bot] 916184964b
Bump golang.org/x/tools
Bumps the extractor-dependencies group in /go/extractor with 1 update: [golang.org/x/tools](https://github.com/golang/tools).


Updates `golang.org/x/tools` from 0.26.0 to 0.27.0
- [Release notes](https://github.com/golang/tools/releases)
- [Commits](https://github.com/golang/tools/compare/v0.26.0...v0.27.0)

---
updated-dependencies:
- dependency-name: golang.org/x/tools
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: extractor-dependencies
...

Signed-off-by: dependabot[bot] <support@github.com>
2024-11-11 03:24:36 +00:00
Owen Mansel-Chan 0b24235de4
Update test results 2024-11-09 07:56:44 +00:00
Owen Mansel-Chan 9afdee4697
Accept changed test results and improve test 2024-11-09 07:55:02 +00:00
Owen Mansel-Chan c8f41206be
Add a change note 2024-11-08 14:23:55 +00:00
Owen Mansel-Chan 38ee2d418a
Fix bug by extracting more pointer types 2024-11-08 13:57:36 +00:00
Owen Mansel-Chan 5094cb851b
Add test showing bug (SEmbedP.PMethod not showing) 2024-11-08 13:57:34 +00:00
dependabot[bot] ccb92357a2
Bump golang.org/x/mod
Bumps the extractor-dependencies group in /go/extractor with 1 update: [golang.org/x/mod](https://github.com/golang/mod).


Updates `golang.org/x/mod` from 0.21.0 to 0.22.0
- [Commits](https://github.com/golang/mod/compare/v0.21.0...v0.22.0)

---
updated-dependencies:
- dependency-name: golang.org/x/mod
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: extractor-dependencies
...

Signed-off-by: dependabot[bot] <support@github.com>
2024-11-08 04:00:30 +00:00
Tom Hvitved a35a4b2d98
Merge pull request #17887 from hvitved/dataflow/provenance-order
Data flow: Order provenance output by textual representation
2024-11-07 14:19:18 +01:00
github-actions[bot] f107d16b4e Post-release preparation for codeql-cli-2.19.3 2024-11-04 17:20:08 +00:00
github-actions[bot] cc7b724123 Release preparation for version 2.19.3 2024-11-04 16:37:28 +00:00