13 Commits

Author	SHA1	Message	Date
Tom Hvitved	6d315a5d16	C#: Add subpaths predicate to XSS queries	2021-09-20 10:40:54 +02:00
Tom Hvitved	9eb3f28ef1	C#: Add missing nodes predicate to XSS queries	2021-08-05 13:53:52 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tom Hvitved	5d1a5920c7	C#: Reimplement flow-summary compilation	2020-10-14 14:15:34 +02:00
Tom Hvitved	78ddb37a8c	C#: Track type information in data flow ... This commit adds type information to data flow paths, by mapping node types onto the smaller set of GVN types, and implementing `ppReprType()`. The effect is a mere change in `DataFlow::PathNode::toString()`; no type-based pruning is done yet.	2019-12-10 15:46:28 +01:00
Tom Hvitved	09e4e7901a	C#: Update expected test output	2019-09-18 13:36:15 +02:00
Tom Hvitved	b7d6165d42	C#: Convert cs/web/xss to a path-problem	2019-08-01 15:58:57 -07:00
Tom Hvitved	67e64f21d8	C#: Fix whitespaces	2018-11-07 08:52:38 +01:00
calum	c003150ed8	C#: Add missing file.	2018-11-02 16:46:49 +00:00
calum	29df7f5e96	C#: Mark false-negatives.	2018-11-02 16:46:49 +00:00
calum	7fa442d127	C#: Merge tests.	2018-11-02 16:46:49 +00:00