search for: svadev

Dear All, We now have two new mailing lists for SAFECode: 1) svadev: This mailing list is for discussion on SAFECode. Questions and comments about using SAFECode as well as development conversation on SAFECode can go here. 2) sva-commits: This mailing list gets email for all SVN commits made to SAFECode. -- John T.

...vm-project/safecode/branches/release_26">http://llvm.org/svn/llvm-project/safecode/branches/release_26</a> <br /> > safecode<br /> > <br /> > If you have any questions or problems compiling poolalloc or SAFECode, <br /> > please email llvmdev or svadev, respectively.<br /> > <br /> > -- John T.<br /> > <br /> > _______________________________________________ <br /> > LLVM Developers mailing list <br /> > <a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>...

...> svn co http://llvm.org/svn/llvm-project/poolalloc/branches/release_26 > poolalloc > svn co http://llvm.org/svn/llvm-project/safecode/branches/release_26 > safecode > > > If you have any questions or problems compiling poolalloc or SAFECode, > please email llvmdev or svadev, respectively. > > -- John T.

I tried to install the SAFECode in LLVM 2.6 following the instruction in Install.html. But when I do the step: # cd projects/poolalloc # make I get the errore below: llvm[2]: Compiling qsort.c for Release build (bytecode) llvm[2]: Compiling strdup.c for Release build (bytecode) llvm[2]: Compiling qsort.c for Release build llvm[2]: Compiling strdup.c for Release build llvm[2]: Compiling qsort.ll

Hi, I'm interested in using the "Data Structure Analysis" that is apparently in the "poolalloc" module according to the documentation on alias analysis in LLVM. I have downloaded and built LLVM 2.6 on MinGW but the sources do not seem to include anything related to pool allocation. I don't think MinGW includes svn. Is there an download location where I can get the

...org/svn/llvm-project/poolalloc/branches/release_26 >> poolalloc >> svn co http://llvm.org/svn/llvm-project/safecode/branches/release_26 >> safecode >> >> >> If you have any questions or problems compiling poolalloc or SAFECode, >> please email llvmdev or svadev, respectively. >> >> -- John T. >> > > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >

...anches, use the following SVN commands: svn co http://llvm.org/svn/llvm-project/poolalloc/branches/release_26 poolalloc svn co http://llvm.org/svn/llvm-project/safecode/branches/release_26 safecode If you have any questions or problems compiling poolalloc or SAFECode, please email llvmdev or svadev, respectively. -- John T.

How about state of SVA (Secure Virutal Archtecture)? It seems there is no any demo or prototype produced. Cheers, Liu Jian ---- email to: gjk.liu at gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100420/e8dc1b16/attachment.html>

...ices: 1) The LLVM web server and SVN server will be unavailable starting noon (Central Daylight Time) on Saturday, June 5 and will remain down until cooling is restored. We expect to have the system back up by noon (CDT) on Monday, June 7. 2) The LLVM related mailing lists (llvm-dev, cfe-dev, svadev, etc.) will be left on at the beginning of the outage. However, if temperatures in the machine room get too hot, the machines will be shut down. If taken down, they should be back up by noon on Monday, June 7 (if not earlier). 3) The IRC channel isn't run by any machine at the University...

Hi All, I hope to get some information about functions in a bitcode file. Say, if we have a function foo(), and the bitcode file is generated by a single source file, then I want to get the line number foo() locates in that source file. If the bitcode file is linked by multiple bitcode files, is it possible to also get which file foo() locates in? Thanks, Chen -------------- next part

...ches/release_26 > >> poolalloc > >> svn co http://llvm.org/svn/llvm-project/safecode/branches/release_26 > >> safecode > >> > >> > >> If you have any questions or problems compiling poolalloc or SAFECode, > >> please email llvmdev or svadev, respectively. > >> > >> -- John T. > >> > > > > > > _______________________________________________ > > LLVM Developers mailing list > > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > > http://lists.cs.uiuc.edu/mailman/listinfo/llvm...

On Thu, Oct 20, 2011 at 2:37 AM, Shea Levy <shea at shealevy.com> wrote: >. The > (probably impossible) end-goals to this project would be a) that every > program which passes its checks would be as safe to run in kernel mode > with full memory access as it would be in user mode That would be a very useful thing to have for embedded systems. Some such as uCLinux run ports of

On 10/19/11 11:58 PM, Eli Friedman wrote: > On Wed, Oct 19, 2011 at 8:20 PM, Shea Levy<shea at shealevy.com> wrote: >> 2. Are target-specific behaviors documented for each supported target? > When anything has target-specific behavior, that fact should be > documented. Beyond that, if you have a question about what some > construct is supposed to do, please ask. What I