Remember to run "git submodule update --init" after cloning!
Static code analysis tool based on the PhASAR framework