This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.
13
stars
19
forks
source link
Initial implementation of bounds decl extent analysis #1216
This is a work-in-progress PR for the implementation of the extent analysis of bounds declarations in the Checked C specification (section 3.9 in the current draft). I started from lib/Sema/BoundsWideningAnalysis.cpp and rewrote the core dataflow analysis.
This is a work-in-progress PR for the implementation of the extent analysis of bounds declarations in the Checked C specification (section 3.9 in the current draft). I started from lib/Sema/BoundsWideningAnalysis.cpp and rewrote the core dataflow analysis.