8 Commits

Author	SHA1	Message	Date
Tom Hvitved	94deed39a2	C#: Represent all expressions in post-order in the CFG	2020-11-12 20:04:48 +01:00
Tom Hvitved	ca86bb8603	Address review comments	2020-06-19 10:34:11 +02:00
Tom Hvitved	9e7ca25732	C#: Add call-sensitivity to data-flow call resolution	2020-06-03 20:43:49 +02:00
Tom Hvitved	86dd86848f	C#: Update call-sensitivity data-flow tests	2020-06-03 14:21:23 +02:00
Tom Hvitved	fed6dd5324	C#: Generalize data-flow flow-through summaries ... The predicate ``` argumentValueFlowsThrough(ArgumentNode arg, OutNode out, CallContext cc) ``` has been generalized to ``` argumentValueFlowsThrough( DataFlowCall call, ArgumentNode arg, Node out, ContentOption contentIn, ContentOption contentOut ) ``` This enables us to summarize normal flow-through (as before), getters, setters, as well as getter-setters.	2020-02-04 14:09:12 +01: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	c57015af7d	C#: Data-flow pruning based on call contexts	2019-10-16 13:51:32 +02:00
Tom Hvitved	853cbd8728	C#: Add dataflow tests exhibiting missing call-context based pruning	2019-10-16 13:39:35 +02:00