Issues

• Crash

  qqiangwu/cppsafe#86 · Filter by author ChihHao-Su opened on Mar 13, 2025
  3

• [move] move in range for

  badcase
  qqiangwu/cppsafe#82 · Filter by author qqiangwu opened on Jan 30, 2025

• rocksdb: point to local and reset at exit

  qqiangwu/cppsafe#78 · Filter by author qqiangwu opened on Apr 20, 2024

• lambda pset verify

  qqiangwu/cppsafe#64 · Filter by author qqiangwu opened on Apr 1, 2024

• rocksdb: member function call and member invalidation

  qqiangwu/cppsafe#58 · Filter by author qqiangwu opened on Mar 30, 2024

• Draft: memory safe cpp subset

  documentationhelp wanted
  qqiangwu/cppsafe#57 · Filter by author qqiangwu opened on Mar 30, 2024
  1

• rocksdb: list iterator invalidation

  wontfix
  qqiangwu/cppsafe#55 · Filter by author qqiangwu opened on Mar 29, 2024
  1

• rocksdb: move and reset sub-objects

  false-positiveslifetime-pset
  qqiangwu/cppsafe#33 · Filter by author qqiangwu opened on Feb 10, 2024
  1

• contract inference for std map from string to string

  false-positiveslifetime-contracts
  qqiangwu/cppsafe#28 · Filter by author qqiangwu opened on Feb 6, 2024
  1

  

• rocksdb: category inference for std::tuple

  lifetime-category
  qqiangwu/cppsafe#20 · Filter by author qqiangwu opened on Jan 28, 2024

• rocksdb: pointers with pointer member

  false-positiveslifetime-contracts
  qqiangwu/cppsafe#15 · Filter by author qqiangwu opened on Jan 28, 2024

• Owers with derefType Pointers should be classified as Pointers?

  featureslifetime-category
  qqiangwu/cppsafe#14 · Filter by author qqiangwu opened on Jan 28, 2024
  1

• rocksdb: pointer init inside member call

  false-positiveslifetime-null
  qqiangwu/cppsafe#13 · Filter by author qqiangwu opened on Jan 28, 2024
  1

• NullableOwner support

  featureslifetime-category
  qqiangwu/cppsafe#5 · Filter by author qqiangwu opened on Jan 24, 2024