similar to: [GSoC 2016] Capture Tracking Improvements - Background Information

Hey Scott, There has been quite a lot of research on capture tracking (aka escape analysis) for Java and other dynamic languages. See e.g.: https://wiki.openjdk.java.net/display/HotSpot/EscapeAnalysis http://docs.oracle.com/javase/7/docs/technotes/guides/vm/performance-enhancements-7.html http://dl.acm.org/citation.cfm?doid=320384.320386 Nuno -----Original Message----- From: Scott Egerton via

On Tue, Jun 7, 2016 at 4:02 PM, Philip Reames via llvm-dev < llvm-dev at lists.llvm.org> wrote: > (+CC LLVM dev - I'd dropped it in my original reply unintentionally and > just noticed.) > > On 06/07/2016 01:35 PM, Philip Reames wrote: > >> (This was written in a rush. There may be mistakes; if so I'll try to >> correct later.) >> >> At the

Hello, Attached is the proposal that I have submitted. I would be grateful for any and all feedback provided. Many Thanks, Scott -------------- next part -------------- A non-text attachment was scrubbed... Name: GSoc Proposal 2016 - Scott Egerton.pdf Type: application/pdf Size: 391088 bytes Desc: GSoc Proposal 2016 - Scott Egerton.pdf URL:

Hello, This is a more detailed overview of my progress than the weekly reports, which can also be found on the mailing list. Over the past two weeks I have been learning a lot more about capture tracking. From this I was able to instrument the current implementation in order to identify some of the false positives in it. I was hoping to have more definitive results by now than what I

Hello Anna, I've been looking into compiling a list of all of the false positives in the current Capture Tracking Analysis, but I'm having a bit of trouble getting my head around it all. I feel like I understand it at a theoretical level but jumping into the implementation is quite daunting. I would appreciate any advice you could give to point me in the right direction. Many thanks,

Hi, I was wondering how exactly instruction selection works in LLVM. As I'm not aware of any document describing it, I'll ask here :) So, the tablegen files that each backend implements describe the mapping between selection DAG nodes and assembly instructions (and optionally? their binary encoding). The selection DAG (one per basic block) is produced "by hand" directly

On Jan 25, 2010, at 2:18 PM, Nuno Lopes wrote: > Hi, > > I was wondering how exactly instruction selection works in LLVM. As I'm not > aware of any document describing it, I'll ask here :) > > So, the tablegen files that each backend implements describe the mapping > between selection DAG nodes and assembly instructions (and optionally? their > binary

Hi, I would like to add this publication to the list of publications: https://dl.acm.org/citation.cfm?doid=3135932.3135947 Best Piotr Padlewski -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171027/1eb5a7dc/attachment.html>

I have some software that says it requires JRE 8.1 or higher. If I go to http://www.oracle.com/technetwork/java/javase/downloads/jre8-downloads-2133155.html and install jre-8u144-linux-x64.rpm I get jrel.8.0_144. Anyone know where I can get 8.1?

Hi Nicolas, I'm running it on Kubuntu. Now that you mention it I did have a problem during vmkit setup. After running the ./configure file with all the options I ran the make file it was giving this error: make[3]: *** [/.automount/root/exports/transient/nataraj/Project/vmkit-0.25/lib/Mvm/Runtime/Release/EscapeAnalysis.o] Error 1 " So I went into Makefile.common and modified GNU

I've read website http://wiki.centos.org/HowTos/JavaOnCentOS. I am a total newbie with CentOS, but currently, with update 21 of the Java 6 JDK and CentOS 5.5, the installing the JDK appears to be simpler: 1. Download the latest *rpm.bin jdk (as of today,jdk-6u21-linux-i586-rpm.bin) fromhttp://java.sun.com/javase/downloads/widget/jdk6.jsp 2. chmod +x the downloaded file. 3. su 4. Execute

Hi all, we are about to buy some IBM x3550 M2 servers with ServeRAID M5014 SAS onboard controller. Can anyone confirm that these controllers will work with CentOS 5.5 (seems to be some rebranded LSI controller). I cannot find any hint in the 2.6.18-194.3.1.el5 sources... Regards, Peter -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type:

Hello everyone, The topic of whether or not LLVM allows for infinite loops has come up a lot recently (several times this week already). Regarding motivation, there are two important facts: 1. Some languages, such as Java, have well-defined infinite loops. See: http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.9 and:

On Thu, Sep 14, 2017 at 11:38 AM, Rich Huff <rich at richhuff.com> wrote: > On Thu, 2017-09-14 at 11:25 -0400, Larry Martell wrote: >> On Thu, Sep 14, 2017 at 11:08 AM, Darr247 <darr247 at gmail.com> wrote: >> > >> > >> > > I have some software that says it requires JRE 8.1 or higher. >> > >> > That's very odd, since

On Thu, Apr 3, 2014 at 11:50 AM, Jevin Sweval <jevinsweval at gmail.com> wrote: > On Wed, Apr 2, 2014 at 1:57 AM, "C. Bergström" <cbergstrom at pathscale.com> wrote: >> Hi - >> >> Not sure if anyone else saw this or cares about a decompiler (not personally >> tested) >> https://github.com/draperlaboratory/fracture >> >> I wonder if

On Thu, Sep 14, 2017 at 11:08 AM, Darr247 <darr247 at gmail.com> wrote: > > >> I have some software that says it requires JRE 8.1 or higher. > > That's very odd, since technically JRE 8 is java 1.8 (and JRE 7 is/was 1.7; > JRE 6 was 1.6, et cetera). > >> If I go to > http://www.oracle.com/technetwork/java/javase/downloads/jre8-downloads-21331 > 55.html

On Sun, Mar 12, 2017 at 2:55 PM, Oliver Braunsdorf via llvm-dev < llvm-dev at lists.llvm.org> wrote: > > Perhaps by "value" you mean points-to set? > > Thats right! I meant the points-to set. Sorry I didn't mention that. > I want to track back the value of the parameter to its definition -- an > "assignment" which could be indirect through a pointer

> You dropped some context... > A daemon program wouldn't be readonly. An infinite loop can be. Right. To prevent miscommunication, here is a quick analysis of a problematic (IMO) example: We start with ``` define void @infloop(i1 %c) { entry: br i1 %c, label %l, label %e l: br label %l e: ret void } define void @main_func() { entry: call void @infloop(i1 1) ret

Hello, My team and I have recently published an LLVM-based tool at “Cryptography and Security in Computing Systems 2016” (CS2), and we would like to add it on the list of LLVM related publications. The goal of our tool is to automatically protect the code being compiled against fault injection attacks *Title:* Compilation of a Countermeasure Against Instruction-Skip Fault Attacks Available

Thanks Luke, On 10 September 2015 at 14:47, <luke-tierney at uiowa.edu> wrote: > Conditions have classes and the condition system is designed around > the idea that classes would be used for this sort of thing. That is > already how tryCatch and withCallingHandlers discriminate the > conditions to handle. That makes sense. Though with my sqrt example, it's just a plain