Compiling C and C++ Programs for Dynamic White-Box Analysis.

Zuzana Baranov, Petr Rockai

Browse the full FM paper archive.