| 
|
Quote: dynamic analysis by PQL found 200 errors in Eclipse; security flaws, resource leaks, and consistency invariants
Topic:
debugging by usage rules
Quotation Skeleton
[With PQL] We have implemented the techniques described in … [e.g., nearly 200 errors in Eclipse] containing a total of nearly 60,000 classes. These errors are … analysis proves effective at addressing a wide range … preventing errors such as security vulnerabilities at runtime. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: debugging by usage rules (41 items)