SVF icon indicating copy to clipboard operation
SVF copied to clipboard

Cannot use lock analysis and print lock

Open ZH-Lee opened this issue 3 years ago • 2 comments

I am interested in lock analysis algorithm, but I cannot set breakpoints at the functions of lockanalysis.cpp. And then I find none of cpp files of MTA is added in CMakeLists.txt, so I added. However, I got error when “make” the project.

ZH-Lee avatar Jun 30 '21 03:06 ZH-Lee

MTA has not maintained for quite a while. You feel free to move and integrate it back to the main repo if you can.

yuleisui avatar Jun 30 '21 03:06 yuleisui

MTA has not maintained for quite a while. You feel free to move and integrate it back to the main repo if you can.

That’s what I am doing now. And some code need to be modified because there are some bugs in some files. I will integrate to main repo after all thing have done.

Thanks for reply.

ZH-Lee avatar Jun 30 '21 03:06 ZH-Lee