Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps