Was ist diese Folge von Zeichen in symbolischer Ausführung?

Question

Ich benutze Angr, ein Framework für symbolische Ausführung. Es akzeptiert nur "lesen" -Funktion in C für die Eingabe. Es löst ein Programm in C und wandelt seinen Symbolwert zu konkretem Wert und ich diese an ihrem Ausgang:

es ist tatsächlich der Wert char [8] Variable, die durch Lese gelesen wird (0, Eingabe , 8) Aber ich weiß nicht, was der Wert der Eingabe am Ende ist.

Bitte helfen Sie mir. Vielen Dank.

Answer 1

Es hängt davon ab, welche Art von Codierung Sie verwenden. Aber es scheint, dass \ x80 ein Sonderzeichen (Steuerzeichen) ist. Symbolic Execution-Engines zeigen char-Arrays normalerweise in einer Liste von ganzen Zahlen an, da jedes Zeichen am Ende eine ganze Zahl ist.