32 Commits

Author	SHA1	Message	Date
Asger F	294089fe35	JS: Use question-mark variant in all overlay annotations	2025-12-08 13:13:09 +01:00
Asger F	23e42c89ee	JS: Overlay annotations for AST layer	2025-11-13 09:45:56 +01:00
Anders Schack-Mulligen	57c4fd6f25	JS: Combine phi reads and ssa input nodes into SynthReadNode class.	2025-02-25 09:23:53 +01:00
Asger F	948d21ca07	JS: Propagate exceptions from summarized callables by default	2024-11-21 10:24:31 +01:00
Asger F	d31499d727	JS: introduce implicit this uses in general	2024-10-22 12:46:14 +02:00
Asger F	c3c003b275	JS: Fix post-update flow into 'this'	2024-10-22 12:46:11 +02:00
Asger F	78e961cef3	JS: Add use-use flow	2024-10-22 12:46:01 +02:00
Asger F	4389b5c999	JS: Fix issue for .apply() calls	2024-08-27 11:35:28 +02:00
Asger F	acdc896c04	JS: Support for dynamic args to flow summaries	2024-08-27 11:35:21 +02:00
Asger F	53a2a66dd0	Add new nodes to early stage	2024-08-27 11:35:20 +02:00
Asger F	fa7ad03068	JS: Add store/load steps for the new argument arrays	2024-08-27 11:35:15 +02:00
Asger F	6c7d745a2b	JS: Add nodes for static/dynamic argument/parameter arrays	2024-08-27 11:35:12 +02:00
Asger F	1d267efb6b	JS: Fix missing qldoc	2024-06-28 14:30:56 +02:00
Asger F	6b35a766a6	Migrate to shared FlowSummary library	2024-06-25 14:43:29 +02:00
Asger F	ecf418b8f6	Merge branch 'main' into js/shared-dataflow	2024-06-25 11:48:41 +02:00
Asger F	3b211089d6	JS: Remove redundant import	2024-05-21 14:40:17 +02:00
Asger F	43abc72780	JS: Add TypeModel.isTypeUsed ... f	2024-05-21 14:19:56 +02:00
Asger F	5e7d1d5c2c	Merge branch 'main' into js/shared-dataflow-merged	2024-03-13 14:27:16 +01:00
Asger F	f94aa2ceec	Update javascript/ql/lib/semmle/javascript/dataflow/internal/DataFlowNode.qll	2024-03-12 14:41:11 +01:00
Remco Vermeulen	133a243298	Add support for XML attributes in the data flow graph	2023-12-14 11:33:53 -08:00
Asger F	7bcf8b858b	JS: Capture flow	2023-10-13 13:14:43 +02:00
Asger F	3ef478669b	JS: Collapse some cached stages	2023-10-13 12:42:41 +02:00
Asger F	46fec8ea7e	JS: Add AdditionalFlowInternal ... This provides access to more features than we want to expose publicly at the moment, but is useful for modelling certain language features.	2023-10-13 12:42:40 +02:00
Asger F	293899d648	JS: Add 'Awaited' token	2023-10-13 12:42:40 +02:00
Asger F	60101f5e6a	JS: Instantiate flow summary library	2023-10-13 12:42:40 +02:00
Asger F	f316da78d2	JS: Add FunctionSelfReferenceNode	2023-10-13 12:42:40 +02:00
Asger F	c839822eb9	JS: Add PostUpdateNode	2023-10-13 12:42:40 +02:00
Asger F	21300eef4c	JS:Add ConstructorThisArgumentNode	2023-10-13 12:42:40 +02:00
Asger F	79e7aae9f6	JS: Add TEarlyStageNode	2023-10-13 12:42:39 +02:00
Asger F	51ef0e5836	JS: Move TNode into a cached module	2023-10-13 12:42:39 +02:00
Erik Krogh Kristensen	31c09ba678	implement flow for .apply() by adding a ReflectiveParametersNode data-flow node	2022-08-22 08:29:28 +02:00
Andrew Eisenberg	45d1fa7f01	Packaging: Rafactor Javascript core libraries ... Extract the external facing `qll` files into the codeql/javascript-all query pack.	2021-08-25 12:15:56 -07:00