Displaying 3 results from an estimated 3 matches for "cristic".
Did you mean:
cristi
2016 Jul 31
2
Implementing Data Flow Integrity
Dear all,
I want to implement a pass that provides some kind of data flow
integrity similar to Write Integrity Testing
(https://www.doc.ic.ac.uk/~cristic/papers/wit-sp-ieee-08.pdf).
This approach statically determines for each memory write the
(conservative, overapproximated) points-to set of locations that can be
written by the instruction. Further, it instruments the memory write
instruction to prevent a write to a location not in the points-to s...
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
2008 Jun 04
0
[LLVMdev] Broken versions of GCC and other tools
GCC versions listed here are known to not work. If you are using one of
these versions, please try to upgrade your GCC to something more recent.
If you run into a problem with a version of GCC not listed here, please
let us know. Please use the "gcc -v" command to find out which version
of GCC you are using.
Hello, I just wanted to report that I had problems compiling
LLVM 2.2