TFA: an efficient and precise virtual method call resolution for Java

DOI10.1007/s00165-020-00518-zzbMath1458.68036OpenAlexW3092296894MaRDI QIDQ826353

Chenyi Zhang, Xilong Zhuo

Publication date: 4 January 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00518-z

zbMATH Keywords

static analysiscall-graph constructiontype analysisvirtual method resolution

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Uses Software

• Soot
• Featherweight Java
• SPECjvm2008
• TFA

Cites Work

• Pick your contexts well
• Unnamed Item
• Unnamed Item

This page was built for publication: TFA: an efficient and precise virtual method call resolution for Java