https://bookem.ir/books/2773468-Checking-C-Programs-with-Lint