Skip to content
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

Using Test-suite to test other client static analyses algorithms. #20

Open
sajjadpz opened this issue Oct 14, 2020 · 2 comments
Open

Using Test-suite to test other client static analyses algorithms. #20

sajjadpz opened this issue Oct 14, 2020 · 2 comments

Comments

@sajjadpz
Copy link

sajjadpz commented Oct 14, 2020

Is there a way we can use Test-suite for pointer-analysis algorithms within LLVM.
LLVM has its own set of algorithms that I would like to evaluate. The are given here:
LLVM pointer analysis algorithms

@yuleisui
Copy link
Collaborator

These test cases use customized APIs to test pointer analysis, e.g., MAYALIAS, NOALIAS, which may not support LLVM's alias analysis

@sajjadpz
Copy link
Author

So maybe implementing LLVM alias analyses on top of SVF analysis and then test them with test-suite will be a workaround in this case?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants