Sunday, June 26, 2005
Saturday, June 25, 2005
Friday, June 17, 2005
Thursday, June 16, 2005
To see what's the default tags in "make": make -p
When getting the error "No shared libraries was found in the Waterfall procedure":
1. Check the $LD_LIBRARY_PATH
2. Add -lpthread to $LDFLAG in Makefile
Sunday, June 12, 2005
tanwenzhao ( 继续等 ) says:唉,苦啊
tanwenzhao ( 继续等 ) says:没劲
tanwenzhao ( 继续等 ) says:过两年回国去
立此存照, 2005年6月11日, 5:23pm EST
Thursday, June 09, 2005
Sunday, June 05, 2005
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.




