Optimierung einer Softwarebibliothek für sicherheitsrelevante

4 Konzept und Implementierung 46
Implementation des Sprungbefehl-Tests
Bei den Sprungbefehlen werden unbedingte Sprünge sowie bedingte Sprünge auf ihre
korrekte Funktionalität geprüft.
Zuerst wird der unbedingte Sprung geprüft und zwar wie folgt: Es wird eine Schleife für
drei unbedingte Sprünge initialisiert. Bei einem erfolgreichen Sprung wird hoch gezählt.
Falls die drei Sprünge erfolgt sind, wird die Schleife verlassen und es wird mit weiteren
Tests fortgefahren, ansonsten verbleibt die CPU in der Schleife. Diese Schleife zeigt
folgendes Listing:
1. "ldr r0, =0x00000001; # belade Register mit Werte"
2. "ldr r1, =0x00000008; # --"
3. "BER: NOP; # No Operation"
4. "mov r0, r0,LSL #1; # eins schieben"
5. "teq r0, r1; beq BER1; # vergleiche, ob 3 Spuenge erfolgt sind"
6. "b BER; # falls nicht -> zurueck"
Ein bedingter Sprung findet statt, falls bestimmte Kombinationen von Statusflags vorhanden
sind 15 . Geprüft wird wie folgt: es wird eine Operation mit bestimmten Werten
durchgeführt, infolge deren, bestimmte Flags gesetzt („1“) oder nicht gesetzt („0“) werden;
anhand des Ergebnisses soll ein bedingter Sprung erfolgen und zwar zum nächsten
Test; falls nicht, verfängt sich die CPU in einer Endlosschleife. Dies zeigt die folgende
Listing:
1. "ldr r0, =0xAAAAAAAA; # belade Register mit Werten"
2. "ldr r1, =0xAAAAAAAA; # --"
3. "mov r3, #0x00000000; # --"
4. "Berror0:NOP; # "
5. "NOP; # No Operation"
6. "NOP; # --"
7. "sub r2, r0, r1; # Subtraktion => 0X00000000"
8. "teq r3, r2; bne Berror0; # falls ungleich , "
" # zurueck; Z-Flag nicht gesetzt"
9. "b Berror1; # ansonsten weiter"
10."Berror2: b Berror2; # beide versagt, endlosschleife"
11."Berror1: NOP; # die naechste Schleife"
15 z.B. beim Befehl „TEQ“ muss der Flag Z gesetzt(gleich) oder nicht gesetzt(ungleich) sein