www/ecrire/exec/valider_xml.php

   1 <?php
   2
   3 /***************************************************************************\
   4  *  SPIP, Systeme de publication pour l'internet                           *
   5  *                                                                         *
   6  *  Copyright (c) 2001-2016                                                *
   7  *  Arnaud Martin, Antoine Pitrou, Philippe Riviere, Emmanuel Saint-James  *
   8  *                                                                         *
   9  *  Ce programme est un logiciel libre distribue sous licence GNU/GPL.     *
  10  *  Pour plus de details voir le fichier COPYING.txt ou l'aide en ligne.   *
  11 \***************************************************************************/
  12
  13 if (!defined('_ECRIRE_INC_VERSION')) return;
  14 include_spip('inc/presentation');
  15 include_spip('public/debusquer');
  16
  17 // Script de validation XML selon une DTD
  18 // l'argument var_url peut indiquer un fichier ou un repertoire
  19 // l'argument ext peut valoir "php" ou "html"
  20 // Si "php", le script est execute et la page valide
  21 // Si "html", on suppose que c'est un squelette dont on devine les args
  22 // en cherchant les occurrences de Pile[0].
  23 // Exemples:
  24 // ecrire?exec=valider_xml&var_url=exec&ext=php pour tester l'espace prive
  25 // ecrire?exec=valider_xml&var_url=../squelettes-dist&ext=html pour le public
  26
  27 // http://doc.spip.org/@exec_valider_xml_dist
  28 function exec_valider_xml_dist()
  29 {
  30         if (!autoriser('webmestre')) {
  31                 include_spip('inc/minipres');
  32                 echo minipres();
  33         } else {
  34                 $erreur = "";
  35                 // verifier que les var de l'URL sont conformes avant d'appeler la fonction
  36                 $url = trim(_request('var_url'));
  37                 if (strncmp($url,'/',1)==0) $erreur = 'Chemin absolu interdit pour var_url';
  38                 // on a pas le droit de remonter plus de 1 fois dans le path (pas 2 occurences de ../ ou ..\ (win))
  39                 if (($p=strpos($url,'..'))!==false AND strpos($url,'..',$p+3)!==false) $erreur = 'Interdit de remonter en dehors de la racine';
  40                 if (strpos($url,'://')!==false or strpos($url,':\\')!==false) $erreur = 'URL absolue interdite pour var_url';
  41
  42                 $ext = trim(_request('ext'));
  43                 $ext = ltrim($ext,'.'); // precaution
  44                 if (preg_match('/\W/',$ext)) $erreur = 'Extension invalide';
  45
  46                 // en GET var_url doit etre signee, en POST seule l'action est signee
  47                 // CSRF safe
  48                 $process = true;
  49                 if ($url){
  50                         include_spip('inc/securiser_action');
  51                         if ($_SERVER["REQUEST_METHOD"]=='POST'){
  52                                 if (!$token = _request('var_token')
  53                                   or !verifier_cle_action("valider_xml",$token)){
  54                                         $process = false;
  55                                 }
  56                         }
  57                         if ($_SERVER["REQUEST_METHOD"]!='POST'){
  58                                 if (!$token = _request('var_token')
  59                                   or !verifier_cle_action("valider_xml&var_url=$url",$token)){
  60                                         $process = false;
  61                                 }
  62                         }
  63                 }
  64
  65                 if ($erreur){
  66                         include_spip('inc/minipres');
  67                         echo minipres($erreur);
  68                 }
  69                 else {
  70                         valider_xml_ok($url, $ext, intval(_request('limit')), _request('recur'), $process);
  71                 }
  72         }
  73 }
  74
  75 // http://doc.spip.org/@valider_xml_ok
  76 function valider_xml_ok($url, $req_ext, $limit, $rec, $process = true) {
  77         $url = urldecode($url);
  78         $rec = !$rec ? false : array();
  79         if (!$limit) $limit = 200;
  80         $titre = _T('analyse_xml');
  81         if (!$url) {
  82                 $url_aff = '';
  83                 $bandeau = $err = '';
  84         } else {
  85                 include_spip('inc/distant');
  86
  87                 if (is_dir($url)) {
  88                         $dir = (substr($url,-1,1) === '/') ? $url : "$url/";
  89                         $ext = !preg_match('/^[.*\w]+$/', $req_ext) ? 'php' : $req_ext;
  90                         $files = preg_files($dir,  "$ext$", $limit, $rec);
  91                         if (!$files AND $ext!=='html') {
  92                                 $files = preg_files($dir, 'html$', $limit, $rec);
  93                                 if ($files) $ext = 'html';
  94                         }
  95                         if ($files) {
  96                                 $res = valider_dir($files, $ext, $url);
  97                                 list($err, $res) = valider_resultats($res, $ext === 'html');
  98                                 $err = ' (' . $err . '/' . count($files) .')';
  99                         } else {
 100                                 $res = _T('texte_vide');
 101                                 $err = '';
 102                         }
 103                         $bandeau = $dir . '*' . $ext . $err;
 104                 } else {
 105                         if (preg_match('@^((?:[.]/)?[^?]*)[?]([0-9a-z_]+)=([^&]*)(.*)$@', $url, $r)) {
 106                           list(,$server, $dir, $script, $args) = $r;
 107                                 if (((!$server) OR ($server == './')
 108                                     OR strpos($server, url_de_base()) === 0)
 109                                     AND is_dir($dir)) {
 110                                   $url = $script;
 111                                   // Pour quand le validateur saura simuler
 112                                   // une query-string...
 113                                   // $args = preg_split('/&(amp;)?[a-z0-9_]+=/', $args);
 114                                   $args = true;
 115                                 }
 116                         } else { $dir = 'exec'; $script = $url; $args = true;}
 117
 118                         $url_aff = entites_html($url);
 119                         $bandeau = "";
 120                         $res = "";
 121                         if ($process) {
 122                                 $transformer_xml = charger_fonction('valider', 'xml');
 123                                 if (preg_match(',^[a-z][0-9a-z_]*$,i', $url)) {
 124                                         $res = $transformer_xml(charger_fonction($url, $dir), $args);
 125                                         $url_aff = valider_pseudo_url($dir, $script);
 126                                 } else {
 127                                         $res = $transformer_xml(recuperer_page($url));
 128                                         $url_aff = entites_html($url);
 129                                 }
 130                                 list($texte, $err) = emboite_texte($res);
 131                                 if (!$err) {
 132                                         $err = '<h3>' . _T('spip_conforme_dtd') . '</h3>';
 133                                 }
 134                                 $res =
 135                                         "<div style='text-align: center'>" . $err . "</div>" .
 136                                         "<div style='margin: 10px; text-align: left'>" . $texte . '</div>';
 137                                 $bandeau = "<a href='$url_aff'>".$url_aff."</a>";
 138                         }
 139
 140                 }
 141         }
 142
 143         $commencer_page = charger_fonction('commencer_page', 'inc');
 144         $debut = $commencer_page($titre);
 145         $jq = http_script("", 'jquery.js');
 146
 147
 148         echo str_replace('<head>', "<head>$jq", $debut);
 149         include_spip('inc/securiser_action');
 150         $token = calculer_cle_action("valider_xml");
 151         $texte = '<input type="text" size="70" value="' . $url_aff . '" name="var_url" id="var_url" placeholder="http://" />';
 152         $texte .= '<input type="hidden" value="' . $token . '" name="var_token" />';
 153         $texte .= '<input type="hidden" value="' . $req_ext . '" name="ext" />';
 154         $texte .= '<input type="submit" value="Go" />';
 155         $texte = generer_form_ecrire('valider_xml', $texte, " method='post'");
 156
 157         $self = generer_url_ecrire('valider_xml');
 158         $self = parametre_url($self, 'var_url', $url);
 159         $self = parametre_url($self, 'ext', $req_ext);
 160         $self = parametre_url($self, 'limit', $limit);
 161         $self = parametre_url($self, 'rec', $rec);
 162         $self = "<a href='$self'>$self</a>";
 163
 164         echo "<h1 class='grostitre'>", $titre, " <small>$bandeau</small>", '</h1>',
 165           "<div style='text-align: center'>", $texte, "</div>",
 166           $res,
 167           "<br /><br /><p><small>$self</small></p>",
 168           fin_page();
 169 }
 170
 171 // http://doc.spip.org/@valider_resultats
 172 function valider_resultats($res, $mode)
 173 {
 174         include_spip('inc/securiser_action');
 175         $i = $j = 0;
 176         $table = '';
 177         rsort($res);
 178         foreach($res as $l) {
 179                 $i++;
 180                 $class = 'row_'.alterner($i, 'even', 'odd');
 181                 list($nb, $texte, $erreurs, $script, $appel, $temps) = $l;
 182                 if ($texte < 0) {
 183                         $texte = (0- $texte);
 184                         $color = ";color: red";
 185                 } else  {$color = '';}
 186
 187                 $err = (!intval($nb)) ? '' :
 188                   ($erreurs[0][0] . ' ' . _T('ligne') . ' ' .
 189                    $erreurs[0][1] .($nb==1? '': '  ...'));
 190                 if ($err) $j++;
 191                 if ($mode) {
 192                         $h = $appel . '&var_mode=debug&var_mode_affiche=validation';
 193                 }
 194                 else {
 195                         $h = generer_url_ecrire('valider_xml', "var_url=" . urlencode($appel));
 196                         $h = parametre_url($h,'var_token', calculer_cle_action("valider_xml&var_url=$appel"));
 197                 }
 198
 199                 $table .= "<tr class='$class'>"
 200                 . "<td style='text-align: right'>$nb</td>"
 201                 . "<td style='text-align: right$color'>$texte</td>"
 202                 . "<td style='text-align: right'>$temps</td>"
 203                 . "<td style='text-align: left'>$err</td>"
 204                 . "<td>$script</td>"
 205                 . "<td><a href='$h'>$appel</a></td>";
 206         }
 207         return array($j, "<table class='spip'>"
 208           . "<tr><th>"
 209           . _T('erreur_texte')
 210           . "</th><th>"
 211           . _T('taille_octets', array('taille' => ' '))
 212           . "</th><th>"
 213           . _T('zbug_profile', array('time' =>''))
 214           . "</th><th>"
 215           . _T('message')
 216           . "</th><th>Page</th><th>args"
 217           . "</th></tr>"
 218           . $table
 219                      . "</table>");
 220 }
 221
 222 // http://doc.spip.org/@valider_script
 223 function valider_script($transformer_xml, $script, $dir, $ext)
 224 {
 225         $script = basename($script, '.php');
 226         $dir = basename($dir);
 227         $f = charger_fonction($script, $dir, true);
 228 // ne pas se controler soi-meme ni l'index du repertoire ni un fichier annexe
 229         if ($script == _request('exec') OR $script=='index' OR !$f)
 230                 return array('/', 0, '', $script,'');
 231
 232         $val = $transformer_xml($f, true);
 233         $appel = '';
 234
 235         // s'il y a l'attribut minipres, le test est non significatif
 236         // le script necessite peut-etre des arguments, on lui en donne,
 237         // en appelant la fonction _args associee si elle existe
 238         // Si ca ne marche toujours pas, les arguments n'étaient pas bons
 239         // ou c'est une authentification pour action d'administration;
 240         // tant pis, on signale le cas par un resultat negatif
 241
 242         if (strpos($val->page, "id='minipres'")) {
 243                 if (!$g = charger_fonction($script . '_args', $dir, true)) {
 244                         $res = 0 - strlen($val->page);
 245                 } else {
 246                         $args = array(1, 'id_article', 1);
 247                         $val = $transformer_xml($g, $args);
 248                         $appel = 'id_article=1&type=id_article&id=1';
 249                         if (strpos($val->page, "id='minipres'")) {
 250                                 $res = 0 - strlen($val->page);
 251                         } else $res = strlen($val->page);
 252                 }
 253         } else $res = strlen($val->page);
 254
 255         $appel = valider_pseudo_url($dir, $script, $appel);
 256         $err = $val->err;
 257         return array(count($err), $res, $err, $script, $appel);
 258 }
 259
 260 // http://doc.spip.org/@valider_pseudo_url
 261 function valider_pseudo_url($dir, $script, $args='')
 262 {
 263         return  ($dir == 'exec')
 264         ? generer_url_ecrire($script, $args, false, true)
 265         : ("./?$dir=$script" . ($args ? "&$args" : ''));
 266 }
 267
 268 // On essaye de valider un texte meme sans Doctype
 269 // a moins qu'un Content-Type dise clairement que ce n'est pas du XML
 270 // http://doc.spip.org/@valider_skel
 271 function valider_skel($transformer_xml, $file, $dir, $ext)
 272 {
 273         if (!lire_fichier ($file, $text)) return array('/', '/', $file,'');
 274         if (!strpos($text, 'DOCTYPE')) {
 275                 preg_match(",Content[-]Type: *\w+/(\S)+,", $text, $r);
 276                 if ($r[1] === 'css' OR $r[1] === 'plain')
 277                         return array('/', 'DOCTYPE?', $file,'');
 278         }
 279
 280         if ($ext != 'html') {
 281                 // validation d'un non squelette
 282                 $page = array('texte' => $text);
 283                 $url = url_de_base() . _DIR_RESTREINT_ABS . $file;
 284                 $script = $file;
 285         } else {
 286                 $script = basename($file,'.html');
 287                 // pas de validation solitaire pour les squelettes internes, a revoir.
 288                 if (substr_count($dir, '/') <= 1) {
 289                         $url = generer_url_public($script, $contexte);
 290                 } else  $url = '';
 291                 $composer = charger_fonction('composer', 'public');
 292                 list($skel_nom, $skel_code) = $composer($text, 'html', 'html', $file);
 293
 294                 spip_log("compilation de $file en " . strlen($skel_code) .  " octets de nom $skel_nom");
 295                 if (!$skel_nom) return array('/', '/', $file,'');
 296                 $contexte = valider_contexte($skel_code, $file);
 297                 $page = $skel_nom(array('cache'=>''), array($contexte));
 298         }
 299         $res = $transformer_xml($page['texte']);
 300         return array(count($res->err), strlen($res->page), $res->err, $script, $url);
 301 }
 302
 303 // Analyser le code pour construire un contexte plausible complet
 304 // i.e. ce qui est fourni par $Pile[0]
 305 // en eliminant les exceptions venant surtout des Inclure
 306 // Il faudrait trouver une typologie pour generer un contexte parfait:
 307 // actuellement ca produit parfois des erreurs SQL a l'appel de $skel_nom
 308 // http://doc.spip.org/@valider_contexte
 309 function valider_contexte($code, $file)
 310 {
 311         static $exceptions = array('action', 'doublons', 'lang');
 312         preg_match_all('/(\S*)[$]Pile[[]0[]][[].(\w+).[]](\S*)/', $code, $r, PREG_SET_ORDER);
 313         $args = array();
 314         // evacuer les repetitions et les faux parametres
 315         foreach($r as $v) {
 316                 list(,$f, $nom, $suite) = $v;
 317                 if (!in_array($nom, $exceptions)
 318                 AND (!isset($args[$nom]) OR !$args[$nom]))
 319                         $args[$nom] = ((strpos($f, 'sql_quote') !== false)
 320                                 AND strpos($suite, "'int'") !==false);
 321         }
 322         $contexte= array(); // etudier l'ajout de:
 323         // 'lang' => $GLOBALS['spip_lang'],
 324         // 'date' => date('Y-m-d H:i:s'));
 325         foreach ($args as $nom => $f) {
 326                 if (!$f)
 327                   $val = 'id_article';
 328                 else {
 329                   // on suppose que arg numerique => primary-key d'une table
 330                   // chercher laquelle et prendre un numero existant
 331                   $val = 0;
 332                   $type = (strpos($nom, 'id_') === 0)  ? substr($nom,3) : $nom;
 333                   $trouver_table = charger_fonction('trouver_table', 'base');
 334                   $table = $trouver_table(table_objet_sql($type));
 335                   if ($table)
 336                     $val = @sql_getfetsel($nom, $table['table'], '', '','',"0,1");
 337                     // porte de sortie si ca marche pas,
 338                   if (!$val) $val = 1;
 339                 }
 340                 $contexte[$nom] =  $val;
 341         }
 342         return $contexte;
 343 }
 344
 345 // http://doc.spip.org/@valider_dir
 346 function valider_dir($files, $ext, $dir)
 347 {
 348         $res = array();
 349         $transformer_xml = charger_fonction('valider', 'xml');
 350         $valideur = $ext=='php' ? 'valider_script' : 'valider_skel' ;
 351         foreach($files as $f) {
 352                 spip_timer($f);
 353                 $val = $valideur($transformer_xml, $f, $dir, $ext);
 354                 $n = spip_timer($f);
 355                 $val[]= $n;
 356                 spip_log("validation de $f en $n secondes");
 357                 $res[]= $val;
 358         }
 359         return $res;
 360 }
 361 ?>