0

I am using Angr, a framework for symbolic execution. It only accepts 'read' function in C for getting input. It solves a program in C and converts its symbolic value to concrete value and I get this on its output: this is my output

it is actually the value of char[8] variable that is being read by read(0, input, 8) But i don't know what is the value of input at the end.

Please help me. Thanks a lot.

Cactus
  • 27,075
  • 9
  • 69
  • 149
Mohammad Reza Dehghani Tafti
  • 151
  • 2
  • 3
  • 17

1 Answers1

1

It depends on what type of encoding you use. But it seems that \x80 is a special character (control character). Symbolic Execution engines usually show char arrays by a list of integers, since every character is an integer at the end.

afsafzal
  • 592
  • 5
  • 15