search for: dhurjati

...ks. The latter work was specifically aimed at embedded systems. In fact, we called the language subset "Control C" :^). If you're interested, here are a couple of papers on these issues: (1) "Memory Safety Without Garbage Collection for Embedded Applications" Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner ACM Transactions in Embedded Computing Systems (TECS), February 2005. http://llvm.org/pubs/2005-02-TECS-SAFECode.html (2) "Enforcing Alias Analysis for Weakly Typed Languages" Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve Technical Repor...

Hello everybody, I'm developing a source code transformation system for real-time systems currently, i.e. I want to map the application (a set of event handlers) to a run-time or operating system semi-automatically (if anybody is interested in the background - see below, of course, comments are welcome there, too ;-)). Therefore, I have to be able to express dependencies between different

Hi, I'm a student who is going to make a countermeasure for dangling pointers in c for his thesis. I need to make my source transformation using llvm. Nobody in my university already used LLVM. I already read a some documentation about llvm but i'm still lost. Do there exist some " examples/Tutorials" for making small source transformations. Or is there somebody who can help

We have a research project that is developing a Secure Virtual Architecture using LLVM as the instruction set, and implementing via a VM which we call a Secure Virtual Machine. The memory safety foundations of this work are based on Dinakar Dhurjati's thesis and publications: http://llvm.org/pubs/ SVA is at a very preliminary stage but some slides about it are attached. -------------- next part -------------- A non-text attachment was scrubbed... Name: 2007-SVAOverview.ppt Type: application/vnd.ms-powerpoint Size: 827904 bytes Desc...

Hi Shuo, I am CCing your questions to the LLVM developers list so others can reply or correct me. >I have a few questions about LLVM: >(1) The LLVM tutorial says LLVM can be used in architecture research. If >I want to run my program on an instruction set defined by myself, is LLVM >a right tool to do that? > I don't think so. >In this aspect, is LLVM similar to

...Adve <vadve at uiuc.edu> wrote: > We have a research project that is developing a Secure Virtual > Architecture using LLVM as the instruction set, and implementing via > a VM which we call a Secure Virtual Machine. The memory safety > foundations of this work are based on Dinakar Dhurjati's thesis and > publications: > http://llvm.org/pubs/ > > SVA is at a very preliminary stage but some slides about it are > attached. >

Hi Reid, --- Reid Spencer <rspencer at reidspencer.com> wrote: > On Tue, 2006-12-19 at 17:32 -0800, Roman Levenstein wrote: > > But since the new llvm-dis cannot disassemble, I cannot use > > llvm-upgrade, since I need a way to produce an *.ll file. > > If you can't do as Bill suggested (get the latest llvm-gcc and > compile > it), you can use this approach:

Hi John, On 25 May 2016 at 16:11, John Criswell <jtcriswel at gmail.com> wrote: > Dear Pierre, > > Stepping up a level, what is your goal in replacing calls to malloc() and > free()? Is it any different than what SAFECode, SoftBound, or ASan do? > That's a good question. I didn't knew about SoftBound until now, so thank you for the name =). Anyway here is what I

...ranges for 2-address instructions. 21. Andrew added support to the tblgen asmwriter for escaping the '$' character in instruction strings. Other Miscellaneous changes: 22. The LLVM pool allocator is now available in the public CVS tree as the llvm-poolalloc module. 23. Dinakar Dhurjati added MediaBench to the llvm-test suite. 24. Bugpoint now supports -abs-tolerance and -rel-tolerance flags to debug programs that emit floating point values which are allowed to be slightly off (e.g. to treat 0.445 and 0.444 as the same). Notable bugs fixed: PR490: [cbackend] Logical...

Thanks for the fast response John. On Thu, Oct 1, 2015, at 04:51 PM, John Criswell wrote: > Dear Ed, > > First, someone has updated the DSA code in the poolalloc project to LLVM > 3.7, and a Master's student worked for me over the summer to update a > large chunk of SAFECode to LLVM 3.7. However, the update to LLVM 3.7 > isn't finished (we need to finish integrating

...du> wrote: > >> We have a research project that is developing a Secure Virtual >> Architecture using LLVM as the instruction set, and implementing via >> a VM which we call a Secure Virtual Machine. The memory safety >> foundations of this work are based on Dinakar Dhurjati's thesis and >> publications: >> http://llvm.org/pubs/ >> >> SVA is at a very preliminary stage but some slides about it are >> attached. >> >> > _______________________________________________ > LLVM Developers mailing list > LLVMdev at...

Many VMs focus on performance, optimizations, memory consumption, etc. but very few, if any, focus on fault isolation and security. Given memory safety, any VM reduces to capability security, which is sufficient to implement most security policies of interest; however, most such VMs still ignore two main attack vectors from malicious code: DoS attack on memory allocation, and DoS against the CPU.

...unky, from our >point of view it would just be good just to get some toy examples >working relatively quickly. > >>As an FYI, later versions of SAFECode use run-time checks for >>type-unsafe pools and array accesses so that it can support the full >>generality of C (see Dhurjati's PLDI 2007 paper and my SVA >>publications). You could probably do something simple in which >>type-safe data goes into pools and type-unsafe data goes into a large >>area for which loads and stores are subjected to simple SFI-like >>instrumentation (e.g., Google N...

Hi In my previous mail I mentioned the project on KCoFI( the control FLow integrity methods for commodity hardware http://sva.cs.illinois.edu/pubs/KCoFI-Oakland-2014.pdf ). Will it be more helpful to the community if I do the improvements number #1 and #3 mentioned in my previous mail to the mailing list or if i try to port it to arm architecture? I have decided to go ahead with the improvements

Hi Jing, I am cc ing to LLVMdev (LLVM developer's mailing list). You get more accurate and faster responses that way. <snip> > Actually LLVM is well documented and the coding style is very friendly. We have rarely had problems since we started one month ago. Unfortunately, here comes something I am not very clear, but it is critical to our evaluation. I appreciate if you could