search for: openanalysi

...ould be use LLVM... and apply the transformations directly at bytecode level. This second way is quite interesting and gives me a lot of advantages (like the ability to take into account several languages)... but I need stronger program analysis. It would nice if I could use LLVM bytecode with OpenAnalysis (http://openanalysis.berlios.de/). I know that some people worked on this aspect (LLVM - OA integration) but I cannot find anything on the internet about that. So I am asking to you... GURUs of the Low Level Virtual Machines... can you give me some pointers to this integration? regards, Simon...

On Thu, 6 Nov 2003, Michelle Strout wrote: > Those of us working on the OpenAnalysis project have been looking at > LLVM recently (excellent job on the website BTW). Thanks! I'm just one of the many people who have worked on it though, the praise belongs to them as much as it does to me. :) > This includes researchers at Rice, Argonne, and LLNL. Great! > John Me...

...(int B, int C, _Bool Z, int *P) { int A = B + C; // This is a store foo(&A); // This might modify A return A; // This is a load } > I appreciate all your clarifications by the way. LLVM seems very well > put together, and I think it could really help out the OpenAnalysis > project. Thanks! I hope it will be useful, and hopefully you'll be able to contribute something back to LLVM in turn. :) -Chris -- http://llvm.cs.uiuc.edu/ http://www.nondot.org/~sabre/Projects/

...just deleted, and any references to q use &A instead. This means that your *q turns into a direct assignment to A." Anyone from the LLVM group should correct me if any of the above observations are incorrect or incomplete. I think this has the following consequences for the OpenAnalysis project: - Instead of having the most naive alias analysis as default, an alias analysis that assumes any local variables that do not have their address taken in any way (var ref in parameter list, addressOf operator, etc) should be considered to not alias anyone other variable references. - To w...

On Thu, 6 Nov 2003, Michelle Strout wrote: > I think some clarifications and examples would be helpful. No problem. :) > - LLVM is in SSA. It is in SSA before alias analysis has been > >>>> performed. With OA, it has been mentioned that the SSA generation > >>>> is > >>>> incorrect because it doesn't take alias analysis information into