/**

@mainpage Phasar a LLVM-based Static Analysis Framework

@author Philipp Schubert (E-Mail: philipp.schubert@upb.de) and others

\b Copyright \n
	Copyright 2017 Philipp Schubert. All rights reserved.

\b License \n
	See LICENSE.txt

TODO: add detailed description.

*/
