Files
chipsec-chipsec/chipsec/modules/common/bios_kbrd_buffer.py
T

96 lines
4.0 KiB
Python

#CHIPSEC: Platform Security Assessment Framework
#Copyright (c) 2010-2015, Intel Corporation
#
#This program is free software; you can redistribute it and/or
#modify it under the terms of the GNU General Public License
#as published by the Free Software Foundation; Version 2.
#
#This program is distributed in the hope that it will be useful,
#but WITHOUT ANY WARRANTY; without even the implied warranty of
#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
#GNU General Public License for more details.
#
#You should have received a copy of the GNU General Public License
#along with this program; if not, write to the Free Software
#Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
#
#Contact information:
#chipsec@intel.com
#
"""
DEFCON 16: `Bypassing Pre-boot Authentication Passwords by Instrumenting the BIOS Keyboard Buffer <https://www.defcon.org/images/defcon-16/dc16-presentations/brossard/defcon-16-brossard-wp.pdf>`_ by Jonathan Brossard
Checks for BIOS/HDD password exposure through BIOS keyboard buffer.
Checks for exposure of pre-boot passwords (BIOS/HDD/pre-bot authentication SW) in the BIOS keyboard buffer.
"""
from chipsec.hal.mmio import *
from chipsec.hal.spi import *
from chipsec.module_common import *
TAGS = [MTAG_BIOS]
COMMON_FILL_PTRN = "".join( ['%c' % chr(x + 0x1E) for x in range(32)] )
class bios_kbrd_buffer(BaseModule):
def __init__(self):
BaseModule.__init__(self)
def is_supported(self):
return True
def check_BIOS_keyboard_buffer(self):
self.logger.start_test( "Pre-boot Passwords in the BIOS Keyboard Buffer" )
bios_kbrd_buf_clear = 0
kbrd_buf_head = self.cs.mem.read_physical_mem_dword( 0x41A ) & 0x000000FF
kbrd_buf_tail = self.cs.mem.read_physical_mem_dword( 0x41C ) & 0x000000FF
self.logger.log( "[*] Keyboard buffer head pointer = 0x%X (at 0x41A), tail pointer = 0x%X (at 0x41C)" % (kbrd_buf_head,kbrd_buf_tail) )
bios_kbrd_buf = self.cs.mem.read_physical_mem( 0x41E, 32 )
self.logger.log( "[*] Keyboard buffer contents (at 0x41E):" )
chipsec.logger.print_buffer( bios_kbrd_buf )
#try:
#s = struct.unpack( '32c', bios_kbrd_buf.raw )
s = struct.unpack( '32c', bios_kbrd_buf )
#except:
# self.logger.error( 'Cannot convert buffer to char sequence' )
# return -1
has_contents = False
if COMMON_FILL_PTRN == bios_kbrd_buf:
self.logger.log_passed_check( "Keyboard buffer is filled with common fill pattern" )
return ModuleResult.PASSED
for x in range(32):
if ( chr(0) != s[x] and chr(0x20) != s[x] ):
has_contents = True
break
if (0x1E < kbrd_buf_tail) and (kbrd_buf_tail <= 0x1E+32):
#has_contents = True
self.logger.log_bad( "Keyboard buffer tail points inside the buffer (= 0x%X)" % kbrd_buf_tail )
self.logger.log( " It may potentially expose lengths of pre-boot passwords. Was your password %d characters long?" % ((kbrd_buf_tail+2 - 0x1E)/2) )
self.logger.log( "[*] Checking contents of the keyboard buffer..\n" )
if has_contents: self.logger.log_warn_check( "Keyboard buffer is not empty. The test cannot determine conclusively if it contains pre-boot passwords.\n The contents might have not been cleared by pre-boot firmware or overwritten with garbage.\n Visually inspect the contents of keyboard buffer for pre-boot passwords (BIOS, HDD, full-disk encryption)." )
else: self.logger.log_passed_check( "Keyboard buffer looks empty. Pre-boot passwords don't seem to be exposed" )
return (ModuleResult.WARNING if has_contents else ModuleResult.PASSED)
# --------------------------------------------------------------------------
# run( module_argv )
# Required function: run here all tests from this module
# --------------------------------------------------------------------------
def run( self, module_argv ):
return self.check_BIOS_keyboard_buffer()