Abstract: Since now, program analysis was performed only on high-level source code or mathematical models of the program. We aim at performing an analysis based on the binary form of the program and, if possible deduce useful properties on the program (either for software verification or reverse-engineering purposes). In this talk, we will present the main problems encountered when dealing with the binary format of programs. We will, also, present one of the main problem of binary analysis: \\\\\\\"IR-reconstruction\\\\\\\" and present several methods to perform it. Then, we will speak about our framework, Insight, intended to implement and experiment all these methods on real cases.