search

secure-software-engineering / phasar

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

The Tutorial on the webpage doesn't explain how to run phasar #567

Closed yurivict closed 1 year ago

yurivict commented 1 year ago

The Tutorial explains what is LLVM's IR, how to install Docker and VBox containers, and how to build phasar, but there is no information on how to run phasar.

fabianbs96 commented 1 year ago

The webpage phasar.org unfortunately is quite old and needs to be updated (#537). Please refer to our Wiki instead: Example uses, Getting Started: Running an Analysis; this is less out-dated.

When you have specific questions about running phasar, please just ask here.

for-just-we commented 1 year ago

The webpage phasar.org unfortunately is quite old and needs to be updated (#537). Please refer to our Wiki instead: Example uses, Getting Started: Running an Analysis; this is less out-dated.

When you have specific questions about running phasar, please just ask here.

So, Phasar runs on IR-level instead of source code-level, right?

fabianbs96 commented 1 year ago

Yes, PhASAR runs on IR level. If you want to map your results back to source-code you may use the debug info that clang embeds into the IR in debug builds. PhASAR provides some utilities for this in LLVMIRToSrc.h and some analyses like the ide-lca already make use of it

MMory commented 1 year ago

question seems to be answered, closing due to duplicate with #537 and #538