Finally, a project I am actually interested in from a large software company since Sun Microsystems disappeared!
http://www.theregister.co.uk/2016/0...en_source_bugbomb_in_the_rambling_house_of_c/
http://research.microsoft.com/en-us/projects/checkedc/default.aspx
I was attempting to achieve the same goal with one of my projects, libstent (https://github.com/osen/stent) which utilizes a bunch of MACRO hacks to create something like std::weak_ptr<T>. However, something built into the language is much better.
It also means that I have another reference for my paper that C is still relevant and infact, critical!
Microsoft Research is actually quite interesting in general. Some random trivia. The first version of the .NET framework and C# ever developed by MSR actually supported FreeBSD (4.7)
.
https://www.microsoft.com/en-us/download/details.aspx?id=14124
You can build a couple of tools (like nmake) but too much has changed to get it fully working on CURRENT.
http://www.theregister.co.uk/2016/0...en_source_bugbomb_in_the_rambling_house_of_c/
http://research.microsoft.com/en-us/projects/checkedc/default.aspx
I was attempting to achieve the same goal with one of my projects, libstent (https://github.com/osen/stent) which utilizes a bunch of MACRO hacks to create something like std::weak_ptr<T>. However, something built into the language is much better.
It also means that I have another reference for my paper that C is still relevant and infact, critical!
Microsoft Research is actually quite interesting in general. Some random trivia. The first version of the .NET framework and C# ever developed by MSR actually supported FreeBSD (4.7)
https://www.microsoft.com/en-us/download/details.aspx?id=14124
You can build a couple of tools (like nmake) but too much has changed to get it fully working on CURRENT.