Integer Overflow
Grundlegende Informationen
Im Herzen eines Ganzzahlüberlaufs liegt die Beschränkung durch die Größe von Datentypen in der Computerprogrammierung und die Interpretation der Daten.
Beispielsweise kann ein 8-Bit-Unsigned-Integer Werte von 0 bis 255 darstellen. Wenn Sie versuchen, den Wert 256 in einem 8-Bit-Unsigned-Integer zu speichern, wird er aufgrund der Begrenzung seiner Speicherkapazität auf 0 zurückgesetzt. Ebenso wird bei einem 16-Bit-Unsigned-Integer, der Werte von 0 bis 65.535 speichern kann, durch Hinzufügen von 1 zu 65.535 der Wert auf 0 zurückgesetzt.
Darüber hinaus kann ein 8-Bit-Signed-Integer Werte von -128 bis 127 darstellen. Dies liegt daran, dass ein Bit zur Darstellung des Vorzeichens (positiv oder negativ) verwendet wird, sodass 7 Bits zur Darstellung des Betrags verbleiben. Die negativste Zahl wird als -128 dargestellt (binär 10000000
), und die positivste Zahl ist 127 (binär 01111111
).
Maximalwerte
Für potenzielle Web-Schwachstellen ist es sehr interessant, die maximal unterstützten Werte zu kennen:
Integer-Überlauf tritt auf, wenn eine arithmetische Operation das Maximum darstellbare Integer überschreitet und zu einem Wert führt, der kleiner als das Minimum ist. Dies kann zu unerwartetem Verhalten führen, wie z.B. dem Überschreiben von Speicherbereichen oder der Ausführung von Schadcode. Integer-Überläufe sind häufige Schwachstellen in C-Programmen, die von Hackern ausgenutzt werden können, um Sicherheitslücken auszunutzen.
```c #include #include
int main() { int a = INT_MAX; int b = 0; int c = 0;
b = a * 100; c = a + 1;
printf("%d\n", INT_MAX); printf("%d\n", b); printf("%d\n", c); return 0; }
Vorzeichenbehaftete in vorzeichenlose Konvertierung
Betrachten Sie eine Situation, in der eine vorzeichenbehaftete Ganzzahl aus Benutzereingaben gelesen und dann in einem Kontext verwendet wird, der sie als vorzeichenlose Ganzzahl behandelt, ohne ordnungsgemäße Validierung:
Weitere Beispiele
Es wird nur 1 Byte verwendet, um die Größe des Passworts zu speichern, daher ist es möglich, es zu überlaufen und es glauben zu machen, dass seine Länge 4 beträgt, während es tatsächlich 260 beträgt, um den Längenprüfschutz zu umgehen.
Gegeben ein paar Zahlen, finden Sie mit Hilfe von z3 eine neue Zahl, die mit der ersten multipliziert die zweite ergibt:
Es wird nur 1 Byte verwendet, um die Größe des Passworts zu speichern, daher ist es möglich, es zu überlaufen und es glauben zu machen, dass seine Länge 4 beträgt, während es tatsächlich 260 beträgt, um den Längenprüfschutz zu umgehen und in den Stapel die nächste lokale Variable zu überschreiben und beide Schutzmechanismen zu umgehen.
ARM64
Dies ändert sich nicht in ARM64, wie Sie in diesem Blog-Beitrag sehen können.
Last updated