Michael Nebel
8343ce0754
C#: Re-factor the make_stubs_nuget script to more easily allow multiple nuget references.
2023-12-14 14:11:59 +01:00
Yunus AYDIN
ac3cb7f6c4
update camelcase
2023-12-14 15:29:28 +03:00
Yunus AYDIN
a17c704f46
update expected file
2023-12-14 15:27:27 +03:00
Tom Hvitved
6fc9e6193a
Add change note
2023-12-14 13:25:21 +01:00
Tom Hvitved
84aa9f17a0
Python/Ruby: Use SummaryTypeTracker from typetracking pack
2023-12-14 13:25:18 +01:00
Tom Hvitved
1e24de7e83
Copy SummaryTypeTracker.qll to typetracking pack
2023-12-14 13:22:48 +01:00
Tom Hvitved
3b1146bf98
Python: Adopt shared type tracking library
2023-12-14 13:22:44 +01:00
erik-krogh
72e99b5b9d
rename extractor environment variable to CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES
2023-12-14 12:52:49 +01:00
Tom Hvitved
4776e9ccd2
Type tracking: Allow for a non-standard flowsTo predicate
2023-12-14 12:36:09 +01:00
Tom Hvitved
c8b4a215bc
Merge pull request #14573 from hvitved/flow-summary-impl-param
...
Move `FlowSummaryImpl.qll` to `dataflow` pack
2023-12-14 12:24:15 +01:00
Rasmus Lerchedahl Petersen
0b6d47b8bc
Python: update to new API
...
update is in a comment, so compilation
never failed in CI.
2023-12-14 11:56:05 +01:00
Rasmus Lerchedahl Petersen
2a5736e73d
Python: add consistency exception
...
this must have been lost in my
clean-up rebase.
2023-12-14 11:50:09 +01:00
Tom Hvitved
8f0e0b6559
Merge pull request #15090 from hvitved/inline-flow-test-get-arg-string
...
InlineFlowTest: Allow for custom `getArgString`
2023-12-14 10:53:55 +01:00
Tamás Vajk
3487f9d143
Merge pull request #15070 from tamasvajk/standalone/exclusions
...
C#: Remove unneeded options and add support for `paths/paths-ignore` in standalone
2023-12-14 10:41:53 +01:00
Rasmus Lerchedahl Petersen
479d81fb75
Python: fix nonlocal captured variables
...
This depends on the extractor fix
2023-12-14 10:37:27 +01:00
Rasmus Lerchedahl Petersen
38e03216f6
Python: allow CaptureArgumentNodes as multiple arguemnts
...
These are the labmda self references. This is similar to
how `BlockParameterArgumentNode` is excluded for Ruby.
It is important that we restrict `call` in this logic.
Otherwise, we get a cartesian product and the consistency
check runs for a very long time...
2023-12-14 10:32:29 +01:00
Tom Hvitved
7da10e0013
Merge pull request #15095 from hvitved/dataflow/boolean-class
...
Data flow: Use `Boolean` class
2023-12-14 10:29:52 +01:00
Rasmus Lerchedahl Petersen
f32d5e422d
Python: typo
2023-12-14 10:28:26 +01:00
Rasmus Lerchedahl Petersen
efcdb3e67e
Python: filter local flow from a node to itself
2023-12-14 10:28:26 +01:00
Rasmus Lerchedahl Petersen
5471c92e9f
Python: exclusion for summary nodes
...
as in Ruby
2023-12-14 10:28:26 +01:00
Rasmus Lerchedahl Petersen
061fd014a6
Python: further restrict LibraryLambdaMethod
...
On the small test project, this reduces the number
of instances from 285 to 22.
2023-12-14 10:27:15 +01:00
Rasmus Lerchedahl Petersen
453ab9ca7b
Python: restrict LibraryLambdaMethod
2023-12-14 10:27:15 +01:00
Rasmus Lerchedahl Petersen
17a0029585
Python: support callbacks to library calls
...
TODO:
The member predicate `LibraryLambdaMethod::getACall` is
currently too permissive.
Ideally, we would have `libraryCallHasLambdaArg`
as in Ruby. But even a more precise
`libraryCall` predicate might be fine.
2023-12-14 10:27:15 +01:00
Rasmus Lerchedahl Petersen
7565873e83
Python: test callbacks to library calls
2023-12-14 10:27:15 +01:00
Rasmus Lerchedahl Petersen
797deebcdd
Python: exclude CaptureNodes
2023-12-14 10:27:15 +01:00
Rasmus Lerchedahl Petersen
b513871b9b
Python: add consistency exclusions
2023-12-14 10:27:15 +01:00
Rasmus Lerchedahl Petersen
c054ba6a97
python: instantiate module for variable capture
...
This provides variable capture in standard situations:
- nested functions
- lambdas
There are some deficiencies:
- we do not yet handle objects capturing variables.
- we do not handle variables captured via the `nonlocal` keyword.
This should be solved at the AST level, though, and then it
should "just work".
There are still inconsistencies in the case where
a `SynthesizedCaptureNode` has a comprehensions
as its enclosing callable. In this case,
`TFunction(cn.getEnclosingCallable())` is not
defined and so getEnclosingCallable does not exist
for the `CaptureNode`.
2023-12-14 10:25:39 +01:00
Rasmus Lerchedahl Petersen
6db55cd12f
Python: add missing annotation
2023-12-14 10:20:49 +01:00
Tamas Vajk
ee70de8879
Fix code review findings
2023-12-14 10:15:22 +01:00
Tom Hvitved
8fc6fb1ec0
Apply suggestions from code review
...
Co-authored-by: yoff <lerchedahl@gmail.com >
2023-12-14 10:10:53 +01:00
Koen Vlaswinkel
96feb2c787
C#: Rename getMethodName to getEndpointName
2023-12-14 10:04:46 +01:00
Tom Hvitved
098afb935b
Address more review comments
2023-12-14 09:48:45 +01:00
Tamas Vajk
728229e6e1
Fix code review findings
2023-12-14 09:44:20 +01:00
yoff
b78ceb61a3
Merge pull request #15099 from fossilet/fix-qll-typo
...
Fix typo in qll.
2023-12-14 09:43:26 +01:00
Chris Smowton
d884726490
Merge pull request #15098 from fossilet/fix-signature-doc
...
Fix typo.
2023-12-14 08:35:56 +00:00
fossilet
1cc2f073c4
Fix typo in qll.
2023-12-14 16:05:14 +08:00
Tom Hvitved
5a426d1800
Data flow: Use Boolean class
2023-12-14 09:04:16 +01:00
Michael Nebel
1653433f39
Merge pull request #15096 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2023-12-14 08:51:34 +01:00
fossilet
9157dde4e2
Fix typo.
2023-12-14 15:35:13 +08:00
github-actions[bot]
c1325d798f
Add changed framework coverage reports
2023-12-14 00:16:18 +00:00
Edward Minnix III
14a76278b8
Merge pull request #14802 from egregius313/egregius313/java/update-ql-integration-test
...
Java: Add `.properties` file references in integration tests
2023-12-13 18:40:03 -05:00
Ed Minnix
717e69ac0e
Add properties file references
2023-12-13 16:54:55 -05:00
Yunus AYDIN
d899267acb
add httprouter example code
2023-12-14 00:23:09 +03:00
Yunus AYDIN
5f6de79c09
Fix select query, Add httprouter library and update test files
2023-12-14 00:19:11 +03:00
Robert Marsh
0e5255ea88
Swift: switch to shared, parameterized CFG library
2023-12-13 20:13:11 +00:00
Paolo Tranquilli
307da3417d
Merge pull request #15091 from github/redsun82/fix-cmake-bazel-version
...
Bazel/CMake: use bazelisk to use correct bazel version
2023-12-13 19:06:37 +01:00
Yunus AYDIN
a09505afc2
Update rules
2023-12-13 20:01:53 +03:00
Jeroen Ketema
4d922ddb0c
Merge pull request #15092 from jketema/mb12
...
Merge back `rc/3.12` into main
2023-12-13 17:45:58 +01:00
Geoffrey White
e8f8aa266f
Merge remote-tracking branch 'upstream/main' into pointermodels
2023-12-13 16:43:15 +00:00
Paolo Tranquilli
9e300a9906
Merge branch 'main' into redsun82/fix-cmake-bazel-version
2023-12-13 17:36:07 +01:00