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.

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 ...

In this paper, we present TamiFlex, a tool chain that offers a partial but often effective solution to these problems.

For the first time, TamiFlex enables sound static whole-program analyses on DaCapo and significantly improves code coverage of the static analyses, ...

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.

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. Eric Bodden, Andreas Sewe, Jan Sinschek,. Hela Oueslati and ...