T. Fung

• Elimination of dynamic program errors by static analysis