5 Commits

Author	SHA1	Message	Date
Max Schaefer	86e96c6dc3	JavaScript: Introduce is{Barrier,Sanitizer}Edge predicate. ... This name is more intuitive than the previous binary `is{Barrier,Sanitizer}` predicates, and is consistent with the other languages.	2019-05-28 08:08:14 +01:00
Anders Schack-Mulligen	e58094c732	Javascript: Autoformat.	2019-01-11 11:02:42 +01:00
Max Schaefer	5727b2a5f4	JavaScript: Properly handle value-preserving paths. ... When constructing a path through a property write/read pair, we want to make sure that we only use value-preserving steps to track the base object. However, the value flowing in from the right-hand side of the assignment may have a different flow label (such as `taint()`), so we cannot use the normal `append` predicate to construct the composite path.	2018-10-03 15:49:02 +01:00
Max Schaefer	f3239cbec9	JavaScript: Respect barriers on return edges.	2018-10-03 15:49:01 +01:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00