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

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

69 stars 38 forks source link

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

Open sajjadpz opened 3 years ago

sajjadpz commented 3 years ago

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 commented 3 years ago

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

sajjadpz commented 3 years ago

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?