correctcomputation checkedc-clang issues

correctcomputation / checkedc-clang

This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.

14 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Compiler Issues in apple Silicon Processors

#746 Vedaant-Rajoo opened 2 years ago
1
Add mechanism for "non-fatal assertions" in 3C code

#745 mattmccutchen-cci opened 2 years ago
0
Itype support for global variables and struct fields: limit wildness propagation + handle existing itypes sensibly

#744 mattmccutchen-cci opened 2 years ago
0
"Symmetric" liberal itypes: allow data flow inside or outside function to use either side of itype?

#743 mattmccutchen-cci opened 2 years ago
0
Array bounds on function returns use incorrect identifiers when function declarations use different parameter names

#742 john-h-kastner opened 2 years ago
0
3C adds unnecessary initializers to global variables

#741 mattmccutchen-cci opened 2 years ago
0
`-itypes-for-extern` should be integrated into the constraint graph

#740 mattmccutchen-cci opened 2 years ago
0
`Rewriter::InsertText*` calls should use wrappers analogous to `rewriteSourceRange`

#739 mattmccutchen-cci opened 2 years ago
0
Add a mechanism to specify "open world" files

#738 john-h-kastner opened 2 years ago
1
Redefined 'break' with stats and 'goto'

#737 kyleheadley opened 2 years ago
0
Rewriting error for array of function pointer with typedef type

#736 kyleheadley opened 2 years ago
1
Conflict assigning checked array to void * parameter

#735 kyleheadley opened 2 years ago
0
Variable with generic type assigned to non-generic

#734 kyleheadley opened 2 years ago
2
Conflicting rewrites for extern sized arrays

#733 kyleheadley opened 2 years ago
2
More command line options clean up

#732 john-h-kastner closed 2 years ago
0
Ptr<struct> passed to external struct * param in benchmarks

#731 kyleheadley opened 2 years ago
5
Duplicate root-cause entries in `PerWildPtrStats.json` for expression variables in shared header files

#730 mattmccutchen-cci opened 2 years ago
0
Work around conditional operator bugs

#729 kyleheadley opened 2 years ago
1
_Assume_bounds_cast added with checked array type

#728 kyleheadley opened 2 years ago
1
Compile error assigning `__func__` to `_Nt_array_ptr<const char>` in unchecked scope

#727 kyleheadley opened 2 years ago
2
Bounds on variables may use undefined values

#726 kyleheadley opened 2 years ago
0
Work around compiler bug on assignment from itype with nested `_Nt_array_ptr` to fully checked type

#725 kyleheadley opened 2 years ago
4
Overhaul of `convert_project` and related tools

#724 mattmccutchen-cci opened 2 years ago
0
Fix `_Ptr` source location bugs and remove workarounds from 3C.

#723 mattmccutchen-cci opened 2 years ago
0
C-style cast not converted when result is not assigned to a pointer

#722 john-h-kastner opened 2 years ago
1
Reduce minimum number of affected pointers for `-warn-root-cause`

#721 john-h-kastner closed 2 years ago
6
Ensure that `convert_project` works with compilation databases that use the `command` field

#720 mattmccutchen-cci opened 2 years ago
0
Unchecked function assigned to safe typedef

#719 kyleheadley opened 2 years ago
2
Lower Bounds Inference

#718 john-h-kastner closed 2 years ago
6
Use bounds(unknown) rather than an locally-undefined variable copied from function parameter

#717 kyleheadley closed 2 years ago
0
Automate most of the 3C code style checks.

#716 mattmccutchen-cci opened 2 years ago
1
`-itypes-for-extern` rewrites itype parameters even when they don't need to be changed

#715 john-h-kastner opened 2 years ago
0
mkString fixes (mostly moved from the multi-decl overhaul)

#714 mattmccutchen-cci closed 2 years ago
3
Initializer are added for global variables on every declaration

#713 john-h-kastner opened 2 years ago
1
`_Assume_bounds_cast` to incorrect pointer type inserted on generic function call

#712 john-h-kastner closed 2 years ago
2
Reduce duplicated graph code

#711 kyleheadley closed 2 years ago
0
Root cause analysis should consider undefined functions checked if they have an itype

#710 john-h-kastner opened 2 years ago
3
`-infer-types-for-undefs` shouldn't convert functions that are never used

#709 john-h-kastner opened 2 years ago
2
Improve user feedback about conflicting constraints

#708 kyleheadley closed 2 years ago
0
Clean up ConstraintVariable copy constructors/getCopy function

#707 kyleheadley opened 2 years ago
3
Add support for `-Xclang -ast-dump` to facilitate debugging.

#706 mattmccutchen-cci closed 2 years ago
1
`buildItypeDecl` uses checked typedef even if it doesn't equal the external solution

#705 mattmccutchen-cci opened 2 years ago
0
Should `DeclRewriter::buildItypeDecl` use the actual internal `PVConstraint`?

#704 mattmccutchen-cci opened 2 years ago
0
Various bugs in `mkString`

#703 mattmccutchen-cci opened 2 years ago
2
Insert itypes correctly for constant sized arrays

#702 john-h-kastner closed 2 years ago
0
Update `-addcr` to allow `printf`-like function calls in checked regions

#701 mattmccutchen-cci opened 2 years ago
0
Merge from Microsoft 2021-09-08

#700 mattmccutchen-cci closed 2 years ago
0
Clean up Constraints classes

#699 kyleheadley opened 2 years ago
0
Develop workflow to support safe use of `-infer-types-for-undefs` by enforcing review of inferred declarations

#698 mattmccutchen-cci opened 2 years ago
0
Better choice of pointer-type constraint solution for `-infer-types-for-undefs`

#697 mattmccutchen-cci opened 2 years ago
0