Could you please tell me where I can get edu.cmu.cs.crystal.jar(3.5.2) ?

[sr1993]

I only found the version 3.5.0 and 3.5.1 and when I run the code, there's something wrong with the sliced method which has MethodInvocation node. I wonder if the problem is the version of edu.cmu.cs.crystal.jar.

[qhanam]

There's a forked version here: https://github.com/qhanam/crystalsaf-nobindings

I'm not entirely sure what the problem is, but the original version throws an error when bindings are missing. The forked version above ignores this instead. Or something... it's been a while.