examples of static analysis tools. There are any references about examples of static analysis tools in here. you can look below.