I want to test some approach in symbolic execution in windows binaries and doesn't want to write a new one from scratch and also this tool must be reliable at research levels.I found S2E and BitBlaze earlier but not any documentation for testing windows binaries.
What are the open source symbolic execution tools for windows binaries
windows;binary analysis
Metasm and Miasm can perform symbolic execution on Windows binaries. Metasm is written in pure ruby with no dependencies. Miasm is written in python. You can find some usages of the above frameworks in the book Practical Reverse Engineering. Besides you can always Google for more.Here is an hands-on example of using miasm for symbolic execution.