Displaying 20 results from an estimated 30000 matches similar to: "[LLVMdev] SAFECode Mailing Lists"
2010 Mar 10
1
[LLVMdev] SAFECode and Poolalloc Branches for LLVM 2.6
Please create a similar branch for Klee; I've been working on porting that to 2.7 as well.<br />
<br />
Best, Erich Ocean<br />
<br />
On Fri, Mar 5, 2010 at 8:43 PM, John Criswell (criswell@uiuc.edu) wrote:<br />
> <br />
> Dear SAFECoders and LLVMers,<br />
> <br />
> There is some new work on moving DSA to the new LLVM 2.7 API.
2009 Mar 25
2
[LLVMdev] secure virtual architecture / safecode
SVA/safecode looks interesting. Is it available to play with? I grepped
for strings such as "sva" "secure" "safecode" in the LLVM source tree and
didn't find anything, nor did I see obvious links to implementations from
the project web pages.
In the short term, questions I'd be interested in answering are: What
happens when embedded codes that I care
2010 Apr 07
0
[LLVMdev] summer of code idea— update the SAFECode project to the new LLVM API
yiqiuping1986 wrote:
> Hi, John Criswell!
> You have said to me that SAFECode had not been maintained for several
> years,
Just to clarify, SAFECode *has* been and *is* maintained (primarily by
me). The release_26 branch in the SVN repository works with LLVM 2.6,
and mainline is working (with some regressions) with the upcoming LLVM
2.7. You can subscribe to the SVA Commits mailing list
2009 Nov 16
4
[LLVMdev] SAFECode Source Code Released
Török Edwin wrote:
> [snip]
>
> I applied the attached patch to make it compile on my box (Debian
> x86_64), only to find out that x86_64 is not supported :(
> This architecture is not supported by the pool allocator!
> Aborted
>
Thanks for the patch. What options do I give to the patch command to
apply it to the source code?
Although there's no documentation about
2011 Jun 23
1
[LLVMdev] Request for Review: SAFECode Patch
Dear All,
I've developed a patch for mainline LLVM that integrates parts of the
SAFECode memory safety compiler (http://sva.cs.illinois.edu) into LLVM.
The patch includes transforms that add run-time safety checks to loads
and stores and GetElementPtr instructions, a run-time library that
implements the checks, a transform that enhances the run-time checks
with source file debugging
2013 Apr 03
0
[LLVMdev] Type-based analysis for LLVM IR
On 4/3/13 8:21 AM, Marcelo Sousa wrote:
> I am interested in type-based verification of LLVM IR in the areas of
> certified compilation and software
Can you explain what you mean by type-based verification? Do you mean
that you want to use a set of typing rules to perform verification, or
do you mean something else?
> verification. It seems to me that the LLVM IR type system is
2012 May 24
2
[LLVMdev] -fbounds-checking vs {SAFECode,ASan}
On 5/24/12 5:41 AM, Duncan Sands wrote:
> Hi Kostya, I'm also curious to know where Nuno is going with this, and the
> details of his design. I'm worried he might be reinventing the wheel. I'm
> also worried that he may be inventing a square wheel :)
I believe Nuno's goal is to prevent run-time exploitation of software.
Nuno, please correct me if I'm wrong.
And
2011 Sep 09
0
[LLVMdev] SAFECode and CMake?
On 9/9/11 1:08 PM, Jack Howarth wrote:
> Are there any plans to add CMake support to the build of
> SAFECode?
No, there are no current plans to do so. Is not having CMake support a
show-stopper for you? I imagine adding support for it would be
straightforward.
> Also are there any current instructions for building
> llvm/clang with SAFECode support from current svn?
Yes.
2011 Aug 18
5
[LLVMdev] Clang + SAFECode Release Announcement
Dear All,
We have a new release of Clang with SAFECode technology for detecting
memory safety errors. Memory safety checking (SAFECode for short) can be
turned on with a single command line switch to clang/clang++. The
SAFECode techniques do not change the behavior of the clang/clang++
compilers in any way when the switch is turned off, so this can be used
as a drop-in replacement for
2012 May 25
0
[LLVMdev] -fbounds-checking vs {SAFECode,ASan}
On Thu, May 24, 2012 at 9:23 PM, John Criswell <criswell at illinois.edu>wrote:
> On 5/24/12 5:41 AM, Duncan Sands wrote:
> > Hi Kostya, I'm also curious to know where Nuno is going with this, and
> the
> > details of his design. I'm worried he might be reinventing the wheel.
> I'm
> > also worried that he may be inventing a square wheel :)
>
>
2010 Apr 07
1
[LLVMdev] summer of code idea— update the SAFECode project to the new LLVM API
Hi, John Criswell!
You have said to me that SAFECode had not been maintained for several years,
now I have submitted my proposal for updating the SAFCode project to the new LLVM APIs.
If you are still interested in the topic and willing to guid my project, I will be very happy.
Now I'm waiting for you comments.
Here is my proposal:
2011 Aug 21
0
[LLVMdev] Clang + SAFECode Release Announcement
John,
The release source code (sc-main.tar) won't compile cleanly under
Debian6-i386 (gcc/g++: 4.4.5).
The compiler back trace is attached.
Please fix it/them and repost.
Or, 64b system is a requirement?
Thank you
Chuck
llvm[4]: Compiling TypeRuntime.cpp for Release+Asserts build (PIC)
cc1plus: warnings being treated as errors
2011 Aug 21
1
[LLVMdev] Clang + SAFECode Release Announcement
Hi,
My apologies for the trouble.
I've disabled building DynamicTypeChecks for now (r138224) and now it
builds cleanly on 32bit for me here.
As for SAFECode support for 32bit vs 64bit, I believe 32bit should
work just fine although I haven't personally tested this.
Let me know if you have any further issues/questions.
~Will
On Sun, Aug 21, 2011 at 9:26 AM, Chuck Zhao <czhao at
2010 Mar 06
0
[LLVMdev] How do I download the "poolalloc" module ?
On Mar 6, 2010, at 7:26 AM, Patrick Sathyanathan wrote:
> 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
2010 Apr 20
1
[LLVMdev] How about state of SVA
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>
2011 Sep 09
2
[LLVMdev] SAFECode and CMake?
Are there any plans to add CMake support to the build of
SAFECode? Also are there any current instructions for building
llvm/clang with SAFECode support from current svn?
Jack
2009 Mar 25
0
[LLVMdev] secure virtual architecture / safecode
John,
We (more accurately, John Criswell and Brice Lin) are working on a
debugging version of SAFECode right now, which should be robust enough
to play with soon.
What kinds of embedded codes do you have in mind? One of our goals
has been to minimize or even eliminate run-time checks for embedded
code that meets certain restrictions. You can see the following paper
for more details:
2010 Mar 08
3
[LLVMdev] How do I download the "poolalloc" module ?
Bob Wilson wrote:
> On Mar 6, 2010, at 7:26 AM, Patrick Sathyanathan wrote:
>
>
>> 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
2012 May 24
5
[LLVMdev] -fbounds-checking vs {SAFECode,ASan}
Hi Nuno,
I noticed your commits related to -fbounds-checking and have some
questions.
The functionality of this new phase seems to (partially?) overlap with
AddressSanitizer and SAFECode,
so I am curious how would you compare the two existing tools with the new
one.
Earlier you wrote:
>> So the main idea of this new flag is not for debugging, but rather for
production.
>> This means
2015 Oct 08
2
Pool allocator + safecode
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