Abhishek Tiwari

Effects of Program Representation on Pointer Analyses — An Empirical Study

2021 · Lecture notes in computer science

Abstract Static analysis frameworks, such as Soot and Wala , are used by researchers to prototype and compare program analyses. These frameworks vary on heap abstraction, modeling library classes, and underlying intermediate program representation (IR). …

Vulnerability Patching Across Software Products and Software Components: A Case Study of Red Hat's Product Portfolio

2025 · arXiv (Cornell University)

Motivated by software maintenance and the more recent concept of security debt, the paper presents a time series analysis of vulnerability patching of Red Hat's products and components between 1999 and 2024. According to the …