An automation tool to generate, obfuscate, compile and run symbolic execution on c source files