63 Commits

Author	SHA1	Message	Date
Asger F	cc8fe10801	JS: Update locations in expected files	2025-08-29 12:03:11 +02:00
Asger F	167f752301	JS: Also propagate through promise types	2025-05-20 13:20:21 +02:00
Asger F	f06b9a9b2b	JS: Add call graph test with types	2025-05-20 13:20:19 +02:00
Napalys Klicius	9bab59363c	Fix class instance method detection in constructor receiver	2025-05-01 09:14:39 +02:00
Napalys Klicius	7430d0e5e0	Added failing test with method as field	2025-05-01 09:14:37 +02:00
Napalys Klicius	e9ee7134ef	Refactor prototype reference retrieval in ClassNode and update expected test output	2025-04-30 18:51:39 +02:00
Napalys Klicius	c8ee8dce98	Add test cases to verify correct call graph resolution with various JavaScript inheritance patterns	2025-04-29 13:04:07 +02:00
Napalys Klicius	0a9a7911c2	Fixed issue where method calls weren't properly resolved when inheritance was implemented via prototype manipulation instead of ES6 class syntax.	2025-04-29 12:39:44 +02:00
Napalys Klicius	a015003bda	Updated test case to resolve reflected calls	2025-04-29 12:37:03 +02:00
Napalys Klicius	4fbf8ca5cf	Added test cases with inheritance	2025-04-29 12:36:30 +02:00
Napalys Klicius	ee3a3bd9f5	Add support for prototype methods in class instance member resolution	2025-04-28 15:17:26 +02:00
Napalys Klicius	4705d30bac	Add call graph tests for prototype methods injected on class	2025-04-28 15:12:24 +02:00
Asger F	24e7aad6ba	JS: Overriden -> Overridden	2025-02-18 09:51:13 +01:00
Asger F	97eb09fef8	JS: Accept updated test output	2025-02-17 10:19:49 +01:00
Asger F	b8b2b9a470	JS: Resolve calls downward in the class hierarchy	2025-02-14 11:17:19 +01:00
Asger F	aff458d948	JS: Also add tests for upward calls and overriding	2025-02-14 11:17:17 +01:00
Asger F	9321d69034	JS: Add CG test showing lack of calls down to subclasses	2025-02-14 11:17:15 +01:00
Asger F	4043765008	JS: Avoid ambiguity in an inline CG annotation	2025-02-14 11:17:14 +01:00
Asger F	a61d42edc3	JS: Make inline CG tests report call target if NONE was given ... Previously it would only report a spurious callee if the target function was named. Now, if specifying 'calls:NONE' if will report any callee as spurious.	2025-02-14 11:17:13 +01:00
Asger F	be082578d4	JS: Hoist function decls in a block to the top of the block	2025-02-03 15:21:08 +01:00
Asger F	29879297ee	JS: Add test showing missed call to later-defined function in block	2025-02-03 14:56:11 +01:00
Asger F	22b56a4a40	JS: More implied receiver steps	2024-03-26 10:23:08 +01:00
Asger F	f2939bd05b	JS: Add test case	2024-03-26 10:23:08 +01:00
Asger F	c7295a09cd	JS: Benign test output update	2024-03-07 11:55:56 +01:00
erik-krogh	18e6a5491c	recognize tagged templates as DataFlow::CallNode	2023-10-06 21:14:00 +02:00
erik-krogh	951ed01d6b	combine the library-tests/CallGraphs/FullTest tests into one file	2023-10-06 20:57:09 +02:00
erik-krogh	0462e2a6ea	update some expected output	2023-03-22 20:47:53 +01:00
Erik Krogh Kristensen	d58fe8e193	add explicit this	2022-05-24 10:59:13 +02:00
Asger Feldthaus	44216b29a9	JS: Autoformat	2022-04-20 11:14:42 +02:00
Asger Feldthaus	4c66f50352	JS: More tests	2022-04-20 11:14:42 +02:00
Asger Feldthaus	fec2837c1e	JS: Ensure accessors do not appear to be calls	2022-04-20 11:14:42 +02:00
Asger Feldthaus	ddb682b181	JS: Show all accessor calls in CG test	2022-04-20 11:14:41 +02:00
Asger Feldthaus	37a76f4441	JS: PropWrite is not a SourceNode	2022-04-20 11:14:41 +02:00
Asger Feldthaus	c9db6201ef	JS: Add call-graph test for accessor calls	2022-04-20 11:14:41 +02:00
Erik Krogh Kristensen	c1cb19abd7	add level PreCallGrapSteps to the callgraph	2020-09-14 23:28:35 +02:00
Erik Krogh Kristensen	65a1769d43	Merge branch 'main' into asyncCalls	2020-08-21 14:58:27 +02:00
Erik Krogh Kristensen	d1b3963e2d	correctly treat ES2015 modules as being in strict-mode in the extractor	2020-08-18 10:13:20 +02:00
Erik Krogh Kristensen	30dc77e538	update expected output	2020-08-08 21:26:45 +02:00
Asger Feldthaus	4c536dde20	JS: Propagate locally returned functions out of calls	2020-06-12 10:07:37 +01:00
Asger Feldthaus	6531db3cca	JS: Add test	2020-06-12 09:56:38 +01:00
Asger Feldthaus	e405a9769c	JS: Really autoformat everything	2020-03-02 10:48:33 +00:00
Asger Feldthaus	8c36b999cc	JS: Track flow into calls to bound functions	2020-02-21 13:51:20 +00:00
Asger Feldthaus	7090124a1d	JS: Implement type inference through export * as ns	2020-02-06 14:29:35 +00:00
Asger Feldthaus	2b77c7969d	JS: Add tests for 'export * as ns'	2020-02-06 14:04:12 +00:00
Asger F	bc35f24f31	JS: Generalize access paths to arbitrary root nodes	2019-11-06 11:58:06 +00:00
semmle-qlci	2cddb82f10	Merge pull request #2210 from max-schaefer/js/better-destructuring-type-inference ... Approved by asger-semmle, esbena	2019-10-29 08:08:51 +00:00
Max Schaefer	89f68f47a0	JavaScript: Improve type inference for captured variables.	2019-10-25 14:22:24 +01:00
Max Schaefer	6269dd99ab	JavaScript: Improve type inference for destructuring assignments.	2019-10-25 14:22:24 +01:00
Asger F	04ee483c9e	JS: update test output	2019-10-25 14:10:18 +01:00
Asger F	45b108842b	JS: Update CallGraph test output	2019-10-09 12:16:11 +01:00