error: predicate 'HeapAllocationRef' is not declared at level 0 (code: PREDICATE_UNDECLARED)

[LuoRongLuoRong]

I ran the project and got lots of errors:

I have no idea. Could you please tell me the reason and solution?

[Minseok Jeon]

I think the cached database used has a problem (e.g., .../Graphick/Ctx_sensitivity/doop/cache/...):

Please, clear the cache database before the analysis by typing the following command:

$ rm -r /home/fdse/luorong/course/Graphick/Ctx_Sensitivity/doop/cache/*

Then, run the analysis:

$ ./run.py graphick luindex

I will reproduce a result in our paper:

[Minseok Jeon]

Hi @LuoRongLuoRong, if you find the answer satisfactory, please close the issue. Otherwise, if there is another question, feel free to leave it here.

[LuoRongLuoRong]

Thanks!