Asger F
|
d6ee54eb09
|
Merge pull request #10202 from asgerf/js/typescript-conditional-types
JS: Enable type extraction inside conditional types again
|
2022-08-29 14:26:06 +02:00 |
|
erik-krogh
|
8d162fac52
|
add query detecting consistent casing of names
|
2022-08-29 14:16:41 +02:00 |
|
Anders Schack-Mulligen
|
bd6acc0d75
|
Java: Refactor upcastCand, and track type flow for upcasts to unbound generics.
|
2022-08-29 13:57:39 +02:00 |
|
Anders Schack-Mulligen
|
fc415b32c2
|
Java: Bugfix in TypeFlow.
|
2022-08-29 13:50:13 +02:00 |
|
Anders Schack-Mulligen
|
e89b42fc11
|
Java: Allow dispatch to methods on abstract classes without subtypes.
|
2022-08-29 13:48:55 +02:00 |
|
erik-krogh
|
77949cbeb3
|
add context to the rankState predicate in ExponentialBackTracking.qll
|
2022-08-29 13:42:05 +02:00 |
|
Anders Schack-Mulligen
|
6e7dcfcc6e
|
Merge pull request #10097 from aschackmull/java/unification
Java: Improve virtual dispatch via better unification check and deduplicate code with parameterised module
|
2022-08-29 13:28:04 +02:00 |
|
erik-krogh
|
b1e53280a6
|
fix that the wrong line got deleted
|
2022-08-29 13:26:02 +02:00 |
|
Erik Krogh Kristensen
|
bd5fd7d963
|
fix typo in change-note
Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>
|
2022-08-29 13:25:54 +02:00 |
|
erik-krogh
|
56292cad26
|
don't modify the TypeScript nodes, instead forward illegalDecorators to the java extractor
|
2022-08-29 13:22:04 +02:00 |
|
erik-krogh
|
d0814aa37c
|
Go: add change-note for go
|
2022-08-29 13:10:23 +02:00 |
|
erik-krogh
|
33ba01927f
|
Go: add CWE tag and @security-severity tag to go/insecure-hostkeycallback
|
2022-08-29 13:10:23 +02:00 |
|
erik-krogh
|
f09fc7b0fc
|
Java: add java change-note
|
2022-08-29 13:10:21 +02:00 |
|
erik-krogh
|
8b37168223
|
Java: remove security tag from queries not in the security folder and with missing security-severity tags
|
2022-08-29 13:08:56 +02:00 |
|
erik-krogh
|
f678c8a967
|
PY: add python change-note
|
2022-08-29 13:08:52 +02:00 |
|
erik-krogh
|
4353937bcf
|
PY: add missing security tags on Python queries
|
2022-08-29 13:08:47 +02:00 |
|
Asger F
|
ea0ae98e58
|
JS: Use explicit this
|
2022-08-29 12:39:53 +02:00 |
|
erik-krogh
|
6aca9b9f49
|
fix support for illegal decorators in the TypeScript extractor
|
2022-08-29 12:14:58 +02:00 |
|
erik-krogh
|
50734c7c6a
|
bump the TypeScript version in the list of supported languages
|
2022-08-29 12:14:58 +02:00 |
|
erik-krogh
|
e0ff27331f
|
bump extractor version
|
2022-08-29 12:14:58 +02:00 |
|
erik-krogh
|
97ffd2d4d9
|
add change-note
|
2022-08-29 12:14:58 +02:00 |
|
erik-krogh
|
b7367ca649
|
update to TypeScript 4.8RC
|
2022-08-29 12:14:55 +02:00 |
|
Asger F
|
45d64c48e3
|
JS: Update test output
|
2022-08-29 12:01:47 +02:00 |
|
Philip Ginsbach
|
0634b9b9f7
|
rename example module and parameters
|
2022-08-29 10:55:07 +01:00 |
|
Anders Schack-Mulligen
|
adfd474fee
|
Java: Move file.
|
2022-08-29 11:50:54 +02:00 |
|
Philip Ginsbach
|
b74886a920
|
better explain the relevance of applicative instantiation
|
2022-08-29 10:49:09 +01:00 |
|
Philip Ginsbach
|
61b8cee84b
|
reference module expression documentation
|
2022-08-29 09:39:33 +01:00 |
|
Philip Ginsbach
|
c21ca8f312
|
better description of example code
|
2022-08-29 09:19:46 +01:00 |
|
Philip Ginsbach
|
5c69b42efa
|
better explanation of nominal typing
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:15:39 +01:00 |
|
Asger F
|
99f03a0d61
|
JS: Make API graphs take types from models into account
|
2022-08-29 10:14:56 +02:00 |
|
Asger F
|
d166727db9
|
JS: Add WithStringArgument[arg=const] filter
|
2022-08-29 10:14:56 +02:00 |
|
Asger F
|
4f3c8ec770
|
JS: Add AnyMember MaD token
|
2022-08-29 10:14:53 +02:00 |
|
Asger F
|
9887025af2
|
JS: Some minor fixes in Classes.qll
|
2022-08-29 10:14:53 +02:00 |
|
Philip Ginsbach
|
89de63ad1d
|
better explanation of what type signatures are used for
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:13:59 +01:00 |
|
Philip Ginsbach
|
7ea0f8d96b
|
better explanation of structural typing
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:12:31 +01:00 |
|
Philip Ginsbach
|
c5110e5d68
|
better description for predicate signatures
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:11:19 +01:00 |
|
Philip Ginsbach
|
cca5dfbbde
|
better description for type signatures
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:10:23 +01:00 |
|
Philip Ginsbach
|
16973c9a80
|
better formulation for module parameters
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:07:59 +01:00 |
|
Philip Ginsbach
|
7806308d5f
|
better formulation for module signatures
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:07:19 +01:00 |
|
Philip Ginsbach
|
5957494583
|
better explanation of structural typing
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:06:45 +01:00 |
|
Philip Ginsbach
|
c9ecb32318
|
better description of parameterized module instantiation
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2022-08-29 09:05:26 +01:00 |
|
Philip Ginsbach
|
56f51ee1ff
|
use parameterized rather than parameterised
|
2022-08-29 09:02:37 +01:00 |
|
Erik Krogh Kristensen
|
68bf9f39b9
|
Merge pull request #10181 from erik-krogh/fixCons
QL: remove consistency errors related to resolving multiple predicates from parameterized modules
|
2022-08-29 09:40:07 +02:00 |
|
erik-krogh
|
dda16a0a30
|
add a isSignature() predicate to ClasslessPredicate
|
2022-08-29 09:17:40 +02:00 |
|
Harry Maclean
|
5d356df300
|
QLDoc fixes
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
9651fa1573
|
Ruby: Add ActiveResource change note
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
ec58107439
|
QlDoc fix
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
dcc0123023
|
Fix QL4QL alert
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
06c95ba457
|
Ruby: QLDoc
|
2022-08-29 14:24:37 +12:00 |
|
Harry Maclean
|
75e1497fbf
|
Ruby: Import ActiveResource by default
|
2022-08-29 14:24:37 +12:00 |
|