activity
20192024
most citedType4Py: Practical Deep Similarity Learning-Based Type Inference for Python

66 citations · 69 across the 7 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 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…