• Replies 24 replies
  • Subscribers 456 subscribers
  • Views 16148 views
  • Users 0 members are here
Options
Related

RX631スタック領域等を保護するには？

IKUZO

IKUZOと申します、お伺いしたいのですが、
RX631でスタック領域を保護したいのですが、
MPUを使用するのでしょうか？
特権命令例外を使用するのでしょうか？
スタック領域というのは保護可能なんでしょうか？
スタック領域というのは簡単に壊すことができるので、
保護することができれば、安全ではないかと

  • in reply to IKUZO

    __stack_chk_fail関数を利用しようとするのですが、動作できないみたいです

    #ifdef __cplusplus

    extern "C" {

    #endif

    void __stack_chk_fail(void)

    {

    printf("スタックオーバーフロです！");

    sys_beep(0xFFFF);

    sr_reset

    }

    #ifdef __cplusplus

    }

    #endif

    テストのモジュール

    int cmd_test(char *str)

    {

    int t[5];

    int i;

    for(i=0; i<20; i++){

    t[i]=0;

    (void)t[i];

    }

    return CMD_OK;

    }

    何が原因であるのか、アドバイスいただけないでしょうか？

    -------------------

    C:\>T

    C:\>T

    C:\>

    -------------------

    なにも表示されなく、__stack_chk_fail(void)を実行しているようなそぶりをみせない？

  • in reply to IKUZO
    P以外のセクションを「実行禁止」に設定しました、以下
    #define protection_start ((_UDWORD)(__sectop("P")))
    #define protection_end ((_UDWORD)(__secend("P")))
    MPU.RSPAGE0.LONG=0x00000000;
    MPU.REPAGE0.BIT.REPN=protection_start >>4;
    MPU.REPAGE0.BIT.UAC=6;
    MPU.REPAGE0.BIT.V=1;
    MPU.RSPAGE1.LONG=protection_start;
    MPU.REPAGE1.BIT.REPN=protection_end >>4;
    MPU.REPAGE1.BIT.UAC=5;//R*X 書き込みは禁止
    MPU.REPAGE1.BIT.V=1;
    MPU.RSPAGE2.LONG=protection_end;
    MPU.REPAGE2.BIT.REPN=0xFFFFFFFF >>4;
    MPU.REPAGE2.BIT.UAC=6;
    MPU.REPAGE2.BIT.V=1;
    調子よく動作しております。

  •  IKUZOさん、こんにちは。NoMaYです。

    ＞__stack_chk_fail関数を利用しようとするのですが、動作できないみたいです
    ＞。。。
    ＞何が原因であるのか、アドバイスいただけないでしょうか？
    コンパイラのリストファイルでは、cmd_test()に対して、どういうコードが生成されているでしょうか？
    (RTSの1命令だけだったりするかも、、、)

  • in reply to NoMaY

    NoMaYさんいつもアドバイスありがとうございます、違反部分のソースコードになります

    int cmd_test(char *str)

    {

    int t[5];

    int i;

    for(i=0; i<20; i++){

    t[i]='A';

    printf("%c\r",t[i]);

    }

    return CMD_OK;

    }

    コンパイラーのその部分のリストです

    RX631スタック領域等を保護するには？.txt 
    000017DB                         _cmd_test:
                                 		.STACK	_cmd_test=24
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",871
000017DB 6E67                    		PUSHM R6-R7
000017DD FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
000017E3 7EAE                    		PUSH.L R14
000017E5 754614                  		MOV.L #00000014H, R6
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",877
000017E8 FB72rrrrrrrr            		MOV.L #_L87, R7
000017EE                         L1040:	; bb
000017EE 6080                    		SUB #08H, R0
000017F0 E307                    		MOV.L R7, [R0]
000017F2 3E0141                  		MOV.L #00000041H, 04H[R0]
000017F5 05rrrrrr             A  		BSR _printf
000017F9 6280                    		ADD #08H, R0
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",875
000017FB 6016                    		SUB #01H, R6
000017FD 21rr                    		BNE L1040
000017FF                         L1041:	; bb21
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",880
000017FF EC0E                    		MOV.L [R0], R14
00001801 6601                    		MOV.L #00000000H, R1
00001803 740ECCCCADDE            		CMP #0DEADCCCCH, R14
00001809 18                   S  		BNE L1043
0000180A                         L1042:	; bb21
0000180A 3F6703                  		RTSD #0CH, R6-R7
0000180D                         L1043:	; bb21
0000180D 04rrrrrr             A  		BRA ___stack_chk_fail
00001811                         _cmd_test2:
                                 		.STACK	_cmd_test2=8
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",883
00001811 FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
00001817 7EAE                    		PUSH.L R14
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",886
00001819 EC0E                    		MOV.L [R0], R14
0000181B 6601                    		MOV.L #00000000H, R1
0000181D 740ECCCCADDE            		CMP #0DEADCCCCH, R14
00001823 18                   S  		BNE L1046
00001824                         L1045:	; entry
00001824 6701                    		RTSD #04H
00001826                         L1046:	; entry
00001826 04rrrrrr             A  		BRA ___stack_chk_fail
0000182A                         _cmd_test3:
                                 		.STACK	_cmd_test3=8
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",888
0000182A FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
00001830 7EAE                    		PUSH.L R14
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",891
00001832 EC0E                    		MOV.L [R0], R14
00001834 6601                    		MOV.L #00000000H, R1
00001836 740ECCCCADDE            		CMP #0DEADCCCCH, R14
0000183C 18                   S  		BNE L1049
0000183D                         L1048:	; entry
0000183D 6701                    		RTSD #04H
0000183F                         L1049:	; entry
0000183F 04rrrrrr             A  		BRA ___stack_chk_fail
00001843                         _rtc_init:
                                 		.STACK	_rtc_init=12
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\rtc.c",61
00001843 7EA6                    		PUSH.L R6
00001845 FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
0000184B 7EAE                    		PUSH.L R14
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\rtc.c",64
0000184D FB6E22C408              		MOV.L #0008C422H, R6
00001852 F16806                  		BCLR #00H, 06H[R6].B
00001855 FBEEFE0308              		MOV.L #000803FEH, R14
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\rtc.c",66
0000185A F8E90BA5                		MOV.W #0A50BH, [R14]
0000185E FBFE330008              		MOV.L #00080033H, R15
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\rtc.c",67
00001863 F0F0                    		BSET #00H, [R15].B
00001865                         L1051:	; bb1
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\rtc.c",68
00001865 F4F0                    		BTST #00H, [R15].B
00001867 20rr                    		BEQ L1051
00001869                         L1052:	; bb7

  • IKUZOさん、こんにちは。NoMaYです。

    先程のはソースが変わってしまっています。まず、その前のソースの時の生成コードを確認したいです。。。

  • in reply to NoMaY

    NoMaYさん、うまくいかないので、実際動作しているかと'A'を画面に表示させるようにしたものですが

    前のソースに戻すと、これでやりますと、以下のようになりました。

    RX631スタック領域等を保護するには？-2.txt 
    int cmd_test(char *str)
{
	int t[5];
	int i;
	for(i=0; i<20; i++){
		t[i]=0;
		(void)t[i];
	}
	return CMD_OK;
}





