Owen Mansel-Chan
1a1b6a1b93
Use any() to stub getCallbackParameter/ReturnType
...
This is used in all other languages not currently using dataflow type
pruning.
2022-12-15 12:24:23 +00:00
Michael Nebel
100f64c09a
C#: Migrate tests to use the implicitly loaded .ext.yml data extensions.
2022-12-15 13:11:09 +01:00
Owen Mansel-Chan
0af530061d
Merge pull request #11697 from owen-mc/go/make-dataflowtype-singleton
...
Make DataFlowType a singleton
2022-12-15 12:07:57 +00:00
Rasmus Lerchedahl Petersen
a97bbdd0bc
python: rework hierarchy to avoid breaking API
2022-12-15 13:01:04 +01:00
Jeroen Ketema
ef61d14e9c
C++: Add change note
2022-12-15 12:57:13 +01:00
Mathias Vorreiter Pedersen
73b93be313
C++: Prevent non-termination in 'getTypeImpl' when a iterator defines itself as 'value_type'.
2022-12-15 11:55:25 +00:00
Mathias Vorreiter Pedersen
526b913f7d
C++: Fix join orders.
2022-12-15 11:55:25 +00:00
Mathias Vorreiter Pedersen
cb47bdd9fd
C++: Accept test changes.
2022-12-15 11:55:25 +00:00
Mathias Vorreiter Pedersen
f94ca0e087
C++: Add implicit defs and uses for iterators' underlying containers.
2022-12-15 11:55:21 +00:00
Mathias Vorreiter Pedersen
78b7e12b87
C++: Make 'DefImpl' and 'useImpl' abstract.
2022-12-15 11:54:32 +00:00
Mathias Vorreiter Pedersen
5d417d7a69
C++: Implement an 'Indirection' subtype for iterators.
2022-12-15 11:54:32 +00:00
Mathias Vorreiter Pedersen
ef110e77ff
C++: Remove an unnecessary predicate from the 'Indirection' class.
2022-12-15 11:54:32 +00:00
Rasmus Lerchedahl Petersen
997e3599f0
python: make tests valid and more fleshed out
2022-12-15 12:54:16 +01:00
Rasmus Lerchedahl Petersen
8e8d36f35e
python: this also works in 3.11
2022-12-15 12:54:14 +01:00
Rasmus Lerchedahl Petersen
3ace1ee69f
Python: remove obsolete coments
2022-12-15 12:54:13 +01:00
Jeroen Ketema
0b4c4fd580
C++: Simplify deallocation check
2022-12-15 12:46:32 +01:00
Tony Torralba
6837af97bc
Apply suggestions from code review
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2022-12-15 12:35:54 +01:00
Tony Torralba
11c03fb8c9
Add 'good' test cases
2022-12-15 12:35:47 +01:00
Owen Mansel-Chan
039d582060
Fix date in unrelated change note
2022-12-15 11:04:48 +00:00
Owen Mansel-Chan
06038d575e
Improve comments about Fields
2022-12-15 11:04:48 +00:00
Owen Mansel-Chan
e01e40c532
Fix FuncTypeExpr.getNumParameter
...
It actually counts the number of parameter declarations. We correct it
to do what it says and introduce `FuncTypeExpr.getNumParameterDecls`,
which we then use in `FuncTypeExpr.getUniquelyNumberedChild`.
2022-12-15 11:04:48 +00:00
Alex Ford
1b49bfe605
Merge pull request #11497 from alexrford/ruby/rails_globalid
...
Ruby: model `rails/globalid` component
2022-12-15 10:35:15 +00:00
Erik Krogh Kristensen
1500fa5f67
Merge pull request #10663 from pwntester/restify_improvements
...
Javascript: Improve Restify support and add new Spife support
2022-12-15 11:08:22 +01:00
Michael Nebel
a67e02df21
Merge pull request #11691 from michaelnebel/renameextensibles
...
C#/Java: Rename externalflow extensible predicates
2022-12-15 11:05:22 +01:00
Tom Hvitved
b3feb4f295
Update ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll
...
Co-authored-by: Asger F <asgerf@github.com >
2022-12-15 10:46:06 +01:00
Paolo Tranquilli
3084eda28a
Swift: add swiftmodule hash map testing to frontend_invocations
2022-12-15 10:33:47 +01:00
Paolo Tranquilli
e42ae09e1c
Swift: fix interaction between bash wrapper and open redirection on macOS
2022-12-15 09:50:31 +01:00
Michael Nebel
12c1ebd81c
C#/Java: Add change note.
2022-12-15 09:41:14 +01:00
Jeroen Ketema
4fb43d56b3
C++: Exclude deallocation functions as scanf result accesses
2022-12-15 09:39:16 +01:00
Jami Cogswell
56acfdf672
Java: update test case
2022-12-15 00:57:08 -05:00
Jami Cogswell
510cd4a163
Java: change negative to neutral
2022-12-15 00:46:03 -05:00
Jami Cogswell
f1ddbbb96f
Java: update remaining models
2022-12-15 00:33:35 -05:00
Jami Cogswell
46b8fbc4c9
Java: update remaining models, resolve merge conflict
2022-12-15 00:33:06 -05:00
Jami Cogswell
15069250eb
Java: add draft of test case
2022-12-15 00:24:41 -05:00
Jami Cogswell
134577e52b
Java: some updates to models
2022-12-15 00:24:41 -05:00
Jami Cogswell
4c590d1190
Java: move most negative models to package.model.yml files
2022-12-15 00:24:41 -05:00
Jami Cogswell
b7016feb44
Java: initial updates based on review comments
2022-12-15 00:24:41 -05:00
Jami Cogswell
b3dbf00ae6
Java: update comment
2022-12-15 00:24:41 -05:00
Jami Cogswell
9d3abc72bf
Java: add draft of top 100 jdk models
2022-12-15 00:24:40 -05:00
Nora Dimitrijević
7ea0eada11
Swift: add missing Builtin symbols
2022-12-14 20:03:41 -05:00
turbo
5fd5ebc26e
Create security-experimental suite helper and all language suite implementations
2022-12-14 23:35:32 +01:00
Nora Dimitrijević
2d288906a4
Swift: fix db downgrade script
2022-12-14 17:27:11 -05:00
Ed Minnix
72484b9483
Change wording of addJavascriptInterface query description
2022-12-14 16:19:03 -05:00
Nora Dimitrijević
e16b23afc1
Swift: db upgrade/downgrade script
2022-12-14 15:56:05 -05:00
Jami
359e49044f
Merge branch 'main' into jcogs33/mad-metrics-query
2022-12-14 15:33:29 -05:00
Nora Dimitrijević
8a3ef31a2c
Swift: silence QL-for-QL redundant import warning
2022-12-14 15:22:39 -05:00
Nora Dimitrijević
5faa44389e
Swift: Basic acceptance of UnsafeJsEval test
...
TODO: Fix remaining problem in a separate PR:
- path found to one async `@MainActor` evaluateJavaScript
call, but not others. Investigate why.
- Remove duplicate paths and those with unnecessary [summary] nodes.
2022-12-14 15:02:15 -05:00
Nora Dimitrijević
95d4c304da
Swift: Fix .expected tests
...
Only UnsafeJsEval remains.
2022-12-14 15:02:15 -05:00
Erik Krogh Kristensen
55558120d9
add explicit this
2022-12-14 20:59:28 +01:00
Nora Dimitrijević
6269e6b24d
Swift: move getName to Callable (generated)
...
Now that getStaticTarget returns a Callable.
2022-12-14 14:30:33 -05:00
