webinterface.git

1) <?php

2) /*
3) This file belongs to the Webinterface of schokokeks.org Hosting
4) 

5) Written 2008-2018 by schokokeks.org Hosting, namely

6)   Bernd Wurst <bernd@schokokeks.org>
7)   Hanno Böck <hanno@schokokeks.org>
8) 
9) To the extent possible under law, the author(s) have dedicated all copyright and related and neighboring rights to this software to the public domain worldwide. This software is distributed without any warranty.
10) 

11) You should have received a copy of the CC0 Public Domain Dedication along with this software. If not, see

12) http://creativecommons.org/publicdomain/zero/1.0/
13) 
14) Nevertheless, in case you use a significant part of this code, we ask (but not require, see the license) that you keep the authors' names in place and return your changes to the public. We would be especially happy if you tell us what you're going to do with this code.
15) */

16) 

17) require_once('inc/error.php');

18) require_once('vendor/autoload.php');

19) 

20) 

21) function strong_password($password, $user = [])

22) {

23)     $pwcheck = config('pwcheck');
24)     $result = null;
25)     if ($pwcheck) {
26)         DEBUG($pwcheck);

27)         $req = curl_init($pwcheck);

28)         curl_setopt($req, CURLOPT_RETURNTRANSFER, 1);
29)         curl_setopt($req, CURLOPT_SSL_VERIFYPEER, 1);
30)         curl_setopt($req, CURLOPT_SSL_VERIFYSTATUS, 1);
31)         curl_setopt($req, CURLOPT_CONNECTTIMEOUT, 5);
32)         curl_setopt($req, CURLOPT_TIMEOUT, 5);
33)         curl_setopt($req, CURLOPT_FOLLOWLOCATION, 0);

34)         curl_setopt($req, CURLOPT_POST, 1);

35)         curl_setopt($req, CURLOPT_POSTFIELDS, "password=".urlencode($password));

36)         $result = chop(curl_exec($req));
37)         DEBUG($result);
38)     }
39)     if ($result === 'good') {
40)         return true;
41)     } elseif ($result === 'bad') {

42)         return "Unsere Überprüfung hat ergeben, dass dieses Passwort in bisher veröffentlichten Passwortlisten enthalten ist. Es wird daher nicht akzeptiert.";

43)     }

44)     // Kein Online-Check eingerichtet oder der request war nicht erfolgreich
45)     DEBUG('using Zxcvbn for password check!');
46)     $passwordchecker = new ZxcvbnPhp\Zxcvbn();

47)     if ($user) {
48)         $strength = $passwordchecker->passwordStrength($password, $user);
49)     } else {
50)         $strength = $passwordchecker->passwordStrength($password);
51)     }

52)     DEBUG('password strength: '.$strength['score']);
53)     if ($strength['score'] < 2) {
54)         return "Das Passwort ist zu einfach!";

55)     }
56)     return true;

57) }
58) 
59) 

60) function filter_input_general($input)

61) {

62)     if ($input === null) {
63)         return null;
64)     }

65)     $input = (string) $input;

66)     $filtered = preg_replace('/[\x00-\x09\x0b-\x0c\x0e-\x1f]/', '', $input);
67)     if ($filtered !== $input) {
68)         system_failure("Ihre Daten enthielten ungültige Zeichen!");
69)         logger(LOG_WARNING, 'inc/security', 'filter_input_general', 'Ungültige Daten!');
70)     }
71)     return $filtered;

72) }
73) 

74) function filter_input_oneline($input)

75) {

76)     if ($input === null) {
77)         return null;
78)     }

79)     $input = (string) $input;

80)     $filtered = preg_replace('/[\x00-\x1f]/', '', $input);
81)     if ($filtered !== $input) {

82)         system_failure("Ihre Daten enthielten ungültige Zeichen!");

83)         logger(LOG_WARNING, 'inc/security', 'filter_input_oneline', 'Ungültige Daten!');

84)     }

85)     return $filtered;

86) }
87) 
88) 

89) function filter_output_html($data)
90) {
91)     return htmlspecialchars($data, ENT_QUOTES);
92) }
93) 
94) 

95) function verify_input_ascii($data)
96) {

97)     $data = (string) $data;

98)     $filtered = filter_var($data, FILTER_UNSAFE_RAW, FILTER_FLAG_STRIP_LOW | FILTER_FLAG_STRIP_HIGH);
99)     if ($filtered != $data) {
100)         logger(LOG_WARNING, 'inc/security', 'verify_input_ascii', 'Ungültige Daten: '.$data);
101)         system_failure("Ihre Eingabe enthielt ungültige Zeichen");
102)     }
103)     return $filtered;
104) }
105) 
106) 
107) function verify_input_identifier($data)
108) {

109)     $data = (string) $data;

