Alexandre Boulgakov
|
a1beaa6300
|
Merge pull request #13186 from github/redsun82/swift-diagnostics-wording
Swift: reword TSP diagnostics after doc team review
|
2023-05-19 15:15:46 +01:00 |
|
Geoffrey White
|
5ffde7a762
|
Update swift/ql/lib/codeql/swift/elements/decl/EnumDecl.qll
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-05-19 14:55:39 +01:00 |
|
Alexandre Boulgakov
|
110b766770
|
Swift: Add a . to a test message to match the logging API change in this PR.
|
2023-05-19 14:46:12 +01:00 |
|
Philip Ginsbach
|
6957857773
|
add syntax for signature declarations to QL specification
|
2023-05-19 14:44:29 +01:00 |
|
Alexandre Boulgakov
|
1e9b849e93
|
Merge branch 'main' into redsun82/swift-diagnostics-wording
|
2023-05-19 14:43:01 +01:00 |
|
Alexandre Boulgakov
|
8f7279ee05
|
Swift: TSP message wording changes.
|
2023-05-19 14:39:57 +01:00 |
|
Alexandre Boulgakov
|
5bb2eb4155
|
Swift: TSP message wording changes.
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com>
|
2023-05-19 14:37:18 +01:00 |
|
Alexandre Boulgakov
|
137b4a99ef
|
Swift: TSP message wording changes.
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com>
|
2023-05-19 14:36:24 +01:00 |
|
Alexandre Boulgakov
|
ddcac20a94
|
Swift: TSP message wording changes.
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com>
|
2023-05-19 14:36:14 +01:00 |
|
Alexandre Boulgakov
|
8a15af5614
|
Swift: TSP message wording changes.
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com>
|
2023-05-19 14:36:04 +01:00 |
|
Geoffrey White
|
68bdd51dd3
|
Swift: Add QLDoc encouraging this pattern.
|
2023-05-19 14:35:08 +01:00 |
|
Geoffrey White
|
0d8aa825d9
|
Swift: Use asNominalType() more widely to include things declared in extensions.
|
2023-05-19 14:19:32 +01:00 |
|
Geoffrey White
|
ccbd041875
|
Swift: Use asNominalTypeDecl() to simplify models.
|
2023-05-19 14:04:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
2206216dbb
|
Merge pull request #13221 from geoffw0/filepath
Swift: Taint model for FilePath
|
2023-05-19 14:01:22 +01:00 |
|
Geoffrey White
|
c8dfc87dae
|
Swift: getName -> getFullName.
|
2023-05-19 12:18:17 +01:00 |
|
Geoffrey White
|
13755ad5f5
|
Swift: Remove placeholder lines I had left in.
|
2023-05-19 11:42:00 +01:00 |
|
Tony Torralba
|
babf429c9a
|
Merge pull request #13220 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2023-05-19 08:57:15 +02:00 |
|
github-actions[bot]
|
66f2579437
|
Add changed framework coverage reports
|
2023-05-19 00:15:25 +00:00 |
|
Geoffrey White
|
6dfad79972
|
Swift: Model FilePath.
|
2023-05-18 18:56:08 +01:00 |
|
Geoffrey White
|
371bcc55fa
|
Swift: Consolidate and extend tests of taint flow through FilePath.
|
2023-05-18 18:01:38 +01:00 |
|
Alexandre Boulgakov
|
fa52c32564
|
Merge pull request #13170 from github/sashabu/internal-error-tsp
Swift: Emit diagnostics on assertion/expectation violations.
|
2023-05-18 17:19:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
e0263a719e
|
Merge pull request #13218 from MathiasVP/c18-to-c17
C++: Replace `C18` with `C17` in documentation
|
2023-05-18 16:42:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
70b08a093c
|
C++: Replace 'C18' with 'C17'.
|
2023-05-18 15:55:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
8f7bb8b11f
|
Merge pull request #13217 from MathiasVP/cleanup-overrun-write-product-flow
C++: Small cleanup of `cpp/overrun-write`
|
2023-05-18 13:59:44 +01:00 |
|
Tony Torralba
|
a8afa4785e
|
Merge pull request #13140 from atorralba/atorralba/java/spring-jdbc-namedparam-models
Java: Add SQLi sinks for Spring JDBC
|
2023-05-18 14:49:28 +02:00 |
|
Mathias Vorreiter Pedersen
|
a77c62473e
|
C++: Reduce code-duplication in 'cpp/overrun-write'.
|
2023-05-18 13:23:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
8cf25ba421
|
Merge pull request #13191 from MathiasVP/fix-pointer-pointee-conflation
C++: Fix pointer/pointee conflation
|
2023-05-18 13:09:10 +01:00 |
|
Alvaro Muñoz
|
bf3fb09dfd
|
Apply suggestions from code review
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2023-05-18 12:39:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
2e734755fb
|
Merge pull request #13215 from MathiasVP/update-qldoc-on-typemention
C++: Update documentation for `TypeMention`
|
2023-05-18 10:24:13 +01:00 |
|
Jeroen Ketema
|
34fdeb4e6b
|
Merge pull request #13203 from jketema/deref-size
C++: Use range analysis-based `hasSize` predicate in `cpp/invalid-pointer-deref`
|
2023-05-18 11:03:09 +02:00 |
|
Geoffrey White
|
d26a86185f
|
Swift: Codegen.
|
2023-05-18 09:43:13 +01:00 |
|
Geoffrey White
|
f0ce5b09c6
|
Swift: Address QL-for-QL warning.
|
2023-05-18 09:43:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
a475efbe39
|
Update cpp/ql/lib/semmle/code/cpp/Type.qll
|
2023-05-18 09:37:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3b6b470f4
|
C++: Update documentation for 'TypeMention'.
|
2023-05-18 09:32:31 +01:00 |
|
Tony Torralba
|
2c54996499
|
Apply @jcogs33's suggestions from code review
|
2023-05-18 08:51:19 +02:00 |
|
Nicky Mouha
|
27519ce3ea
|
Create IfStatementAdditionOverflow.qhelp
|
2023-05-17 15:27:19 -04:00 |
|
Nicky Mouha
|
187299fcaf
|
Update test.cpp
|
2023-05-17 15:20:54 -04:00 |
|
Nicky Mouha
|
ef57861789
|
Update IfStatementAdditionOverflow.expected
|
2023-05-17 15:19:52 -04:00 |
|
Nicky Mouha
|
5c6fc2ff01
|
Update IfStatementAdditionOverflow.ql
|
2023-05-17 15:18:52 -04:00 |
|
Geoffrey White
|
3539e55bb2
|
Swift: Autoformat.
|
2023-05-17 19:21:41 +01:00 |
|
Geoffrey White
|
6c35bbf5c2
|
Swift: Simplify / focus the test.
|
2023-05-17 19:15:27 +01:00 |
|
Geoffrey White
|
95caaecd71
|
Swift: Add EnumDecl.getEnumElement(_).
|
2023-05-17 19:05:27 +01:00 |
|
Geoffrey White
|
66b13e2294
|
Swift: Add a test of enum decls.
|
2023-05-17 19:01:57 +01:00 |
|
Tony Torralba
|
1b06bf132c
|
Merge pull request #12932 from atorralba/atorralba/java/promote-xxe-experimental-sinks
Java: Promote experimental XXE sinks
|
2023-05-17 17:39:31 +02:00 |
|
Óscar San José
|
cc36e3c809
|
Merge pull request #13192 from github/post-release-prep/codeql-cli-2.13.2-fix-release-notes-check
Change regexp to include released change-notes pattern in check-change-note CI check
|
2023-05-17 17:28:59 +02:00 |
|
Jeroen Ketema
|
d1efffe492
|
Merge branch 'main' into deref-size
|
2023-05-17 17:13:49 +02:00 |
|
Jeroen Ketema
|
e3aecd3f1f
|
Merge pull request #13200 from jketema/deref-subpath
C++: Implement the `subpaths` query predicate for `cpp/invalid-pointer-deref`
|
2023-05-17 17:13:28 +02:00 |
|
Óscar San José
|
f72afd0727
|
fixing typo
|
2023-05-17 17:08:37 +02:00 |
|
Jami Cogswell
|
be84fc2eac
|
C#: add change note
|
2023-05-17 10:52:16 -04:00 |
|
Mathias Vorreiter Pedersen
|
9e05569121
|
C++/C#: Sync identical files.
|
2023-05-17 15:42:44 +01:00 |
|