Ed Minnix
|
3d0147765c
|
Add missing methods to jwtk-jjwt stubs
|
2023-05-04 16:52:40 -04:00 |
|
Ed Minnix
|
a38466b0f3
|
Erase generics in generated model
|
2023-05-04 16:52:40 -04:00 |
|
Ed Minnix
|
26cdf24bf0
|
Added MaD models for io.jsonwebtoken
|
2023-05-04 16:52:39 -04:00 |
|
Robert Marsh
|
e32e28d95f
|
Merge pull request #13035 from MathiasVP/ranked-phi-hack-for-bounded-phi
C++: Work around poor codegen for `forex` in IR-based range analysis
|
2023-05-04 16:48:00 -04:00 |
|
Robert Marsh
|
b7653ec92d
|
C++: ignore cast arrays in constant off-by-one query
|
2023-05-04 16:39:02 -04:00 |
|
Robert Marsh
|
d9665e1678
|
C++: add case test for constant off-by-one query
|
2023-05-04 16:34:29 -04:00 |
|
Robert Marsh
|
3abf5d1bd2
|
C++: stitch paths in array off-by-one query
|
2023-05-04 16:28:05 -04:00 |
|
Chuan-kai Lin
|
0984fc7cce
|
JS: Add pragma[only_bind_out] to Locatable::toString() calls
|
2023-05-04 13:20:56 -07:00 |
|
Jami
|
3c74c8bbe0
|
Merge pull request #13019 from jcogs33/jcogs33/url-open-stream-updates
Java: switch `url-open-stream` sink models to `experimentalSinkModel`
|
2023-05-04 15:07:44 -04:00 |
|
Chuan-kai Lin
|
d968cee2c4
|
Java: Add pragma[only_bind_out] to Top::toString() calls
|
2023-05-04 11:46:35 -07:00 |
|
Mathias Vorreiter Pedersen
|
27c4408431
|
Merge pull request #12997 from MathiasVP/sync-product-flow-across-calls
C++: Synchronize product dataflow paths on function entry points
|
2023-05-04 17:37:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
de08ada0bc
|
C++: Accept test changes.
|
2023-05-04 17:29:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
2587f8ed96
|
C++: Only alert on the largest possible overflow.
|
2023-05-04 17:29:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
a09a8dba95
|
C++: Add testcase with repeated TP alerts.
|
2023-05-04 16:59:54 +01:00 |
|
Stephan Brandauer
|
62ab91c14a
|
fix ql-for-ql warning
|
2023-05-04 17:48:50 +02:00 |
|
Stephan Brandauer
|
27703c777a
|
pull subtypes-logic out into helper predicate, and document it
|
2023-05-04 17:45:17 +02:00 |
|
Stephan Brandauer
|
0e5591ff86
|
move getCallable to signature module implementation, and document it
|
2023-05-04 17:35:46 +02:00 |
|
Stephan Brandauer
|
a616a786f0
|
formatting
|
2023-05-04 17:27:27 +02:00 |
|
Jami
|
4e31c46b0c
|
Merge pull request #13024 from jcogs33/jcogs33/remove-hardcoded-jwt-key-summaries
Java: remove `hardcoded-jwt-key` experimental summary models
|
2023-05-04 11:18:18 -04:00 |
|
Mathias Vorreiter Pedersen
|
5a5240dbf9
|
Merge pull request #12865 from rdmarsh2/rdmarsh2/range-analysis-ast-wrapper
C++: AST-based wrapper for new range analysis
|
2023-05-04 16:10:21 +01:00 |
|
Paolo Tranquilli
|
b511c5f355
|
Merge pull request #13012 from github/redsun82/swift-json
Swift: add infrastructure for emitting JSON diagnostics
|
2023-05-04 17:04:45 +02:00 |
|
Stephan Brandauer
|
36aabc077e
|
Update java/ql/src/Telemetry/AutomodelFrameworkModeCharacteristics.qll
Co-authored-by: Aditya Sharad <6874315+adityasharad@users.noreply.github.com>
|
2023-05-04 16:50:37 +02:00 |
|
Ed Minnix
|
5f3c8fef3f
|
Privacy markers and fixed imports
|
2023-05-04 10:25:17 -04:00 |
|
Ed Minnix
|
3100e98513
|
Add missing change notes and update date
|
2023-05-04 10:25:17 -04:00 |
|
Ed Minnix
|
74fc6382a6
|
Add improper validation of array size query libraries
|
2023-05-04 10:25:17 -04:00 |
|
Ed Minnix
|
c319ee4c0d
|
Add TempDirLocalInformationDisclosureQuery
|
2023-05-04 10:25:16 -04:00 |
|
Ed Minnix
|
b087cf9a0a
|
Add Arithmetic query libraries
|
2023-05-04 10:25:16 -04:00 |
|
Ed Minnix
|
b6361cdd3d
|
Move CWE-190/ArithmeticCommon.qll to semmle.code.java.security
|
2023-05-04 10:25:16 -04:00 |
|
Ed Minnix
|
77ee80fd81
|
Add missing change notes
|
2023-05-04 10:25:16 -04:00 |
|
Ed Minnix
|
24b00bac11
|
Add UnsafeHostnameVerificationQuery
|
2023-05-04 10:25:16 -04:00 |
|
Ed Minnix
|
f4a6f555b4
|
Add NumericCastTaintedQuery
|
2023-05-04 10:25:13 -04:00 |
|
Ed Minnix
|
e65a54b85f
|
Add BrokenCryptoAlgorithmQuery
|
2023-05-04 10:19:12 -04:00 |
|
Ed Minnix
|
4b76564911
|
Add MaybeBrokenCryptoAlgorithmQuery
|
2023-05-04 10:15:00 -04:00 |
|
Ed Minnix
|
e4f47ece43
|
Add ResponseSplittingLocalQuery
|
2023-05-04 10:15:00 -04:00 |
|
Ed Minnix
|
91b3533035
|
Add SqlTaintedLocalQuery
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
a0f7575b34
|
Add StackTraceExposureQuery
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
aff299eafd
|
Add ExecTaintedLocal
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
b39d5088de
|
Add InsecureCookieQuery
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
be24b29e7a
|
Add UrlRedirectLocalQuery.qll
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
0249187282
|
Add ExternallyControlledFormatStringLocalQuery.qll
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
5834e4ac52
|
Add UrlRedirectQuery.qll
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
cc22a7d4b4
|
Add XssLocalQuery
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
c2b6a3f4e0
|
Add XPathInjectionQuery
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
c15ce27957
|
Add SqlConcatenatedQuery
|
2023-05-04 10:14:59 -04:00 |
|
Ed Minnix
|
1af6d5f7b3
|
Add TaintedPermissionsCheckQuery
|
2023-05-04 10:14:59 -04:00 |
|
Kasper Svendsen
|
4035b16ac1
|
Merge pull request #13008 from kaspersv/kaspersv/explicit-this-receivers-shared1
Java, C#: Make implicit this receivers explicit
|
2023-05-04 15:38:45 +02:00 |
|
Owen Mansel-Chan
|
bb3101e649
|
Merge pull request #13022 from owen-mc/go/identify-environment-fixes
Go: `go-autobuilder --identify-environment` fixes
|
2023-05-04 14:30:31 +01:00 |
|
Alex Ford
|
b09772e85c
|
Merge pull request #12893 from alexrford/rb/sqlite3
Ruby: model sqlite3
|
2023-05-04 14:24:45 +01:00 |
|
Arthur Baars
|
0a5647d338
|
Merge pull request #13033 from github/aibaars-patch-2
Update tree-sitter-extractor-test.yml
|
2023-05-04 15:17:33 +02:00 |
|
Paolo Tranquilli
|
7ce1189e36
|
Swift: tweak after review comments
|
2023-05-04 15:14:46 +02:00 |
|