110)     if ($data === "") {
111)         system_failure("Leerer Bezeichner");
112)     }
113)     $filtered = preg_replace("/[^[:alnum:]\_\.\-]/", "", $data);
114)     if ($filtered !== $data) {
115)         logger(LOG_WARNING, 'inc/security', 'verify_input_identifier', 'Ungültige Daten: '.$data);
116)         system_failure("Ihre Daten enthielten ungültige Zeichen!");
117)     }
118)     return $filtered;
119) }
120) 

121) 

122) function filter_input_username($input)

123) {

124)     $username = preg_replace("/[^[:alnum:]\_\.\+\-]/", "", $input);

125)     if ($username === "") {
126)         system_failure("Leerer Benutzername!");
127)     }
128)     return $username;

129) }
130) 

131) function verify_input_username($input)

132) {

133)     if (filter_input_username($input) != $input) {
134)         logger(LOG_WARNING, 'inc/security', 'verify_input_username', 'Ungültige Daten: '.$input);
135)         system_failure("Ihre Daten enthielten ungültige Zeichen!");
136)     }

137) }
138) 

139) 
140) 

141) function filter_input_hostname($input, $wildcard=false)

142) {

143)     DEBUG('filter_input_hostname("'.$input.'", $wildcard='.$wildcard.')');

144)     $input = strtolower($input);

145)     $input = trim($input, "\t\n\r\x00 .");

146)     if (preg_replace("/[^.]_/", "", $input) != $input) {
147)         system_failure("Der Unterstrich ist nur als erstes Zeichen eines Hostnames erlaubt.");
148)     }

149)     if (preg_replace("/[^[:alnum:]_*\.\-]/u", "", $input) != $input) {

150)         system_failure("Ihre Daten enthielten ungültige Zeichen!");
151)     }
152)     if (preg_match("/^.+\*/", $input)) {
153)         system_failure("Ihre Daten enthielten ungültige Zeichen (Wildcard-Stern muss ganz vorne stehen)!");
154)     }
155)     if (! $wildcard && preg_replace("/^\*/", "", $input) != $input) {
156)         system_failure("Ihre Daten enthielten ungültige Zeichen (Keine Wildcards erlaubt)!");
157)     }
158)     if (strstr($input, '..')) {
159)         system_failure("Ungültiger Hostname");
160)     }
161)     return $input;

162) }
163) 

164) function verify_input_hostname($input, $wildcard=false)

165) {

166)     if (filter_input_hostname($input, $wildcard) != $input) {
167)         logger(LOG_WARNING, 'inc/security', 'verify_input_hostname', 'Ungültige Daten: '.$input);
168)         system_failure("Ihre Daten enthielten ungültige Zeichen!");
169)     }

170) }
171) 
172) 

173) function verify_input_hostname_utf8($input)
174) {
175)     $puny = idn_to_ascii($input, IDNA_DEFAULT, INTL_IDNA_VARIANT_UTS46);
176)     if ($puny === false) {
177)         system_failure("Ungültiger Hostname! idn ".$input);
178)     }
179)     $filter = filter_var($puny, FILTER_VALIDATE_DOMAIN, FILTER_FLAG_HOSTNAME);

180)     if ($filter !== $puny) {

181)         system_failure("Ungültiger Hostname! filter ".$input);
182)     }
183) }
184) 
185) 

186) function verify_input_ipv4($input)

187) {

188)     if (! preg_match("/^([1-9]|[1-9][0-9]|1[0-9][0-9]|2[0-4][0-9]|25[0-5])(\.([0-9]|[1-9][0-9]|1[0-9][0-9]|2[0-4][0-9]|25[0-5])){3}$/", $input)) {
189)         system_failure('Keine IP-Adresse');
190)     }

191) }
192) 
193) 

194) function verify_input_ipv6($input)

