| शीर्षक | dvidelabs flatcc v0.6.3 Reachable Assertion |
|---|
| विवरण | FlatBuffers structs must be acyclic (a struct's fields may only reference other structs by value if the graph is a DAG), but the parser does not reject mutually-recursive structs up front. analyze_struct() re-enters struct analysis while the fb_circular_open flag for the enclosing struct is still set (src/compiler/semantics.c:695), and the cycle trips an assertion that aborts the compile with SIGABRT.
Affected versions: flatcc v0.6.3
Severity: Medium (reachable assertion abort / SIGABRT; crash/DoS of the schema compiler)
CWE: CWE-617 (Reachable Assertion) |
|---|
| स्रोत | ⚠️ https://github.com/dvidelabs/flatcc/issues/388 |
|---|
| उपयोगकर्ता | lrrh (UID 100159) |
|---|
| सबमिशन | 08/08/2026 10:40 AM (1 महीना पहले) |
|---|
| संयम | 13/09/2026 03:01 PM (1 month later) |
|---|
| स्थिति | स्वीकृत |
|---|
| VulDB प्रविष्टि | 403291 [Dvidelabs flatcc तक 0.6.3 Struct Analysis src/compiler/semantics.c analyze_struct सेवा अस्वीकार] |
|---|
| अंक | 20 |
|---|