microsoft / checkedc

Watch 105
Star 1.8k
Fork 149

Code
Issues 50
Pull requests 6
Actions
Projects 0
Wiki
Security
Insights

Code Issues 50 Pull requests 6 Projects 0 Actions Wiki Security Pulse

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

50 Open 80 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

Projects

Filter by project

Milestones

Filter by milestone

Assignee

Filter by who’s assigned

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

Update spec to cover inverses of address-of/dereference operators

#403 opened May 27, 2020 by kkjeer

Update spec to cover inverses of bounds cast expressions

#401 opened May 15, 2020 by kkjeer

Update spec to include missing cases for bounds-safe interface assignment compatibility

#397 opened Mar 20, 2020 by kkjeer

Checked C types for typedefs

#394 opened Jan 31, 2020 by aaronjeline

Handling of empty and invalid ranges work item

#390 opened Oct 30, 2019 by saeednj

Simplify description of checking of bounds declarations.

#388 opened Oct 21, 2019 by dtarditi

Incomplete sentence in the Introduction chapter of the CheckedC spec

#355 opened Jun 3, 2019 by mgrang

Two failed tests after building on MacOS 10.14.5 (XCode 10.2)

#353 opened May 30, 2019 by mwhicks1

Checked C compiler on Visual Studio 2017

#352 opened May 21, 2019 by AkumaNemui

Flow-sensitive bounds declarations within expressions

#348 opened Apr 18, 2019 by dtarditi

Add example of unsequenced assignments

#347 opened Apr 18, 2019 by dtarditi

Extend new checking description to lvalues

#346 opened Apr 17, 2019 by dtarditi

Describe scope of temporaries in specification

#345 opened Apr 17, 2019 by dtarditi

Use types when inferring the bounds for lvalue targets

#344 opened Apr 17, 2019 by dtarditi

Formatting issues in updated specification of bounds declaration checking

#343 opened Apr 17, 2019 by dtarditi

Disallow ptr<void>

#335 opened Nov 28, 2018 by dtarditi

Disallow type variables in types of variables with static storage.

#329 opened Oct 11, 2018 by dtarditi

Allow checked scopes that provide different categories of checking.

#324 opened Sep 24, 2018 by dtarditi

Document itypes on typedef struct S* HANDLE to reduce confusion

#307 opened Aug 22, 2018 by AnnaKornfeldSimpson

Create runtime tests for generic and polymorphic generic functions

#304 opened Aug 16, 2018 by Prabhuk

strchr bounds-safe interface

#297 opened Aug 2, 2018 by AnnaKornfeldSimpson

Constant sized ranges (needed for Linux isSpace)

#296 opened Aug 2, 2018 by AnnaKornfeldSimpson

nt_array_ptr design can require source changes for initialization by calls.

#271 opened Mar 30, 2018 by dtarditi

Broaden inference of interop types and bounds expressions

#270 opened Mar 22, 2018 by dtarditi

Bounds cast operations for nt_array_ptrs

#258 opened Feb 13, 2018 by dtarditi

Previous 1 2 Next

Previous Next

ProTip! no:milestone will show everything without a milestone.

May	JUN	Jul
	11
2019	2020	2021