Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering
Ștefan Trăușan-Matu, Lorina Negreanu, Mihaela Spalatelu · 1998
this paper is described a knowledge-based reverse engineering system for analysis of C program and for the generation of their knowledge-based representation. This representation may be used either for abstraction (using the abstraction facilities described in [Tra94a, Tra94b, and Tra94c]) or for the detection of complex errors, which cannot be discovered by usual C compilers. In this paper, the second case is taken into account. Therefore the system presented here finds complex errors in C programs