Comments (2)
gdr-at-ms
commented on May 23, 2024
There are lot of T*s in C; I would think unsafeptr<T> is a bit too broad, IMHO.
In the C++ core guidelines we added owner<T> as alias for T* to indicate a specific set of problematic situation.
from checkedc.
dtarditi
commented on May 23, 2024
We discussed this and decided that unchecked_ptr would be a better name. Gabby was somewhat concerned about unsafe_ptr because there are several sources of unsafety, and currently we are addressing only one of them.
We like the idea, but do have some concerns about how it might interact with other uses of type constructors to denote properties in C++. We are going to wait to add this until we have some motivating examples gathered from experience using or applying Checked C.
from checkedc.
Related Issues (20)
- semantics of realloc HOT 3
- [off-topic] Checked C's objectives vis-a-vis Verona?
- Problems caused by `__SOCKADDR_ARG` transparent union in `sys/socket.h` when `_GNU_SOURCE` is on
- When CheckedC Will Be Available For WDK and Driver Dev
- Possibility of using stack variables for nt_array bounds widening
- Wiki Example of _Nt_array_ptr Bounds Widening Does Not Work HOT 1
- Linking problems with out-of-line definitions for `checkedc_extensions.h` HOT 2
- `snprintf` bounds-safe interface is unhelpful for variable-length null-terminated buffers HOT 11
- Checked C mailing list archive web site is down HOT 4
- How can checked headers add itypes to struct already defined in original system headers? HOT 1
- Activate a checked declaration conditional on the existence of the original system declaration? HOT 1
- `bsearch` bounds-safe interface does not enforce that `size == sizeof(T)` (unsound)
- Restrict `malloc` of uninitialized memory containing checked pointers?
- `redeclare_libs_{explicit,implicit}.c` tests fail when `_CHECKEDC_MOCKUP_THREADS` is removed on a system that supports threads
- Issue to track comments and updates to the proposed Checked C extension changes. HOT 3
- function without a prototype cannot be used or declared in a checked scope
- Casts should be excluded from checked region? HOT 2
- This repo is missing important files
- How to use MSYS2/Mingw-w64 GCC compiler instead of Microsoft Visual Studio?
- forwarding pointer for Checked C? HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from checkedc.