0x2355f41b relies on unsafe/foreign
0x2355f41b6f5561f50104a75ccca27cf7
AMF0, the encoding of RTMP's commands (connect, play, _result...): a
Anonymous package: import it by hash.
Earlier versions (1)
- 0x549ec15e 2026-10-06
- Published
- 2026-10-07
- Size
- 198,012 bytes, 25 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 589 defs, 48 types
Import
import 0x2355f41b6f5561f50104a75ccca27cf7/amf.bend as Amf import 0x2355f41b6f5561f50104a75ccca27cf7/audio.bend as MAudio import 0x2355f41b6f5561f50104a75ccca27cf7/b64.bend as B64 import 0x2355f41b6f5561f50104a75ccca27cf7/bytes.bend as Bytes import 0x2355f41b6f5561f50104a75ccca27cf7/conn.bend as Conn import 0x2355f41b6f5561f50104a75ccca27cf7/depay.bend as Depay import 0x2355f41b6f5561f50104a75ccca27cf7/flv.bend as Flv import 0x2355f41b6f5561f50104a75ccca27cf7/flvw.bend as Flvw import 0x2355f41b6f5561f50104a75ccca27cf7/frame.bend as Frame import 0x2355f41b6f5561f50104a75ccca27cf7/md5.bend as Md5 import 0x2355f41b6f5561f50104a75ccca27cf7/net.bend as Net import 0x2355f41b6f5561f50104a75ccca27cf7/opts.bend as Opts import 0x2355f41b6f5561f50104a75ccca27cf7/pull.bend as Pull import 0x2355f41b6f5561f50104a75ccca27cf7/rec.bend as Rec import 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.bend as Rtmp import 0x2355f41b6f5561f50104a75ccca27cf7/rtmp_core.bend as Rtmp_core import 0x2355f41b6f5561f50104a75ccca27cf7/rtp.bend as Rtp import 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.bend as Rtsp import 0x2355f41b6f5561f50104a75ccca27cf7/rtsp_core.bend as Rtsp_core import 0x2355f41b6f5561f50104a75ccca27cf7/sha256.bend as Sha256 import 0x2355f41b6f5561f50104a75ccca27cf7/text.bend as Text import 0x2355f41b6f5561f50104a75ccca27cf7/ts.bend as Ts
Modules
- amf.bend 31 declarations — AMF0, the encoding of RTMP's commands (connect, play, _result...): a
- audio.bend 24 declarations — Audio from RTP.
- b64.bend 25 declarations — UTF-8 and base64 (RFC 4648), both ways; from bend-smtp.
- bytes.bend 31 declarations — Bytes: a List<&2, U32> of values below 256. Big-endian numbers (the
- conn.bend 18 declarations — What the RTSP and RTMP clients share: a connection's opening, reads, writes and failures in continuation
- depay.bend 22 declarations — From RTP packets to frames: the video's NAL units gathered into one
- flv.bend 33 declarations — The frames inside RTMP's tags (the forms FLV keeps them in):
- flvw.bend 26 declarations — Frames into an FLV file: the one container here that holds pictures,
- frame.bend 13 declarations — What a session gives a program: frames, and what they are frames of.
- md5.bend 25 declarations — MD5 (RFC 1321) and HMAC-MD5 (RFC 2104), for AUTH CRAM-MD5 (RFC 2195)
- net.bend 5 declarations — Net: connections by host name that may be TLS, read with a deadline
- opts.bend 33 declarations — What a program says to a session and what a session says back when it
- pull.bend 51 declarations — Record a camera or a stream into a file.
- rec.bend 16 declarations — Frames into the bytes of a file, in one of four forms:
- rtmp.bend 27 declarations — RTMP client: a session that gives a stream's audio and video.
- rtmp_core.bend 78 declarations — RTMP (Adobe's specification of 2012): the pure half of the client.
- rtp.bend 28 declarations — RTP (RFC 3550) and the H.264 and H.265 payload formats (RFC 6184, RFC
- rtsp.bend 60 declarations — RTSP client (RFC 2326): a session that gives a camera's frames.
- rtsp_core.bend 127 declarations — The pure core of the RTSP client (RFC 2326): URLs, requests, what
- sha256.bend 20 declarations — SHA-256 (FIPS 180-4), for Digest authentication with SHA-256 (RFC
- text.bend 12 declarations — Text: lines out of a byte stream, and header-safe strings. SMTP is a
- ts.bend 21 declarations — MPEG-TS (ISO 13818-1), the writing side: a file of 188-byte packets
Other files
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| amf.bend | checks | ALL PROOFS CHECK | 0.8 s |
| audio.bend | checks | ALL PROOFS CHECK | 1.7 s |
| b64.bend | checks | ALL PROOFS CHECK | 0.8 s |
| bytes.bend | checks | ALL PROOFS CHECK | 0.8 s |
| conn.bend | relies on unsafe/foreign | 19 defs rely on unsafe or foreign code defs: 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close, Conn.fail, Conn.got, Conn.recv.n, Conn.recv, Conn.sent, Conn.send, Conn.say, Conn.shut.end, Conn.shut.drain, Conn.shut.sent, Conn.shut, Conn.secured, Conn.opened, Conn.openoutputSOME PROOFS FAIL Error: 19 defs rely on unsafe or foreign code: - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close - Conn.fail - Conn.got - Conn.recv.n - Conn.recv - Conn.sent - Conn.send - Conn.say - Conn.shut.end - Conn.shut.drain - Conn.shut.sent - Conn.shut - Conn.secured - Conn.opened - Conn.open | 0.8 s |
| depay.bend | checks | ALL PROOFS CHECK | 2.0 s |
| flv.bend | checks | ALL PROOFS CHECK | 2.7 s |
| flvw.bend | checks | ALL PROOFS CHECK | 3.3 s |
| frame.bend | checks | ALL PROOFS CHECK | 0.9 s |
| md5.bend | checks | ALL PROOFS CHECK | 0.8 s |
| net.bend | relies on unsafe/foreign | 5 defs rely on unsafe or foreign code defs: Net.connect, Net.tls, Net.send, Net.poll, Net.closeoutputSOME PROOFS FAIL Error: 5 defs rely on unsafe or foreign code: - Net.connect - Net.tls - Net.send - Net.poll - Net.close | 0.5 s |
| opts.bend | checks | ALL PROOFS CHECK | 0.7 s |
| pull.bend | relies on unsafe/foreign | 88 defs rely on unsafe or foreign code defs: 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.fail, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.got, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv.n, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.sent, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.send, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.say, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.end, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.drain, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.sent, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.secured, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.opened, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.open, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reply, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.ask, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.wait, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.due, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.loop, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.pop, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.play.got, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.play, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.audio.on, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.audio.got, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.audio, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.setup.got, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.setup, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.described, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.refused, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.other, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.other.of, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.again.got, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.again, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.again.with, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.first.got, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.describe, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.go, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.start.url, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.start.tls, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.start, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.open.at, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.open, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reopen.go, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reopen.at, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reopen, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.next, 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.close, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.more, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.loop, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.await, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.created, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.connected, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.shaking, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.go, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.start.url, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.start.tls, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.start, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.open, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.reopen.go, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.reopen.at, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.reopen, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.next, 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.close, Pull.rtsp.put, Pull.rtsp.placed, Pull.rtsp.lost, Pull.rtsp.got, Pull.rtsp.loop, Pull.rtsp.file, Pull.rtsp.at, Pull.rtsp.opened, Pull.rtsp, Pull.rtmp.put, Pull.rtmp.placed, Pull.rtmp.lost, Pull.rtmp.got, Pull.rtmp.loop, Pull.rtmp.file, Pull.rtmp.opened, Pull.rtmp, Pull.by, Pull.run, mainoutputSOME PROOFS FAIL Error: 88 defs rely on unsafe or foreign code: - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.fail - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.got - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv.n - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.sent - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.send - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.say - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.end - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.drain - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.sent - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.secured - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.opened - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.open - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reply - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.ask - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.wait - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.due - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.loop - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.pop - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.play.got - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.play - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.audio.on - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.audio.got - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.audio - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.setup.got - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.setup - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.described - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.refused - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.other - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.other.of - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.again.got - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.again - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.again.with - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.first.got - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.describe - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.go - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.start.url - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.start.tls - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.start - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.open.at - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.open - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reopen.go - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reopen.at - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.reopen - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.next - 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.Rtsp.close - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.more - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.loop - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.await - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.created - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.connected - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.shaking - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.go - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.start.url - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.start.tls - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.start - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.open - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.reopen.go - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.reopen.at - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.reopen - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.next - 0x2355f41b6f5561f50104a75ccca27cf7/rtmp.Rtmp.close - Pull.rtsp.put - Pull.rtsp.placed - Pull.rtsp.lost - Pull.rtsp.got - Pull.rtsp.loop - Pull.rtsp.file - Pull.rtsp.at - Pull.rtsp.opened - Pull.rtsp - Pull.rtmp.put - Pull.rtmp.placed - Pull.rtmp.lost - Pull.rtmp.got - Pull.rtmp.loop - Pull.rtmp.file - Pull.rtmp.opened - Pull.rtmp - Pull.by - Pull.run - main | 3.0 s |
| rec.bend | checks | ALL PROOFS CHECK | 3.1 s |
| rtmp.bend | relies on unsafe/foreign | 35 defs rely on unsafe or foreign code defs: 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.fail, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.got, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv.n, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.sent, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.send, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.say, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.end, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.drain, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.sent, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.secured, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.opened, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.open, Rtmp.more, Rtmp.loop, Rtmp.await, Rtmp.created, Rtmp.connected, Rtmp.shaking, Rtmp.go, Rtmp.start.url, Rtmp.start.tls, Rtmp.start, Rtmp.open, Rtmp.reopen.go, Rtmp.reopen.at, Rtmp.reopen, Rtmp.next, Rtmp.closeoutputSOME PROOFS FAIL Error: 35 defs rely on unsafe or foreign code: - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.fail - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.got - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv.n - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.sent - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.send - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.say - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.end - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.drain - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.sent - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.secured - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.opened - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.open - Rtmp.more - Rtmp.loop - Rtmp.await - Rtmp.created - Rtmp.connected - Rtmp.shaking - Rtmp.go - Rtmp.start.url - Rtmp.start.tls - Rtmp.start - Rtmp.open - Rtmp.reopen.go - Rtmp.reopen.at - Rtmp.reopen - Rtmp.next - Rtmp.close | 2.5 s |
| rtmp_core.bend | checks | ALL PROOFS CHECK | 2.0 s |
| rtp.bend | checks | ALL PROOFS CHECK | 0.6 s |
| rtsp.bend | relies on unsafe/foreign | 52 defs rely on unsafe or foreign code defs: 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll, 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.fail, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.got, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv.n, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.sent, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.send, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.say, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.end, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.drain, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.sent, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.secured, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.opened, 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.open, Rtsp.reply, Rtsp.ask, Rtsp.wait, Rtsp.due, Rtsp.loop, Rtsp.pop, Rtsp.play.got, Rtsp.play, Rtsp.audio.on, Rtsp.audio.got, Rtsp.audio, Rtsp.setup.got, Rtsp.setup, Rtsp.described, Rtsp.refused, Rtsp.other, Rtsp.other.of, Rtsp.again.got, Rtsp.again, Rtsp.again.with, Rtsp.first.got, Rtsp.describe, Rtsp.go, Rtsp.start.url, Rtsp.start.tls, Rtsp.start, Rtsp.open.at, Rtsp.open, Rtsp.reopen.go, Rtsp.reopen.at, Rtsp.reopen, Rtsp.next, Rtsp.closeoutputSOME PROOFS FAIL Error: 52 defs rely on unsafe or foreign code: - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.connect - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.tls - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.send - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.poll - 0x2355f41b6f5561f50104a75ccca27cf7/net.Net.close - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.fail - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.got - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv.n - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.recv - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.sent - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.send - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.say - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.end - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.drain - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut.sent - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.shut - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.secured - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.opened - 0x2355f41b6f5561f50104a75ccca27cf7/conn.Conn.open - Rtsp.reply - Rtsp.ask - Rtsp.wait - Rtsp.due - Rtsp.loop - Rtsp.pop - Rtsp.play.got - Rtsp.play - Rtsp.audio.on - Rtsp.audio.got - Rtsp.audio - Rtsp.setup.got - Rtsp.setup - Rtsp.described - Rtsp.refused - Rtsp.other - Rtsp.other.of - Rtsp.again.got - Rtsp.again - Rtsp.again.with - Rtsp.first.got - Rtsp.describe - Rtsp.go - Rtsp.start.url - Rtsp.start.tls - Rtsp.start - Rtsp.open.at - Rtsp.open - Rtsp.reopen.go - Rtsp.reopen.at - Rtsp.reopen - Rtsp.next - Rtsp.close | 2.2 s |
| rtsp_core.bend | checks | ALL PROOFS CHECK | 2.1 s |
| sha256.bend | checks | ALL PROOFS CHECK | 0.7 s |
| text.bend | checks | ALL PROOFS CHECK | 1.0 s |
| ts.bend | checks | ALL PROOFS CHECK | 0.8 s |