195) {

196)     // ripped from Perl module Net-IPv6Addr v0.2
197)     if (! preg_match("/^(([0-9a-f]{1,4}:){7}[0-9a-f]{1,4}|[0-9a-f]{0,4}::|:(?::[a-f0-9]{1,4}){1,6}|(?:[a-f0-9]{1,4}:){1,6}:|(?:[a-f0-9]{1,4}:)(?::[a-f0-9]{1,4}){1,6}|(?:[a-f0-9]{1,4}:){2}(?::[a-f0-9]{1,4}){1,5}|(?:[a-f0-9]{1,4}:){3}(?::[a-f0-9]{1,4}){1,4}|(?:[a-f0-9]{1,4}:){4}(?::[a-f0-9]{1,4}){1,3}|(?:[a-f0-9]{1,4}:){5}(?::[a-f0-9]{1,4}){1,2}|(?:[a-f0-9]{1,4}:){6}(?::[a-f0-9]{1,4}))$/i", $input)) {
198)         system_failure("Ungültige IPv6-Adresse");
199)     }

200) }

201) 

202) function verify_input_recorddata($input)

203) {

204)     if (strstr($input, "\\") || strstr($input, '"')) {
205)         system_failure("Ungültige Zeichen");
206)     }

207) }

208) 

209) function filter_quotes($input)

210) {

211)     return preg_replace('/["\'`]/', '', $input);

212) }
213) 

214) 
215) 

216) function filter_shell($input)

217) {

218)     return preg_replace('/[^-[:alnum:]\_\.\+ßäöüÄÖÜ/%§=]/', '', $input);

219) }
220) 

221) function verify_shell($input)

222) {

223)     if (filter_shell($input) != $input) {
224)         system_failure("Ihre Daten enthielten ungültige Zeichen!");
225)     }

226) }

227) 

228) 

229) function filter_ssh_key($key)
230) {

231)     $keyparts = explode(" ", trim($key));

232) 

233)     if ((count($keyparts) > 3) || (count($keyparts) < 2)) {
234)         system_failure("Ungültiger SSH-Key!");
235)     }

236) 

237)     if (preg_match("/^[a-z0-9]+-[a-z0-9-]+$/", $keyparts[0]) === 0) {
238)         system_failure("Ungültiger SSH-Key!");
239)     }

240) 

241)     if (base64_decode($keyparts[1], 1) == false) {
242)         system_failure("Ungültiger SSH-Key!");
243)     }

244) 

245)     if ((count($keyparts) === 3) && (preg_match("/^[a-zA-Z0-9@._-]+$/", $keyparts[2]) === 0)) {

246)         system_failure("Ungültige Zeichen im Kommentar des SSH-Keys!");
247)     }

248) 

249)     if (count($keyparts) === 2) {
250)         return $keyparts[0]." ".$keyparts[1];
251)     } else {
252)         return $keyparts[0]." ".$keyparts[1]." ".$keyparts[2];
253)     }

254) }
255) 

256) 

257) function check_path($input)

258) {

259)     DEBUG("checking {$input} for valid path name");

260)     if ($input != filter_output_html($input)) {

261)         logger(LOG_WARNING, 'inc/security', 'check_path', 'HTML-Krams im Pfad: '.$input);
262)         DEBUG("HTML-Krams im Pfad");
263)         return false;
264)     }
265)     $components = explode("/", $input);
266)     foreach ($components as $item) {
267)         if ($item == '..') {
268)             logger(LOG_WARNING, 'inc/security', 'check_path', '»..« im Pfad: '.$input);
269)             DEBUG("»..« im Pfad");
270)             return false;
271)         }

272)         if (strlen($item) > 255) {
273)             return false;
274)         }
275)     }
276)     if (strlen($input) > 2048) {
277)         return false;

278)     }

279)     return (preg_match('/^[ A-Za-z0-9.@\/_-]*$/', $input) == 1);

280) }
281) 
282) 

283) function in_homedir($path)
284) {

285)     DEBUG("Prüfe »{$path}«");
286)     if (! check_path($path)) {
287)         DEBUG('Kein Pfad');
288)         return false;
289)     }
290)     if (! isset($_SESSION['userinfo']['homedir'])) {
291)         DEBUG("Kann homedir nicht ermitteln");
292)         return false;
293)     }

294)     return strncmp($_SESSION['userinfo']['homedir'], $path, strlen($_SESSION['userinfo']['homedir'])) == 0;

295) }
296) 

297) function check_date($input)

298) {

299)     return (bool) preg_match("/[0-9]{4}-(0?[1-9]|10|11|12)-([012]?[0-9]|30|31)/", $input);

300) }
301) 

302) 

303) function check_emailaddr($input)

304) {

305)     return (bool) filter_var($input, FILTER_VALIDATE_EMAIL) == $input;

306) }
307) 

308) function check_domain($input)

309) {

310)     return (bool) preg_match("/^[a-z0-9\.\-]+\.[a-z\-]{2,63}$/i", $input);

311) }