Comments (1)
There aren't tests for this in clang because it is difficult to test. Instead, it is tested indirectly by using it within clang. We are using the AST tree traversal templates enough we can rely on indirect testing too.
from checkedc-clang.
Related Issues (20)
- Do not emit bounds checking warnings or errors for bounds-safe interfaces in certain contexts
- Consider emitting warnings for uses of pointers that violate their bounds-safe interfaces
- Allow `printf`-like calls in checked scopes if they pass `-Wformat` validation HOT 3
- Another crash while using checkedC HOT 2
- Move language conformance tests related to Where clauses to the checkedc repository
- Type-(un)safe unions (bug, and suggestion) ?
- Invertibility does not use semantic expression comparison
- Missing checks in calls to variadic functions inside checked scope HOT 1
- Missing checks in calls to variadic functions inside checked scope
- Equality should not be recorded between expressions such as x and x + 1 HOT 1
- "stdlib.h" not found in stdlib_checked.h HOT 3
- Fail to catch an out-of-bounds access at compile time
- Option to warn for each inserted runtime check that can't be proved unnecessary
- Eliminate null checks if the OS is known to trap failures safely
- No error on assignment to global variable used in bounds of another global variable (unsound) HOT 1
- Local variable bounds dependent on global variable can be invalidated by function call (unsound) HOT 1
- Maintain a complete, up-to-date list of unimplemented parts of the Checked C specification
- Checked-pointer local variable can be initialized with itself (unsound) HOT 1
- Compiler issues in Apple Silicon Systems HOT 1
- This repo is missing important files
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-clang.