devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity

Unsafe code #49

New Issue
Closed
opened 2025-11-10 06:49:23 +00:00 by jabber.developer · 1 comment
jabber.developer commented 2025-11-10 06:49:23 +00:00
Owner
Copy Link

Some code parts are unsafe: lacking null-checks, potential double-frees etc. These parts need to be addressed.

Some code parts are unsafe: lacking null-checks, potential double-frees etc. These parts need to be addressed.
jabber.developer added this to the Plans (2025-2026) project 2025-11-10 12:25:47 +00:00
jabber.developer moved this to In Progress in Plans (2025-2026) on 2025-11-10 12:37:08 +00:00
jabber.developer2 self-assigned this 2025-11-10 13:12:41 +00:00
jabber.developer2 added reference playground/fix/src_refactoring 2025-11-10 13:12:51 +00:00
jabber.developer moved this to Verification in Plans (2025-2026) on 2026-01-16 15:41:03 +00:00
jabber.developer moved this to In Progress in Plans (2025-2026) on 2026-01-16 15:41:24 +00:00
jabber.developer added the
Kind/Security
Priority
High
2
Reviewed
Confirmed
1
 labels 2026-01-21 16:41:22 +00:00
jabber.developer commented 2026-02-07 10:09:39 +00:00
Author
Owner
Copy Link

Mostly resolved by #47. Current issue lack specific details. If unsafe parts are reencountered/could be automatically detected, they are going to be referenced in new issues.

Mostly resolved by #47. Current issue lack specific details. If unsafe parts are reencountered/could be automatically detected, they are going to be referenced in new issues.
jabber.developer moved this to Done in Plans (2025-2026) on 2026-02-11 08:43:49 +00:00
Sign in to join this conversation.
playground/fix/src_refactoring
Branches Tags
Labels
Clear labels
Compat/Breaking
Breaking change that won't be backward compatible
Kind/Bug
Something is not working
Kind/Documentation
Documentation changes
Kind/Enhancement
Improve existing functionality
Kind/Feature
New functionality
Kind/Security
This is security issue
Kind/Testing
Issue or pull request related to testing
Priority
Critical
1
The priority is critical
Priority
High
2
The priority is high
Priority
Low
4
The priority is low
Priority
Medium
3
The priority is medium
Reviewed
Confirmed
1
Issue has been confirmed
Reviewed
Duplicate
2
This issue or pull request already exists
Reviewed
Invalid
3
Invalid issue
Reviewed
Won't Fix
3
This issue won't be fixed
Status
Abandoned
3
Somebody has started to work on this but abandoned work
Status
Blocked
1
Something is blocking this issue or pull request
Status
Need More Info
2
Feedback is required to reproduce issue or to continue work
No Label
Kind/Security
Priority
High
2
Reviewed
Confirmed
1
Milestone
No items
No Milestone
Projects
Clear projects
No project Plans (2025-2026)
Assignees
Clear assignees
admin jabber.developer jabber.developer2
No Assignees jabber.developer2
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: devs/cproof#49
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?