Search results

Inquiry About Buffer Bound Tracking

Status: Open.

#1212 In checkedc/checkedc-clang;

· Ryuanxue opened on Oct 25, 2024

Inverse expression IR for casts is sometime incorrect

Status: Open.

#1211 In checkedc/checkedc-clang;

· dtarditi opened on Oct 12, 2024

clang 17 upgrade: remaining 3C failing tests

Status: Open.

#1209 In checkedc/checkedc-clang;

· dtarditi opened on Oct 2, 2024

Upgrade Checked C clang sources to clang mainline 17.0

Status: Open.

#1204 In checkedc/checkedc-clang;

· dtarditi opened on Sep 1, 2024

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

Status: Open.

#1194 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Oct 22, 2021

Local variable bounds dependent on global variable can be invalidated by function call (unsound)

Status: Open.

#1192 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Oct 21, 2021

No error on assignment to global variable used in bounds of another global variable (unsound)

Status: Open.

#1191 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Oct 21, 2021

Eliminate null checks if the OS is known to trap failures safely

Status: Open.

#1189 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Sep 29, 2021

Option to warn for each inserted runtime check that can't be proved unnecessary

Status: Open.

#1188 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Sep 29, 2021

Fail to catch an out-of-bounds access at compile time

Status: Open.

#1186 In checkedc/checkedc-clang;

· jiezhoucs opened on Sep 27, 2021

Missing checks in calls to variadic functions inside checked scope

bugThis labels issues that are bugs.This labels issues that are bugs.

future workThis labels issues that need further triaging and discussion.This labels issues that need further triaging and discussion.

Status: Open.

#1178 In checkedc/checkedc-clang;

· mgrang opened on Sep 2, 2021

Invertibility does not use semantic expression comparison

Status: Open.

#1175 In checkedc/checkedc-clang;

· kkjeer opened on Sep 1, 2021