Taus
7124e80f28
Python: Regenerate parser files
2025-02-06 14:05:40 +00:00
Taus
c5be2a3e2d
Python: Allow comments in subscripts
...
Once again, the interaction between anchors and extras (specifically
comments) was causing trouble.
The root of the problem was the fact that in `a[b]`, we put `b` in the
`index` field of the subscript node, whereas in `a[b,c]`, we
additionally synthesize a `Tuple` node for `b,c` (which matches the
Python AST).
To fix this, we refactored the grammar slightly so as to make that tuple
explicit, such that a subscript node either contains a single expression
or the newly added tuple node. This greatly simplifies the logic.
2025-02-06 14:04:57 +00:00
Anders Schack-Mulligen
57735388e0
Merge pull request #18655 from aschackmull/java/typeflow-joinorder
...
TypeFlow: Improve join-order.
2025-02-06 13:12:52 +01:00
Asger F
7f4facc864
Merge pull request #18661 from asgerf/js/hoist-in-block
...
JS: Hoist function declarations to the top of a block statement
2025-02-06 12:38:51 +01:00
Asger F
6ae06aed9e
Update javascript/extractor/src/com/semmle/js/extractor/CFGExtractor.java
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-02-06 10:03:28 +01:00
Asger F
83ccdb76ed
Merge pull request #18686 from asgerf/ac/bash-quotation-oom
...
Actions: avoid N^2 parsing in common cases
2025-02-06 09:59:23 +01:00
Asger F
6207e39b5f
JS: Change note
2025-02-06 09:58:24 +01:00
Remco Vermeulen
7619f1dac9
Merge pull request #18679 from rvermeulen/rvermeulen/ccr-suites
...
Add CCR suites
2025-02-05 09:35:48 -08:00
Paolo Tranquilli
d65a704209
Merge pull request #18635 from hvitved/codegen/self-type-alias
...
Codegen: Improve return type of self-typed properties
2025-02-05 17:20:25 +01:00
Paolo Tranquilli
e4523ef581
Merge pull request #18684 from github/redsun82/swift-keypath-expr
...
Swift: fix `KeyPathExpr` assertion
2025-02-05 16:40:25 +01:00
Nora Dimitrijević
ab521ff180
Merge pull request #18688 from d10c/d10c/drop-bigint-avg
...
Update docs to remove BigInt `avg`
2025-02-05 16:07:57 +01:00
Tom Hvitved
9319b1848d
Merge pull request #18682 from hvitved/dataflow/aliases
...
Data flow: Add aliases for removing `DataFlow` prefixes
2025-02-05 15:04:13 +01:00
Nora Dimitrijević
e455a6c5d7
Update docs to remove BigInt avg
2025-02-05 14:27:21 +01:00
Asger F
4ec84e9327
Actions: update expected output
2025-02-05 13:36:38 +01:00
Asger F
1904b026b2
Actions: Avoid blowup in quotation parser
...
The parser has an inherent N^2 blowup and will need a rewrite eventually. For now I'm just trying to make it not blow up as often.
2025-02-05 13:35:52 +01:00
Asger F
e6b5040909
Actions: add test with many quoted strings
2025-02-05 13:35:50 +01:00
Owen Mansel-Chan
d7117ef3e5
Merge pull request #18681 from github/dependabot/go_modules/go/extractor/extractor-dependencies-bab70e25a9
...
Bump golang.org/x/mod from 0.22.0 to 0.23.0 in /go/extractor in the extractor-dependencies group
2025-02-05 10:50:22 +00:00
Paolo Tranquilli
749fcb07be
Merge pull request #18683 from github/redsun82/swift-docs
...
Swift: update supported version in docs
2025-02-05 11:05:33 +01:00
Tom Hvitved
0f52fe92cf
Data flow: Add aliases for removing DataFlow prefixes
2025-02-05 10:57:16 +01:00
Paolo Tranquilli
1a654557a9
Swift: fix KeyPathExpr assertion
2025-02-05 10:52:34 +01:00
Paolo Tranquilli
48427b6700
Swift: update supported version in docs
2025-02-05 10:39:39 +01:00
Anders Schack-Mulligen
bcec7ee234
Merge pull request #18633 from aschackmull/dataflow/refactor-flowstate
...
Dataflow: Refactor FlowState to be paired with Node
2025-02-05 09:43:25 +01:00
Simon Friis Vindum
670ecb3298
Merge pull request #18673 from paldepind/rust-higher-order-function-model-generation
...
Rust: Higher order function model generation
2025-02-05 09:15:46 +01:00
dependabot[bot]
aa14f4ee58
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.22.0 to 0.23.0
- [Commits](https://github.com/golang/mod/compare/v0.22.0...v0.23.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 >
2025-02-05 03:28:52 +00:00
Remco Vermeulen
9894e9ef9f
Add CCR suites
2025-02-05 01:58:34 +00:00
Paolo Tranquilli
04476282a7
Merge pull request #18677 from paldepind/rust-model-struct-match
...
Rust: Accept test changes
2025-02-04 19:09:27 +01:00
Simon Friis Vindum
d198a4a3cd
Rust: Accept test changes
2025-02-04 18:26:05 +01:00
Tom Hvitved
f1140530c0
Merge pull request #18656 from hvitved/rust/record-destruct-shorthand
...
Rust: Shorthand record pattern destructuring in data flow
2025-02-04 15:25:12 +01:00
Simon Friis Vindum
ece5557f3d
Apply suggestions from code review
...
Co-authored-by: Tom Hvitved <hvitved@github.com >
2025-02-04 15:10:32 +01:00
Arthur Baars
2a32e8865d
Merge pull request #18668 from github/post-release-prep/codeql-cli-2.20.4
...
Post-release preparation for codeql-cli-2.20.4
2025-02-04 14:22:53 +01:00
Simon Friis Vindum
b0a3cdc68c
Rust: Generate flow summaries for higher-order functions
2025-02-04 14:03:19 +01:00
Asger F
5613661a48
JS: Update another TRAP file
2025-02-04 14:02:51 +01:00
Asger F
f0afd6aa5f
Merge branch 'main' into js/hoist-in-block
2025-02-04 14:01:57 +01:00
Simon Friis Vindum
c9e702d107
Rest: Add tests for higher-order functions
2025-02-04 13:44:29 +01:00
Jeroen Ketema
89bbef935d
Merge pull request #18672 from jketema/codeblock-name
...
C++: Update expected test results after extractor changes
2025-02-04 13:39:54 +01:00
Jeroen Ketema
1591a56aab
C++: Update expected test results after extractor changes
2025-02-04 13:19:49 +01:00
Simon Friis Vindum
8d01bbc1e3
Merge pull request #18628 from paldepind/rust-flow-summary-generation
...
Rust: Initial model generation setup
2025-02-04 12:37:09 +01:00
Asger F
80824cfdc7
JS: Benign test output changes
2025-02-04 12:12:41 +01:00
Asger F
294fd0a7a7
Merge pull request #18653 from asgerf/js/source-on-same-line
...
Test: Don't expect 'Source' tag when source and alert are on the same same
2025-02-04 11:01:46 +01:00
Asger F
3d3f07ad72
Merge pull request #18658 from asgerf/js/jsx-parser-first-attempt
...
JS: Use JSX syntax in first attempt when extension is .jsx
2025-02-04 10:49:26 +01:00
Asger F
d22268e119
JS: Update TRAP again
...
The extra successor edge was due to visiting hoisted function declaration IDs multiple times,
which has now been fixed.
2025-02-04 10:47:08 +01:00
Anders Schack-Mulligen
73d7250688
Dataflow: Fix join-order issue.
2025-02-04 10:47:02 +01:00
Anders Schack-Mulligen
da34c0b3ac
Dataflow: Fixup some qldoc.
2025-02-04 10:47:01 +01:00
Anders Schack-Mulligen
db1ed67e52
JS: Simplify config in PrototypePollutingFunction.ql.
2025-02-04 10:47:01 +01:00
Anders Schack-Mulligen
e55130ebce
Dataflow: Remove unused predicate.
2025-02-04 10:47:00 +01:00
Anders Schack-Mulligen
2597ef651b
Dataflow: Avoid duplication in fwdFlow1 disjunction.
2025-02-04 10:47:00 +01:00
Anders Schack-Mulligen
b2d42ee49a
Dataflow: Rename two predicates to remove need for alias defs.
2025-02-04 10:46:59 +01:00
Anders Schack-Mulligen
e0cb70a492
Dataflow: Minor cleanup.
2025-02-04 10:46:59 +01:00
Anders Schack-Mulligen
b4197b08aa
Dataflow: Use (node,state) pair as node type in stage 2+.
2025-02-04 10:46:58 +01:00
Anders Schack-Mulligen
1166aa6a43
Dataflow: Prepare a (node,state) pair type.
2025-02-04 10:46:58 +01:00