Symboliks-based Switchcase Analysis for both Windows and Posix/GCC