Code Extraction Tool, a plugin for S2E