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

..

ExponentialRegex.cs

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

ReDoS.expected

C#: Track type information in data flow

2019-12-10 15:46:28 +01:00

ReDoS.qlref

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00