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

0x3032c733631327d69c18d386991b6af3

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

bend-kit-dns@0.4.0.2 by paymog

Published

2026-09-28

Size

25,774 bytes, 3 files

License

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

Declarations

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

Import

import bend-kit-dns@0.4.0.2/dns.bend as Dns
import 0x3032c733631327d69c18d386991b6af3/dns.bend as Dns

Modules

• dns.bend 113 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.0.3 via dns.bend: import 0x096635686408886b7d907f16c4550317/wire.bend as Wire

Dependents

• bend-kit-http@0.25.0.0 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-http@0.24.3.1 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-http@0.24.3.0 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-http@0.24.2.0 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-http@0.24.1.0 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-postgres@0.1.0.0 via postgres.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-http@0.24.0.0 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-http@0.23.0.1 via http.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns
• bend-kit-redis@0.1.0.0 via redis.bend: import bend-kit-dns@0.4.0.2/dns.bend as Dns

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 43 defs rely on unsafe or foreign code:
- 0x096635686408886b7d907f16c4550317/wire.connect
- 0x096635686408886b7d907f16c4550317/wire.recv
- 0x096635686408886b7d907f16c4550317/wire.send
- 0x096635686408886b7d907f16c4550317/wire.recv_from
- 0x096635686408886b7d907f16c4550317/wire.send_to
- 0x096635686408886b7d907f16c4550317/wire.tls.connect
- 0x096635686408886b7d907f16c4550317/wire.tls.send
- 0x096635686408886b7d907f16c4550317/wire.tls.recv
- 0x096635686408886b7d907f16c4550317/wire.tls.close
- 0x096635686408886b7d907f16c4550317/wire.recv.words
- 0x096635686408886b7d907f16c4550317/wire.send.words
- 0x096635686408886b7d907f16c4550317/wire.tls.recv.words
- 0x096635686408886b7d907f16c4550317/wire.tls.send.words
- try.sent
- try.once
- tries
- resolve.sock
- resolve.q
- 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