Search results

Crash

Status: Open.

#86 In qqiangwu/cppsafe;

· ChihHao-Su opened on Mar 13, 2025

[move] move in range for

badcaseThe defect of the modelThe defect of the model

Status: Open.

#82 In qqiangwu/cppsafe;

· qqiangwu opened on Jan 30, 2025

rocksdb: point to local and reset at exit

Status: Open.

#78 In qqiangwu/cppsafe;

· qqiangwu opened on Apr 20, 2024

lambda pset verify

Status: Open.

#64 In qqiangwu/cppsafe;

· qqiangwu opened on Apr 1, 2024

rocksdb: member function call and member invalidation

Status: Open.

#58 In qqiangwu/cppsafe;

· qqiangwu opened on Mar 30, 2024

Draft: memory safe cpp subset

documentationImprovements or additions to documentationImprovements or additions to documentation

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#57 In qqiangwu/cppsafe;

· qqiangwu opened on Mar 30, 2024

rocksdb: list iterator invalidation

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#55 In qqiangwu/cppsafe;

· qqiangwu opened on Mar 29, 2024

rocksdb: move and reset sub-objects

false-positiveswarnings that are actually not warningswarnings that are actually not warnings

lifetime-psetpset buildingpset building

Status: Open.

#33 In qqiangwu/cppsafe;

· qqiangwu opened on Feb 10, 2024

contract inference for std map from string to string

false-positiveswarnings that are actually not warningswarnings that are actually not warnings

lifetime-contractscontracts inferencecontracts inference

Status: Open.

#28 In qqiangwu/cppsafe;

· qqiangwu opened on Feb 6, 2024

rocksdb: category inference for <code>std::tuple</code>

lifetime-categoryCategory related issuesCategory related issues

Status: Open.

#20 In qqiangwu/cppsafe;

· qqiangwu opened on Jan 28, 2024

rocksdb: pointers with pointer member

false-positiveswarnings that are actually not warningswarnings that are actually not warnings

lifetime-contractscontracts inferencecontracts inference

Status: Open.

#15 In qqiangwu/cppsafe;

· qqiangwu opened on Jan 28, 2024

Owers with derefType Pointers should be classified as Pointers?

featuresnew features working in progressnew features working in progress

lifetime-categoryCategory related issuesCategory related issues

Status: Open.

#14 In qqiangwu/cppsafe;

· qqiangwu opened on Jan 28, 2024