~/bend-docscommunity

bend-kit-stream@0.1.0.0 relies on unsafe/foreign

0x5d1df91c572021ceb1e6a56e51680028

Bounded packed-byte transfers between files and TCP/TLS sockets.

bend-kit-stream@0.1.0.0 by paymog

Other versions (1)
Published
2026-09-30
Size
7,065 bytes, 1 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 18 defs, 4 types

Import

import bend-kit-stream@0.1.0.0/stream.bend as Stream
import 0x5d1df91c572021ceb1e6a56e51680028/stream.bend as Stream

Modules

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
stream.bendrelies on unsafe/foreign 41 defs rely on unsafe or foreign code
defs: 0x6c54b2522c2258baf6f58d2b970c3902/files.list_dir.raw, 0x6c54b2522c2258baf6f58d2b970c3902/files.stat.raw, 0x6c54b2522c2258baf6f58d2b970c3902/files.mkdir, 0x6c54b2522c2258baf6f58d2b970c3902/files.remove, 0x6c54b2522c2258baf6f58d2b970c3902/files.rename, 0x6c54b2522c2258baf6f58d2b970c3902/files.temp_dir, 0x6c54b2522c2258baf6f58d2b970c3902/files.read.words, 0x6c54b2522c2258baf6f58d2b970c3902/files.read_bytes, 0x6c54b2522c2258baf6f58d2b970c3902/files.write.words, 0x6c54b2522c2258baf6f58d2b970c3902/files.write_bytes, 0x6c54b2522c2258baf6f58d2b970c3902/files.list_dir, 0x6c54b2522c2258baf6f58d2b970c3902/files.stat, 0x6c54b2522c2258baf6f58d2b970c3902/files.exists, 0x6c54b2522c2258baf6f58d2b970c3902/files.mkdir_all.go, 0x6c54b2522c2258baf6f58d2b970c3902/files.mkdir_all, 0x4e8235741fad6df1605249df49ecae86/wire.connect, 0x4e8235741fad6df1605249df49ecae86/wire.recv, 0x4e8235741fad6df1605249df49ecae86/wire.send, 0x4e8235741fad6df1605249df49ecae86/wire.recv_from, 0x4e8235741fad6df1605249df49ecae86/wire.send_to, 0x4e8235741fad6df1605249df49ecae86/wire.tls.connect, 0x4e8235741fad6df1605249df49ecae86/wire.tls.connect.cert, 0x4e8235741fad6df1605249df49ecae86/wire.tls.connect.alpn, 0x4e8235741fad6df1605249df49ecae86/wire.tls.send, 0x4e8235741fad6df1605249df49ecae86/wire.tls.recv, 0x4e8235741fad6df1605249df49ecae86/wire.tls.close, 0x4e8235741fad6df1605249df49ecae86/wire.recv.words, 0x4e8235741fad6df1605249df49ecae86/wire.send.words, 0x4e8235741fad6df1605249df49ecae86/wire.recv_from.words, 0x4e8235741fad6df1605249df49ecae86/wire.send_to.words, 0x4e8235741fad6df1605249df49ecae86/wire.tls.recv.words, 0x4e8235741fad6df1605249df49ecae86/wire.tls.send.words, file.read, file.write, socket.read.tls, socket.read, socket.write.tls, socket.write, file.file, file.socket, socket.file
output
SOME PROOFS FAIL
Error: 41 defs rely on unsafe or foreign code:
- 0x6c54b2522c2258baf6f58d2b970c3902/files.list_dir.raw
- 0x6c54b2522c2258baf6f58d2b970c3902/files.stat.raw
- 0x6c54b2522c2258baf6f58d2b970c3902/files.mkdir
- 0x6c54b2522c2258baf6f58d2b970c3902/files.remove
- 0x6c54b2522c2258baf6f58d2b970c3902/files.rename
- 0x6c54b2522c2258baf6f58d2b970c3902/files.temp_dir
- 0x6c54b2522c2258baf6f58d2b970c3902/files.read.words
- 0x6c54b2522c2258baf6f58d2b970c3902/files.read_bytes
- 0x6c54b2522c2258baf6f58d2b970c3902/files.write.words
- 0x6c54b2522c2258baf6f58d2b970c3902/files.write_bytes
- 0x6c54b2522c2258baf6f58d2b970c3902/files.list_dir
- 0x6c54b2522c2258baf6f58d2b970c3902/files.stat
- 0x6c54b2522c2258baf6f58d2b970c3902/files.exists
- 0x6c54b2522c2258baf6f58d2b970c3902/files.mkdir_all.go
- 0x6c54b2522c2258baf6f58d2b970c3902/files.mkdir_all
- 0x4e8235741fad6df1605249df49ecae86/wire.connect
- 0x4e8235741fad6df1605249df49ecae86/wire.recv
- 0x4e8235741fad6df1605249df49ecae86/wire.send
- 0x4e8235741fad6df1605249df49ecae86/wire.recv_from
- 0x4e8235741fad6df1605249df49ecae86/wire.send_to
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.connect
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.connect.cert
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.connect.alpn
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.send
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.recv
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.close
- 0x4e8235741fad6df1605249df49ecae86/wire.recv.words
- 0x4e8235741fad6df1605249df49ecae86/wire.send.words
- 0x4e8235741fad6df1605249df49ecae86/wire.recv_from.words
- 0x4e8235741fad6df1605249df49ecae86/wire.send_to.words
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.recv.words
- 0x4e8235741fad6df1605249df49ecae86/wire.tls.send.words
- file.read
- file.write
- socket.read.tls
- socket.read
- socket.write.tls
- socket.write
- file.file
- file.socket
- socket.file
1.2 s