C++ Logo

std-proposals

Advanced search

Re: [std-proposals] Memory Safety in C++ via Safe Subset and Static Analysis - Master’s Thesis Summary

From: Phil Bouchard <boost_at_[hidden]>
Date: Tue, 3 Jun 2025 00:30:17 -0400
On 6/2/25 23:29, Sebastian Wittmeier via Std-Proposals wrote:
> Hi Phil,
>
> if your approach is proprietary and patented, then there is room for
> other approaches.
>
> And perhaps yours does not cover all requirements one could have. E.g.
> does it cover all memory bugs at compile-time?

It basically integrates a new memory manager so it cannot fail. It's
basically based on anti-cyclic smart pointers.

> Especially one needs solutions for each architectural layer. It is not
> enough to compile a language with a safe C++ to prevent any bugs inside
> that other language.

The only assumption I make is the memory pool cannot be parallelized,
like the system memory pool. If that's what you meant regarding the bus
architecture.


-- 
Fornux Logo <https://www.fornux.com/>  
*Phil Bouchard*  LinkedIn Icon
<https://www.linkedin.com/in/phil-bouchard-5723a910/> 
Founder & CEO
T: (819) 328-4743
E: phil_at_[hidden]| www.fornux.com <http://www.fornux.com>
320-345 de la Gauchetière Ouest| Montréal (Qc), H2Z 0A2 Canada
The Best Predictable C++ Memory Manager
<https://static.fornux.com/c-superset/> Le message ci-dessus, ainsi que
les documents l'accompagnant, sont destinés uniquement aux personnes
identifiées et peuvent contenir des informations privilégiées,
confidentielles ou ne pouvant être divulguées. Si vous avez reçu ce
message par erreur, veuillez le détruire.
This communication (and/or the attachments) is intended for named
recipients only and may contain privileged or confidential information
which is not to be disclosed. If you received this communication by
mistake please destroy all copies.

Received on 2025-06-03 04:30:22