Mathias Vorreiter Pedersen
|
1acbb84444
|
Shared/Java: Make the 'isNull' interface slightly prettier.
|
2024-04-05 11:58:43 +01:00 |
|
Tom Hvitved
|
79440f6734
|
Data flow: Fix bad join
```
Evaluated relational algebra for predicate DataFlowImpl::Impl<PolynomialReDoSQuery::PolynomialReDoSFlow::C>::storeEx/5#34133ef9@0425e0m7 with tuple counts:
2209132 ~1% {6} r1 = SCAN `DataFlowImpl::Impl<PolynomialReDoSQuery::PolynomialReDoSFlow::C>::storeExUnrestricted/5#3a86a98e` OUTPUT In.1, In.0, In.1, In.2, In.3, In.4
4338565685 ~1% {6} | JOIN WITH `DataFlowPublic::ContentSet.getAReadContent/0#dispred#e4acf74e_10#join_rhs` ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2, Lhs.3, Lhs.4, Lhs.5
34811200 ~1428% {5} | JOIN WITH `project#DataFlowImpl::Impl<PolynomialReDoSQuery::PolynomialReDoSFlow::C>::readSetEx/3#35ac556a` ON FIRST 1 OUTPUT Lhs.1, Lhs.2, Lhs.3, Lhs.4, Lhs.5
return r1
```
|
2024-04-04 10:02:02 +02:00 |
|
Tom Hvitved
|
2d4cf55c87
|
Merge pull request #15985 from hvitved/ruby/phi-barrier-guards
Ruby: Extend barrier guards to handle phi inputs
|
2024-04-03 15:22:39 +02:00 |
|
Tom Hvitved
|
7871fb8ce6
|
Data flow: Block flow at expectsContents nodes in parameterValueFlow
|
2024-04-03 15:19:34 +02:00 |
|
Tom Hvitved
|
8b78463f25
|
Merge pull request #16087 from hvitved/dataflow/store-step-exploration
Data flow: Do not require stores to have matching reads in flow exploration
|
2024-04-03 14:10:28 +02:00 |
|
Tom Hvitved
|
550e251d68
|
Data flow: Do not require stores to have matching reads in flow exploration
|
2024-04-03 13:28:24 +02:00 |
|
Tom Hvitved
|
1dc13cc169
|
Merge pull request #15923 from hvitved/shared-xml-impl
Properly shared `XML.qll` implementation
|
2024-04-03 11:39:50 +02:00 |
|
github-actions[bot]
|
8e61c6625b
|
Post-release preparation for codeql-cli-2.17.0
|
2024-04-01 15:27:42 +00:00 |
|
github-actions[bot]
|
ec97d9a304
|
Release preparation for version 2.17.0
|
2024-04-01 13:46:57 +00:00 |
|
Jami
|
d889e3cf98
|
Merge pull request #14854 from jcogs33/jcogs33/unsafe-url-forward-promotion
Java: Promote Unsafe URL Forward query from experimental
|
2024-03-29 16:34:06 -04:00 |
|
Henry Mercer
|
0646744928
|
Merge branch 'main' into henrymercer/merge-back-rc-3.13
|
2024-03-26 12:59:12 +00:00 |
|
github-actions[bot]
|
f67b5f9158
|
Post-release preparation for codeql-cli-2.16.6
|
2024-03-25 18:17:15 +00:00 |
|
github-actions[bot]
|
71ab804274
|
Release preparation for version 2.16.6
|
2024-03-25 16:58:08 +00:00 |
|
Arthur Baars
|
c219b1a3c7
|
Merge pull request #16013 from github/rc/3.13
Merge rc/3.13 into main
|
2024-03-21 16:04:58 +01:00 |
|
Michael Nebel
|
6619be3137
|
Merge pull request #15940 from michaelnebel/csharp/sourcesinktests
C#: Source- and sink tests.
|
2024-03-21 08:12:16 +01:00 |
|
Tom Hvitved
|
8f56edea80
|
Merge pull request #15966 from hvitved/treesitter-split-up-node-info-table
Tree-sitter: Split up `ast_node_info` table into two tables
|
2024-03-20 20:38:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
ebac171b2b
|
Java/Shared: Rename 'joinStep0' to 'joinStep'.
|
2024-03-20 14:40:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
6a65c46b2e
|
Java/Shared: Share more 'isNull' computations.
|
2024-03-20 14:36:12 +00:00 |
|
Mathias Vorreiter Pedersen
|
90fbacc7bf
|
Java/Shared: Use getLocation instead of hasLocationInfo.
|
2024-03-20 14:29:48 +00:00 |
|
Tom Hvitved
|
90779f4413
|
Ruby: Extend barrier guards to handle phi inputs
|
2024-03-20 10:02:20 +01:00 |
|
Dave Bartolomeo
|
311ba8ea1b
|
Merge from main to resolve conflicts
|
2024-03-19 10:41:31 -04:00 |
|
Tom Hvitved
|
ee3e38f0eb
|
Simplify test interface in FlowSummaryImpl.qll
|
2024-03-19 14:35:00 +01:00 |
|
Michael Nebel
|
5b37ee4ec7
|
Re-factor TestOutput into a param module.
|
2024-03-19 14:20:42 +01:00 |
|
Michael Nebel
|
90db9b330f
|
C#: Add MaD source and sink test query to shared library.
|
2024-03-19 13:45:38 +01:00 |
|
Tom Hvitved
|
7055cd8239
|
Make XML.qll a parameterized module
|
2024-03-19 13:14:42 +01:00 |
|
Tom Hvitved
|
ccfbd2956c
|
Copy existing XML.qll into new a new codeql/xml pack
|
2024-03-19 13:14:42 +01:00 |
|
Tom Hvitved
|
cee6f003fd
|
Tree-sitter: Split up ast_node_info table into two tables
|
2024-03-19 10:52:37 +01:00 |
|
Tom Hvitved
|
fc55567d90
|
Merge pull request #15853 from hvitved/dataflow/get-location
Data flow: Replace `hasLocationInfo` with `getLocation`
|
2024-03-18 20:21:46 +01:00 |
|
Tom Hvitved
|
0cecbf5239
|
Update 2024-02-28-hidden-subpaths.md
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2024-03-18 15:36:01 +01:00 |
|
Tom Hvitved
|
7a3b8ebb3a
|
Address review comments
|
2024-03-18 14:49:35 +01:00 |
|
Tom Hvitved
|
40089e8088
|
Add change note
|
2024-03-18 14:49:35 +01:00 |
|
Tom Hvitved
|
d7c9bfa08b
|
Data flow: Account for hidden subpath wrappers
|
2024-03-18 14:47:11 +01:00 |
|
Tom Hvitved
|
d83500de5d
|
Address review comments
|
2024-03-18 14:24:07 +01:00 |
|
github-actions[bot]
|
aebe9f6992
|
Post-release preparation for codeql-cli-2.16.5
|
2024-03-18 12:16:26 +00:00 |
|
github-actions[bot]
|
0a6243d07b
|
Release preparation for version 2.16.5
|
2024-03-18 10:14:07 +00:00 |
|
Tom Hvitved
|
a13391bda1
|
Merge pull request #15802 from hvitved/dataflow/variable-capture-overlapping-paths
Variable capture: Avoid overlapping and false-positive data flow paths
|
2024-03-18 10:45:55 +01:00 |
|
Jami Cogswell
|
1da1e896cb
|
Java: convert SpringModelAndViewSink to MaD
|
2024-03-13 16:28:41 -04:00 |
|
Edward Minnix III
|
c190dd21db
|
Merge pull request #15877 from egregius313/egregius313/csharp/mad/sources/windows-registry
C#: Add source models for values from the Windows registry
|
2024-03-12 16:41:42 -04:00 |
|
Tom Hvitved
|
d7790faece
|
Address review comments
|
2024-03-12 13:34:55 +01:00 |
|
Tom Hvitved
|
0e0b73a5e6
|
Address review comment
|
2024-03-12 11:22:04 +01:00 |
|
Tom Hvitved
|
e82e3180f0
|
Data flow: Replace hasLocationInfo with getLocation
|
2024-03-11 20:56:38 +01:00 |
|
Ed Minnix
|
bc745dfd5e
|
Windows registry sources
|
2024-03-11 13:55:34 -04:00 |
|
Tom Hvitved
|
7a39f077d9
|
Data flow: Add ConfigSig::accessPathLimit
|
2024-03-11 13:01:58 +01:00 |
|
Edward Minnix III
|
e7852f520f
|
Merge pull request #15605 from egregius313/egregius313/csharp/dataflow/sources/commandargs-and-environment
C#: Add more `environment` and `commandargs` sources for the C# Standard Library
|
2024-03-08 14:10:09 -05:00 |
|
Tom Hvitved
|
63bb772ef9
|
Variable capture: Avoid overlapping and false-positive data flow paths
|
2024-03-08 10:00:42 +01:00 |
|
Tom Hvitved
|
2896bfbd9f
|
Merge pull request #15821 from hvitved/dataflow/clears-content-store
Data flow: Allow for direct stores into nodes with `clearsContent`
|
2024-03-08 09:59:29 +01:00 |
|
Ed Minnix
|
b0eb0e1f1e
|
Move common source kinds to "shared"
|
2024-03-07 12:20:45 -05:00 |
|
Tom Hvitved
|
76564edc93
|
Address review comment
|
2024-03-07 16:50:28 +01:00 |
|
Geoffrey White
|
b71b43a2fb
|
Merge pull request #15705 from geoffw0/qldoc3
Shared: Fill some QLDoc holes
|
2024-03-07 14:12:51 +00:00 |
|
Tom Hvitved
|
22b168beee
|
Data flow: Allow for direct stores into nodes with clearsContent
|
2024-03-07 12:47:12 +01:00 |
|