search for: sosp

> Yes, I''m still working on it. The focus of that work was copy-on-write > sharing of memory for the purposes of building a (virtual) network of > honeypot systems. We have a paper in SOSP this year, talking about that > work and the copy-on-write memory implementation. See > http://www.cs.ucsd.edu/~mvrable/papers/2005-sosp-potemkin.pdf > for some information. > > I''m presently working on updating and cleaning that work up. > > --Michael Vrable Tha...

...the papers on these technologies). 3) You could enhance the clang static analyzer to perform security-related analyses that have not already been implemented or improve those that already exist. 4) You could implement a Software Fault Isolation system (like SFI, XFI, or BGI (recently published in SOSP 2009)) in LLVM. I'm sure there are many things you can do. I recommend reading up on the security literature and picking something that interests you. If you're interested in SAFECode, please email me off list. Regards, -- John T. > > Amit Suthar > M.tech Student > Comput...

Sir, I am a M.tech student of Computer Science and Engineering Department ,Indian Institute of technology, Kharagpur(India). I have to do a project in trusted computing field. I went through LLVM Project site. and I want to work in some project of LLVM. Can u suggest me some project which is somehow related to trusted computing and i can work on that ? In hope of your reply, Amit Suthar

Hi, I have been away from the list for a while, so do apologize in advance if the topic is slightly off topic here. I have started a hobby project to create a virtual OS library (jos). The idea was to create a set of C API's for operating system specific tasks i.e. File IO, threading and etc. For example: typedef jos_handle jos_thread; jos_thread jos_thread_create(...); void

Hi, I am curious about if the current LLVM implementation can handle Linux kernel (or any particular version of Linux kernel). The first question I have is that, how to create LLVM bytecode of Linux kernel using LLVM gcc frontend. What changes should I make to the compiling process Linux kernel? Secondly, is it possible to compile the assembly code in Linux kernel into LLVM bytecode? I noticed

Hi, I ran into a problem when running DSA on Linux kernel (the Kernel version I used is 2.4.31). The analysis was aborted when it tried to do DSNode::mergeTypeInfo on some data structure in the kernel. I have filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656. My question is what version of Linux kernel LLVM has been tested on successfully? To run DSA analysis, should I use the

Hello, As far as I know, there is no MPX pass in LLVM (though the x86-64 backend already declares MPX registers and instructions). I wonder if anyone is currently working on the LLVM pass for MPX instrumentation, similar to Pointer Checker in gcc. If yes, could anyone elaborate on the status and accessability to other researchers? And if any help is needed? Prof. Santosh Nagarakatte, the author