To Do Some configuration options need to be auto-decided, e.g. qemu_path. Support S2E of new version for "-net none" option. Try some test cases of CGC source.