http://www.cs.berkeley.edu/~necula/Papers/ccured_popl02.pdf http://www.cs.berkeley.edu/~necula/Papers/ccured_popl02.pdf https://en.wikipedia.org/wiki/Cyclone_%

http://www.cs.berkeley.edu/~necula/Papers/ccured_popl02.pdf http://www.cs.berkeley.edu/~necula/Papers/ccured_popl02.pdf https://en.wikipedia.org/wiki/Cyclone_%28programming_language%29 https://en.wikipedia.org/wiki/Cyclone_%28programming_languag... http://elinux.org/Electric_Fence http://elinux.org/Electric_Fence http://valgrind.org/ http://valgrind.org/ https://github.com/google/sanitizers https://github.com/google/sanitizers https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2C_C.2B.2B https://en.wikipedia.org/wiki/List_of_tools_for_static_code_...