are there any tools for symbolic execution on binaries. i mean using which, we do not require to modify the source code - like klee_make_symbolic or we can do such changes in IR (llvm ir etc.) thanks in advance
Maybe miasm can fit your requirements. It is a reverse engineer framework that supports static symbolic execution. As far as I know， it is more simple than KLEE and S2E.