Owen Mansel-Chan
e0f7437d40
Sync dataflow library
2023-06-14 14:29:56 +01:00
Owen Mansel-Chan
dd57d9fd55
Add flowCheckNodeSpecific
...
This allows individual languages to specify `FlowCheckNode`s, which
break up the big step relation and make sure that those nodes appear in
path summaries.
2023-06-14 14:27:58 +01:00
Owen Mansel-Chan
d071b463a3
Add failing tests for MaD with pointer content
2023-06-14 14:14:37 +01:00
Nora Dimitrijević
0db321c724
Merge branch 'main' into swift/brace-stmt-variables
2023-06-14 14:57:46 +02:00
Nora Dimitrijević
77f52e4e01
Swift: better join order fix for NamedPattern.getVarDecl
...
This brings it down to 85ms when run from a query, not just from quick-eval:
```
[2023-06-14 14:47:06] Evaluated non-recursive predicate NamedPattern#1696c0d8::NamedPattern::getVarDecl#0#dispred#ff@04392e6o in 85ms (size: 91309).
Evaluated relational algebra for predicate NamedPattern#1696c0d8::NamedPattern::getVarDecl#0#dispred#ff@04392e6o with tuple counts:
1310544 ~9% {2} r1 = SCAN var_decls OUTPUT In.0, In.1
1209062 ~0% {2} r2 = STREAM DEDUP r1
1209062 ~0% {2} r3 = JOIN r2 WITH Synth#5f134a93::Synth::convertVarDeclToRaw#1#ff_10#join_rhs ON FIRST 1 OUTPUT Rhs.1, Lhs.1
91309 ~0% {3} r4 = JOIN r3 WITH VarDecl#914e0d1e::Generated::VarDecl::getImmediateParentPattern#0#dispred#ff ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.0
69599 ~0% {3} r5 = JOIN r4 WITH #Pattern#19b8cf65::Pattern::getImmediateEnclosingPattern#0#dispredPlus#bf_10#join_rhs ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2
160908 ~1% {3} r6 = r4 UNION r5
94246 ~0% {4} r7 = JOIN r6 WITH Synth#5f134a93::Synth::convertNamedPatternToRaw#1#ff ON FIRST 1 OUTPUT Rhs.1, Lhs.1, Lhs.2, Lhs.0
91309 ~1% {2} r8 = JOIN r7 WITH named_patterns ON FIRST 2 OUTPUT Lhs.3, Lhs.2
return r8
```
2023-06-14 14:52:10 +02:00
Rasmus Lerchedahl Petersen
9a1e895fdc
Python: missed removing these
...
`set.add` and `list.append` do not return a value
2023-06-14 14:51:21 +02:00
Tony Torralba
7c4cdbf0d6
Remove badly generated models
2023-06-14 14:20:16 +02:00
Jami
35591113c2
Merge branch 'main' into jcogs33/shared-sink-kind-validation
2023-06-14 08:06:34 -04:00
Michael Nebel
f26c514426
C#: Remove the JumpReturnKind and the related summary component stack.
2023-06-14 14:00:19 +02:00
Michael Nebel
afec9b05e9
Merge pull request #13147 from michaelnebel/csharp/entityframeworkrefactor
...
C#: Use synthetic global in the EntityFramework code instead of jump steps.
2023-06-14 13:47:56 +02:00
Rasmus Lerchedahl Petersen
3b558a0044
python: remove spurious return flow
2023-06-14 13:35:37 +02:00
yoff
38cca08a86
Apply suggestions from code review
...
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com >
2023-06-14 13:27:33 +02:00
Asger F
f737054216
Merge pull request #13380 from asgerf/js/fix-sink-kind
...
JS: Fix invalid source kind in test
2023-06-14 12:56:58 +02:00
Tony Torralba
5e3d9d8136
Java: Model the Stapler framework
2023-06-14 12:34:52 +02:00
Tony Torralba
182513a981
Merge pull request #13235 from atorralba/atorralba/java/hudson-models
...
Java: Add Hudson models
2023-06-14 12:33:18 +02:00
Taus
e5b17af9b5
Java: Fix bad tool output
2023-06-14 12:16:44 +02:00
Ian Lynagh
36e8441ed7
Merge pull request #13427 from igfoo/igfoo/references
...
Kotlin: Avoid using deprecated APIs
2023-06-14 11:15:35 +01:00
Jean Helie
209f3e26d4
Merge pull request #13239 from github/tausbn/automodel-application-mode
...
Java: Add QL support for automodel application mode
2023-06-14 11:42:26 +02:00
Michael Nebel
2200a2ae79
C#: Address review comments.
2023-06-14 11:25:31 +02:00
Asger F
5aea6fc16c
JS: Remove dataExtensions clause from test qlpack
2023-06-14 10:42:31 +02:00
Asger F
21831516f4
JS: use test-local data extensions
2023-06-14 10:38:33 +02:00
Tony Torralba
8bafc22add
Replace open-url sink kinds with request-forgery
2023-06-14 09:59:59 +02:00
Tony Torralba
73d2ab7d66
Add change note
2023-06-14 09:58:30 +02:00
Tony Torralba
686c35e210
Add autogenerated models
2023-06-14 09:58:30 +02:00
Anders Schack-Mulligen
1a4fca334f
Merge pull request #13273 from aschackmull/dataflow/summarynode-refactor
...
Dataflow: Refactor FlowSummaryImpl to synthesize nodes independently from DataFlow::Node.
2023-06-14 09:38:36 +02:00
erik-krogh
8663a8ba1c
add change-note
2023-06-14 08:31:57 +02:00
erik-krogh
df61c4dd62
reintroduce the experiemental queries that use deprecated features
2023-06-14 08:31:57 +02:00
erik-krogh
bfe7e62f35
update some expected outputs - some tests no longer have an edges relation - and XsltSinks lost a result
2023-06-14 08:31:57 +02:00
erik-krogh
1f8f111ef6
reintroduce DataFlowType - otherwise nothing in the old DataFlow library would compile
2023-06-14 08:31:57 +02:00
erik-krogh
6e001ec062
deprecate SqlInjectionSink - it's not used anywhere
2023-06-14 08:31:57 +02:00
erik-krogh
e463819bc2
get ParamSource.ql to compile by deleting import that got deleted - I have no if this is a good change
2023-06-14 08:31:57 +02:00
erik-krogh
3a436d1f84
do a quick-and-dirty conversion of py/hardcoded-credentials to the new dataflow library
2023-06-14 08:31:56 +02:00
erik-krogh
ae8bf5ed3c
delete old deprecations
2023-06-14 08:31:51 +02:00
Rasmus Lerchedahl Petersen
f1de753400
python: add changenote
2023-06-13 21:59:51 +02:00
Rasmus Lerchedahl Petersen
4b4b9bf9da
python: add missing summaries
...
For append/add:
The new results in the experimental tar slip query
show that we do not recognize the sanitisers.
2023-06-13 20:22:21 +02:00
Rasmus Lerchedahl Petersen
b72c93ff4f
python: remove remaining explicit taint steps
2023-06-13 20:22:20 +02:00
yoff
1d65284011
Merge pull request #13209 from yoff/python/container-summaries-2
...
python: Container summaries, part 2
2023-06-13 18:17:09 +02:00
Rasmus Lerchedahl Petersen
775f3eaf56
python: make copy a dataflow step
2023-06-13 17:07:41 +02:00
Taus
b860b21ced
Update MaD Declarations after Triage
2023-06-13 16:50:58 +02:00
Alexandre Boulgakov
7280f07611
Merge pull request #13336 from github/sashabu/c++20-todos
...
Swift: Fix some C++20 todos.
2023-06-13 15:25:29 +01:00
Alexandre Boulgakov
f5d6f50851
Merge pull request #13335 from github/sashabu/c++20
...
Build: Bump build mode to C++20.
2023-06-13 15:03:01 +01:00
yoff
4056358863
Merge pull request #13438 from RasmusWL/flask-render-string
...
Python: Add modeling of `flask.render_template_string`
2023-06-13 14:56:43 +02:00
Michael Nebel
9690ff6177
C#: Address review comments.
2023-06-13 14:19:17 +02:00
Alex Ford
75ccbe58ee
Ruby: rack - use Mimetype rather than MimeType in predicate names for consistency with concepts
2023-06-13 12:44:29 +01:00
Alex Ford
977ceb89fd
Ruby: rack - remove PotentialResponseNode#getAStatusCode
2023-06-13 12:42:46 +01:00
Alex Ford
af1ca7fec7
Update ruby/ql/lib/codeql/ruby/frameworks/rack/internal/App.qll
...
Co-authored-by: Asger F <asgerf@github.com >
2023-06-13 12:37:31 +01:00
Rasmus Wriedt Larsen
2b7fc94aef
Python: Fix validTest.py expectation
2023-06-13 12:11:28 +02:00
Erik Krogh Kristensen
4dc596f0fb
Merge pull request #13381 from erik-krogh/mongooseFindByIdAndUpdate
...
JS: remove the second argument of findByIdAndUpdate as a NoSQL sink
2023-06-13 11:59:58 +02:00
Rasmus Lerchedahl Petersen
33ad15e989
ruby: use aliases
2023-06-13 11:49:30 +02:00
Rasmus Lerchedahl Petersen
e11f6b5107
ruby/python: adjust shared file
...
- move `isNonLocal` to the top
- missing backtics
2023-06-13 11:49:30 +02:00