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