Mathias Vorreiter Pedersen
|
3bdfdd0573
|
C++: Change all the 'ensures' and (and most 'compares') predicates to be inlined to prevent explosions. Also remove the caching since this is't necessary now that the main recursion is cached.
|
2024-12-16 14:02:44 +00:00 |
|
Mathias Vorreiter Pedersen
|
404dd33498
|
C++: Move the main recursion into to a cached module.
|
2024-12-16 14:02:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
6f73aa552d
|
C++: Convert IRGuards to use final abstract classes.
|
2024-12-16 14:02:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
20dfbdc5cc
|
Revert "Merge pull request #18057 from jketema/codeql-cli-2.19.4"
This reverts commit ed922f6519, reversing
changes made to aa4cc72f30.
|
2024-12-16 14:02:38 +00:00 |
|
Michael Nebel
|
32bfbb832b
|
Merge pull request #18293 from michaelnebel/fixmain
Fix failing tests on main.
|
2024-12-16 14:26:25 +01:00 |
|
Michael Nebel
|
d0e9c3bb70
|
Fix failing tests on main.
|
2024-12-16 14:16:47 +01:00 |
|
Michael Nebel
|
aaf0cd5dee
|
Merge pull request #17968 from michaelnebel/java/movetestutils
Move test utilities to the query pack.
|
2024-12-16 13:41:30 +01:00 |
|
Simon Friis Vindum
|
31717524f0
|
Merge pull request #18270 from paldepind/rust-captured-variables
Rust: Flow through captured variables
|
2024-12-16 10:08:53 +01:00 |
|
Simon Friis Vindum
|
9da5d7128b
|
Rust: Add test with data flow inconsistency
|
2024-12-16 09:40:13 +01:00 |
|
Owen Mansel-Chan
|
7ab06fca2f
|
Merge pull request #18275 from owen-mc/go/mad/variadic-params-sources
Go: Make models-as-data source models for variadic parameters work
|
2024-12-15 13:22:21 +00:00 |
|
Paolo Tranquilli
|
0c5e260ae6
|
Merge pull request #18282 from github/redsun82/swift-remove-linux
Swift: remove linux from standard pack
|
2024-12-13 22:44:44 +01:00 |
|
Owen Mansel-Chan
|
906c51733c
|
Merge pull request #18266 from owen-mc/misc/prepare-db-upgrade-improvement
Misc: Look up remote name instead of using `origin` in `misc/prepare-db-upgrade.sh`
|
2024-12-13 21:42:18 +00:00 |
|
Edward Minnix III
|
9948f6e255
|
Merge pull request #18284 from egregius313/egregius313/go/dataflow/sources/commandargs/os-args
Go: Model `os.Args` as a `commandargs` source
|
2024-12-13 16:33:45 -05:00 |
|
Ed Minnix
|
7852c8666c
|
Update provenance in test results
|
2024-12-13 15:22:17 -05:00 |
|
Ed Minnix
|
88256e269a
|
Convert model from QL to MaD
|
2024-12-13 14:59:32 -05:00 |
|
Edward Minnix III
|
f844105722
|
Fix test result
|
2024-12-13 14:53:58 -05:00 |
|
Ed Minnix
|
f8cfa39492
|
Change note
|
2024-12-13 12:42:02 -05:00 |
|
Ed Minnix
|
3f9af5bfe4
|
Tests
|
2024-12-13 12:42:01 -05:00 |
|
Ed Minnix
|
63a3054aeb
|
os.Args variable read
|
2024-12-13 12:41:59 -05:00 |
|
Paolo Tranquilli
|
a8238b1896
|
Swift: fix pack
|
2024-12-13 17:39:16 +01:00 |
|
Paolo Tranquilli
|
a75f5fac15
|
Swift: remove linux from standard pack
This still defines a pack with linux included for development.
`//swift:install` will still also include linux.
|
2024-12-13 17:01:22 +01:00 |
|
Owen Mansel-Chan
|
e9dcd69cc0
|
Add readStep back to local taint flow
|
2024-12-13 13:30:18 +00:00 |
|
Owen Mansel-Chan
|
3a3e053f12
|
Only add taint steps for implicit varargs slice post-update nodes
|
2024-12-13 13:17:44 +00:00 |
|
Paolo Tranquilli
|
2cbb072668
|
Merge pull request #17699 from github/redsun82/swift-6
Swift: make extractor compilable with Swift 6
|
2024-12-13 12:27:35 +01:00 |
|
Paolo Tranquilli
|
92ec7e89ab
|
Merge branch 'main' into redsun82/swift-6
|
2024-12-13 09:38:15 +01:00 |
|
Owen Mansel-Chan
|
b58e6ebade
|
Address review comments for localTaintStep
|
2024-12-12 22:07:15 +00:00 |
|
Jeroen Ketema
|
792504434a
|
Merge pull request #18277 from jketema/printast
C++: Fix small PrintAST and PrintIR issue
|
2024-12-12 19:17:43 +01:00 |
|
Jeroen Ketema
|
8e458f4651
|
C++: Simplify local variable names
|
2024-12-12 17:13:02 +01:00 |
|
Jeroen Ketema
|
f9bfd969a9
|
C++: Address review comments
|
2024-12-12 16:49:24 +01:00 |
|
Simon Friis Vindum
|
1d8e7fd9ea
|
Rust: Accept differences
|
2024-12-12 16:47:51 +01:00 |
|
Simon Friis Vindum
|
0fa40fcdcc
|
Rust: Fix captured variable data flow inconsistency
|
2024-12-12 16:28:19 +01:00 |
|
Tom Hvitved
|
20db548fef
|
Merge pull request #18263 from hvitved/dataflow/remove-column
Data flow: Remove unused column from `flowThroughOutOfCall`
|
2024-12-12 15:41:20 +01:00 |
|
Geoffrey White
|
03f962ed86
|
Merge pull request #18226 from geoffw0/badcrypto
Rust: Weak encryption algorithm query.
|
2024-12-12 14:21:16 +00:00 |
|
Michael Nebel
|
a52a549945
|
Merge pull request #18246 from michaelnebel/csharp/fixwarnings
C#: Fix some new compiler warnings
|
2024-12-12 15:07:23 +01:00 |
|
Michael Nebel
|
0bfc1b6ea8
|
Also move the postprocessing queries to the library pack.
|
2024-12-12 15:03:03 +01:00 |
|
Michael Nebel
|
941b0abbf6
|
Move modules to the library packs.
|
2024-12-12 15:03:01 +01:00 |
|
Michael Nebel
|
864c34fc03
|
Rust: Update all test util paths to point to the new location.
|
2024-12-12 15:02:59 +01:00 |
|
Tom Hvitved
|
5d18e23979
|
Merge pull request #18269 from hvitved/csharp/dataflow-reflection-call
C#: Remove false-positive reflection calls in dataflow
|
2024-12-12 14:43:13 +01:00 |
|
Owen Mansel-Chan
|
26b52078c0
|
Add change note
|
2024-12-12 13:41:35 +00:00 |
|
Owen Mansel-Chan
|
8703e21f62
|
Merge pull request #17996 from owen-mc/java/lightweight-IR-layer-classes
Java: Make separate classes for different control flow node kinds
|
2024-12-12 13:36:54 +00:00 |
|
Geoffrey White
|
44a0ad2942
|
Update data-flow -> data flow in all versions of ConceptsShared.qll.
|
2024-12-12 13:36:26 +00:00 |
|
Michael Nebel
|
9c0dddb4d8
|
Merge pull request #18267 from michaelnebel/csharp/updateglobaljson
C#: Update global.json for cshtml_standalone_flowsteps.
|
2024-12-12 13:55:03 +01:00 |
|
Michael Nebel
|
cbae2cf7fa
|
Rust: Move test utilities into the query pack.
|
2024-12-12 13:54:42 +01:00 |
|
Michael Nebel
|
9ecacddf79
|
Swift: Update all test util paths to point to the new location.
|
2024-12-12 13:54:40 +01:00 |
|
Michael Nebel
|
ca66153a3b
|
Swift: Move test utilities into the query pack.
|
2024-12-12 13:54:38 +01:00 |
|
Michael Nebel
|
138e294dae
|
Ruby: Update all test util paths to point to the new location.
|
2024-12-12 13:54:37 +01:00 |
|
Michael Nebel
|
157afff135
|
Ruby: Move test utilities into the query pack.
|
2024-12-12 13:54:35 +01:00 |
|
Michael Nebel
|
2ca6147932
|
QL: Update all test util paths to point to the new location.
|
2024-12-12 13:54:33 +01:00 |
|
Michael Nebel
|
dd06d50b7f
|
QL: Move test utilities into the src folder.
|
2024-12-12 13:54:32 +01:00 |
|
Michael Nebel
|
2321ca59f6
|
Python: Update all test util paths to point to the new location.
|
2024-12-12 13:54:30 +01:00 |
|