vivek425ster

Results 7 comments of vivek425ster

@m000 I am trying to add another tag type which is based on efficient representation of sparse bitvectors.[http://bmagic.sourceforge.net/](url). You can find the code changes here: https://github.com/m000/dtracker/compare/bitset...vivek425ster:bitset And i have also...

I resolved the previous error. I wasn't doing `make clean` for libdft. Now the program is always throwing segmentation fault after the end of 1st basic block i.e after `call...

@m000 I have used `gdb backtrace` to generate the stack trace It gives me following `#0 0x8002a3f3 in std::basic_ostream& std::operator

Yes, this is the only thing it is showing. Are there any other methods to generate the stack trace? On Saturday, March 5, 2016, Manolis Stamatogiannakis < [email protected]> wrote: >...

http://pastebin.com/pX8nwJBt This is the stack trace

Hi, Regarding you second point the xadd_m2r_xxx analysis is specific to instructions which have memory operand as destination, the naming convention is such as the first `m` specifies the destination...

Hi, You need to run the command `make support-libdft` from the top folder.