ich777/linux_media
1
0
Fork 0
mirror of https://github.com/tbsdtv/linux_media.git synced 2025-07-23 12:43:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

Replace HTTP links with HTTPS ones: DMI/SMBIOS SUPPORT

Browse Source 
Rationale:
Reduces attack surface on kernel devs opening the links for MITM
as HTTPS traffic is much harder to manipulate.

Deterministic algorithm:
For each file:
  If not .svg:
    For each line:
      If doesn't contain `\bxmlns\b`:
        For each link, `\bhttp://[^# \t\r\n]*(?:\w|/)`:
	  If neither `\bgnu\.org/license`, nor `\bmozilla\.org/MPL\b`:
            If both the HTTP and HTTPS versions
            return 200 OK and serve the same content:
              Replace HTTP with HTTPS.

Signed-off-by: Alexander A. Klimov <grandmaster@al2klimov.de>
Signed-off-by: Jean Delvare <jdelvare@suse.de>
This commit is contained in:
Alexander A. Klimov
2020-07-16 11:46:24 +02:00
committed by Jean Delvare
parent 11ba468877
commit a3d13a0a23
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
drivers/firmware/dmi_scan.c
View File

@@ -21,7 +21,7 @@ EXPORT_SYMBOL_GPL(dmi_kobj);
/* /*
* DMI stands for "Desktop Management Interface". It is part * DMI stands for "Desktop Management Interface". It is part
* of and an antecedent to, SMBIOS, which stands for System * of and an antecedent to, SMBIOS, which stands for System
* Management BIOS. See further: http://www.dmtf.org/standards * Management BIOS. See further: https://www.dmtf.org/standards
*/ */
static const char dmi_empty_string[] = ""; static const char dmi_empty_string[] = "";