cuhk-seclab / SelectFuzz

Apache License 2.0
62 stars 4 forks source link

Consider update llvm version from 4.0 to 15 or later #4

Open ohofox opened 12 months ago

ohofox commented 12 months ago

Thanks for your awesome work. SelectFuzz utilizes llvm-4.0 to compile and instrument. However llvm-4.0 is too old for now. Is there any suggestions to update llvm to llvm-15 ?

chluo1997 commented 12 months ago

We implemented data flow analysis on LLVM-4 and built a call graph using the "temporal-specialization" tool, which was also developed based on an old version of LLVM. We tried to migrate to the latest version of LLVM, but haven't complete the process due to discrepancies between the LLVM versions, particularly in updating the "temporal-specialization" tool.

If you can implement precise control and data dependency analysis in LLVM-15, your implementation can easily be integrated into SelectFuzz. We also welcome pull requests to update SelectFuzz to LLVM-15 or any subsequent versions.