66 citations · 69 across the 7 of their papers we have counts for
7 papers
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…
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…
On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem
Amir M. Mir, Mehdi Keshani, Sebastian Proksch
Reusing software libraries is a pillar of modern software engineering. In 2022, the average Java application depends on 40 third-party libraries. Relying on such libraries exposes…
ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference
Amir M. Mir, Evaldas Latoskinas, Georgios Gousios
In this paper, we present ManyTypes4Py, a large Python dataset for machine learning (ML)-based type inference. The dataset contains a total of 5,382 Python projects with more than…
Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python
Amir M. Mir, Evaldas Latoskinas, Sebastian Proksch +1
Dynamic languages, such as Python and Javascript, trade static typing for developer flexibility and productivity. Lack of static typing can cause run-time exceptions and is a major…
LIBTwinSVM: A Library for Twin Support Vector Machines
Amir M. Mir, Mahdi Rahbar, Jalal A. Nasiri
This paper presents LIBTwinSVM, a free, efficient, and open source library for Twin Support Vector Machines (TSVMs). Our library provides a set of useful functionalities such as fa…
An enhanced KNN-based twin support vector machine with stable learning rules
A. Mir, Jalal A. Nasiri
Among the extensions of twin support vector machine (TSVM), some scholars have utilized K-nearest neighbor (KNN) graph to enhance TSVM's classification accuracy. However, these KNN…