In this paper, we present TamiFlex, a tool chain that offers a partial but often effective solution to these problems.
With TamiFlex, programmers can use existing static-analysis tools to produce results that are sound at least with respect to a set of recorded program runs.
In this paper, we present TamiFlex, a tool chain that offers a partial but often effective solution to these problems.
TamiFlex inserts runtime checks into the program that warn the user in case the program executes reflective calls that the analysis did not take into account.
Mar 25, 2010 · In this paper we present TamiFlex, a tool set for taming reflection. TamiFlex consists of two novel instrumentation agents. The Play-out Agent ...
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. ICSE, 2011. ICSE 2011 · DBLP · Scholar · DOI. Full names
Bibliographic details on Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
No information is available for this page. · Learn why
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. E Bodden, A Sewe, J Sinschek, H Oueslati, M Mezini.
In this article, we provide a comprehensive understanding of Java reflection through examining its underlying concept, API, and real-world usage.