chord-discuss

Hello, I started working with Chord for my research. I want to work with java source code +

Hi, I am trying to experiment with the built-in must-alias analyses in Chord, and am having some

O Ok, sure no problem. Thanks for the help! Sincerely, Suvam. On Apr 22, 2016 9:23 PM, "Sulekha

Fantastic! And yeah, I agree. But still, it's good to be informed about all the options. Thanks

Hi, Can Chord detect data races at the level of objects? Consider a class Test with fields x and y.

Hi, I am having a strange issue. Chord runs fine when I invoke the following command from the command

Hi Mayur, Thanks a lot! The paper looks really interesting. Sincerely, Suvam. Programming Languages

Downgrading to Java 7 resolved the issue. Thanks a lot Ravi! Sincerely, Suvam. Programming Languages

Thanks a lot! I was looking into the wrong place... getRegName solves my problem. Have a nice day! On

Hi, I am a beginner of program analysis and currently learning the source code of Chord. But I am

W dniu wtorek, 3 marca 2015 19:57:27 UTC+1 użytkownik Ari Rabkin napisał: I would think Chord is not

Hi, When I tried to instrument a java class with chord, I always got a file not found exception which

Hi Dongcai, I recently got this problem when running conf_analyzer by the instruction in the README

Hi all, Supposed I want to do the following instrumentation: Assigning the value of a formal

Hi Mayur, In order to run stub methods in Chord, I was wondering instead of constructing its CFG

Hi, We are trying to use the off-the-shelf thread escape analysis in Chord. The analyses we are

Hello Ravi, No, it's not a problem at all. By setting it to none. Do you mean "chord.ssa.

Hi Chord users, Forgive me for the shameless plug, but I have recently released Droidel, a

Hi Mayur, Thanks a lot for the reply. I'll try to implement the disjoint reachability analysis

Hi, Is there any option in Chord to also detect atomicity violations? Regards;

Hi, We are using chord to find static data-races in the DaCapo benchmarks. Since we use JikesRVM to

Hi Mayur, We have fixed the jython issue. A line was commented out in Benchamark.java of the PJBench

I see. Make sense. I will try this. Thanks a lot Ari! Ding On Tuesday, January 7, 2014 9:33:43 PM UTC

Hi Mayur, Thanks for your quick response:) I tried to use chord.check.exclude. I still have problems:

Howdy. Yes, it would be good to have more error checking and reporting. The difficulty is that the

I don't think so. The reason why a domain cannot be cached is that each element in a domain can

Hi, You can have a look at http://code.google.com/p/jchord/source/browse/trunk/extra/src/chord/

See my answers below; others on the list may want to chime in too. Support of newer Java versions If

Hi, Ari Thank you very much for your reply! I will go on studying it. Yang On Wed, Oct 10, 2012 at 12

Hi Mayur, Thanks a lot! Regards, Suvam. On Wednesday, October 3, 2012 4:05:43 AM UTC+5:30, Mayur