search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
920 stars 140 forks source link

Is there a tutorial for taint analysis? #481

Open Radon10043 opened 2 years ago

Radon10043 commented 2 years ago

Hi, I want to use phasar for taint analysis, but I can't find a tutorial of using phasar for taint analysis in wiki or homepage, can anyone tell me how to use it for taint analysis? Thank you very much!

MMory commented 2 years ago

I agree there is a lack of documentation here. I am not aware that we already have documentation for this, unfortunately.

MMory commented 2 years ago

@fabianbs96 am I right?

fabianbs96 commented 2 years ago

Yes, unfortunately, we didn't have time for creating a documentation regarding this yet.