escape carriage return and double quote characters

otherwise we can get invalid liftings for strings containing
those characters.

Author: waskyo

CodeHawk/CHB/bchlibelf/bCHELFSection.ml

@@ -118,7 +118,7 @@ object (self)
           end in
         if Char.code s.[offset + len] = 0 then
           let str = String.sub s offset len in
-          let new_s = string_replace '\n' "\\n" str in
+          let new_s = string_replace '"' "\\\"" (string_replace '\r' "\\r" (string_replace '\n' "\\n" str)) in
           begin
             string_table#add_string va new_s;
             Some new_s

CodeHawk/CHB/bchlibelf/bCHELFSegment.ml

@@ -86,7 +86,7 @@ object (self)
           end in
         if Char.code s.[offset+len] = 0 then
           let str = String.sub s offset len in
-          let new_s = string_replace '\n' "\\n" str in
+          let new_s = string_replace '"' "\\\"" (string_replace '\r' "\\r" (string_replace '\n' "\\n" str)) in
           begin
             string_table#add_string va new_s ;
             Some new_s