11 citations · 13 across the 6 of their papers we have counts for
5 papers · 1 filter
Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization
Jyoti Prakash, Abhishek Tiwari, Christian Hammer
Modular analysis of polyglot applications is challenging because heap object flows across language boundaries must be resolved. The state-of-the-art analyses for polyglot applicati…
HIPPODROME: Data Race Repair using Static Analysis Summaries
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta +3
Implementing bug-free concurrent programs is a challenging task in modern software development. State-of-the-art static analyses find hundreds of concurrency bugs in production cod…
Concurrency-related Flaky Test Detection in Android apps
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu +1
Validation of Android apps via testing is difficult owing to the presence of flaky tests. Due to non-deterministic execution environments, a sequence of events (a test) may lead to…
PointEval: On the Impact of Pointer Analysis Frameworks
Jyoti Prakash, Abhishek Tiwari, Christian Hammer
Pointer analysis is a foundational analysis leveraged by various static analyses. Therefore, it gathered wide attention in research for decades. Some pointer analysis frameworks ar…
IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications
Abhishek Tiwari, Sascha Groß, Christian Hammer
Android apps cooperate through message passing via intents. However, when apps do not have identical sets of privileges inter-app communication (IAC) can accidentally or maliciousl…