4 Commits

Author	SHA1	Message	Date
LCD 47	76b90995f5	Uniform naming for load guards.	2013-05-29 14:50:29 +03:00
LCD 47	3462105740	Splint: kip some assertion messages.	2013-05-20 21:52:49 +03:00
LCD 47	49166270fa	Bug fix.	2013-05-14 21:48:00 +03:00
LCD 47	eca7c1e1a0	New C checker for Secure Programming Lint.	2013-04-21 22:21:13 +03:00