add plato for static analysis