000017DB                         _cmd_test:
                                 		.STACK	_cmd_test=8
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",885
000017DB FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
000017E1 7EAE                    		PUSH.L R14
000017E3 754E14                  		MOV.L #00000014H, R14
000017E6                         L1040:	; bb
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",889
000017E6 601E                    		SUB #01H, R14
000017E8 21rr                    		BNE L1040
000017EA                         L1041:	; bb19
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",894
000017EA EC0E                    		MOV.L [R0], R14
000017EC 6601                    		MOV.L #00000000H, R1
000017EE 740ECCCCADDE            		CMP #0DEADCCCCH, R14
000017F4 18                   S  		BNE L1043
000017F5                         L1042:	; bb19
000017F5 6701                    		RTSD #04H
000017F7                         L1043:	; bb19
000017F7 04rrrrrr             A  		BRA ___stack_chk_fail
000017FB                         _cmd_test2:
                                 		.STACK	_cmd_test2=8
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",896
000017FB FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
00001801 7EAE                    		PUSH.L R14
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",899
00001803 EC0E                    		MOV.L [R0], R14
00001805 6601                    		MOV.L #00000000H, R1
00001807 740ECCCCADDE            		CMP #0DEADCCCCH, R14
0000180D 18                   S  		BNE L1046
0000180E                         L1045:	; entry
0000180E 6701                    		RTSD #04H
00001810                         L1046:	; entry
00001810 04rrrrrr             A  		BRA ___stack_chk_fail
00001814                         _cmd_test3:
                                 		.STACK	_cmd_test3=8
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",901
00001814 FBE2CCCCADDE            		MOV.L #0DEADCCCCH, R14
0000181A 7EAE                    		PUSH.L R14
                                 		.LINE  "C:\Dev\BASE\RX63N\RX631\csp\csp\com.c",904
