~/bend-docscommunity

bend-kit-dns@0.6.0.1 relies on unsafe/foreign

0x36c17029a046b100673721d969a146f0

DNS codec and host lookup. Source: https://github.com/paymog/bend-kit/tree/main/dns

bend-kit-dns@0.6.0.1 by paymog

Other versions (10)
Published
2026-10-09
Size
28,209 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 107 defs, 3 types

Import

import bend-kit-dns@0.6.0.1/dns.bend as Dns
import 0x36c17029a046b100673721d969a146f0/dns.bend as Dns

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
dns.bendrelies on unsafe/foreign 47 defs rely on unsafe or foreign code
defs: 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, try.sent, try.send, try.once, tries, resolve.sock, resolve.id, resolve.ns, resolve.at, resolve.n3, resolve.n2b, resolve.n2, resolve.n1b, resolve.list, resolve.read, resolve.conf, resolve.dns, lookup.all, resolve.all.os, resolve.all.dns, resolve.all.from, resolve.all.text, resolve.all.opened, resolve.all.hosts, resolve.all.pick, resolve.all, resolve.all.ask, resolve.all.pure.pick, resolve.all.pure, resolve.pure, resolve
output
SOME PROOFS FAIL
Error: 47 defs rely on unsafe or foreign code:
- 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
- try.sent
- try.send
- try.once
- tries
- resolve.sock
- resolve.id
- resolve.ns
- resolve.at
- resolve.n3
- resolve.n2b
- resolve.n2
- resolve.n1b
- resolve.list
- resolve.read
- resolve.conf
- resolve.dns
- lookup.all
- resolve.all.os
- resolve.all.dns
- resolve.all.from
- resolve.all.text
- resolve.all.opened
- resolve.all.hosts
- resolve.all.pick
- resolve.all
- resolve.all.ask
- resolve.all.pure.pick
- resolve.all.pure
- resolve.pure
- resolve
1.2 s