Compute the extent of flow-sensitive bounds declarations

checkedc / checkedc-llvm-project

This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now at https://github.com/checkedc/checkedc-clang.

https://www.checkedc.org

13 stars 19 forks source link

Compute the extent of flow-sensitive bounds declarations #1208

Open dtarditi opened 1 year ago

dtarditi commented 1 year ago

Implement a simple forward dataflow analysis to compute the extent of flow-sensitive bounds declarations in _Where clauses.