Open cd721 opened 3 months ago
Consider the case where a function is used on a line that comes before the function's definition. The plugin may be expecting a leakage source to appear before a leakage instance, when in fact, the reverse is true. In this case, the plugin may not recognize that a particular instance is associated with a particular source.
A particular leakage instance may contain a source whose taints appear on line numbers greater than the line number of the that instance. This prevents the highlighting of leakage sources/taints from being cleared when the highlighting for a leakage instance is cleared.