Comments (1)
This is on our TODO list but we do not plan to prioritize this issue in the immediate future.
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
- 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 HOT 1
- 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.