0000181C EC0E                    		MOV.L [R0], R14
0000181E 6601                    		MOV.L #00000000H, R1
00001820 740ECCCCADDE            		CMP #0DEADCCCCH, R14
00001826 18                   S  		BNE L1049
00001827                         L1048:	; entry
00001827 6701                    		RTSD #04H
00001829                         L1049:	; entry
00001829 04rrrrrr             A  		BRA ___stack_chk_fail

  • in reply to IKUZO

    MOV.L #00000014H, R14で20を確かにレジスターセットして
    SUB #01H, R14 でデクリメント
    これを見るとなにもしていないのかな、ループしているだけ？

    コンパイラーの最適化が働いているのでしょうか、テストソースを見直してみます。

  • IKUZOさん、こんにちは。NoMaYです。

    リストファイルどうもです。

    ＞コンパイラーの最適化が働いているのでしょうか、
    そうです。コンパイラの最適化により t[i ]への書き込みが行われなくなっていますね。

    (1) 2つ前のはコンパイラの最適化によりfor節の内容が以下になっていて、IKUZOさんも気付かれたように、単にループしているだけですので、スタックは壊れないです。

        for(i=0; i<20; i++){
            t[i]=0;
            (void)t[i];
        }
    000017E3 754E14                         MOV.L #00000014H, R14
    000017E6                         L1040: ; bb
    000017E6 601E                           SUB #01H, R14
    000017E8 21rr                           BNE L1040

    (2) 1つ前のはコンパイラの最適化によりfor節の内容が以下になっていて、'A'(0x41)をt[i]に代入したりせず、'A'(0x41)を直接printf()の引数に積んでいますので、やはりスタックは壊れないです。

        for(i=0; i<20; i++){
            t[i]='A';
            printf("%c\r",t[i]);
        }
    000017E5 754614                         MOV.L #00000014H, R6
    000017E8 FB72rrrrrrrr                   MOV.L #_L87, R7
    000017EE                         L1040: ; bb
    000017EE 6080                           SUB #08H, R0
    000017F0 E307                           MOV.L R7, [R0]
    000017F2 3E0141                         MOV.L #00000041H, 04H[R0]
    000017F5 05rrrrrr             A         BSR _printf
    000017F9 6280                           ADD #08H, R0
    000017FB 6016                           SUB #01H, R6
    000017FD 21rr                           BNE L1040

    　

  • in reply to NoMaY

    NoMaYさん、いつもアドバイスありがとうございます、テストソースを見直してみました

    RX631スタック領域等を保護するには？-3.txt 
    int cmd_test(char *str)
{
	char t[5];
	int i;
	for(i=0; i<20; i++){
		t[i]=(char)'A'+i;
	}
	t[i]='\r';
	t[i+1]=0;
	printf((char*)&t);
	return CMD_OK;
}

    そうしましたら、動作しているようです

  • in reply to IKUZO
    NoMaYさん、いつもアドバイスありがとうございます、
    「(1) 2つ前のはコンパイラの最適化によりfor節の内容が以下のみになっていますので
    スタックは壊れないです。」
    「(2) 1つ前のはコンパイラの最適化によりfor節の内容が以下になっていて、
    'A'(0x41)をt[i]に代入したりせず、'A'(0x41)を直接printf()の引数に積んでいますので、
    やはりスタックは壊れないです。」
    コンパイラーの最適化おそるべしですね、なるほどリストに出してみれば、わかるのですね、
    本当にいつもお世話になっています、ありがとうございます。