Mathias Vorreiter Pedersen
952dbd69e9
C++: Default to one indirection in the case of self iterators.
2023-06-20 12:59:27 +01:00
Robert Marsh
971456c725
C++: add a test for self-valued iterators
2023-06-20 12:59:27 +01:00
Philip Ginsbach
2187e56376
Merge pull request #13513 from github/ginsbach/EvaluationOfInstantiations
...
mention how instantiation-nested predicates are treated in stratification and evaluation
2023-06-20 12:46:18 +01:00
Arthur Baars
1f6fae88ab
Merge pull request #13510 from github/post-release-prep/codeql-cli-2.13.4
...
Post-release preparation for codeql-cli-2.13.4
2023-06-20 13:30:40 +02:00
Philip Ginsbach
e4e91c7ab0
mention how instantiation-nested predicates are treated in stratification and evaluation
2023-06-20 12:29:52 +01:00
Philip Ginsbach
f09c44f8a2
Merge pull request #13443 from github/ginsbach/SpecifyInstantiations
...
add QL specification section on module instantiations
2023-06-20 12:02:52 +01:00
Tiago Pascoal
150854603b
Single quote was preventing the shell from expanding the BODY variable
...
While this prevents the attack highlighted in the query help it also prevents it from working.
Double quotes will allow the expansion of the variable while still preventing the attack
2023-06-20 11:38:27 +01:00
Tony Torralba
7837959bdf
QL: Add query to find Android queries with improper ids
2023-06-20 12:37:24 +02:00
github-actions[bot]
18b678e69e
Post-release preparation for codeql-cli-2.13.4
2023-06-20 10:20:05 +00:00
Owen Mansel-Chan
04ff89e1fe
Update access path documentation
2023-06-20 11:05:05 +01:00
Owen Mansel-Chan
732b14ee38
Update pretty printing predicates
2023-06-20 11:04:03 +01:00
Ian Lynagh
293f90333d
Kotlin: Avoid another cause of ConcurrentModificationException with 1.9
2023-06-20 10:59:24 +01:00
Ian Lynagh
0076d8aac1
Java: Add up/downgrade scripts
2023-06-20 10:59:13 +01:00
Ian Lynagh
81142f51fb
Kotlin: Handle IrSyntheticBodyKind.ENUM_ENTRIES
...
Generated by Kotlin 1.9 for some of our tests.
2023-06-20 10:59:04 +01:00
Rasmus Lerchedahl Petersen
5ceac5a771
python: add changenote
2023-06-20 11:53:31 +02:00
Owen Mansel-Chan
a01169eec2
add "Dereference" content for PointerContent
2023-06-20 10:49:37 +01:00
yoff
579c56c744
Merge pull request #13178 from yoff/python-ruby/track-through-summaries-pm
...
ruby/python: Shared module for typetracking through flow summaries
2023-06-20 11:19:45 +02:00
Owen Mansel-Chan
d28c4203db
Merge pull request #13453 from owen-mc/go/test-mad-pointer-content
...
Go: Add failing tests for MaD with pointer content
2023-06-20 09:55:06 +01:00
Rasmus Lerchedahl Petersen
e111a19524
python: split tests into taint and value
...
and add summaries
2023-06-20 10:46:27 +02:00
Erik Krogh Kristensen
7387653bd7
Merge pull request #13504 from github/rc/3.10
...
Merge rc/3.10 into main
2023-06-20 10:42:44 +02:00
Jeroen Ketema
dba4460526
Python: Update more inline expectation tests to use the paramterized module
2023-06-20 10:16:15 +02:00
Jeroen Ketema
c53e529bac
Ruby: Update remaining inline expectation tests to use the paramterized module
2023-06-20 10:16:01 +02:00
Jeroen Ketema
d6d21e3928
Go: Update remaining inline expectation tests to use the paramterized module
2023-06-20 10:15:46 +02:00
Jeroen Ketema
890a67d2ee
Introduce modules to merge 3, 4, and 5 inline expectation tests
2023-06-20 10:13:21 +02:00
Philip Ginsbach
0c4eb68921
introduce concept of fully instantiated entity
2023-06-20 09:07:38 +01:00
Philip Ginsbach
6848cba685
use more consistent terminology
2023-06-20 09:06:16 +01:00
Tony Torralba
54db4cc107
Merge pull request #13503 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2023-06-20 09:51:07 +02:00
github-actions[bot]
6da5ec8196
Add changed framework coverage reports
2023-06-20 00:15:43 +00:00
Remco Vermeulen
32d7faa3b8
Account for the signedness of the lesser operand
2023-06-19 16:57:36 -07:00
Jeroen Ketema
b500bbba76
Merge pull request #13460 from erik-krogh/rest-of-cpp
...
CPP: delete the deprecated Container::getURL predicates
2023-06-20 01:32:25 +02:00
erik-krogh
2104507cec
add change-note
2023-06-19 23:11:38 +02:00
erik-krogh
5fdfd98a1d
delete the deprecated Conatiner::getURL predicates
2023-06-19 23:11:38 +02:00
Henry Mercer
790d42b42c
Merge pull request #13500 from github/henrymercer/release-prep-swift
...
Release preparation for Swift
codeql-cli/v2.13.4
2023-06-19 18:14:10 +01:00
Adrien Pessu
eb28266bcb
improv example the help file
2023-06-19 17:00:52 +00:00
Geoffrey White
9f58d961f2
Swift: Remove TODO about a n unknown failure as it's now diagnosed and planned.
2023-06-19 17:49:27 +01:00
Henry Mercer
ead79c98d8
Run pack release for Swift packs
2023-06-19 17:35:58 +01:00
Henry Mercer
f90586bc90
Bump Swift pack versions
2023-06-19 17:35:26 +01:00
aegilops
23bf8470ce
Removed .md and made class change
2023-06-19 17:29:17 +01:00
Geoffrey White
76e51eeaa2
Swift: Add change note.
2023-06-19 17:14:14 +01:00
Geoffrey White
2ba231549f
Merge branch 'main' into sharedsensitive2
2023-06-19 16:44:27 +01:00
Jeroen Ketema
9c774ac97f
Merge pull request #13426 from jketema/inline-3
...
Update inline flow tests to use parameterized module
2023-06-19 17:39:29 +02:00
Geoffrey White
b50801ba6a
Swift: Attempt to improve performance.
2023-06-19 16:17:39 +01:00
Alexandre Boulgakov
61a3f86f0f
Merge pull request #13447 from github/sashabu/windows2
...
Swift: Bare-bones extractor pack for Windows.
2023-06-19 15:39:54 +01:00
AlexDenisov
21ad3e851a
Merge pull request #13497 from github/redsun82/swift-remove-result-of
...
Swift: remove `std::result_of` from swift headers
2023-06-19 16:31:26 +02:00
Jean Helie
423336310c
Merge pull request #13480 from github/jhelie/clean-up-mad-kinds-use
...
Java: clean up mad kinds use
2023-06-19 16:21:20 +02:00
Paolo Tranquilli
592e7f0b56
Swift: add TODO for later swift updates
2023-06-19 15:52:16 +02:00
Paolo Tranquilli
3ff7148147
Swift: remove std::result_of from swift headers
...
`std::result_of` was removed in C++20, though the actual removal from
the STL library implementations seems to depend on the version. For
example using xcode 14.2 one gets away with a deprecation warning, but
xcode 14.3 will fail.
As Swift 5.8.1 is still compiled with C++14, we cannot replace
`std::result_of` with `std::invoke_result` in the prebuilding patches
just yet, but we can do that for the extractor itself, patching the
prebuilt package.
2023-06-19 15:29:45 +02:00
Tony Torralba
c62689022e
Merge pull request #13256 from atorralba/atorralba/java/stapler-models
...
Java: Model the Stapler framework
2023-06-19 15:27:19 +02:00
Geoffrey White
0973fb33b9
Swift: Model UnsafeMutablePointer.init(mutating:).
2023-06-19 14:08:03 +01:00
Tony Torralba
00fe8adc09
Fix name clash
2023-06-19 15:04:33 +02:00