Replaced string functions with summaries#1

daneshvar-amrollahi wants to merge 1 commit intoklee_0_9_29bolt-perf-contracts/klee-uclibc:klee_0_9_29from

string_summariesbolt-perf-contracts/klee-uclibc:string_summariesCopy head branch name to clipboard