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

0x446af397a026226591f85538ecbba2c4

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

bend-kit-dns@0.5.0.0 by paymog

Published

2026-09-29

Size

27,080 bytes, 3 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 100 defs, 3 types

Import

import bend-kit-dns@0.5.0.0/dns.bend as Dns
import 0x446af397a026226591f85538ecbba2c4/dns.bend as Dns

Modules

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

Other files

• effs/dns.c 2,761 bytes
• effs/dns.js 2,699 bytes

Dependencies

• bend-kit-wire@0.4.3.0 via dns.bend: import bend-kit-wire@0.4.3.0/wire.bend as Wire
• bend-kit-bytes@0.3.1.0 via dns.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes

Dependents

• bend-kit-http@0.31.1.1 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.31.1.0 via http/http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.31.0.0 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.30.0.0 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.29.0.0 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.28.0.0 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.27.0.0 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.26.0.0 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.25.0.2 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-postgres@0.1.0.1 via postgres.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-http@0.25.0.1 via http.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns
• bend-kit-redis@0.1.0.1 via redis.bend: import bend-kit-dns@0.5.0.0/dns.bend as Dns

Status on bend 2.0.36

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