Jonas Jensen 25701f203d C++/C#/Java: Shared TaintTrackingImpl.qll ...

This file is now identical in all languages. Unifying this file led to
the following changes:
- The documentation spelling fixes and example from the C++ version
  were copied to the other versions and updated.
- The steps through `NonLocalJumpNode` from C# were abstracted into a
  `globalAdditionalTaintStep` predicate that's empty for C++ and Java.
- The `defaultTaintBarrier` predicate from Java is now present but empty
  on C++ and C#.
- The C++ `isAdditionalFlowStep` predicate on
  `TaintTracking::Configuration` no longer includes `localFlowStep`.
  That should avoid some unnecessary tuple copying.

2019-08-21 14:55:54 +02:00

..

identical-files.json

C++/C#/Java: Shared TaintTrackingImpl.qll

2019-08-21 14:55:54 +02:00