CxSAST User Guide