Fix undefined behavior bug and add bounds-checking coverage
Subsystems (2)
cover Fix undefined behavior bug and add bounds-checking coverage
This series aims to fix an undefined behavior bug in struct stratix10_clock_data and add bounds-checking coverage at run-time for flexible-array member hws in struct clk_hw_onecell_data when accessed throught struct stratix10_clock_data.
Gustavo A. R. Silva (2):
clk: socfpga: Fix undefined behavior bug in struct
stratix10_clock_data
clk: socfpga: agilex: Add bounds-checking coverage for struct
stratix10_clock_data
drivers/clk/socfpga/clk-agilex.c | 12 ++++++------ drivers/clk/socfpga/clk-s10.c | 6 +++--- drivers/clk/socfpga/stratix10-clk.h | 4 +++- 3 files changed, 12 insertions(+), 10 deletions(-)
Signature · 1 line
2.34.1
PATCH 1/2 clk: socfpga: Fix undefined behavior bug in struct stratix10_clock_data
struct clk_hw_onecell_data is a flexible structure, which means that it contains flexible-array member at the bottom, in this case array hws:
include/linux/clk-provider.h:
1380 struct clk_hw_onecell_data {
1381 unsigned int num;
1382 struct clk_hw *hws[] __counted_by(num);
1383 };
This could potentially lead to an overwrite of the objects following clk_data in struct stratix10_clock_data, in this case void __iomem *base; at run-time:
drivers/clk/socfpga/stratix10-clk.h:
9 struct stratix10_clock_data {
10 struct clk_hw_onecell_data clk_data;
11 void __iomem *base;
12 };
There are currently three different places where memory is allocated for struct stratix10_clock_data, including the flex-array hws in struct clk_hw_onecell_data:
drivers/clk/socfpga/clk-agilex.c:
469 clk_data = devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
470 num_clks), GFP_KERNEL);
drivers/clk/socfpga/clk-agilex.c:
509 clk_data = devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
510 num_clks), GFP_KERNEL);
drivers/clk/socfpga/clk-s10.c:
400 clk_data = devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
401 num_clks), GFP_KERNEL);
I'll use just one of them to describe the issue. See below.
Notice that a total of 440 bytes are allocated for flexible-array member hws at line 469:
include/dt-bindings/clock/agilex-clock.h:
70 #define AGILEX_NUM_CLKS 55
drivers/clk/socfpga/clk-agilex.c:
459 struct stratix10_clock_data *clk_data;
460 void __iomem *base;
...
466
467 num_clks = AGILEX_NUM_CLKS;
468
469 clk_data = devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
470 num_clks), GFP_KERNEL);
struct_size(clk_data, clk_data.hws, num_clks) above translates tosizeof(struct stratix10_clock_data) + sizeof(struct clk_hw *) * 55 == 16 + 8 * 55 == 16 + 440
^^^ | allocated bytes for flex-array `hws`
474 for (i = 0; i < num_clks; i++)
475 clk_data->clk_data.hws[i] = ERR_PTR(-ENOENT);
476
477 clk_data->base = base;
and then some data is written into both hws and base objects.
Fix this by placing the declaration of object clk_data at the end of struct stratix10_clock_data. Also, add a comment to make it clear that this object must always be last in the structure.
--- drivers/clk/socfpga/stratix10-clk.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)
drivers/clk/socfpga/stratix10-clk.h +3 -1
@@ -7,8 +7,10 @@#define __STRATIX10_CLK_Hstruct stratix10_clock_data { -struct clk_hw_onecell_data clk_data;void __iomem *base; + +/* Must be last */ +struct clk_hw_onecell_data clk_data; };struct stratix10_pll_clock {
Signature · 1 line
2.34.1
Re: [PATCH 1/2][next] clk: socfpga: Fix undefined behavior bug in struct stratix10_clock_data
Quoted 68 lines · Gustavo A. R. Silva
struct clk_hw_onecell_datais a flexible structure, which means that it contains flexible-array member at the bottom, in this case arrayhws:
include/linux/clk-provider.h:
1380 structclk_hw_onecell_data{
1381 unsigned int num;
1382 structclk_hw*hws[]__counted_by(num);
1383 };This could potentially lead to an overwrite of the objects following
clk_datainstruct stratix10_clock_data, in this casevoid __iomem *base;at run-time:
drivers/clk/socfpga/stratix10-clk.h:
9 structstratix10_clock_data{
10 structclk_hw_onecell_dataclk_data;
11 void__iomem*base;
12 };There are currently three different places where memory is allocated for
struct stratix10_clock_data, including the flex-arrayhwsinstruct clk_hw_onecell_data:
drivers/clk/socfpga/clk-agilex.c:
469clk_data= devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
470num_clks),GFP_KERNEL);
drivers/clk/socfpga/clk-agilex.c:
509clk_data= devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
510num_clks),GFP_KERNEL);
drivers/clk/socfpga/clk-s10.c:
400clk_data= devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
401num_clks),GFP_KERNEL);I'll use just one of them to describe the issue. See below.
Notice that a total of 440 bytes are allocated for flexible-array member
hwsat line 469:
include/dt-bindings/clock/agilex-clock.h:
70 #defineAGILEX_NUM_CLKS55
drivers/clk/socfpga/clk-agilex.c:
459 structstratix10_clock_data*clk_data;
460 void__iomem*base;
...
466
467num_clks=AGILEX_NUM_CLKS;
468
469clk_data= devm_kzalloc(dev, struct_size(clk_data, clk_data.hws,
470num_clks),GFP_KERNEL);
struct_size(clk_data, clk_data.hws, num_clks)above translates tosizeof(struct stratix10_clock_data)+sizeof(struct clk_hw *)* 55 == 16 + 8 * 55 == 16 + 440^^^ | allocated bytes for flex-array `hws`474 for (i = 0; i <
num_clks; i++)
475 clk_data->clk_data.hws[i] =ERR_PTR(-ENOENT);
476
477clk_data->base= base;and then some data is written into both
hwsandbaseobjects.
Quoted 7 lines
Fix this by placing the declaration of object
clk_dataat the end ofstruct stratix10_clock_data. Also, add a comment to make it clear that this object must always be last in the structure.Fixes ba7e258425ac ("clk: socfpga: Convert to s10/agilex/n5x to use clk_hw")Signed-off-by Gustavo A. R. Silva <[email protected]>
Nice find!
Signature · 1 line
Kees Cook
Re: [PATCH 1/2][next] clk: socfpga: Fix undefined behavior bug in struct stratix10_clock_data
Quoted 6 lines
Quoted 4 lines
Fixes ba7e258425ac ("clk: socfpga: Convert to s10/agilex/n5x to use clk_hw")Signed-off-by Gustavo A. R. Silva <[email protected]>Nice find!
:D
Quoted 3 lines
Reviewed-by Kees Cook <[email protected]>
Thanks!
--
Gustavo
PATCH 2/2 clk: socfpga: agilex: Add bounds-checking coverage for struct stratix10_clock_data
In reply to Gustavo A. R. SilvaIn order to gain the bounds-checking coverage that __counted_by provides to flexible-array members at run-time via CONFIG_UBSAN_BOUNDS (for array indexing) and CONFIG_FORTIFY_SOURCE (for strcpy/memcpy-family functions), we must make sure that the counter member, in this case num, is updated before the first access to the flex-array member, in this case array hws.
commit f316cdff8d67 ("clk: Annotate struct clk_hw_onecell_data with __counted_by") introduced __counted_by for struct clk_hw_onecell_data together with changes to relocate some of assignments of counter num before hws is accessed:
include/linux/clk-provider.h:
1380 struct clk_hw_onecell_data {
1381 unsigned int num;
1382 struct clk_hw *hws[] __counted_by(num);
1383 };
However, this structure is used as a member in other structs, in this case in struct sstratix10_clock_data:
drivers/clk/socfpga/stratix10-clk.h:
9 struct stratix10_clock_data {
10 void __iomem *base;
11
12 /* Must be last */
13 struct clk_hw_onecell_data clk_data;
14 };
Hence, we need to move the assignments to clk_data->clk_data.num after allocations for struct stratix10_clock_data and before accessing the flexible array clk_data->clk_data.hws. And, as assignments for both clk_data->clk_data.num and clk_data->base are originally adjacent to each other, relocate both assignments together.
--- drivers/clk/socfpga/clk-agilex.c | 12 ++++++------ drivers/clk/socfpga/clk-s10.c | 6 +++--- 2 files changed, 9 insertions(+), 9 deletions(-)
drivers/clk/socfpga/clk-agilex.c +6 -6
@@ -471,12 +471,12 @@ static int agilex_clkmgr_init(struct platform_device *pdev)if (!clk_data)return -ENOMEM ; + clk_data->clk_data.num = num_clks; + clk_data->base = base; +for (i =0 ; i < num_clks; i++) clk_data->clk_data.hws[i] =ERR_PTR (-ENOENT ); - clk_data->base = base; - clk_data->clk_data.num = num_clks; -agilex_clk_register_pll (agilex_pll_clks,ARRAY_SIZE (agilex_pll_clks), clk_data); agilex_clk_register_c_perip(agilex_main_perip_c_clks,
@@ -511,12 +511,12 @@ static int n5x_clkmgr_init(struct platform_device *pdev)if (!clk_data)return -ENOMEM ; -for (i =0 ; i < num_clks; i++) - clk_data->clk_data.hws[i] =ERR_PTR (-ENOENT ); - clk_data->base = base; clk_data->clk_data.num = num_clks; +for (i =0 ; i < num_clks; i++) + clk_data->clk_data.hws[i] =ERR_PTR (-ENOENT ); +n5x_clk_register_pll (agilex_pll_clks,ARRAY_SIZE (agilex_pll_clks), clk_data); n5x_clk_register_c_perip(n5x_main_perip_c_clks,
drivers/clk/socfpga/clk-s10.c +3 -3
@@ -402,12 +402,12 @@ static int s10_clkmgr_init(struct platform_device *pdev)if (!clk_data)return -ENOMEM ; -for (i =0 ; i < num_clks; i++) - clk_data->clk_data.hws[i] =ERR_PTR (-ENOENT ); - clk_data->base = base; clk_data->clk_data.num = num_clks; +for (i =0 ; i < num_clks; i++) + clk_data->clk_data.hws[i] =ERR_PTR (-ENOENT ); +s10_clk_register_pll (s10_pll_clks,ARRAY_SIZE (s10_pll_clks), clk_data); s10_clk_register_c_perip(s10_main_perip_c_clks,
Signature · 1 line
2.34.1
Re: [PATCH 2/2][next] clk: socfpga: agilex: Add bounds-checking coverage for struct stratix10_clock_data
Quoted 28 lines · Gustavo A. R. Silva
In order to gain the bounds-checking coverage that
__counted_byprovides to flexible-array members at run-time viaCONFIG_UBSAN_BOUNDS(for array indexing) andCONFIG_FORTIFY_SOURCE(for strcpy/memcpy-family functions), we must make sure that the counter member, in this casenum, is updated before the first access to the flex-array member, in this case arrayhws.commit
f316cdff8d67("clk: Annotate structclk_hw_onecell_datawith__counted_by") introduced__counted_byforstruct clk_hw_onecell_datatogether with changes to relocate some of assignments of counternumbeforehwsis accessed:
include/linux/clk-provider.h:
1380 structclk_hw_onecell_data{
1381 unsigned int num;
1382 structclk_hw*hws[]__counted_by(num);
1383 };However, this structure is used as a member in other structs, in this case in
struct sstratix10_clock_data:
drivers/clk/socfpga/stratix10-clk.h:
9 structstratix10_clock_data{
10 void__iomem*base;
11
12 /* Must be last */
13 structclk_hw_onecell_dataclk_data;
14 };
Quoted 7 lines
Hence, we need to move the assignments to
clk_data->clk_data.numafter allocations forstruct stratix10_clock_dataand before accessing the flexible arrayclk_data->clk_data.hws. And, as assignments for bothclk_data->clk_data.numandclk_data->baseare originally adjacent to each other, relocate both assignments together.Signed-off-by Gustavo A. R. Silva <[email protected]>
Yeah, ew. That's super tricky. Nice find.
Signature · 1 line
Kees Cook
Re: [PATCH 2/2][next] clk: socfpga: agilex: Add bounds-checking coverage for struct stratix10_clock_data
Quoted 9 lines
Quoted 9 lines
Hence, we need to move the assignments to
clk_data->clk_data.numafter allocations forstruct stratix10_clock_dataand before accessing the flexible arrayclk_data->clk_data.hws. And, as assignments for bothclk_data->clk_data.numandclk_data->baseare originally adjacent to each other, relocate both assignments together.
Quoted 3 lines
Quoted 1 line
Signed-off-by Gustavo A. R. Silva <[email protected]>Yeah, ew. That's super tricky. Nice find.
Indeed. D:
Quoted 2 lines
Reviewed-by Kees Cook <[email protected]>
Thanks!
--
Gustavo