Comment garantir qu'un fichier spécifié est un périphérique sur BSD/Linux de PHP?

Question

Tout en travaillant sur un projet qui lit à partir de /dev/urandom pour générer des octets aléatoires, il a été suggéré que je vérifie pour s'assurer que /dev/urandom est un périphérique pas simplement un fichier.

La façon la plus simple semble être quelque chose comme:

/** 
* Is the given file a device? 
* 
* @param string|resource $file 
* @return boolean 
*/ 
function is_device($file) 
{ 
    if (is_resource($file)) { 
     $stat = fstat($file);    
    } elseif (is_readable($file) && !is_link($file)) { 
     $stat = stat($file); 
    } else { 
     return false; 
    } 
    return $stat['rdev'] !== 0; 
} 

Ma question est double:

1. Est-ce la meilleure façon de vérifier que ce fichier est un périphérique?
2. Y a-t-il des cas où ce contrôle $stat['rdev'] !== 0 peut échouer?

Important: La solution que je besoin doit être en PHP sans dépendre de toutes les extensions PECL ou le code C personnalisé. Le projet est a pure PHP 5 polyfill of PHP 7's random_bytes() and random_int() functions et est destiné à être installé dans les projets PHP 5 de quelqu'un d'autre par Composer.

Answer 1

bien, vous pouvez utiliser filetype().

si vous faites un ll rapide sur urandom, vous verrez:

ll /dev/urandom 
crw-rw-rw- 1 root root 1, 9 Jul 26 17:38 /dev/urandom 

que « c » au beginnng signifie qu'il est un type de fichier « caractère ». vous pouvez consulter tous les différents types de fichiers ici:

https://en.wikipedia.org/wiki/Unix_file_types

cela signifie que si vous exécutez

filetype("/dev/urandom"); 

vous obtiendrez « char » de retour, ce qui signifie caractère filetype. que devrait faire l'affaire.

Answer 2

Mise à jour

Ma solution originale se révèle être juste une réimplantation de filetype($filepath) === 'char', donc filetype() semble être la seule chose dont vous avez besoin.

---

Sur la base de la réponse de @ Frymaster ...

Je regardai comment la fonction stat() de PHP fonctionne, à la recherche de "char" et trouvé this.

manuel Combiné avec la stat (2) pour les deux Linux et FreeBSD, ainsi qu'un comment on PHP's manual for stat(), je suis venu avec les éléments suivants:

 
function is_device($filepath) 
{ 
     if (! file_exists($filepath) OR (stripos(PHP_OS, 'Linux') === false && stripos(PHP_OS, 'BSD') === false)) 
     { 
       return false; 
     } 

     $mode = stat($filepath)['mode']; 
     return (020000 === ($mode & 0170000)); 
} 

Travaux sur mon système Linux.

Mise à jour (pour répondre à la deuxième question)

Oui, stat($file)['rdev'] !== 0 peut échouer. D'après ce que j'ai trouvé, il peut retourner -1 s'il n'est pas supporté par le système d'exploitation, alors même qu'une valeur positive peut pointer sur un type d'appareil différent.Ses valeurs semblent également être dépendantes du système d'exploitation.