diff mbox

[tpmdd-devel] tpm2: fix off-by-one comparison and out-of-bounds read error

Message ID 20170320142336.10997-1-colin.king@canonical.com
State New
Headers show

Commit Message

Colin Ian King March 20, 2017, 2:23 p.m. UTC 
From: Colin Ian King <colin.king@canonical.com>

The comparison of an out of range index into space->context_tbl is
off-by-one and should be using >= rather than > in the comparison.

Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")

Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
Signed-off-by: Colin Ian King <colin.king@canonical.com>
---
 drivers/char/tpm/tpm2-space.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Comments

Jarkko Sakkinen March 22, 2017, 11:42 a.m. UTC | #1 
On Mon, Mar 20, 2017 at 02:23:36PM +0000, Colin King wrote:
> From: Colin Ian King <colin.king@canonical.com>
> 
> The comparison of an out of range index into space->context_tbl is
> off-by-one and should be using >= rather than > in the comparison.
> 
> Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")
> 
> Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
> Signed-off-by: Colin Ian King <colin.king@canonical.com>
> ---
>  drivers/char/tpm/tpm2-space.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
> index d36d81e07076..009934269514 100644
> --- a/drivers/char/tpm/tpm2-space.c
> +++ b/drivers/char/tpm/tpm2-space.c
> @@ -229,7 +229,7 @@ static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
>  	int i;
>  
>  	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
> -	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> +	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
>  		return false;
>  
>  	phandle = space->context_tbl[i];
> -- 
> 2.11.0

Thanks. If you don't mind, I would squash this to that patch?

/Jarkko

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
Colin Ian King March 22, 2017, 11:45 a.m. UTC | #2 
On 22/03/17 11:42, Jarkko Sakkinen wrote:
> On Mon, Mar 20, 2017 at 02:23:36PM +0000, Colin King wrote:
>> From: Colin Ian King <colin.king@canonical.com>
>>
>> The comparison of an out of range index into space->context_tbl is
>> off-by-one and should be using >= rather than > in the comparison.
>>
>> Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")
>>
>> Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
>> Signed-off-by: Colin Ian King <colin.king@canonical.com>
>> ---
>>  drivers/char/tpm/tpm2-space.c | 2 +-
>>  1 file changed, 1 insertion(+), 1 deletion(-)
>>
>> diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
>> index d36d81e07076..009934269514 100644
>> --- a/drivers/char/tpm/tpm2-space.c
>> +++ b/drivers/char/tpm/tpm2-space.c
>> @@ -229,7 +229,7 @@ static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
>>  	int i;
>>  
>>  	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
>> -	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
>> +	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
>>  		return false;
>>  
>>  	phandle = space->context_tbl[i];
>> -- 
>> 2.11.0
> 
> Thanks. If you don't mind, I would squash this to that patch?
> 
> /Jarkko
> 
Sure squash it, and maybe add a Reported-by: Colin Ian King
<colin.king@canonical.com> if that's OK with you.

Colin

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
Jarkko Sakkinen March 23, 2017, 3:51 p.m. UTC | #3 
On Wed, Mar 22, 2017 at 11:45:37AM +0000, Colin Ian King wrote:
> On 22/03/17 11:42, Jarkko Sakkinen wrote:
> > On Mon, Mar 20, 2017 at 02:23:36PM +0000, Colin King wrote:
> >> From: Colin Ian King <colin.king@canonical.com>
> >>
> >> The comparison of an out of range index into space->context_tbl is
> >> off-by-one and should be using >= rather than > in the comparison.
> >>
> >> Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")
> >>
> >> Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
> >> Signed-off-by: Colin Ian King <colin.king@canonical.com>
> >> ---
> >>  drivers/char/tpm/tpm2-space.c | 2 +-
> >>  1 file changed, 1 insertion(+), 1 deletion(-)
> >>
> >> diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
> >> index d36d81e07076..009934269514 100644
> >> --- a/drivers/char/tpm/tpm2-space.c
> >> +++ b/drivers/char/tpm/tpm2-space.c
> >> @@ -229,7 +229,7 @@ static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
> >>  	int i;
> >>  
> >>  	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
> >> -	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> >> +	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> >>  		return false;
> >>  
> >>  	phandle = space->context_tbl[i];
> >> -- 
> >> 2.11.0
> > 
> > Thanks. If you don't mind, I would squash this to that patch?
> > 
> > /Jarkko
> > 
> Sure squash it, and maybe add a Reported-by: Colin Ian King
> <colin.king@canonical.com> if that's OK with you.
> 
> Colin

