Ed Minnix
13e1cc50c8
Add SpringUrlRedirect
2023-04-12 20:37:35 -04:00
Ed Minnix
30cfbb83b3
Add UncaughtServletException
2023-04-12 20:37:35 -04:00
Ed Minnix
5594e7f6d2
Add SensitiveGetQuery
2023-04-12 20:37:35 -04:00
Ed Minnix
478309c90b
Add UnsafeDeserializationRmi
2023-04-12 20:37:35 -04:00
Ed Minnix
e2cfea19b5
Add UnsafeUrlForward
2023-04-12 20:37:35 -04:00
Ed Minnix
d48adbd175
Refactor JsonpInjection
2023-04-12 20:37:35 -04:00
Ed Minnix
8cb5e78832
Refactor XXE files
2023-04-12 20:37:35 -04:00
Ed Minnix
4c80ff03de
Refactor UnvalidatedCors
2023-04-12 20:37:35 -04:00
Ed Minnix
d254d91f57
Refactor Injection queries
2023-04-12 20:37:35 -04:00
Ed Minnix
7002ed5303
Refactor InsecureRmiJmxEnvironmentConfiguration
2023-04-12 20:37:35 -04:00
Ed Minnix
6e4e1e52c0
Refactor NFEAndroidDoS
2023-04-12 20:37:35 -04:00
Ed Minnix
94768f425f
Refactor HashWithoutSalt
2023-04-12 20:37:35 -04:00
Ed Minnix
cb7391177d
Refactor MyBatis queries
2023-04-12 20:37:35 -04:00
Ed Minnix
d528c8461f
Refactor XQueryInjection.ql
2023-04-12 20:37:35 -04:00
Ed Minnix
e7cbd493d7
Refactor FilePathInjection
2023-04-12 20:37:35 -04:00
Ed Minnix
47c5db03ab
Refactor OpenStream.ql
2023-04-12 20:37:34 -04:00
Ed Minnix
5bd9aae072
Refactor Log4jJndiInjection.ql
2023-04-12 20:37:34 -04:00
Asger F
2f82f4338a
QL: Dont ask me to inline cached predicates
2023-04-12 20:33:21 +02:00
Mathias Vorreiter Pedersen
184cb74cd0
Swift: Accept test changes.
2023-04-12 17:38:34 +01:00
Mathias Vorreiter Pedersen
f46ea325e8
Swift: Add dataflow through key-path expressios by modeling them as lambdas that perform a sequence of read steps.
2023-04-12 17:38:34 +01:00
Mathias Vorreiter Pedersen
21b03927c5
Swift: Add failing tests.
2023-04-12 17:38:29 +01:00
Chris Smowton
d049b112a9
Merge pull request #12750 from smowton/smowton/admin/add-dataflow-viableParamArgSpecific-hook
...
Go: mass-convert taint-flow models to models-as-data format (with `viableParamArgSpecific` hook)
2023-04-12 17:11:18 +01:00
Mathias Vorreiter Pedersen
ba4e3ae949
Update cpp/ql/src/Critical/FlowAfterFree.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2023-04-12 16:50:57 +01:00
Mathew Payne
824ff8ad88
Add function signature to model
2023-04-12 14:54:06 +00:00
Mathew Payne
ffec22a5d2
Add change log notes
2023-04-12 14:48:28 +00:00
Mathew Payne
d0529bba2b
Add missing models for Java IO
...
- java.io.OutputStream
- java.nio.file.Files
2023-04-12 14:43:11 +00:00
Chris Smowton
d648b34037
Accept test changes
...
These are caused by nodes being hidden by https://github.com/github/codeql/pull/12783
2023-04-12 15:05:04 +01:00
Mathias Vorreiter Pedersen
566513e927
Merge pull request #12800 from MathiasVP/fix-joins-in-constant-array-overflow
...
C++: Fix joins in `cpp/constant-array-overflow`
2023-04-12 14:57:17 +01:00
Asger F
69cb138912
Ruby: Tweak caching/inlining or API graph predicates
2023-04-12 15:56:58 +02:00
Chris Smowton
7eefa43f5a
Rename and document viableArgParamSpecific to make clear it is a temporary hook.
2023-04-12 14:33:46 +01:00
Asger F
7e23bf3938
Ruby: remove some redundant getASubclass() calls
2023-04-12 15:32:01 +02:00
Chris Smowton
1706367b34
Document DataFlowCallable
2023-04-12 14:24:21 +01:00
Chris Smowton
9f4b77e851
Accept test changes
2023-04-12 14:19:06 +01:00
Chris Smowton
4d8ca3d759
Add dataflow callback to filter out receiver argument flow to Golang interface dispatch candidates.
...
Other langauges stub the callback.
2023-04-12 14:19:06 +01:00
Chris Smowton
7ffe863ba6
Remove addressed FIXME
...
This was addressed by adding `getAPackageWithSummarizedCallables`
2023-04-12 14:19:06 +01:00
Chris Smowton
985e07d902
pragma[nomagic] hasQualifiedName
...
These are cheap and frequently-used, and magicking them with respect to `interpretPackage` was yielding expensive, unnecessary regex operations.
2023-04-12 14:19:06 +01:00
Chris Smowton
0129167cc4
Convert Beego's MapGet method to MaD
2023-04-12 14:19:06 +01:00
Chris Smowton
b86f0cf268
Sort models
2023-04-12 14:19:06 +01:00
Chris Smowton
12527e406b
Remove unnecessary model
...
This referred to a private type
2023-04-12 14:19:05 +01:00
Chris Smowton
2abffccded
Accept test changes
2023-04-12 14:19:05 +01:00
Chris Smowton
3cea01b6c8
Fix functions with multiple models
...
In some cases multiple return value outputs can be coalesced, and in others we had accidentally conflated two independent flows (e.g. Arg1 -> Arg2 | Arg3 -> Arg4 led to accidentally introducing Arg1 -> Arg4 and Arg3 -> Arg2)
2023-04-12 14:19:05 +01:00
Chris Smowton
4a89dbc498
Revert "Remove unnecessary models"
...
This reverts commit 12eaedc188487275e8cd6bed4a4318fed4d4b752.
We can't do this now, because there is nothing to guarantee an interface has actually been extracted, and therefore whether a model will get applied. Therefore explicitly modelling methods that may be interface implementations where the interface is in a different package may still make a difference to behaviour.
2023-04-12 14:19:05 +01:00
Chris Smowton
3f6ceccbe8
US spelling
2023-04-12 14:19:05 +01:00
Chris Smowton
8c553ec0fc
Autoformat go
2023-04-12 14:19:05 +01:00
Chris Smowton
ac4dcc6c4b
Add ioutil usage to TaintSteps test
...
It appears at present the Go standard library imports the deprecated io/ioutil package internally on some platforms but not others. Therefore I add a test explicitly using it to make the test behave more uniformly.
2023-04-12 14:19:05 +01:00
Chris Smowton
3c48609635
Accept test changes
2023-04-12 14:19:05 +01:00
Chris Smowton
ed56461ed7
Remove unnecessary models
...
These are inherited from Stringer, Reader, Writer and BinaryMarshaler
2023-04-12 14:19:05 +01:00
Chris Smowton
19e8974766
Fix comment
2023-04-12 14:19:05 +01:00
Chris Smowton
140505222f
Update test expectations
2023-04-12 14:19:04 +01:00
Chris Smowton
1a7927d3a1
Fix x/net/html.EscapeString modelling
...
This had never worked due to accidentally extending non-abstract class HtmlEscapeFunction; consequently it was neither a taint propagator in general, nor an HTML escape function. Added tests to ensure it is now behaving as intended.
2023-04-12 14:19:04 +01:00