2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

2009‑06‑30 – CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.

• 2009‑06‑30 - CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.
• http://manju.cs.berkeley.edu/ccured/
• redirect https://dotat.at/:/YBKN2
• blurb https://dotat.at/:/YBKN2.html
• atom entry https://dotat.at/:/YBKN2.atom
• web.archive.org archive.today