Search results

Upgrade Checked C clang sources to clang mainline 17.0

Status: Open.

#1231 In checkedc/checkedc-llvm-project;

· dtarditi opened on Mar 24, 2024

Extend Checked C format-string checks to unchecked scopes

enhancementNew feature or requestNew feature or request

Status: Open.

#1225 In checkedc/checkedc-llvm-project;

· dtarditi opened on Dec 3, 2023

C++ Support

Status: Open.

#1219 In checkedc/checkedc-llvm-project;

· DibyaTheXPFan opened on Oct 15, 2023

Get LNT testing working again

Status: Open.

#1213 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

 ·  

Checked C v1.0 release

Get automated testing of Checked C compiler tests working again

Status: Open.

#1212 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

 ·  

Checked C v1.0 release

Check flow-sensitive bounds declarations within their extents

Status: Open.

#1211 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

 ·  

Checked C v1.0 release

Check bounds declarations in where clauses

Status: Open.

#1209 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

 ·  

Checked C v1.0 release

Epic: implement flow-sensitive bounds declarations

Status: Open.

#1207 In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

 ·  

Checked C v1.0 release

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

 ·  

Checked C v1.0 release

Checked-pointer local variable can be initialized with itself (unsound)

Status: Open.

#1190 In checkedc/checkedc-llvm-project;

· secure-sw-dev-bot opened on Jan 17, 2022