C++: Remove flow from pointer indirection to pointer from DefaultTaintTracking - #5089

Closed

MathiasVP wants to merge 13 commits into

github:mainfrom

MathiasVP:remove-indirection-to-pointer-flow

Commits on Feb 4, 2021

C++: Remove *p to p flow from DefaultTaintTracking
MathiasVP
committed
7b4f5a2
C++: Accept test changes. All the lost results are true positives. I suspect we lose them because any sink that targets an argument actually targets the pointer, while it's the indirection that is …
MathiasVP
committed
d02293c

Commits on Feb 10, 2021

Commits on Feb 23, 2021

Commits on Feb 26, 2021

This commit does a couple of things:
MathiasVP
committed
24b1353
C++: Accept test changes. These are just changes in path explanations.
MathiasVP
committed
1386e18
C++: Accept consistency changes in syntax-zoo.
MathiasVP
committed
50bb7ef

Commits on Mar 1, 2021

C++: Limit hasUpperBoundsCheck to integral types only.
MathiasVP
committed
1df0d9d

Commits on Mar 15, 2021