search

secure-software-engineering / FlowDroid

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

Do not propagate old abstraction if new abstraction is equal & Extensibility #712

Closed MarcMil closed 7 months ago