-
Notifications
You must be signed in to change notification settings - Fork 431
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
SVF::FlowSensitive analyze failed #1445
Comments
Could you upload your bc? Which version of LLVM you were using? |
For some reason I may not be able to upload the bc. But the llvmir may be compiled with llvm14 or earlier. Will this mismatch of llvm version lead to the problem? |
Could you use clang-16 to compile the bc and have a try again? |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hello, I am working on analysis of a really complicated program. I compiled the llvmir file with flag -O0 and use the latest SVF with LLVM16 to perform SVF::FlowSensitive analyze. I did it like this:
However, it drops assertion when calls the
analyze()
function:The AndersenWaveDiff works correctly, but I do need a flow sensitive analysis to do my job. I wonder what kind of reasons can lead to this failure? Thank you.
The text was updated successfully, but these errors were encountered: