Some question about jcrypt

[dikdikM]

Hi，

I'm reading the paper, JCrypt: Towards Computation over Encrypted Data, which mentioned the code is in this git page.

Flowing the readme.md, I wished to install it and use jcrypt. In the type-inference/inference-framework/checker-framework/ I can use ./binary/javai-reim inference-tests/CellClient.java and also the ./binary/javai-jcrypt inference-tests/jcrypt/Example.java.

But the question is after I add @Sensitive of an int variable x in the inference-tests/jcrypt/Example.java and run ./binary/javai-jcrypt inference-tests/jcrypt/Example.java again, it was not analysis the x into a Sensitive variable.

Maybe the way I use the inference-framework/checker-framework/jcrypt is wrong.
And the download link of type-inference-0.1.2.zip is error now.
I can't test the soot-jcypt because I can not find the readme there,and don't know how to use it.

Please tell me the way to use jcrypt and soot-jcrypt.
Thanks a lot if anyone can answer my question.