Expand description
Helper utilities for the DFIR syntax.
Modules§
- clear
- Module for the
Clear
trait. - demux_
enum dfir_macro
- Trait for the
demux_enum
derive and operator. - deploy
deploy_integration
- Hydro Deploy integration for DFIR.
- multiset
- A multiset backed by a HashMap
- priority_
stack - A priority queue in which elements of the same priority are popped in a LIFO order.
- simulation
- Hydro/DFIR Deterministic Simulation Testing Framework
- slot_
vec - A Vec-based SlotMap-esque datastructure and corresponding Key type.
- sparse_
vec - A vector that supports efficient deletion without reordering all subsequent items.
- unsync
- Unsync (i.e. single-threaded) synchronization primitives.
Structs§
- Droppable
Child - Terminates the inner
Child
process when dropped. - Monotonic
Fn - A wrapper christening a closure as a monotonic function
- Morphism
- A wrapper christening a closure as a lattice morphism
Enums§
- Persistence
- Persit or delete tuples
- Persistence
Keyed - Persit or delete key-value pairs
Functions§
- bind_
tcp - Create a listening tcp socket, and then as new connections come in, receive their data and forward it to a queue.
- bind_
tcp_ bytes - Returns a newline-delimited bytes
Sender
,Receiver
, andSocketAddr
bound to the given address. - bind_
tcp_ lines - This is the same thing as
bind_tcp_bytes
except instead of using a length-delimited encoding scheme it uses new lines to separate frames. - bind_
udp_ bytes - Returns a length-delimited bytes
Sink
,Stream
, andSocketAddr
bound to the given address. The inputaddr
may have a port of0
, the returnedSocketAddr
will have the chosen port. - bind_
udp_ lines - Returns a newline-delimited bytes
Sink
,Stream
, andSocketAddr
bound to the given address. The inputaddr
may have a port of0
, the returnedSocketAddr
will have the chosen port. - collect_
ready - Collects the immediately available items from the
Stream
into aFromIterator
collection. - collect_
ready_ async - Collects the immediately available items from the
Stream
into a collection (Default
+Extend
). - connect_
tcp - The inverse of
bind_tcp
. - connect_
tcp_ bytes - The inverse of
bind_tcp_bytes
. - connect_
tcp_ lines - This is the same thing as
connect_tcp_bytes
except instead of using a length-delimited encoding scheme it uses new lines to separate frames. - deserialize_
from_ bytes - Serialize a message from bytes using bincode.
- ipv4_
resolve - Resolve the
ipv4
SocketAddr
from an IP or hostname string. - iter_
batches_ stream - Converts an iterator into a stream that emits
n
items at a time, yielding between each batch. - ready_
iter - Returns an
Iterator
of any immediately available items from the [Stream
]. - run_
cargo_ example - Run a rust example as a test.
- serialize_
to_ bytes - Serialize a message to bytes using bincode.
- sort_
unstable_ by_ key_ hrtb - Sort a slice using a key fn which returns references.
- tcp_
bytes - Helper creates a TCP
Stream
andSink
forBytes
strings where each string is length-delimited. - tcp_
bytestream - Helper creates a TCP
Stream
andSink
for undelimited streams ofBytes
. - tcp_
framed - Helper creates a TCP
Stream
andSink
from the given socket, using the givenCodec
to handle delineation between inputs/outputs. - tcp_
lines - Helper creates a TCP
Stream
andSink
forstr
ings delimited by newlines. - udp_
bytes - Helper creates a UDP
Stream
andSink
forBytes
strings where each string is length-delimited. - udp_
bytestream - Helper creates a UDP
Stream
andSink
for undelimited streams ofBytes
. - udp_
framed - Returns a UDP
Stream
,Sink
, and address for the given socket, using the givenCodec
to handle delineation between inputs/outputs. - udp_
lines - Helper creates a UDP
Stream
andSink
forString
s delimited by newlines. - unbounded_
channel - Returns a channel as a (1) unbounded sender and (2) unbounded receiver
Stream
for use in DFIR. - unix_
bytes - Helper creates a Unix
Stream
andSink
forBytes
strings where each string is length-delimited. - unix_
bytestream - Helper creates a Unix
Stream
andSink
for undelimited streams ofBytes
. - unix_
framed - Helper creates a Unix
Stream
andSink
from the given socket, using the givenCodec
to handle delineation between inputs/outputs. - unix_
lines - Helper creates a Unix
Stream
andSink
forstr
ings delimited by newlines. - unsync_
channel - Returns an unsync channel as a (1) sender and (2) receiver
Stream
for use in DFIR. - wait_
for_ process_ output - Waits for a specific process output before returning.
Type Aliases§
- TcpFramed
Sink - A framed TCP
Sink
(sending). - TcpFramed
Stream - A framed TCP
Stream
(receiving). - UdpBytes
Sink - A UDP undelimited bytes
Sink
(sending). - UdpBytes
Stream - A UDP undelimited bytes
Stream
(receiving). - UdpFramed
Sink - A framed UDP
Sink
(sending). - UdpFramed
Stream - A framed UDP
Stream
(receiving). - UdpLines
Sink - A UDP newline-delimited
String
Sink
(sending). - UdpLines
Stream - A UDP newline-delimited
String
Stream
(receivng). - UdpSink
- A UDP length-delimited frame
Sink
(sending). - UdpStream
- A UDP length-delimited frame
Stream
(receiving).