search for: osdi

...LLVM intrinsics and new instructions added since LLVM2.7 aren't supported yet :( We're getting there though! If you have any questions feel free to drop a question on the KLEE mailing list. If you'd rather read a paper then look at code then you could take a look at the original 2008 OSDI paper [3]. [1] http://ccadar.github.io/klee/GetStarted.html (note these instructions are for llvm 2.9 :( . Don't worry these instructions will be updated eventually) [2] https://github.com/ccadar/klee-uclibc/tree/klee_0_9_29 [3] http://llvm.org/pubs/2008-12-OSDI-KLEE.html Thanks, Dan Liew.

Hi, I''m getting the following oops on startup, and I''m not quite sure why. It looks nasty though, with an invalid page being mapped into a process, and a strange looking EIP ... do_wp_page: bogus page at address 00000449 VM: killing process kmodule Unable to handle kernel NULL pointer dereference at virtual address 00000449 printing eip: 00001eca *pde = ma 0d183067 pa

2015-09-01 11:38 GMT+08:00 John Criswell <jtcriswel at gmail.com>: > On 8/31/15 10:43 PM, 慕冬亮 via llvm-dev wrote: > > I want to create an experiment to show the effectiveness of cfi : > For example , > I first need a program with vulnerability so that we can hijack its > control flow; > > then I enforce cfi of llvm and we can't hijack its control flow. > >

Dear LLVM developers, Our team has developed an LLVM-based protection mechanism that (i) prevents control-flow hijack attacks enabled by memory corruption errors and (ii) has very low performance overhead. We would like to contribute the implementation to LLVM. We presented this work at the OSDI 2014 conference, at several software companies, and several US universities. We received positive feedback, and so we've open-sourced our prototype available for download from our project website (http://levee.epfl.ch). There are three components (safe stack, CPS, and CPI), and each can be use...

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