Skip to content

Warn about accesses via unchecked pointers to struct members that are checked arrays? #378

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.

Sign up for GitHub

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

Jump to bottom
Open
dtarditi opened this issue Sep 21, 2017 · 1 comment
Open

Warn about accesses via unchecked pointers to struct members that are checked arrays? #378

dtarditi opened this issue Sep 21, 2017 · 1 comment
Labels
work item This labels issues that are not exactly bugs but are about improvements.

Comments

@dtarditi
Copy link
Member

checkedc/checkedc#197 explains potential issues with accesses via unchecked pointers to struct members.

Possible solutions are is to forbid such accesses or warn about them.
@dtarditi dtarditi changed the title Warn about accesses via unchecked pointers to struct members that are checked arrays?rs? Warn about accesses via unchecked pointers to struct members that are checked arrays? Sep 21, 2017
dopelsunce pushed a commit to dopelsunce/checkedc-clang that referenced this issue Sep 28, 2020
Add runtime tests for null ptr arithmetic (checkedc#378)
5289e47
@sulekhark sulekhark added work item This labels issues that are not exactly bugs but are about improvements. and removed question labels Feb 3, 2021
sulekhark pushed a commit that referenced this issue Feb 27, 2021
@mattmccutchen-cci @john-h-kastner
Add -output-dir and other file handling improvements (#412)
5300cf8 
- Add -output-dir option to write updated files to a directory structure
  parallel to the base dir (#347). When -output-dir is used, a source
  file outside the base dir can't be handled because there is no way to
  compute its output path. For consistency, this is now an error even
  when -output-dir is not used.

- Convert all 3C regression tests from -output-postfix to -output-dir to
  avoid leaving temporary files in the clang/test/3C directory (#378).

- Expand "3c -help" documentation. In particular, direct the user to pass
  "--" when they don't want to use a compilation database to avoid
  accidentally using unwanted compiler options and suppress the warning
  if no compilation database is found (#343).

- For consistency, have stdout mode output the main file even if it is
  unchanged (#328).

- Fix bugs in matching of file paths against the base dir (#327).

- Other minor bug fixes: see the pull request description for details.

Co-authored-by: John Kastner <[email protected]>
@mattmccutchen-cci mattmccutchen-cci mentioned this issue Jul 13, 2021
Merged
@sulekhark
Copy link
Contributor

This issue got automatically closed by mistake: GitHub closed issue number N in the checkedc-clang repository when a 3C PR that has a comment "Fixes issue N" (where N refers to the issue number in CCI's repository), was merged to master branch in the checkedc-clang repository. Reopening it.

@sulekhark sulekhark reopened this Jul 13, 2021
@secure-sw-dev-bot secure-sw-dev-bot mentioned this issue Jan 16, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
work item This labels issues that are not exactly bugs but are about improvements.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dtarditi @sulekhark