secure-software-engineering / FlowDroid

FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.02k stars 292 forks source link

Always keep neighbors #680

Closed timll closed 6 months ago

timll commented 6 months ago

This fixes non-deterministic results in cases whenever there are more than 1 neighbors with equal statements, i.e. joining after returning from a function.