Dynamic and Static Analysis