Thanks I'll do that!

/Jarkko

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
Jarkko Sakkinen March 23, 2017, 3:53 p.m. UTC | #4 
On Wed, Mar 22, 2017 at 04:12:49PM +0300, Dan Carpenter wrote:
> On Wed, Mar 22, 2017 at 11:45:37AM +0000, Colin Ian King wrote:
> > On 22/03/17 11:42, Jarkko Sakkinen wrote:
> > > On Mon, Mar 20, 2017 at 02:23:36PM +0000, Colin King wrote:
> > >> From: Colin Ian King <colin.king@canonical.com>
> > >>
> > >> The comparison of an out of range index into space->context_tbl is
> > >> off-by-one and should be using >= rather than > in the comparison.
> > >>
> > >> Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")
> > >>
> > >> Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
> > >> Signed-off-by: Colin Ian King <colin.king@canonical.com>
> > >> ---
> > >>  drivers/char/tpm/tpm2-space.c | 2 +-
> > >>  1 file changed, 1 insertion(+), 1 deletion(-)
> > >>
> > >> diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
> > >> index d36d81e07076..009934269514 100644
> > >> --- a/drivers/char/tpm/tpm2-space.c
> > >> +++ b/drivers/char/tpm/tpm2-space.c
> > >> @@ -229,7 +229,7 @@ static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
> > >>  	int i;
> > >>  
> > >>  	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
> > >> -	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> > >> +	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> > >>  		return false;
> > >>  
> > >>  	phandle = space->context_tbl[i];
> > >> -- 
> > >> 2.11.0
> > > 
> > > Thanks. If you don't mind, I would squash this to that patch?
> > > 
> > > /Jarkko
> > > 
> > Sure squash it, and maybe add a Reported-by: Colin Ian King
> > <colin.king@canonical.com> if that's OK with you.
> 
> Reported-by isn't really correct though...  We should have a Fixes-from:
> tag for squashed fixes.
> 
> regards,
> dan carpenter

Hmm... Maybe so depending on how you interpret Reported-by but
Fixes-from is not something that is used at the moment, is it?

/Jarkko

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
Jarkko Sakkinen March 23, 2017, 4:23 p.m. UTC | #5 
On Thu, Mar 23, 2017 at 05:53:58PM +0200, Jarkko Sakkinen wrote:
> On Wed, Mar 22, 2017 at 04:12:49PM +0300, Dan Carpenter wrote:
> > On Wed, Mar 22, 2017 at 11:45:37AM +0000, Colin Ian King wrote:
> > > On 22/03/17 11:42, Jarkko Sakkinen wrote:
> > > > On Mon, Mar 20, 2017 at 02:23:36PM +0000, Colin King wrote:
> > > >> From: Colin Ian King <colin.king@canonical.com>
> > > >>
> > > >> The comparison of an out of range index into space->context_tbl is
> > > >> off-by-one and should be using >= rather than > in the comparison.
> > > >>
> > > >> Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")
> > > >>
> > > >> Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
> > > >> Signed-off-by: Colin Ian King <colin.king@canonical.com>
> > > >> ---
> > > >>  drivers/char/tpm/tpm2-space.c | 2 +-
> > > >>  1 file changed, 1 insertion(+), 1 deletion(-)
> > > >>
> > > >> diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
> > > >> index d36d81e07076..009934269514 100644
> > > >> --- a/drivers/char/tpm/tpm2-space.c
> > > >> +++ b/drivers/char/tpm/tpm2-space.c
> > > >> @@ -229,7 +229,7 @@ static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
> > > >>  	int i;
> > > >>  
> > > >>  	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
> > > >> -	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> > > >> +	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> > > >>  		return false;
> > > >>  
> > > >>  	phandle = space->context_tbl[i];
> > > >> -- 
> > > >> 2.11.0
> > > > 
> > > > Thanks. If you don't mind, I would squash this to that patch?
> > > > 
> > > > /Jarkko
> > > > 
> > > Sure squash it, and maybe add a Reported-by: Colin Ian King
> > > <colin.king@canonical.com> if that's OK with you.
> > 
> > Reported-by isn't really correct though...  We should have a Fixes-from:
> > tag for squashed fixes.
> > 
> > regards,
> > dan carpenter
> 
> Hmm... Maybe so depending on how you interpret Reported-by but
> Fixes-from is not something that is used at the moment, is it?
> 
> /Jarkko

