機能sscanf関数は、変数に割り当てる必要がありそうでない場合は奇妙な行動

Question

このコード考えてみましょう：

#define TRANSLATOR_requestElectricityMeterWrite() do{addr = word_getAddress(); value = word_getValue(); }while(0) 

uint16_t value; 
uint8_t addr; 

bool dispatcher(void) 
{ 
    TRANSLATOR_requestElectricityMeterWrite(); 
    return true; 
} // AFTER this point (during debug) program goes to default handler 

int main(void) 
{ 
    if(dispatcher()) 
     continue; 
     . . . . 
     . . . . 
} 

uint16_t word_getValue(void) 
{ 
    uint16_t value; 
    sscanf("ABCD", "%4x", (unsigned int *)&value); 
    return value; 
} 

uint8_t word_getAddress(void) 
{ 
    uint8_t address; 
    sscanf("00", "%2x", (unsigned int *)&address); 
     ; 
    return address; 
} 

上記のコードが実行されると、if原因プログラム内の文がクラッシュする（いくつかのデフォルトハンドラに行くを）。

しかし、ときに私はこれまで2（word_getValueとword_ getAddres）の機能を変更します。

uint16_t word_getValue(void) 
{ 
    uint16_t value; 
    int i = 0;i++; 
    i = sscanf(WORD_getValueString(), "%4x", (unsigned int *)(&value)); 
    return value; 
} 

uint8_t word_getAddress(void) 
{ 
    uint8_t address; 
    int i = 0;i++; 
    i = sscanf(WORD_getNameString(), "%2x", (unsigned int *)(&address)); 
    return address; 
} 

それは動作します。ダミーのiがその問題を解決してくれると思われます。しかし、なぜそれは他の方法で動作しないのですか？

GNU ARM v4.8.3ツールチェーン

Answer 1

どちらの関数も未定義の動作を呼び出すため、何かが起こる可能性があります。追加のローカル変数を追加すると、宛先変数の位置が変更され、誤ったサイズの影響が隠されます。

sscanf("ABCD", "%4x", (unsigned int *)&value); 

sscanfのみ2バイトを有する可変value、にsizeof(unsigned int)バイト（おそらく4）を格納します。

sscanf(WORD_getNameString(), "%2x", (unsigned int *)(&address)); 

は1バイトのみを持つ変数address、にsizeof(unsigned int)バイトを格納します。

この問題を解決する最も簡単な方法は、unsigned intに解析し、個別に目的地に解析された値を格納し、または単に値を返すことです：

uint16_t word_getValue(void) { 
    unsigned int value; 
    if (sscanf(WORD_getValueString(), "%4x", &value) == 1) 
     return value; 
    // could not parse a value, return some default value or error code 
    return 0; 
} 

uint8_t word_getAddress(void) { 
    unsigned int address; 
    if (sscanf(WORD_getNameString(), "%2x", &address) == 1) 
     return address; 
    // could not parse a value, return some default value or error code 
    return 0; 
} 

また、解析された値かどうかを確認したい場合があります宛先タイプの範囲内ですが、解析結果をそれぞれ4桁と2桁の16進数に制限するため、オーバーフローが発生しません。

Answer 2

%xフォーマットはunsigned引数（それはあなたのプラットフォーム上でuint32_tだと仮定）が必要です。 uint16_tまたはuint8_tに合格すると、メモリが壊れる可能性があります。あなたのケースでは、それはスタックを破損し、リターンアドレスを上書きします。 uint16_tの場合は%4hx、uint8_tの場合は%2hhxをお試しください。