2014_02_10

[PINTOOL]
- la détermination du type d'OS se fait désormais hors du pintool
- nouvel argument : osType, passé par pipe
- ajout des syscalls x64 pour Windows 8 et 8.1
- modification mineure checkScore (mise à zéro instruction si exception)
Revert "2014_02_10"

This reverts commit 56abd8196109bfe99a5559b3ea688ec183327127.
2014_02_10

[PINTOOL]
- la détermination du type d'OS se fait désormais hors du pintool
- nouvel argument : osType, passé par pipe
- ajout des syscalls x64 pour Windows 8 et 8.1
- modification mineure checkScore (mise à zéro instruction si exception)

[FUZZWIN]
- ajout des options 'verbose' et 'score'
- détermination de l'OS
- ajout de l'Usage
Corrections Pintool : main et syscalls.h