PhASAR is a LLVM-based static analysis framework written in C++. It allows users to specify arbitrary data-flow problems which are then solved in a fully-automated manner on the specified LLVM IR target code. Computing points-to information, call-graph(s), etc. is done by the framework, thus you can focus on what matters.

This page contains the generated code documentation of PhASAR. You can find the original source on GitHub: https://github.com/secure-software-engineering/phasar. The README should already give you a good first overview.

For further information, please checkout PhASAR's Wiki.

Secure Software Engineering Group

PhASAR is primarily developed and maintained by the Secure Software Engineering Group at Heinz Nixdorf Institute (University of Paderborn) and Fraunhofer IEM.

PhASAR was initially developed by Philipp Dominik Schubert (@pdschubert)(phili.nosp@m.pp.s.nosp@m.chube.nosp@m.rt@u.nosp@m.pb.de).

Currently, PhASAR is maintained by

• Fabian Schiebel (@fabianbs96)(fabia.nosp@m.n.sc.nosp@m.hiebe.nosp@m.l@ie.nosp@m.m.fra.nosp@m.unho.nosp@m.fer.d.nosp@m.e)
• Sriteja Kummita (@sritejakv)
• Lucas Briese (@jusito)
• Martin Mory (@MMory)(marti.nosp@m.n.mo.nosp@m.ry@up.nosp@m.b.de)
• others

License
PhASAR is made available under the permissive MIT License. See LICENSE.txt