As an important software defects analysis method, static analysis is wildly used in software coding and test. But this traditional method is inextensible and inefficient that users have to find defects artificially. A framework is implemented to locate defects called DDS(Defects description system) and an annotation Language was designed to describe defects which named DDL(Defects Description Language). The rules written in DDL will be saved in rule set and can be used by DDS to locate the defects automatically. The experimental results dem...
