最病 A Detection: Structural Approach o What does the class descriptor need to contain? a Trade-off between efficiency and reliability n Two extreme approaches a Cl: class name a C2: entire class text(e. g. abstract syntax tree) o Reasonable approaches: a C3: class name list of attributes(name and type a C4: in addition to c3: class invariant Institute of Computer Software 2021/1/28 Nanjing UniversityDetection: Structural Approach What does the class descriptor need to contain? Trade-off between efficiency and reliability Two extreme approaches: C1: class name C2: entire class text (e.g. abstract syntax tree) Reasonable approaches: C3: class name, list of attributes (name and type) C4: in addition to C3: class invariant 2021/1/28 Institute of Computer Software Nanjing University 51