SVF
SVF copied to clipboard
Cannot use lock analysis and print lock
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.
MTA has not maintained for quite a while. You feel free to move and integrate it back to the main repo if you can.
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.