https://www.bibsonomy.org/user/mobileink/devtoolsBibSonomy RSS Feed for /user/mobileink/devtoolsSplint 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. http://www.splint.org/mobileink2006-05-22T02:36:49+02:00lint tools security dev devtools <span itemprop="description">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. </span>http://www.cs.arizona.edu/squeeze/mobileink2006-01-26T11:35:39+01:00platform tools dev devtools <a itemprop="url" data-versiondate="2006-01-26T11:35:39+01:00" href="http://www.cs.arizona.edu/squeeze/" rel="nofollow" class="description-link">http://www.cs.arizona.edu/squeeze/</a>Patchutils is a small collection of programs that operate on patch files.http://cyberelk.net/tim/patchutils/mobileink2006-01-25T03:25:14+01:00platform tools dev devtools <span itemprop="description">Patchutils is a small collection of programs that operate on patch files.</span>Mktemp is a small program to allow safe temporary file creation from shell scripts.http://www.mktemp.org/mobileink2006-01-25T03:23:48+01:00platform tools dev devtools <span itemprop="description">Mktemp is a small program to allow safe temporary file creation from shell scripts.</span>