prosyslab / DAFL-artifact

35 stars 3 forks source link

Why use Sparrow over LLVM+SVF? #2

Closed acidghost closed 8 months ago

acidghost commented 10 months ago

First, amazing work! Also thank you for open sourcing your project and providing extensive documentation.

I was wondering what was the reasoning for using Sparrow for static analysis instead of something based off LLVM; e.g. SVF is often used in fuzzing literature and works with C++ programs.

goodtaeeun commented 10 months ago

Hi, thank you for your interest in our work.

For the static analyzer, we chose the tool that was more familiar to us.