symbiotic icon indicating copy to clipboard operation
symbiotic copied to clipboard
verified publisher icon staticafi

add & verify our implementations of library functions

Open mchalupa opened this issue 9 years ago • 4 comments

Add these functions:

  • [ ] sscanf, scanf, etc.
  • [ ] strtoll, strtod, strspn (some of them maybe are already there)
  • [ ] __ctype_b_loc behaves wrong (it does not link always and is made symbolic)
  • [ ] memchr

mchalupa avatar Dec 14 '16 12:12 mchalupa

or use KLEE's posix staff

mchalupa avatar Feb 14 '17 11:02 mchalupa

请问有示例代码么？ llvmlite实现scanf

carlwang99 avatar May 23 '20 02:05 carlwang99

is there any sample code on implementation of scanf function using llvm? tks

carlwang99 avatar May 23 '20 02:05 carlwang99

Check e.g., https://github.com/klee/klee-uclibc (you can always compile the C code to LLVM).

mchalupa avatar May 25 '20 06:05 mchalupa