add & verify our implementations of library functions

staticafi / symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

http://staticafi.github.io/symbiotic/

MIT License

313 stars 55 forks source link

Open mchalupa opened 7 years ago

mchalupa commented 7 years ago

Add these functions:

mchalupa commented 7 years ago

or use KLEE's posix staff

carlwang99 commented 4 years ago

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

carlwang99 commented 4 years ago

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

mchalupa commented 4 years ago

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