coverage and static analysis