Owen Mansel-Chan
cdc1c2c1aa
Merge pull request #13454 from owen-mc/go/add-mad-content-for-pointer-content
...
Go: Add models-as-data content for pointer content
2023-06-20 14:26:07 +01:00
Tom Hvitved
d296256920
QL: Exclude overridden fields from FieldOnlyUsedInCharPred.ql
2023-06-20 15:24:09 +02:00
Tom Hvitved
12c810c63d
QL: Add tests for FieldOnlyUsedInCharPred.ql
2023-06-20 15:23:08 +02:00
Tony Torralba
768478103c
Add another exception
2023-06-20 15:16:37 +02:00
Tony Torralba
818c312a56
Add exception for java/improper-intent-verification
...
As suggested by @igfoo.
2023-06-20 14:50:41 +02:00
Tony Torralba
41534803e5
Refactor to use QueryDoc
...
Kudos to @erik-krogh for the suggestion.
2023-06-20 14:41:57 +02:00
Rasmus Wriedt Larsen
47d0a6d2e3
Python: Restore rest of experimental files
2023-06-20 14:30:43 +02:00
Owen Mansel-Chan
c0fea85380
Accept test changes
2023-06-20 13:25:49 +01:00
Owen Mansel-Chan
cc320c5e9c
Never skip functionmodel inputs and outputs in path summaries
2023-06-20 13:25:47 +01:00
Owen Mansel-Chan
d7c97f8759
Merge pull request #13455 from owen-mc/dataflow/add-flowCheckNodeSpecific
...
Dataflow: add language-specific hook for breaking up big step relation
2023-06-20 13:24:26 +01:00
Mathias Vorreiter Pedersen
2b0282ca12
C++: Accept test changes.
2023-06-20 13:05:25 +01:00
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
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
