Displaying 1 result from an estimated 1 matches for "ycp0czvkudptt1gykqtyenrpddmo".
2019 Jul 06
2
Seeking suggestions about interfacing of LLVM DataFlowSanitizer library with KLEE in C code.
Dear Developers,
I am a Master's student at the ECE department of the University of Florida, USA. For my research project, supervised by Prof. Mark Tehranipoor<http://tehranipoor.ece.ufl.edu/> and Prof. Farimah Farahmandi<http://farimah.ece.ufl.edu/>, I need to use Clang LLVM DataflowSanitizer library in KLEE. However, I have faced some difficulties (explained below) while