| tiêu đề | dvidelabs flatcc v0.6.3 Reachable Assertion |
|---|
| Mô tả | align_order_members() sorts a table's member list by a computed order key k and asserts k > 0 before inserting into the ordering list (src/compiler/semantics.c:1059). When the same member name is declared twice, the second declaration's key collapses to 0 and the assert(k > 0) aborts the compile. Duplicate members are a plausible user typo, not an exceptional input — the parser should emit a redefinition error, not crash.
Affected versions: flatcc v0.6.3
Severity: Medium (reachable assertion abort / SIGABRT; crash/DoS of the schema compiler)
CWE: CWE-617 (Reachable Assertion) |
|---|
| Nguồn | ⚠️ https://github.com/dvidelabs/flatcc/issues/387 |
|---|
| Người dùng | lrrh (UID 100159) |
|---|
| Đệ trình | 08/08/2026 10:41 (cách đây 1 tháng) |
|---|
| Kiểm duyệt | 13/09/2026 15:01 (1 month later) |
|---|
| Trạng thái | được chấp nhận |
|---|
| Mục VulDB | 403292 [Dvidelabs flatcc đến 0.6.3 Duplicate Symbol src/compiler/semantics.c align_order_members Từ chối dịch vụ] |
|---|
| điểm | 20 |
|---|