--solver= value of the aggregate run containing this sink. Only ide-xtaint emits a data-flow graph.
--solver=
ide-xtaint