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

@@ -119,6 +119,8 @@ object (self)
         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 '\r' "\\r" new_s in
+          let new_s = string_replace '"' "\\\"" new_s in
           begin
             string_table#add_string va new_s;
             Some new_s

CodeHawk/CHB/bchlibelf/bCHELFSegment.ml

@@ -87,6 +87,8 @@ object (self)
         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 '\r' "\\r" new_s in
+          let new_s = string_replace '"' "\\\"" new_s in
           begin
             string_table#add_string va new_s ;
             Some new_s