Refcell-cpp Alternatives

refcell-cpp reviews and mentions

• Enforcing Memory Safety?
  3 projects | /r/cpp | 7 Jun 2023

  Using infer, someone else exploited null-dereference checks to introduce simple affine types in C++. Cppcheck also checks for null-dereferences. Unfortunately, that approach means that borrow-counting references have a larger sizeof than non-borrow counting references, so optimizing the count away potentially changes the semantics of a program which introduces a whole new way of writing subtly wrong code.

• A quick look at free C++ static analysis tools
  3 projects | /r/cpp | 4 Jan 2023

  I notice there isn't fbinfer. It's pretty cool, and is used for this library.

• The State of Affine Types in C++?
  2 projects | /r/cpp | 22 Nov 2022

  - borrow-cpp which exploits some null dereference checks in the infer static analyzer to model some of borrow checking.

• a Rust-style borrow checker for C++, with (partial) compile-time check support
  1 project | /r/cpp | 1 May 2022

  A longer version: I am very interested in the Rust borrow memory model and I did a cpp version of it (https://github.com/shuaimu/borrow-cpp). Initially all the checks are at runtime, which already eases some debugging issues for me. I have been trying to add some compile-time check. It wasn't very successful for many months. I tried playing with the type systems, which Google has pointed out that it is not possible (https://docs.google.com/document/d/e/2PACX-1vSt2VB1zQAJ6JDMaIA9PlmEgBxz2K5Tx6w2JqJNeYCy0gU4aoubdTxlENSKNSrQ2TXqPWcuwtXe6PlO/pub). I also tried many static analysis tools, including cppcheck, clang/clang-tidy, and MSVC (the most recent one with lifetime support). I had high hopes for them but then I found they mainly support single function/file level check. Simply splitting code into different functions or creating some alias/pointers can bypass them. Or in other cases (like MSVC) the checker would mark everything as (false) positives. The other day I came across Facebook's Infer and it seems to have implemented a Rust-like lifetime checker. So I tested it with my borrow-cpp and it seems to work well. It can accurately tells which line of code violates the rule. After searching online no one seems to have found or done this, though many are asking if we can bring the compile-time borrow checker from Rust into cpp. Now we are one step closer!

• A note from our sponsor - InfluxDB
  www.influxdata.com | 7 May 2024

  Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →