fix(opensmt/smtsolvers/SimpSMTSolver.C): dereference after null check
fix(realpaver/rp_parser.c): memory leak
fix(realpaver): add initializations
fix(realpaver/rp_stream): use strncpy instead of strcpy
fix(realpaver/rp_stream): use strncpy instead of strcpy