Development of an intermediate representation for concolic execution and marking data in Windows

No ratings

Presented at SSTIC 2014 by

Sebastian Lecomte

While under GNU / Linux, Valgrind off? Re an intermediate representation of binary code, it does not exist as complete tool on the Microsoft OS. This problem was encountered while attempting to Windows port of fuzzer Fuzzgrind (see SSTIC 2009), which is based on concolic execution. The porting project, called FuzzWin, thus requiring the writing of an intermediate language and a set of specific functions? Cally developed by the author for marking and detailed in this article.