Michael Nebel
|
aec070f918
|
C#: Fix problem with logging unused packages. The dependencies only contains the paths relative to the package directory.
|
2023-12-01 15:24:33 +01:00 |
|
Cornelius Riemenschneider
|
13acec135d
|
Prepare for the bazel 7 upgrade.
|
2023-12-01 12:19:53 +01:00 |
|
james
|
7f3ff7f9a5
|
update threat models section
|
2023-12-01 11:19:00 +00:00 |
|
james
|
fe126c450b
|
threat model suggestions
|
2023-12-01 10:54:11 +00:00 |
|
Sarita Iyer
|
e1b5530602
|
Merge branch 'main' into saritai/docs-update-12431
|
2023-11-30 17:40:25 -05:00 |
|
Sarita Iyer
|
2bea328a5b
|
Update customizing-library-models-for-java-and-kotlin.rst
|
2023-11-30 17:39:55 -05:00 |
|
Sarita Iyer
|
849ec72728
|
Update customizing-library-models-for-java-and-kotlin.rst
|
2023-11-30 17:21:59 -05:00 |
|
Sarita Iyer
|
48e23e68c1
|
add info
|
2023-11-30 17:17:18 -05:00 |
|
Taus
|
4ef1fe49e3
|
Merge pull request #14918 from github/tausbn/python-support-tarslip-extraction-filters
Python: Add support for extraction filters
|
2023-11-30 22:55:09 +01:00 |
|
Felicity Chapman
|
30e62d3d28
|
Merge pull request #14969 from github/felicitymay-patch-1
Remove unwanted period from query name
|
2023-11-30 17:05:35 +00:00 |
|
Felicity Chapman
|
e9c4ddb399
|
Merge pull request #14898 from github/fc-codeql-vs-code-12574
Update CodeQL model editor info for revised UI
|
2023-11-30 16:21:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
175a8a6fb5
|
Merge pull request #14865 from rdmarsh2/rdmarsh2/swift/correct-keypath-node-steps
Swift: move keypath dataflow writes to fix types
|
2023-11-30 15:09:55 +00:00 |
|
Felicity Chapman
|
4cb2f53223
|
Remove unwanted period from query name
Our style guide states that names should not end in a period. I'm updating this now to allow us to automate a process for GitHub docs, see: https://github.com/github/codeql/blob/main/docs/query-metadata-style-guide.md#query-name-name
|
2023-11-30 14:31:17 +00:00 |
|
Chris Smowton
|
971ced09ad
|
Merge pull request #14671 from smowton/smowton/feature/jdk21-switch-pattern-matching
Java: Add support for Java 21 language features
|
2023-11-30 14:11:28 +00:00 |
|
Jeroen Ketema
|
eccc373a2b
|
Merge pull request #14958 from jketema/dialects
Add documentation note on not supporting Objective-C(++), C++/CLI, and C++/CX
|
2023-11-30 13:03:59 +01:00 |
|
Chris Smowton
|
aa8f798853
|
Move condition into isNonFallThroughPredecessor
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
94819e37c4
|
More StmtParent -> SwitchBlock
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
e93fe8d614
|
Update change note
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
53ca8e5fe9
|
autoformat
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
633b92da62
|
Introduce and use SwitchBlock instead of StmtParent for switch-statement-or-expression
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
e50a0eee59
|
Remove duplicate of expr exception propagation logic
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
6f3bff19cc
|
Expose getFirstPatternCase, not getPatternCase/2
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
40464ed1f9
|
Eliminate duplicate predicate
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
3971817c92
|
Fix: ensure is a switch block
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
cc68169f43
|
Update test expectations re: record-pattern type accesses
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
b1cea1d91e
|
autoformat
|
2023-11-30 11:24:07 +00:00 |
|
Chris Smowton
|
561f06a4bd
|
Remove unused predicate
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
e9603f0aba
|
Factor out isNonFallThroughPredecessor
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
84ec453a80
|
Explicitly rule out switchCaseControls for PatternCase
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
77b1721542
|
Move TypeTestGuard's logic into Guard.appliesTypeTest
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
b33dc38a65
|
Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
9b5b496462
|
Avoid quadratic switch case intermediate
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
d1e16ada4c
|
Tidy up pattern case CFG logic
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
beb827b1d0
|
Remove unused predicate
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
1cb5efa1ec
|
Simplify last nodes of rule cases
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
aa5f7352e2
|
Remove fall-through CFG edge for exhaustive switch statements
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
1047a89613
|
Improve complexity class of getASuccessorSwitchCase
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
d99a005b42
|
Fix pretty-printing case null, default
|
2023-11-30 11:24:06 +00:00 |
|
Chris Smowton
|
4bff7953fc
|
Fix record pattern and pretty-printing
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
419d530a06
|
Add test ensuring read steps via record patterns lead to type filtering
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
087be2cca8
|
Adjust test expectations
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
a11c5c7257
|
Fixup pretty-printer and add test
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
3bde66adfb
|
Pretty-print 'var' statements
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
07d2ce7a41
|
Change pretty-printing of PatternCase
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
5511955b60
|
Simplify getCaseIndex
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
bbc0f29f16
|
Restrict getCheckedType to unrestricted records, introduce getSyntacticCheckedType and use that where appropriate
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
29fdd04eb0
|
Include switch and instanceof binding in Variable.getAnAssignedValue, and test via endsInQuote
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
ef6ea71e43
|
Revert unnecessary exists statement
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
47e3d7d8a5
|
Cast back to Object in advance of returning, to ensure the test doesn't mask a shortcoming of type pruning by pruning at the return site
|
2023-11-30 11:24:05 +00:00 |
|
Chris Smowton
|
f0144d6a3d
|
Expose that case guard test controls its case body
|
2023-11-30 11:24:04 +00:00 |
|