This is an old revision of the document!
Code review (security, source code)
- Splint http://www.splint.org/
- Tool for statically checking C programs
- Win32 binary for splint static checker: http://github.com/maoserr/splint_win32/downloads
- Splint on dm-crypt
- download and unpack linux kernel from kernel.org
- REMnux image for analysis malware: http://zeltser.com/reverse-malware/