OriginPruner: Leveraging Method Origins for Guided Call Graph Pruning

Amir M. Mir, Mehdi Keshani, Sebastian Proksch

Most static program analyses depend on Call Graphs (CGs), including reachability of security vulnerabilities. Static CGs ensure soundness through over-approximation, which results…