66 citations · 69 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CR2024
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…
cs.SE2024
On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study
Amir M. Mir, Mehdi Keshani, Sebastian Proksch
Static call graph (CG) construction often over-approximates call relations, leading to sound, but imprecise results. Recent research has explored machine learning (ML)-based CG pru…