Esta sería una forma de listar (o buscar en el código) los shortcodes que tiene un tema o un plugin.
Puede ser un método para no invertir demasiado tiempo en cambiar de tema y ajustarlo todo de nuevo.
global $shortcode_tags; echo '<pre>'; print_r($shortcode_tags); echo '</pre>';