Hacker News
- Checked C: Making C Safer by Extension https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/ 55 comments
- Checked C: Making C Safe by Extension - Microsoft Research https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/ 39 comments programming
Linking pages
- GitHub - microsoft/checkedc: Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code. https://github.com/Microsoft/checkedc 518 comments
- GitHub - Spacial/awesome-csirt: Awesome CSIRT is an curated list of links and resources in security and CSIRT daily activities. https://github.com/Spacial/csirt 0 comments
Related searches:
Search whole site: site:www.microsoft.com
Search title: Checked C: Making C Safe by Extension - Microsoft Research
See how to search.