search for: eqtd

John Criswell wrote: > You can use the -debug-pass=Arguments option to opt to print out which > DSA passes it is using. > > -- John T. > The argument list was this: -dsa-local -dsa-stdlib -dsa-bu -dsa-eqtd -poolalloc -preverify -domtree -verify So, the last DSA pass done would appear to have been "-dsa-eqtd". Does this mean pool allocation is using TDeq and not BUeq as I'd thought? I notice that it's doing a BU pass right before it, so I guess that's probably not right, b...

...gt; > The second of those two calls is just a non-deterministic choice between two > functions.  I'd really hoped that DSA would give the ideal answer here: > red() or blue(), but not Base::virt() const or Derived::virt() const. > Hi Ben! This is actually the expected behavior for EQTD :). In short, EQTD (and CBU) are useful for program-transforming passes like pool allocation, but are _not_ good for alias analysis queries. If you switch to TD you'll get better alias-analysis information, and in this example the correct result. I changed both instances of EQTDDataStructures...

Hello, I am trying to apply DSA (from the poolalloc project - I'm on LLVM 3.2) on the following C program and found that the generated callgraph over-approximates the callees for the simple indirect call. #include <stdio.h> __attribute__((noinline)) static int f1(int arg1, int arg2) { return arg1 + arg2; } __attribute__((noinline)) static int run_func(int (*fptr)(int, int), int

John Criswell wrote: > 1) I'll try out your example C++ code below and see if I can get the > same results that you do. However, I'm at a conference right now (Usenix > Security), so I don't know exactly when I'll get to it. Excellent. Thanks, John! > 2) DSA can get pessimistic results when dealing with external code (as > Andrew described). It is designed for

Patrick Alexander Simmons wrote: > Hi, > > I'm trying to run the pool allocation pass through opt, and I'm running > into problems. It segfaults frequently; for example, it does this when > the input is a simple Hello World program: > Can you email me the bitcode file that is causing the problem? > [simmon12 at apoc testcases]$ opt -load >

Hi, I'm trying to run the pool allocation pass through opt, and I'm running into problems. It segfaults frequently; for example, it does this when the input is a simple Hello World program: [simmon12 at apoc testcases]$ opt -load /home/vadve/simmon12/llvm/llvm/projects/llvm-poolalloc/Debug/lib/libLLVMDataStructure.so -load

The first thing to do in tuesday is to get in on EQTD. It will SOAR up next week. There will be more than 100% appreciation within the first few hours, so do it without delay. With oil markets retreating, big traders are turning to gold, driving it to levels never before seen. EQTD has made an advertisement of staggering proportions related to a re...

The first thing to do on Wednesday October 20 is to get in on EQTD. It will RISE up next days. There will be at least 100% from the beginning, so do it quick. After the yesterday's promotion the share price raised on 116% and was 0.013. Those lucky devils who bought stocks at the price of 0.006 yesterday have already earned 100% of their investment. And the...

The first thing to do in tuesday is to get in on EQTD. It will SOAR up next week. There will be more than 100% appreciation within the first few hours, so do it without delay. With oil markets retreating, big traders are turning to gold, driving it to levels never before seen. EQTD has made an advertisement of staggering proportions related to a re...

The first thing to do on Wednesday October 20 is to get in on EQTD. It will RISE up next days. There will be at least 100% from the beginning, so do it quick. After the yesterday's promotion the share price raised on 116% and was 0.013. Those lucky devils who bought stocks at the price of 0.006 yesterday have already earned 100% of their investment. And the...

Hi, Ben, As Will suggested, try the TD pass, not EQTD, and see if that works better for you. Having said that, DSA currently doesn't do well with vtables. It is not a fundamental limitation of the algorithm itself and we think we know how to improve it, so if those are important to you, let me know. DSA is indeed a unification-style analysis, n...

Hi I see when LLVM builds the CallGraph SCCs. a function calling through a function pointer is conservatively assumed to call internal and external functions. Therefore, it has an edges pointing to the externalnode2, ie. the externalnode representing outgoing calls from this module. does LLVM have any function pointer analysis capabilities in the mainline ? Thanks, -Trent

...> As an FYI, I'm at Usenix Security this week, so I'm only getting small > amounts of sporadic work done. I'll be back in the office next week. > > > > (1) Do I misunderstand the meaning of "incomplete", as in > node->isIncompleteNode()? I've run EQTDDataStructures on the attached > program (foo.c, foo.ll), generating the function graph for main which is > attached (eqtd.main.pdf). Shouldn't the %p node be marked Incomplete, since > its address is passed to an unknown external function? > > > In the original DSA implementa...

Dear John, I intend to implement the improvements on DSA. After running DSA on SPEC, I found DSA gives low precision for mcf and bzip2. I have checked the most imprecise c files in mcf an found that the code seems to be a mixture of "PHI" and "GEP" instructions. Could you please give me some hints about what the big picture of the improvement should be and how to start? Thank

Will Dietz wrote: > This is actually the expected behavior for EQTD :). Expected by you, maybe. :-D > If you switch to TD you'll get better alias-analysis information, and > in this example the correct result. OK, I have switched to TDDataStructures as well, and I am also seeing much better (for my purposes) results in simple tests. I'll keep po...