Owen Mansel-Chan
563805ff0c
Fix nodeGetEnclosingCallable
...
It wasn't updated when MkImplicitVarargsSlice was added as a branch of
TNode. This meant that it gave no result for `ImplicitVarargsSlice`s
in function calls used to initialise variables declared at file level.
2023-10-19 16:48:37 +01:00
Owen Mansel-Chan
a3cecd178f
Add consistency query
...
This can be run on an existing database to check for any assumptions
of the data flow library which do not hold.
2023-10-19 16:47:56 +01:00
Erik Krogh Kristensen
2a1ca637fd
Merge pull request #14543 from erik-krogh/string-not-int
...
move the documentation of codePointAt and codePointCount to the string type instead of the int type
2023-10-19 14:39:10 +02:00
erik-krogh
5cd732b3c6
move the documentation of codePointAt and codePointCount to the string type instead of the int type
2023-10-19 12:57:06 +02:00
Owen Mansel-Chan
67601b5312
Add DataFlowImplConsistency.qll for Go library
2023-10-19 11:43:00 +01:00
Mathias Vorreiter Pedersen
0ab159f803
Merge pull request #14135 from github/sashabu/frontend-update
...
C++: Update for changes in frontend.
2023-10-19 11:40:24 +01:00
Esben Sparre Andreasen
2c99e2f3d5
improve change note file name checks
2023-10-19 12:16:27 +02:00
Esben Sparre Andreasen
836bb6006c
improve env var usage in check-change-note.yml
2023-10-19 12:05:29 +02:00
Mathias Vorreiter Pedersen
0bfa53cfd6
Merge pull request #14524 from MathiasVP/add-more-dataflow-documentation
...
C++: Add more documentation about dataflow through indirections
2023-10-19 10:32:12 +01:00
Mathias Vorreiter Pedersen
4feda50add
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-10-19 11:00:42 +02:00
Mathias Vorreiter Pedersen
b5cbd909f7
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-10-19 11:00:33 +02:00
Mathias Vorreiter Pedersen
35702a9fdf
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-10-19 11:00:18 +02:00
Jeroen Ketema
a972d0943a
C++: Accept test changes after changes in IR generation
2023-10-19 10:45:14 +02:00
Jeroen Ketema
2a64552979
C++: Add support for C23/C++23 floating-point types
2023-10-19 10:45:14 +02:00
Jeroen Ketema
7e71d9e619
C++: Update expected test results after outputting less loads from the extractor
2023-10-19 10:45:14 +02:00
Jeroen Ketema
bec3e62771
C++: Update cpp/constant-array-overflow test results after frontend update
2023-10-19 10:45:14 +02:00
Jeroen Ketema
23c6027386
C++: Update expected test changes after frontend update
2023-10-19 10:45:13 +02:00
Jeroen Ketema
8b8a2726d4
C++: Accept semantic range analysis test changes due to extra loads in the IR
2023-10-19 10:45:13 +02:00
Jeroen Ketema
554087161b
C++: Accept sign analysis test changes
...
The IR now contains extra loads that need to be accounted for.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
5036135f01
C++: Fix IR generation for the comma operator
2023-10-19 10:45:13 +02:00
Jeroen Ketema
0fceecee6d
C++: Fix extractor options for deprecated_with_msg test
...
The previous extractor options no longer work, because the default assumed
compiler versions have changed in the frontend.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
e271c7e5e7
C++: Accept IR GVN test changes a CopyValue is now Load due to IR changes
2023-10-19 10:45:13 +02:00
Jeroen Ketema
91a98f3512
C++: Accept new dataflow IR inconsistencies
...
These are due to additional loads being generated on fields, and should not
cause any problems. Ideally, we should tune the definition of
`TPostFieldUpdateNode` to make these go away.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
231e9ef098
C++: Accept PrintAST value category changes after frontend update
2023-10-19 10:45:13 +02:00
Jeroen Ketema
a6dae91215
C++: Accept IR test changes after value category updates
2023-10-19 10:45:12 +02:00
Jeroen Ketema
3202bcce70
C++: Handle ternary operators whose value category is a prvalue with a load
2023-10-19 10:45:12 +02:00
Jeroen Ketema
c60cb136bb
C++: Do not generate loads for ParenthesisExprs
2023-10-19 10:45:12 +02:00
Jeroen Ketema
4339e18ed6
C++: Update IR generation for changes in frontend
2023-10-19 10:45:12 +02:00
Jaroslav Lobačevski
2b541b78ac
fix CWE number
2023-10-19 09:36:25 +02:00
Tony Torralba
049ba54948
Merge pull request #14533 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2023-10-19 08:56:36 +02:00
Erik Krogh Kristensen
daca5121f6
Merge pull request #14540 from github/dependabot/cargo/ql/tracing-0.1.40
...
Bump tracing from 0.1.39 to 0.1.40 in /ql
2023-10-19 08:47:56 +02:00
dependabot[bot]
2af1302a4a
Bump tracing from 0.1.39 to 0.1.40 in /ql
...
Bumps [tracing](https://github.com/tokio-rs/tracing ) from 0.1.39 to 0.1.40.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.39...tracing-0.1.40 )
---
updated-dependencies:
- dependency-name: tracing
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
2023-10-19 03:33:14 +00:00
flyboss
86336565eb
fix typo
2023-10-19 02:34:31 +00:00
github-actions[bot]
065353667f
Add changed framework coverage reports
2023-10-19 00:15:51 +00:00
Tony Torralba
da44b13fd4
Merge pull request #14515 from atorralba/atorralba/java/spring-csrf-improv
...
Java: Improve java/spring-disabled-csrf-protection
2023-10-18 17:49:10 +02:00
Paolo Tranquilli
d55289bf68
Swift: add children to UnspecifiedElement
...
This will allow better downgrade scripts in the future.
2023-10-18 16:42:04 +02:00
Michael B. Gale
4246ebf9e0
Merge pull request #14535 from github/mbg/go/dependabot-ignore-tests
...
Go: Add Dependabot config for `go/ql/test` which ignores all dependencies
2023-10-18 14:40:16 +01:00
Michael B. Gale
771b5eca47
No allow, only ignore
2023-10-18 14:25:38 +01:00
Michael B. Gale
10e9c6defd
Update .github/dependabot.yml
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-10-18 14:23:32 +01:00
Michael B. Gale
df191e4b6d
Update .github/dependabot.yml
...
Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com >
2023-10-18 14:22:06 +01:00
Mathias Vorreiter Pedersen
7f97492580
C++: Make sphinx happy.
2023-10-18 14:15:55 +01:00
Mathias Vorreiter Pedersen
a36d432184
C++: Simplify a paragraph and use line numbers in CPP code.
2023-10-18 14:15:01 +01:00
Mathias Vorreiter Pedersen
c04546da98
C++: Use named code blocks.
2023-10-18 14:03:09 +01:00
Mathias Vorreiter Pedersen
308d027d1e
C++: Fix typo.
2023-10-18 14:02:05 +01:00
Mathias Vorreiter Pedersen
44e214b933
C++: Stick to the pointer vs. indirection terminology.
2023-10-18 13:47:09 +01:00
Mathias Vorreiter Pedersen
f6b1d66167
C++: Convert another paragraph to a numbered list.
2023-10-18 13:38:50 +01:00
Mathias Vorreiter Pedersen
1b1a78bf04
C++: Convert a paragraph to a numbered list.
2023-10-18 13:34:32 +01:00
Mathias Vorreiter Pedersen
342f4f867b
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
2023-10-18 14:30:46 +02:00
Mathias Vorreiter Pedersen
9d2e21e470
C++: Move the note in the beginning of the document into a reusable file.
2023-10-18 13:29:52 +01:00
Mathias Vorreiter Pedersen
ff3d4b8b40
Update docs/codeql/codeql-language-guides/advanced-dataflow-scenarios-cpp.rst
...
Co-authored-by: Felicity Chapman <felicitymay@github.com >
2023-10-18 14:18:23 +02:00