Search results

Support variable sized ranges when checking out-of-bounds accesses

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#640 In checkedc/checkedc-clang;

· dtarditi opened on Jul 24, 2019

Improve equivalence checking of pointer arithmetic expressions

featureThis labels new features and enhancements.This labels new features and enhancements.

needs investigation

Status: Open.

#596 In checkedc/checkedc-clang;

· dtarditi opened on Dec 13, 2018

Bounds declaration checking involving signed->unsigned conversion

featureThis labels new features and enhancements.This labels new features and enhancements.

work itemThis labels issues that are not exactly bugs but are about improvements.This labels issues that are not exactly bugs but are about improvements.

Status: Open.

#595 In checkedc/checkedc-clang;

· dtarditi opened on Dec 12, 2018

Check bounds declarations for calls involving _Return_value expressions

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#594 In checkedc/checkedc-clang;

· dtarditi opened on Dec 10, 2018

Improve testing of null-terminated types, checked scopes

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#455 In checkedc/checkedc-clang;

· dtarditi opened on Feb 15, 2018

Extend static and dynamic checking to handle relative alignment

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#330 In checkedc/checkedc-clang;

· dtarditi opened on Jun 20, 2017

Ensure behavior of array_ptr operations is always well-defined in LLVM IR.

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#283 In checkedc/checkedc-clang;

· dtarditi opened on Apr 24, 2017

Implement overflow checking for array_ptr pointer arithmetic.

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#224 In checkedc/checkedc-clang;

· dtarditi opened on Mar 18, 2017

·  

Runtime checking

Use flow-sensitive bounds declaration information when inferring bounds

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#223 In checkedc/checkedc-clang;

· dtarditi opened on Mar 18, 2017

·  

Post-V1: Flow-sensitive bounds declarations

Check validity of flow-sensitive bounds declarations

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#222 In checkedc/checkedc-clang;

· dtarditi opened on Mar 18, 2017

·  

Post-V1: Flow-sensitive bounds declarations

Check consistency of flow-sensitive bound declarations

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#221 In checkedc/checkedc-clang;

· dtarditi opened on Mar 18, 2017

·  

Postponed

Check validity of where clauses

featureThis labels new features and enhancements.This labels new features and enhancements.

Status: Open.

#218 In checkedc/checkedc-clang;

· dtarditi opened on Mar 18, 2017

·  

Post-V1: Where clauses