~/bend-docscommunity

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

0x9bf2c4100bf9328348d215e7ae1657de

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

bend-kit-dns@0.6.0.2 by paymog

Earlier 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.2/dns.bend as Dns
import 0x9bf2c4100bf9328348d215e7ae1657de/dns.bend as Dns

Modules

Other files

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
dns.bendrelies on unsafe/foreign 51 defs rely on unsafe or foreign code
defs: 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect, 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline, 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words, 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words, 0x1afdf90dbe41c30b1df4594db039b02a/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: 51 defs rely on unsafe or foreign code:
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.connect
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.accept.deadline
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.cert
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.ca
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.connect.alpn.ca
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.send
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.close
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send.words.deadline
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.recv_from.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.send_to.words
- 0x1afdf90dbe41c30b1df4594db039b02a/wire.tls.recv.words
- 0x1afdf90dbe41c30b1df4594db039b02a/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.3 s