svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: John Criswell <jtcriswel AT gmail.com>
- To: "Adve, Vikram Sadanand" <vadve AT illinois.edu>, Luis Felipe Strano Moraes <luis.strano AT gmail.com>
- Cc: "<svadev AT cs.uiuc.edu>" <svadev AT cs.uiuc.edu>
- Subject: Re: [svadev] Safecode status
- Date: Wed, 14 Jan 2015 15:05:00 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
- List-id: <svadev.cs.uiuc.edu>
Dear Luis,
You should ask on llvmdev how to get the size of a pointer. I think various transformations within LLVM need this information, so I imagine there is a way to get it. However, I don't know off-hand how that is done in newer versions of LLVM.
Are you sure that the Module doesn't contain the pointer size anymore? Unless they added a pointer size intrinsic or ConstantExpr, I can't see how target-dependent transformations work without that information. Is there a reason that using the DataLayout class (as SAFECode currently does) does not work anymore?
Regards,
John Criswell
On 1/13/15 8:28 PM, Adve, Vikram Sadanand wrote:
Sorry, I'm copying your message to
svadev@cs,
where someone should be able to help you.
--Vikram S. Adve
Visiting Professor, School of Computer and Communication Sciences, EPFL
Professor, Department of Computer Science
University of Illinois at Urbana-Champaign
vadve AT illinois.edu
http://llvm.org
On Jan 14, 2015, at 2:21 AM, Luis Felipe Strano Moraes
<luis.strano AT gmail.com>
wrote:
Hello again,
I started doing some of the work to see whether I can get it up and
running again, I'm attaching here the current diff.
Right now the issue I'm getting is related to the Module class in LLVM
no longer having information on pointer size readily available, and
the solution proposed in
http://lists.cs.uiuc.edu/pipermail/lldb-commits/Week-of-Mon-20131216/010180.html
seems quite harsh, I'm checking whether I can find another
alternative.
Best regards,
Luis Strano
On Fri, Jan 2, 2015 at 10:48 PM, Luis Felipe Strano Moraes
<luis.strano AT gmail.com>
wrote:
Dear Professor Vikram,
I've been taking a look at SAFECode and am wondering whether there is
active development on it still ongoing. The latest public release is
still based on LLVM 3.2 and no longer compiles with the latest LLVM
release. I've started making adjustments here to see if I can bring it
back up to working state, but decided to ask in advance in order to
verify whether this was possibly already done within the group.
In case it is not and there is interest, let me know as I can try and
submit this to the project.
Best regards,
Luis Strano
--
Luís Felipe Strano Moraes
http://www.strano.org
--
Luís Felipe Strano Moraes
http://www.strano.org
<safecode_wip.patch>
_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev
--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
http://www.cs.rochester.edu/u/criswell
- Re: [svadev] Safecode status, Adve, Vikram Sadanand, 01/13/2015
- Re: [svadev] Safecode status, John Criswell, 01/14/2015
- Re: [svadev] Safecode status, Luis Felipe Strano Moraes, 01/14/2015
- Re: [svadev] Safecode status, John Criswell, 01/14/2015
Archive powered by MHonArc 2.6.16.