Comments (2)
There could be issues around unchecked pointers to checked ptr typed things, as discussed, where dereferencing the outer unchecked pointer doesn't give us a ptr
that conforms to our expectations. This is especially an issue with function pointers where we have one or two additional conditions around assignment and compatibility.
from checkedc.
This mixing seems necessary to allow incremental conversion of programs.
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 3
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.