issues
search
checkedc
/
checkedc-fork
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
Other
26
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update README.md
#504
dtarditi
closed
9 months ago
0
Fix Checked C tests on Mac OS
#502
dtarditi
closed
1 year ago
0
Update Checked C specification to match the compiler implementation part 1
#501
dtarditi
closed
1 year ago
1
Improve description of bounds widening
#500
dtarditi
opened
1 year ago
0
Add description of format string support checking for varargs
#499
dtarditi
opened
1 year ago
0
Move pointer conversion description out of the interoperation chapter
#498
dtarditi
opened
1 year ago
0
Update description of generic types in the specification
#497
dtarditi
opened
1 year ago
0
Update description of generic types on the Wiki
#496
dtarditi
opened
1 year ago
0
Update description of flow-sensitive bounds declarations.
#495
dtarditi
opened
1 year ago
0
Move static checking descriptions of bounds to the end of the specification.
#494
dtarditi
closed
1 year ago
1
Remove speculative features from specification
#493
dtarditi
closed
1 year ago
1
Move planned features to a new section in the specification
#492
dtarditi
closed
1 year ago
1
Update description of program scopes for checked pointer types in specification
#491
dtarditi
opened
1 year ago
0
Epic: bring Checked C specification into agreement with the compiler implementation
#490
dtarditi
opened
1 year ago
0
Remove use of colon in decls for Checked C bounds and where clause declarations
#489
dtarditi
opened
1 year ago
1
Update the Checked C specification to describe erasable syntax
#488
dtarditi
opened
1 year ago
0
Update Wiki documentation on erasable syntax
#487
dtarditi
opened
1 year ago
0
Create examples of using the optional header file for erasable syntax.
#486
dtarditi
opened
1 year ago
0
Create header file for erasable Checked C annotations
#485
dtarditi
opened
1 year ago
0
Create stand-alone tool for checking Checked C programs compiled with regular C compilers.
#484
dtarditi
opened
1 year ago
1
Epic: complete support for erasable Checked C syntax
#483
dtarditi
opened
1 year ago
1
Add University of Washington PLSE working lightning talk.
#482
dtarditi
closed
1 year ago
0
Move presentations directory to top-level.
#481
dtarditi
closed
1 year ago
0
Support for Checked-C Macro Test cases
#480
arunkumarbhattar
closed
1 year ago
2
Update header files to use changes for porting effort for 3C tool.
#479
dtarditi
closed
1 year ago
0
Additional updates to README.md
#477
dtarditi
closed
2 years ago
0
Update README.md and add code of conduct.
#476
dtarditi
closed
2 years ago
0
Update org name
#475
secure-sw-dev-bot
closed
2 years ago
1
Fix mistakes in the "Variables at external scope" example in the spec.
#474
secure-sw-dev-bot
opened
2 years ago
1
A 45-minute presentation on Checked C.
#473
secure-sw-dev-bot
closed
2 years ago
0
function without a prototype cannot be used or declared in a checked scope
#472
secure-sw-dev-bot
closed
1 year ago
1
Get lvalue observed bounds: update test
#471
secure-sw-dev-bot
closed
2 years ago
0
Fix a test that invokes variadic functions in checked scope
#470
secure-sw-dev-bot
closed
2 years ago
0
Bounds checking for pointer dereferences and array subscripts: update test
#469
secure-sw-dev-bot
closed
2 years ago
0
Test cases for bundled block support.
#468
secure-sw-dev-bot
closed
2 years ago
0
Issue to track comments and updates to the proposed Checked C extension changes.
#467
secure-sw-dev-bot
opened
2 years ago
3
Clarification updates to the Checked C specification.
#466
secure-sw-dev-bot
closed
2 years ago
0
Documentation fixes for Checked C issues.
#465
secure-sw-dev-bot
closed
2 years ago
0
Treat address-of array subscripts the same way as address-of dereferences: update tests
#464
secure-sw-dev-bot
closed
2 years ago
0
Check return value bounds: update tests
#463
secure-sw-dev-bot
closed
2 years ago
0
[spec] Fixed typos and missed words in Chapter 2, 5, and 6.
#462
secure-sw-dev-bot
closed
2 years ago
3
Get variable and constant: update tests
#461
secure-sw-dev-bot
closed
2 years ago
0
Added slides for the LLVM Dev Meet 2020 talk
#460
secure-sw-dev-bot
closed
2 years ago
0
An nt_checked array with an empty initializer list should be an error
#459
secure-sw-dev-bot
closed
2 years ago
0
`redeclare_libs_{explicit,implicit}.c` tests fail when `_CHECKEDC_MOCKUP_THREADS` is removed on a system that supports threads
#458
secure-sw-dev-bot
opened
2 years ago
0
Restrict `malloc` of uninitialized memory containing checked pointers?
#457
secure-sw-dev-bot
opened
2 years ago
0
spec: Fix a typo
#456
secure-sw-dev-bot
closed
2 years ago
0
Fixes for errors in the "array_ptr" interfaces to some libc functions declared in checkedc_extensions.h, and removal of the conditional in the snprintf declaration in stdio_checked.h
#455
secure-sw-dev-bot
closed
2 years ago
3
[LValue Generalization] Update tests for validating member bounds
#454
secure-sw-dev-bot
closed
2 years ago
0
`bsearch` bounds-safe interface does not enforce that `size == sizeof(T)` (unsound)
#453
secure-sw-dev-bot
opened
2 years ago
0
Next