Paolo Tranquilli
|
20e94b8a38
|
Swift: add more tests for the generated parent-child relationship
|
2022-08-29 17:10:46 +02:00 |
|
Paolo Tranquilli
|
105c0d0dce
|
Swift: update after generated parent-child changes
|
2022-08-29 17:10:46 +02:00 |
|
Paolo Tranquilli
|
b5aad04f65
|
Swift: add indexes to generated parent-child library
|
2022-08-29 17:10:46 +02:00 |
|
Paolo Tranquilli
|
7b50c958f7
|
Swift: fix Cfg.expected
|
2022-08-29 17:09:42 +02:00 |
|
erik-krogh
|
52b9ff81c5
|
Merge branch 'main' into dynCall
|
2022-08-29 15:30:01 +02:00 |
|
Erik Krogh Kristensen
|
27bc69883c
|
Merge pull request #10184 from erik-krogh/ts48
JavaScript: Update to TypeScript 4.8
|
2022-08-29 15:03:32 +02:00 |
|
Anders Schack-Mulligen
|
e26a7fc4f3
|
Merge pull request #10173 from zbazztian/spring-crudrepository
Java: Add data flow model for Spring's CrudRepository.save() method
|
2022-08-29 15:00:07 +02:00 |
|
Paolo Tranquilli
|
4e453b1ac5
|
Swift: accept test changes
|
2022-08-29 14:57:03 +02:00 |
|
Paolo Tranquilli
|
0aecbc2a01
|
Swift: reorganize some children in schema.yml
|
2022-08-29 14:52:14 +02:00 |
|
Michael Nebel
|
e8d726606b
|
C#/Java: Add descriptive comment on negative summaries in ExternalFlow.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
91abf79404
|
Java: Update negative summaries where static initializers has been excluded.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
2b1423dd74
|
Java: Exclude static initializers from model generation.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
37aa6b2c5f
|
C#: Add file level QL Doc.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
dbfd16647b
|
Java: Add negative model CSV validation test.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
290c35e7c6
|
Java: Use negative summary models in unsupported external api telemetry query.
|
2022-08-29 14:28:55 +02:00 |
|
Michael Nebel
|
23e0ee66e0
|
Java: Add negative models for commons-io.
|
2022-08-29 14:28:55 +02:00 |
|
Michael Nebel
|
beb85c20f2
|
Java: Update commons-io generated positive models based on main.
|
2022-08-29 14:28:55 +02:00 |
|
erik-krogh
|
196dfd9385
|
update expected output of the misspelling test
|
2022-08-29 14:26:59 +02:00 |
|
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 |
|