List view

Fix issues in bounds-widening analysis in for Nt_array_ptrs

Status: Open.

#1205 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 2, 2023

Epic: implement flow-sensitive bounds declarations

Status: Open.

#1207 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

Compute the extent of flow-sensitive bounds declarations

Status: Open.

#1208 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

Use flow-sensitive bounds declarations for bounds-checking memory accesses

Status: Open.

#1210 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

Get automated testing of Checked C compiler tests working again

Status: Open.

#1212 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

Get LNT testing working again

Status: Open.

#1213 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023