Eu encontrei onde está armazenado, então até alguém postar uma resposta mais simples, eu vou manter este snippet de código à mão para o caso de verificação:
DECLARE @username nvarchar(128) = 'user01';
SELECT COUNT(*) FROM sys.database_permissions
WHERE grantee_principal_id = (SELECT UID FROM sysusers WHERE name = @username)
AND class_desc = 'DATABASE'
AND type='EX'
AND permission_name='EXECUTE'
AND state = 'G';
Resultado 0
significa resposta negativa, 1
significa positivo.