5[4]Bush W,Pincus J,Sielaff D.A static analyzer for finding dynamic programming errors.Software - Practice and Experience,2000,30(7):755～802
6[5]Engler D,Chelf B,Chou A,Hallem S.Checking system rules using system-specific programmer-written compiler extensions.In:Proc.of the Fourth Symposium on Operating System Design and Implementation,San Diego,Oct.2000
7[6]Detlefs D L,Leino K R M,Nelson G,Saxe J B.Extended static checking:[SRC Research Report 159].Compaq System Research Center,1998
8[7]LDRA.http://www.ldra.co.uk
9[8]Parasoft.http://www.parasoft.com
10[9]King J C.Symbolic execution and testing.Comm.of the ACM,1976,19:385～394
