secure-software-engineering / phasar

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

Tutorial (https://phasar.org/tutorial/) doesn't explain how to run Phasar #716

Open yurivict opened 2 months ago

yurivict commented 2 months ago

It only explains how to build it.

It also says:

You can check if your installation works properly, by just typing in: > phasar

but the phasar-2403 doesn't install the command "phasar".

fabianbs96 commented 2 months ago

Hi @yurivict, phasar.org is outdated and we do not maintain it anymore. You may consider our README, as well as the Wiki instead.

yurivict commented 2 months ago

Users would typically google "phasar" and land on https://phasar.org/. The GitHub project also links to https://phasar.org/

fabianbs96 commented 2 months ago

The GitHub project also links to https://phasar.org/

Thank you for pointing that out; we fixed that