When I started squashing the commit I realized what you meant so
I'm adding this to the commit:

Fixes-from: Colin Ian King <colin.king@canonical.com>

/Jarkko


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
Jarkko Sakkinen March 23, 2017, 6:12 p.m. UTC | #6 
On Thu, Mar 23, 2017 at 07:42:09PM +0300, Dan Carpenter wrote:
> On Thu, Mar 23, 2017 at 05:53:58PM +0200, Jarkko Sakkinen wrote:
> > On Wed, Mar 22, 2017 at 04:12:49PM +0300, Dan Carpenter wrote:
> > > On Wed, Mar 22, 2017 at 11:45:37AM +0000, Colin Ian King wrote:
> > > > On 22/03/17 11:42, Jarkko Sakkinen wrote:
> > > > > On Mon, Mar 20, 2017 at 02:23:36PM +0000, Colin King wrote:
> > > > >> From: Colin Ian King <colin.king@canonical.com>
> > > > >>
> > > > >> The comparison of an out of range index into space->context_tbl is
> > > > >> off-by-one and should be using >= rather than > in the comparison.
> > > > >>
> > > > >> Detected by CoverityScan, CID#1419694 ("Out-of-bounds read")
> > > > >>
> > > > >> Fixes: 849246e7ce9ce ("tpm2: add session handle context saving and restoring to the space code")
> > > > >> Signed-off-by: Colin Ian King <colin.king@canonical.com>
> > > > >> ---
> > > > >>  drivers/char/tpm/tpm2-space.c | 2 +-
> > > > >>  1 file changed, 1 insertion(+), 1 deletion(-)
> > > > >>
> > > > >> diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
> > > > >> index d36d81e07076..009934269514 100644
> > > > >> --- a/drivers/char/tpm/tpm2-space.c
> > > > >> +++ b/drivers/char/tpm/tpm2-space.c
> > > > >> @@ -229,7 +229,7 @@ static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
> > > > >>  	int i;
> > > > >>  
> > > > >>  	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
> > > > >> -	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> > > > >> +	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
> > > > >>  		return false;
> > > > >>  
> > > > >>  	phandle = space->context_tbl[i];
> > > > >> -- 
> > > > >> 2.11.0
> > > > > 
> > > > > Thanks. If you don't mind, I would squash this to that patch?
> > > > > 
> > > > > /Jarkko
> > > > > 
> > > > Sure squash it, and maybe add a Reported-by: Colin Ian King
> > > > <colin.king@canonical.com> if that's OK with you.
> > > 
> > > Reported-by isn't really correct though...  We should have a Fixes-from:
> > > tag for squashed fixes.
> > > 
> > > regards,
> > > dan carpenter
> > 
> > Hmm... Maybe so depending on how you interpret Reported-by but
> > Fixes-from is not something that is used at the moment, is it?
> 
> No, but we should create it.
> 
> regards,
> dan carpenter

Fully agreed. Using reported-by in the commit in question implies as if
the whole commit was proposed by Colin.

/Jarkko

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
diff mbox

Patch

diff --git a/drivers/char/tpm/tpm2-space.c b/drivers/char/tpm/tpm2-space.c
index d36d81e07076..009934269514 100644
--- a/drivers/char/tpm/tpm2-space.c
+++ b/drivers/char/tpm/tpm2-space.c
@@ -229,7 +229,7 @@  static bool tpm2_map_to_phandle(struct tpm_space *space, void *handle)
 	int i;
 
 	i = 0xFFFFFF - (vhandle & 0xFFFFFF);
-	if (i > ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
+	if (i >= ARRAY_SIZE(space->context_tbl) || !space->context_tbl[i])
 		return false;
 
 	phandle = space->context_tbl[i];