search for: ismm

...t;destructor Y" << std::endl; } X::Z(int a, int b) {return a+b;} // X_main.cc: #include "X.hh" extern "C" { void X_main () { X x; } } // extern "C" Best regards Dr. Adrian Martínez Vargas Revista Minería y Geología (Editor Principal) ISMM, Las Coloradas, s/n Moa, Holguín, Cuba CP. 83329 http://www.ismm.edu.cu/revistamg/index.htm [[alternative HTML version deleted]]

...oach is flow, context, and field sensitive, details are described in the two papers below: "Boosting the performance of flow-sensitive points-to analysis using value flow" (in ESEC-FSE 2011), and "Precise and scalable context-sensitive pointer analysis via value flow graph" (in ISMM 2013). The analysis was initially developed for the purpose of bug checking, and is now extended to support compiler optimizations. We have tested it with existing compiler optimizations in LLVM, and have seen promising results. We are now considering to make this analysis available to the LLVM c...

...eld > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with existing compiler optimizations in LLVM, and have seen > promising results. > > We are now considering to make this...

...ld > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with existing compiler optimizations in LLVM, and have seen > promising results. > > We are now considering to make th...

...etails are described in the two papers below: >> >> "Boosting the performance of flow-sensitive points-to analysis using >> value flow" (in ESEC-FSE 2011), and >> "Precise and scalable context-sensitive pointer analysis via value >> flow graph" (in ISMM 2013). >> >> The analysis was initially developed for the purpose of bug checking, >> and is now extended to support compiler optimizations. We have tested >> it with existing compiler optimizations in LLVM, and have seen >> promising results. >> >> We ar...

...he project in two or three weeks. And we have a roadmap, we are currently implementing a new VM for the Scilab language and we are developing a clang pass to help the development of new VMs. Basically, the clang pass is able to generate the glue between the C code and the GC, as it was presented in ISMM few years ago by another team (Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise garbage collection for C. ISMM 2009). > > Secondly, can VMKit generate binaries that can be used on android/jni? As android relies on Linux, it's probably easy to generate binaries compliant with...

...ld > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with existing compiler optimizations in LLVM, and have seen > promising results. > > We are now considering to make th...

I looked into the archives as far back as 2009 and searched around for more information about vmkit, but I still have some questions. First of all, what is that status of VMKit? Is there any active development? A roadmap? Is it in maintenance mode? Secondly, can VMKit generate binaries that can be used on android/jni? Finally, I understand that the .net/CLI support is no longer being

...d in the two papers below: >>> >>> "Boosting the performance of flow-sensitive points-to analysis using >>> value flow" (in ESEC-FSE 2011), and >>> "Precise and scalable context-sensitive pointer analysis via value >>> flow graph" (in ISMM 2013). >>> >>> The analysis was initially developed for the purpose of bug checking, >>> and is now extended to support compiler optimizations. We have tested >>> it with existing compiler optimizations in LLVM, and have seen >>> promising results. >&...

...details are described in the two papers below: >> >> "Boosting the performance of flow-sensitive points-to analysis using >> value flow" (in ESEC-FSE 2011), and >> "Precise and scalable context-sensitive pointer analysis via value >> flow graph" (in ISMM 2013). >> >> The analysis was initially developed for the purpose of bug checking, >> and is now extended to support compiler optimizations. We have tested >> it with existing compiler optimizations in LLVM, and have seen >> promising results. >> >> We are...

...ormance of flow-sensitive points-to analysis > > >>> using > > >>> value flow" (in ESEC-FSE 2011), and > > >>> "Precise and scalable context-sensitive pointer analysis via > > >>> value > > >>> flow graph" (in ISMM 2013). > > >>> > > >>> The analysis was initially developed for the purpose of bug > > >>> checking, > > >>> and is now extended to support compiler optimizations. We have > > >>> tested > > >>> it with existi...

...; "Boosting the performance of flow-sensitive points-to analysis > >>> using > >>> value flow" (in ESEC-FSE 2011), and > >>> "Precise and scalable context-sensitive pointer analysis via > >>> value > >>> flow graph" (in ISMM 2013). > >>> > >>> The analysis was initially developed for the purpose of bug > >>> checking, > >>> and is now extended to support compiler optimizations. We have > >>> tested > >>> it with existing compiler optimizations in L...

...d in the two papers below: >>> >>> "Boosting the performance of flow-sensitive points-to analysis using >>> value flow" (in ESEC-FSE 2011), and >>> "Precise and scalable context-sensitive pointer analysis via value >>> flow graph" (in ISMM 2013). >>> >>> The analysis was initially developed for the purpose of bug checking, >>> and is now extended to support compiler optimizations. We have tested >>> it with existing compiler optimizations in LLVM, and have seen >>> promising results. >&...

...below: >>>> >>>> "Boosting the performance of flow-sensitive points-to analysis using >>>> value flow" (in ESEC-FSE 2011), and >>>> "Precise and scalable context-sensitive pointer analysis via value >>>> flow graph" (in ISMM 2013). >>>> >>>> The analysis was initially developed for the purpose of bug checking, >>>> and is now extended to support compiler optimizations. We have tested >>>> it with existing compiler optimizations in LLVM, and have seen >>>> prom...

...gt; > >>>> "Boosting the performance of flow-sensitive points-to analysis using > >>>> value flow" (in ESEC-FSE 2011), and > >>>> "Precise and scalable context-sensitive pointer analysis via value > >>>> flow graph" (in ISMM 2013). > >>>> > >>>> The analysis was initially developed for the purpose of bug checking, > >>>> and is now extended to support compiler optimizations. We have tested > >>>> it with existing compiler optimizations in LLVM, and have seen &...

Hi Chris, Chris Lattner wrote: > I don't think you want to try to have the LLVM code generator build this > table. The table is a contract between the specific codegen you're using > and the GC runtime you're using. This contract is specific to the current > ocaml code generator. > > In the LLVM world, you should use the first-class support we already have

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

...elow: >>>> >>>> "Boosting the performance of flow-sensitive points-to analysis using >>>> value flow" (in ESEC-FSE 2011), and >>>> "Precise and scalable context-sensitive pointer analysis via value >>>> flow graph" (in ISMM 2013). >>>> >>>> The analysis was initially developed for the purpose of bug checking, >>>> and is now extended to support compiler optimizations. We have tested >>>> it with existing compiler optimizations in LLVM, and have seen >>>> pro...

...itive points-to analysis >> > >>> using >> > >>> value flow" (in ESEC-FSE 2011), and >> > >>> "Precise and scalable context-sensitive pointer analysis via >> > >>> value >> > >>> flow graph" (in ISMM 2013). >> > >>> >> > >>> The analysis was initially developed for the purpose of bug >> > >>> checking, >> > >>> and is now extended to support compiler optimizations. We have >> > >>> tested >> > &gt...

If I know for sure I am accessing 32 byte chunks at a time, how can I go about changing the alignment of @u? Should I use DataLayout's reset method? I couldn't find a method to change alignment of one global variable. Thanks On Tue, Oct 3, 2017 at 6:34 PM, Matthias Braun <mbraun at apple.com> wrote: > The effective alignment is part of the load and store operations. Updating