Sink boundary: A write operation reaches a buffer without carrying an inherent proof that the destination is large enough.
The pack does not provide a callable signature for this record; the watched access path is shown directly.
| Arg | Access path | Purpose | Watched |
|---|---|---|---|
| Argument[1] | Argument[1] | The access path Atropos marks for this model. | ▲ sink |
Data is written past the end or before the beginning of its intended buffer.
Input is copied into an output buffer without checking that it fits.
Input is accepted without validating the properties required for safe and correct processing.
Input longer than the destination overwrites adjacent memory or truncates unexpectedly.
Atropos identifies Argument[1] as a buffer-write sink. It cannot see whether untrusted data reaches this call in your repository.
Lachesis is the codebase-level step: it traces reachability and guards for this symbol.
Check this symbol in Lachesis →Across languages
No cross-language match.
What neutralizes it
No sanitizer of this kind is modeled.
| Role | Kind | Access path | Model ID | Confidence |
|---|---|---|---|---|
| sink | buffer-write | Argument[1] | c.io.pread.a1 | medium · corrob. 2 |
| sink | buffer-size | Argument[2] | c.io.pread.a2 | medium · corrob. 2 |
| source | untrusted-input | Argument[1] | c.std.pread.a1 | low · corrob. 1 |