Search results

Upgrade Checked C clang sources to clang mainline 17.0

Status: Open.

#1231In 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.

#1225In checkedc/checkedc-llvm-project;

· dtarditi opened on Dec 3, 2023

C++ Support

Status: Open.

#1219In checkedc/checkedc-llvm-project;

· DibyaTheXPFan opened on Oct 15, 2023

Get LNT testing working again

Status: Open.

#1213In 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.

#1212In 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.

#1211In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

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

Status: Open.

#1210In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

·

Checked C v1.0 release

Check bounds declarations in where clauses

Status: Open.

#1209In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

Compute the extent of flow-sensitive bounds declarations

Status: Open.

#1208In checkedc/checkedc-llvm-project;

· dtarditi opened on Jul 11, 2023

·

Checked C v1.0 release

Epic: implement flow-sensitive bounds declarations

Status: Open.

#1207In 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.

#1205In 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.

#1190In checkedc/checkedc-llvm-project;

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