28 Commits

Author	SHA1	Message	Date
Asger Feldthaus	b336c29283	JS: Track functions with methods	2021-12-10 09:38:29 +01:00
Asger Feldthaus	4ef2a5f4f1	JS: Add test	2021-12-10 09:38:29 +01:00
Asger Feldthaus	457ce14ca6	JS: Summarize steps into captured variables	2021-07-02 13:42:42 +02:00
Asger Feldthaus	093ff41170	JS: Update tests	2021-07-02 13:31:17 +02:00
Asger Feldthaus	8befb03cb9	JS: Add test case with spurious call/return flow	2021-07-02 13:17:32 +02:00
Asger Feldthaus	23d2f11840	JS: Handle inheritance	2021-03-23 14:39:37 +00:00
Asger Feldthaus	3d94ccf5dd	JS: Support accessor-calls in object literals via local flow	2021-03-23 14:16:06 +00:00
Asger F	2f3d516413	JS: Track flow into ES accessors	2021-03-19 11:11:25 +00:00
Asger Feldthaus	0496642b0b	JS: Add test for captured flow into callback	2020-12-07 10:34:27 +00:00
Erik Krogh Kristensen	9bcac10d9e	summarize exceptions thrown by immidiatly awaited function calls	2020-08-10 13:28:25 +02:00
Erik Krogh Kristensen	cc94c5ec60	remove imprecise return-flow from async functions	2020-08-07 17:33:24 +02:00
Esben Sparre Andreasen	f9ed64fc45	Merge branch 'master' into js/membershiptest	2020-06-02 08:54:44 +02:00
Asger Feldthaus	75be3b7ecb	JS: Add test case for missed captured flow	2020-05-21 16:14:13 +01:00
Esben Sparre Andreasen	ddb545c182	JS: introduce MembershipTests.qll and use in two locations	2020-05-18 09:50:00 +02:00
Asger Feldthaus	0edb765958	JS: Split test case function in two	2020-03-18 11:55:13 +00:00
Asger Feldthaus	a195429471	JS: Add test with non-guard sanitizer	2020-03-18 11:55:12 +00:00
Asger Feldthaus	98524556c3	JS: Add some tests	2020-03-03 11:32:23 +00:00
Asger Feldthaus	b780bc4d59	JS: Also track into callbacks	2020-02-21 13:51:22 +00:00
Asger Feldthaus	e8e649102f	JS: Also propagate out of returns	2020-02-21 13:51:22 +00:00
Erik Krogh Kristensen	1ece6b9afe	update expected output of tests	2020-02-07 12:57:51 +01:00
Asger F	142c83f38f	JS: Add negative dominance test	2020-01-06 11:37:21 +00:00
Asger F	aa6572b5c8	JS: Sanitize phi edges from barrier guards	2020-01-06 11:37:21 +00:00
Asger F	0b04f0d8f7	JS: Add test case for phi input	2020-01-06 11:37:20 +00:00
Asger F	f48d16fcb7	JS: Support barrier guards that are reflective calls	2019-11-01 15:23:38 +00:00
Asger F	e2b0ec5696	JS: Handle multiple and/or operators in SanitizerFunction	2019-11-01 15:23:38 +00:00
Asger F	6617747185	JS: Update DataFlowTracking output for booleanOps.js	2019-05-28 11:19:23 +01:00
Asger F	d4880540e8	JS: Update .expected after rebasing	2019-05-20 11:21:50 +01:00
Asger F	9989fcee21	JS: Add DataFlow::Configuration test	2019-05-20 09:22:02 +01:00