The Matchy Book
Matchy is a database for IP address and string matching. Matchy supports
matching IP addresses, CIDR ranges, exact strings, and glob patterns like *.evil.com with
microsecond-level query performance. You can build databases with structured data, query them
efficiently, and deploy them in multi-process applications with minimal memory overhead.
Want to try Matchy before installing anything? Start at the Matchy product page or open the Matchy Analyst Console to scan log files locally in your browser against a bundled demo .mxy threat database.
Sections
To get started with Matchy, install Matchy and create your first database.
The guide will give you all you need to know about how to use Matchy to create and query databases for IP matching, string matching, and pattern matching.
The reference covers the details of various areas of Matchy, including the Rust API, C API, binary format, and architecture.
The commands will let you interact with Matchy databases using the command-line interface.
Learn how to contribute to Matchy development.
Appendices:
Other Documentation:
- Changelog — Detailed notes about changes in Matchy in each release.
Getting Started
This section provides a quick introduction to Matchy. Choose your path based on how you plan to use Matchy:
Using the CLI
If you want to build and query databases from the command line, or integrate Matchy into shell scripts and workflows:
Best for: Operations, DevOps, quick prototyping, standalone tools
Using the API
If you’re building an application that needs to query databases programmatically:
Best for: Application development, embedded systems, language integration
Both paths create compatible databases - a database built with the CLI can be queried by the API and vice versa.
Quick Start
Get up and running with Matchy in minutes.
Installation
From Source
git clone https://github.com/matchylabs/matchy
cd matchy
cargo build --release
As a Rust Dependency
Add to your Cargo.toml:
[dependencies]
matchy = "0.5"
Your First Database (Rust)
Here’s a complete example that builds and queries a threat intelligence database:
use matchy::{Database, DatabaseBuilder, MatchMode, DataValue, QueryResult};
use std::collections::HashMap;
fn main() -> Result<(), Box<dyn std::error::Error>> {
// 1. Create a builder
let mut builder = DatabaseBuilder::new(MatchMode::CaseSensitive);
// 2. Add IP address with threat data
let mut ip_data = HashMap::new();
ip_data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
ip_data.insert("score".to_string(), DataValue::Uint32(95));
builder.add_entry("1.2.3.4", ip_data)?;
// 3. Add CIDR range
let mut cidr_data = HashMap::new();
cidr_data.insert("type".to_string(), DataValue::String("internal".to_string()));
builder.add_entry("10.0.0.0/8", cidr_data)?;
// 4. Add glob pattern
let mut pattern_data = HashMap::new();
pattern_data.insert("category".to_string(), DataValue::String("malware".to_string()));
builder.add_entry("*.evil.com", pattern_data)?;
// 5. Build and save
let database_bytes = builder.build()?;
std::fs::write("threats.mxy", &database_bytes)?;
println!("✅ Database built: {} bytes", database_bytes.len());
// 6. Open database (memory-mapped)
let db = Database::from("threats.mxy").open()?;
println!("✅ Database opened");
// 7. Query IP address
match db.lookup("1.2.3.4")? {
Some(QueryResult::Ip { data, prefix_len, .. }) => {
println!("🔍 IP match: {:?} (/{prefix_len})", data);
}
_ => println!("No match"),
}
// 8. Query pattern
match db.lookup("malware.evil.com")? {
Some(QueryResult::Pattern { pattern_ids, data, .. }) => {
println!("🔍 Pattern match: {} patterns", pattern_ids.len());
for (i, d) in data.iter().enumerate() {
if let Some(threat_data) = d {
println!(" Pattern {}: {:?}", pattern_ids[i], threat_data);
}
}
}
_ => println!("No match"),
}
Ok(())
}
Your First Database (C)
Complete C example:
#include <matchy/matchy.h>
#include <stdio.h>
int main() {
// 1. Build database
matchy_builder_t *builder = matchy_builder_new();
if (!builder) {
fprintf(stderr, "Failed to create builder\n");
return 1;
}
// 2. Add entries with JSON data
matchy_builder_add(builder, "1.2.3.4",
"{\"threat_level\": \"high\", \"score\": 95}");
matchy_builder_add(builder, "10.0.0.0/8",
"{\"type\": \"internal\"}");
matchy_builder_add(builder, "*.evil.com",
"{\"category\": \"malware\"}");
// 3. Save to file
int err = matchy_builder_save(builder, "threats.mxy");
if (err != MATCHY_SUCCESS) {
fprintf(stderr, "Failed to save database\n");
matchy_builder_free(builder);
return 1;
}
printf("✅ Database built\n");
matchy_builder_free(builder);
// 4. Open database
matchy_t *db = matchy_open("threats.mxy");
if (!db) {
fprintf(stderr, "Failed to open database\n");
return 1;
}
printf("✅ Database loaded\n");
// 5. Query IP address
matchy_result_t result = matchy_query(db, "1.2.3.4");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("🔍 IP match: %s\n", json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
// 6. Query pattern
result = matchy_query(db, "malware.evil.com");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("🔍 Pattern match: %s\n", json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
// 7. Cleanup
matchy_close(db);
printf("✅ Done\n");
return 0;
}
Compile and run:
gcc -o example example.c -I./crates/matchy/include -L./target/release -lmatchy
LD_LIBRARY_PATH=./target/release ./example
What Just Happened?
- Built a database - Added IPs, CIDR ranges, and patterns with structured data
- Saved to disk - Wrote optimized binary format (
.mxyfile) - Opened efficiently - Memory-mapped the file and validated its structural envelopes
- Queried through specialized indexes - Used the IP trie, exact hash, or pattern candidate engine as appropriate
Key Concepts
Automatic Type Detection
You don’t need to specify whether an entry is an IP, CIDR, or pattern. Matchy detects automatically:
#![allow(unused)]
fn main() {
builder.add_entry("1.2.3.4", data)?; // Detected as IP
builder.add_entry("10.0.0.0/8", data)?; // Detected as CIDR
builder.add_entry("*.evil.com", data)?; // Detected as glob pattern
builder.add_entry("evil.com", data)?; // Detected as exact string
}
Database Immutability
Databases are read-only once built. To update:
- Create new builder
- Add all entries (old + new + modified)
- Build new database
- Atomically replace old file
This ensures readers always see consistent state.
Memory Mapping
Databases use mmap() for:
- Demand-paged opening - Avoids whole-file deserialization while retaining bounded structural checks
- Memory efficiency - OS shares pages across processes
- Large databases - Work with databases larger than RAM
Next Steps
- Installation Guide - Detailed setup instructions
- Rust API Guide - Complete Rust API documentation
- C API Guide - Complete C API documentation
- Architecture - How Matchy works internally
Building Your First Database
This tutorial walks you through building a complete threat intelligence database from scratch.
What We’ll Build
A database containing:
- Malicious IP addresses with threat scores
- CIDR ranges for known botnets
- Domain patterns for phishing sites
- Exact domains on a blocklist
Step 1: Create the Builder
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, MatchMode, DataValue};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
}
The MatchMode determines how patterns are matched:
CaseSensitive- “Evil.com” ≠ “evil.com”CaseInsensitive- “Evil.com” = “evil.com” (recommended for domains)
Step 2: Add IP Addresses
Add individual IPs with rich metadata:
#![allow(unused)]
fn main() {
let mut threat_data = HashMap::new();
threat_data.insert("threat_level".to_string(), DataValue::String("critical".to_string()));
threat_data.insert("score".to_string(), DataValue::Uint32(95));
threat_data.insert("first_seen".to_string(), DataValue::String("2024-01-15".to_string()));
threat_data.insert("category".to_string(), DataValue::String("c2_server".to_string()));
builder.add_entry("192.0.2.1", threat_data)?;
}
Step 3: Add CIDR Ranges
CIDR ranges match all IPs within the range:
#![allow(unused)]
fn main() {
let mut botnet_data = HashMap::new();
botnet_data.insert("network".to_string(), DataValue::String("mirai_botnet".to_string()));
botnet_data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
builder.add_entry("203.0.113.0/24", botnet_data)?;
}
Step 4: Add Glob Patterns
Patterns use wildcards to match multiple domains:
#![allow(unused)]
fn main() {
// Match any subdomain of evil.com
let mut pattern_data = HashMap::new();
pattern_data.insert("category".to_string(), DataValue::String("phishing".to_string()));
pattern_data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
builder.add_entry("*.evil.com", pattern_data)?;
// Match specific patterns
let mut malware_data = HashMap::new();
malware_data.insert("category".to_string(), DataValue::String("malware_download".to_string()));
builder.add_entry("http://*/admin/config.php", malware_data)?;
}
Step 5: Add Exact Strings
For known exact matches (no wildcards):
#![allow(unused)]
fn main() {
let mut blocklist_data = HashMap::new();
blocklist_data.insert("reason".to_string(), DataValue::String("confirmed_malware".to_string()));
blocklist_data.insert("blocked_date".to_string(), DataValue::String("2024-10-01".to_string()));
builder.add_entry("malicious-site.example", blocklist_data)?;
}
Step 6: Build and Save
#![allow(unused)]
fn main() {
// Build the database (returns bytes)
let database_bytes = builder.build()?;
// Save to file
std::fs::write("threats.mxy", &database_bytes)?;
println!("✅ Database built: {} bytes", database_bytes.len());
}
Step 7: Query the Database
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult};
// Open the database (memory-mapped; avoids whole-file deserialization)
let db = Database::from("threats.mxy").open()?;
// Query IP address
match db.lookup("192.0.2.1")? {
Some(QueryResult::Ip { data, prefix_len, .. }) => {
println!("Found IP: {:?}", data);
println!("Matched CIDR: /{}", prefix_len);
}
_ => println!("Not found"),
}
// Query domain (matches pattern *.evil.com)
match db.lookup("phishing.evil.com")? {
Some(QueryResult::Pattern { pattern_ids, data, .. }) => {
println!("Matched {} patterns", pattern_ids.len());
for (i, threat_data) in data.iter().enumerate() {
if let Some(d) = threat_data {
println!("Pattern {}: {:?}", pattern_ids[i], d);
}
}
}
_ => println!("No match"),
}
}
Pattern Types
Matchy automatically detects entry types:
| Entry | Type | Example |
|---|---|---|
192.0.2.1 | IP Address | Single host |
192.0.2.0/24 | CIDR Range | Network block |
*.evil.com | Glob Pattern | Wildcard domain |
evil.com | Exact String | Literal match |
Performance Tips
- Build once, query many - Reuse the serialized index and an open handle
- Use CIDR ranges when they express the rule - They can reduce redundant entries
- Prefer selective literal anchors - Broad globs create more candidates
- Use exact strings for exact rules - They use average-case O(1) hash probing
Next Steps
- Rust API Reference - Complete API documentation
- Data Types - All supported data types
- Performance Guide - Optimization techniques
Using the CLI
The Matchy command-line interface lets you build and query databases without writing code. This is perfect for:
- Operations and DevOps workflows
- Quick prototyping and testing
- Shell scripts and automation
- One-off queries and analysis
What You’ll Learn
- Installing the CLI - Install the
matchycommand-line tool - First Database with CLI - Build and query your first database
Example Workflow
$ # Build a database from a CSV file
$ matchy build threats.csv --input-format csv --output threats.mxy
$ # Query it
$ matchy query threats.mxy 192.0.2.1
Found: IP address 192.0.2.1
threat_level: "high"
category: "malware"
$ # Run a synthetic benchmark
$ matchy bench ip
The benchmark reports values measured on the current system; they are not fixed expected output.
After completing this section, check out the CLI Commands reference for detailed documentation on all available commands.
Installing the CLI
Prerequisites
The Matchy CLI requires Rust to build. If you don’t have Rust installed:
$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
Verify installation:
$ rustc --version
rustc 1.70.0 (or later)
Installing from crates.io
The easiest way to install the Matchy CLI is from crates.io:
$ cargo install matchy
Updating crates.io index
Downloaded matchy v2.0.1
Compiling matchy v2.0.1
Finished release [optimized] target(s) in 2m 15s
Installing ~/.cargo/bin/matchy
Verify the installation:
$ matchy --version
matchy 2.0.1
Installing from source
To install the latest development version:
$ git clone https://github.com/matchylabs/matchy
$ cd matchy
$ cargo install --path .
Using without installation
You can also run Matchy directly from the source repository without installing:
$ git clone https://github.com/matchylabs/matchy
$ cd matchy
$ cargo run --release -- --version
matchy 2.0.1
Use cargo run --release -- instead of matchy for all commands.
Next Steps
Now that you have the CLI installed, let’s build your first database:
First Database with CLI
Let’s build and query a database using the Matchy CLI.
Create input data
First, create a CSV file with some sample data. Create a file called threats.csv:
key,threat_level,category
192.0.2.1,high,malware
203.0.113.0/24,medium,botnet
*.evil.com,high,phishing
malicious-site.com,critical,c2_server
Each row defines an entry:
key- IP address, CIDR range, pattern, or exact string- Other columns become data fields associated with the entry
Build the database
Use matchy build to create a database:
$ matchy build threats.csv --input-format csv --output threats.mxy
Building database from threats.csv
Added 4 entries
Database size: 2,847 bytes
Successfully wrote threats.mxy
This creates threats.mxy, a binary database file.
Query the database
Now query it with matchy query:
$ matchy query threats.mxy 192.0.2.1
Found: IP address 192.0.2.1
threat_level: "high"
category: "malware"
The CLI automatically detects that 192.0.2.1 is an IP address and performs an IP lookup.
Query a CIDR range
IPs within a CIDR range match that range:
$ matchy query threats.mxy 203.0.113.42
Found: IP address 203.0.113.42 (matched 203.0.113.0/24)
threat_level: "medium"
category: "botnet"
Query a pattern
Patterns match using wildcards:
$ matchy query threats.mxy phishing.evil.com
Found: Pattern match
Matched patterns: *.evil.com
threat_level: "high"
category: "phishing"
The domain phishing.evil.com matches the pattern *.evil.com.
Query an exact string
Exact strings must match completely:
$ matchy query threats.mxy malicious-site.com
Found: Exact string match
threat_level: "critical"
category: "c2_server"
Inspect the database
Use matchy inspect to see what’s inside:
$ matchy inspect threats.mxy
Database: threats.mxy
Size: 2,847 bytes
Match mode: CaseInsensitive
IP entries: 2
String entries: 1
Pattern entries: 1
Benchmark performance
Run a synthetic combined benchmark with matchy bench:
$ matchy bench combined
The command prints measurements from the current machine and generated workload. Record its version, options, cache state, and concurrent system load when comparing runs.
Input formats
The CLI supports multiple input formats:
- Text - One indicator per line
- CSV - Comma-separated values (shown above)
- JSON - JSON array of entries with metadata
- MISP - MISP threat intelligence JSON
See Input File Formats for details.
What just happened?
You just:
- Created a CSV file with threat data
- Built a binary database (
threats.mxy) - Queried IPs, CIDR ranges, patterns, and exact strings
- Inspected the database structure
- Benchmarked query performance
The database opens through memory mapping without whole-file deserialization. Opening and query performance still depend on the deployment, so benchmark the representative database and workload before setting production targets.
Going further
- CLI Commands Reference - Complete CLI documentation
- Input File Formats - All supported input formats
- Matchy Guide - Deeper dive into Matchy concepts
To integrate Matchy into your application code, see Using the API.
Using the API
The Matchy API lets you build and query databases programmatically from your application code. This is perfect for:
- Application development (servers, services, tools)
- Embedded systems and constrained environments
- Language integration (Rust, C/C++, Python, etc.)
- Custom data processing pipelines
What You’ll Learn
- Installing as a Library - Add Matchy to your project
- First Database with Rust - Build and query using Rust
- First Database with C - Build and query using C/C++
Example (Rust)
#![allow(unused)]
fn main() {
use matchy::{DataValue, Database, DatabaseBuilder, MatchMode, QueryResult};
use std::collections::HashMap;
// Build database
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
let mut data = HashMap::new();
data.insert("threat".to_string(), DataValue::String("high".to_string()));
builder.add_entry("192.0.2.1", data)?;
let db_bytes = builder.build()?;
std::fs::write("threats.mxy", &db_bytes)?;
// Query database
let db = Database::from("threats.mxy").open()?;
if let Some(result @ QueryResult::Ip { .. }) = db.lookup("192.0.2.1")? {
println!("Found: {:?}", result);
}
}
Example (C)
#include <matchy/matchy.h>
// Build database
matchy_builder_t *builder = matchy_builder_new();
matchy_builder_add(builder, "192.0.2.1", "{\"threat\": \"high\"}");
matchy_builder_save(builder, "threats.mxy");
matchy_builder_free(builder);
// Query database
matchy_t *db = matchy_open("threats.mxy");
matchy_result_t result = matchy_query(db, "192.0.2.1");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("Found: %s\n", json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
matchy_close(db);
Going further
After completing this section, check out:
- Matchy Guide - Deeper dive into concepts
- Rust API Reference - Complete Rust API docs
- C API Reference - Complete C API docs
Installing as a Library
For Rust Projects
Add Matchy to your Cargo.toml:
Full Installation (includes CLI dependencies)
[dependencies]
matchy = "2.0"
Library Only (minimal dependencies)
If you’re only using Matchy as a library and don’t need CLI components, save ~40 transitive dependencies:
[dependencies]
matchy = { version = "2.0", default-features = false }
This excludes CLI-only dependencies (clap, ctrlc, csv) while keeping all core functionality.
Then run cargo build:
$ cargo build
Updating crates.io index
Downloading matchy v2.0
Compiling matchy v2.0
Compiling your-project v0.1.0
That’s it! You can now use Matchy in your Rust code.
For C/C++ Projects
Option 1: Using cargo-c (Recommended)
Install the system-wide C library:
$ cargo install cargo-c
$ git clone https://github.com/matchylabs/matchy
$ cd matchy
$ cargo cinstall --release --prefix=/usr/local
This installs:
- Headers to
/usr/local/include/matchy/ - Library to
/usr/local/lib/ - pkg-config file to
/usr/local/lib/pkgconfig/
Compile your project:
$ gcc myapp.c $(pkg-config --cflags --libs matchy) -o myapp
Option 2: Manual Installation
- Build the library:
$ git clone https://github.com/matchylabs/matchy
$ cd matchy
$ cargo build --release
- Copy files:
$ sudo cp target/release/libmatchy.* /usr/local/lib/
$ sudo mkdir -p /usr/local/include/matchy
$ sudo cp crates/matchy/include/matchy/*.h /usr/local/include/matchy/
- Update library cache (Linux):
$ sudo ldconfig
- Compile your project:
$ gcc myapp.c -I/usr/local/include -L/usr/local/lib -lmatchy -o myapp
For Other Languages
Matchy provides a C API that can be called from any language with C FFI support:
- Python: Use
ctypesorcffi - Go: Use
cgo - Node.js: Use
node-ffiornapi - Ruby: Use
fiddleorffi
See the C API Reference for the full API specification.
Next Steps
Choose your language:
First Database with Rust
Let’s build and query a database using the Rust API.
Create a new project
$ cargo new --bin matchy-example
$ cd matchy-example
Add Matchy to Cargo.toml:
[dependencies]
matchy = "2.0"
Write the code
Edit src/main.rs:
use matchy::{Database, DatabaseBuilder, MatchMode, DataValue, QueryResult};
use std::collections::HashMap;
fn main() -> Result<(), Box<dyn std::error::Error>> {
// Create a builder
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// Add an IP address
let mut ip_data = HashMap::new();
ip_data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
ip_data.insert("category".to_string(), DataValue::String("malware".to_string()));
builder.add_entry("192.0.2.1", ip_data)?;
// Add a CIDR range
let mut cidr_data = HashMap::new();
cidr_data.insert("network".to_string(), DataValue::String("internal".to_string()));
builder.add_entry("10.0.0.0/8", cidr_data)?;
// Add a pattern
let mut pattern_data = HashMap::new();
pattern_data.insert("category".to_string(), DataValue::String("phishing".to_string()));
builder.add_entry("*.evil.com", pattern_data)?;
// Build and save
let database_bytes = builder.build()?;
std::fs::write("threats.mxy", &database_bytes)?;
println!("✅ Built database: {} bytes", database_bytes.len());
// Open the database (memory-mapped)
let db = Database::from("threats.mxy").open()?;
println!("✅ Loaded database");
// Query an IP address
match db.lookup("192.0.2.1")? {
Some(QueryResult::Ip { data, prefix_len, .. }) => {
println!("🔍 IP match (/{}):", prefix_len);
println!(" {:?}", data);
}
_ => println!("Not found"),
}
// Query a pattern
match db.lookup("phishing.evil.com")? {
Some(QueryResult::Pattern { pattern_ids, data, .. }) => {
println!("🔍 Pattern match:");
println!(" Matched {} pattern(s)", pattern_ids.len());
println!(" {:?}", data[0]);
}
_ => println!("Not found"),
}
Ok(())
}
Run it
$ cargo run
Compiling matchy v2.0
Compiling matchy-example v0.1.0
Finished dev [unoptimized] target(s)
Running `target/debug/matchy-example`
✅ Built database: 2847 bytes
✅ Loaded database
🔍 IP match (/32):
{"threat_level": String("high"), "category": String("malware")}
🔍 Pattern match:
Matched 1 pattern(s)
Some({"category": String("phishing")})
Understanding the code
1. Create a DatabaseBuilder
#![allow(unused)]
fn main() {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
}
The match mode determines whether string comparisons are case-sensitive.
CaseInsensitive is recommended for domain matching.
2. Add entries
#![allow(unused)]
fn main() {
builder.add_entry("192.0.2.1", ip_data)?;
}
The add_entry method accepts any string key and a HashMap<String, DataValue> for the
associated data. Matchy automatically detects whether the key is an IP, CIDR, pattern, or
exact string.
Advanced: For explicit control over entry types, use type-specific methods:
#![allow(unused)]
fn main() {
builder.add_ip("192.0.2.1", data)?; // Force IP
builder.add_literal("*.txt", data)?; // Force exact match (no wildcard)
builder.add_glob("*.evil.com", data)?; // Force pattern
}
Or use type prefixes with add_entry:
#![allow(unused)]
fn main() {
builder.add_entry("literal:file*.txt", data)?; // Match literal asterisk
builder.add_entry("glob:simple.com", data)?; // Force pattern matching
}
See Entry Types - Prefix Technique for details.
3. Build the database
#![allow(unused)]
fn main() {
let database_bytes = builder.build()?;
std::fs::write("threats.mxy", &database_bytes)?;
}
The build() method produces a Vec<u8> containing the optimized binary database. You
can write it to a file or transmit it over a network.
4. Open and query
#![allow(unused)]
fn main() {
let db = Database::from("threats.mxy").open()?;
let result = db.lookup("192.0.2.1")?;
}
Database::from(...).open() memory-maps the file and performs bounded
structural parsing instead of deserializing the whole database. Opening time
depends on storage, page-cache state, extensions, and platform. The lookup()
method returns an Option<QueryResult> that indicates whether a match was found
and what type of match it was.
Data types
Matchy supports several data value types:
#![allow(unused)]
fn main() {
use matchy::DataValue;
let mut data = HashMap::new();
data.insert("string".to_string(), DataValue::String("text".to_string()));
data.insert("integer".to_string(), DataValue::Uint32(42));
data.insert("float".to_string(), DataValue::Double(3.14));
data.insert("boolean".to_string(), DataValue::Bool(true));
data.insert("array".to_string(), DataValue::Array(vec![
DataValue::String("one".to_string()),
DataValue::String("two".to_string()),
]));
}
See Data Types and Values for complete details.
Error handling
Builder methods return FormatError; database opening and queries return
DatabaseError. A query distinguishes a match, a clean miss, and the absence
of an applicable index:
#![allow(unused)]
fn main() {
use matchy::QueryResult;
match db.lookup("192.0.2.1") {
Ok(Some(result @ (QueryResult::Ip { .. } | QueryResult::Pattern { .. }))) => {
println!("Found: {:?}", result)
}
Ok(Some(QueryResult::NotFound)) => println!("No matching entry"),
Ok(None) => println!("This database has no applicable index"),
Err(e) => eprintln!("Error: {}", e),
}
}
Going further
- Matchy Guide - Deeper dive into concepts
- Rust API Reference - Complete API documentation
- Data Types - All supported data types
- Pattern Matching - Glob pattern syntax
First Database with C
Let’s build and query a database using the C API.
Create a source file
Create example.c:
#include <matchy/matchy.h>
#include <stdio.h>
#include <stdlib.h>
int main() {
// Create a builder
matchy_builder_t *builder = matchy_builder_new();
if (!builder) {
fprintf(stderr, "Failed to create builder\n");
return 1;
}
// Add entries with JSON data
int err = matchy_builder_add(builder, "192.0.2.1",
"{\"threat_level\": \"high\", \"category\": \"malware\"}");
if (err != MATCHY_SUCCESS) {
fprintf(stderr, "Failed to add IP entry\n");
matchy_builder_free(builder);
return 1;
}
matchy_builder_add(builder, "10.0.0.0/8",
"{\"network\": \"internal\"}");
matchy_builder_add(builder, "*.evil.com",
"{\"category\": \"phishing\"}");
// Save to file
err = matchy_builder_save(builder, "threats.mxy");
if (err != MATCHY_SUCCESS) {
fprintf(stderr, "Failed to save database\n");
matchy_builder_free(builder);
return 1;
}
printf("✅ Built database\n");
matchy_builder_free(builder);
// Open the database
matchy_t *db = matchy_open("threats.mxy");
if (!db) {
fprintf(stderr, "Failed to open database\n");
return 1;
}
printf("✅ Loaded database\n");
// Query an IP address
matchy_result_t result = matchy_query(db, "192.0.2.1");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("🔍 IP match: %s\n", json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
// Query a pattern
result = matchy_query(db, "phishing.evil.com");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("🔍 Pattern match: %s\n", json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
// Cleanup
matchy_close(db);
printf("✅ Done\n");
return 0;
}
Compile and run
$ gcc -o example example.c -I/usr/local/include -L/usr/local/lib -lmatchy
$ ./example
✅ Built database
✅ Loaded database
🔍 IP match: {"threat_level":"high","category":"malware"}
🔍 Pattern match: {"category":"phishing"}
✅ Done
If you get “library not found” errors:
$ export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH # Linux
$ export DYLD_LIBRARY_PATH=/usr/local/lib:$DYLD_LIBRARY_PATH # macOS
Understanding the code
1. Create a builder
matchy_builder_t *builder = matchy_builder_new();
The builder is an opaque handle. Always check for NULL on creation.
2. Add entries
matchy_builder_add(builder, "192.0.2.1",
"{\"threat_level\": \"high\", \"category\": \"malware\"}");
The C API uses JSON strings for data. Matchy automatically detects whether the key is an IP, CIDR, pattern, or exact string.
3. Save the database
int err = matchy_builder_save(builder, "threats.mxy");
Returns MATCHY_SUCCESS (0) on success, or an error code otherwise.
4. Open and query
matchy_t *db = matchy_open("threats.mxy");
matchy_result_t result = matchy_query(db, "192.0.2.1");
The database is memory-mapped to avoid whole-file deserialization. Check result.found to see if
a match was found.
Note: For FFI systems that have issues with return-by-value structs (like some Java JNA configurations on ARM64), use
matchy_query_into()instead:matchy_result_t result; matchy_query_into(db, "192.0.2.1", &result);Both functions are equivalent;
matchy_query_into()writes to a pointer you provide.
5. Cleanup
matchy_free_result(&result);
matchy_close(db);
matchy_builder_free(builder);
Always free resources when done. The C API uses manual memory management.
Error handling
Check return values:
int err = matchy_builder_add(builder, key, data);
if (err != MATCHY_SUCCESS) {
fprintf(stderr, "Matchy error code: %d\n", err);
}
Error codes:
MATCHY_SUCCESS(0) - Operation succeededMATCHY_ERROR_INVALID_PARAM- NULL pointer or invalid parameterMATCHY_ERROR_FILE_NOT_FOUND- File doesn’t existMATCHY_ERROR_INVALID_FORMAT- Corrupt or wrong formatMATCHY_ERROR_SCHEMA_VALIDATION- Entry failed configured schemaMATCHY_ERROR_INTERNAL- Panic caught at the FFI boundary
Memory management
The C API follows these rules:
-
Strings returned by Matchy must be freed:
char *json = matchy_result_to_json(&result); if (json != NULL) { // Use json... matchy_free_string(json); } -
Results must be freed:
matchy_result_t result = matchy_query(db, "key"); // Use result... matchy_free_result(&result); -
Handles must be freed:
matchy_builder_free(builder); matchy_close(db);
See C Memory Management for complete details.
Thread safety
- Database handles (
matchy_t*) are thread-safe for concurrent queries - Builder handles (
matchy_builder_t*) are NOT thread-safe - Don’t share a builder across threads
- Multiple threads can safely query the same database
Going further
- C API Reference - Complete C API documentation
- C Memory Management - Memory rules and patterns
- Matchy Guide - Deeper dive into concepts
Matchy Guide
This guide covers the concepts you need to understand how Matchy works, regardless of whether you’re using the CLI, Rust API, or C API.
If you’re looking for tool-specific instructions, see:
- Getting Started - First time using CLI or API
- CLI Commands - CLI reference
- Rust API Reference - Rust API reference
- C API Reference - C API reference
Concepts
- Why Matchy Exists
- Database Concepts
- Entry Types
- Pattern Matching
- Data Types and Values
- Query Result Caching
- Pattern Extraction
- MMDB Compatibility
- Migrating from libmaxminddb
- Performance Considerations
Why Matchy Exists
The Problem
Many applications need to match IP addresses and strings against large datasets. Common use cases include:
- Threat intelligence: checking IPs and domains against blocklists
- GeoIP lookups: finding location data for IP addresses
- Domain categorization: classifying websites by patterns
- Network security: matching against indicators of compromise
Traditional approaches have significant limitations:
Hash tables provide fast exact lookups, but can’t match patterns. You can’t use a hash
table to match phishing.evil.com against a pattern like *.evil.com.
Sequential scanning works for patterns but doesn’t scale. With 10,000 patterns, you perform 10,000 comparisons per lookup. This approach quickly becomes a bottleneck.
Multiple data structures add complexity. Using a hash table for exact matches, a tree for IP ranges, and pattern matching for domains means maintaining three separate systems.
Serialization overhead slows down loading. Traditional databases need to parse and deserialize data on startup, which can take hundreds of milliseconds or more.
Memory duplication wastes resources. In multi-process applications, each process loads its own copy of the database, multiplying memory usage.
The Solution
Matchy addresses these problems with a unified approach:
Automatic type detection means one database holds IPs, CIDR ranges, exact strings, and patterns. You don’t need to know which type you’re querying - Matchy figures it out.
Optimized data structures provide efficient lookups for each type. IPs use a binary search tree. Exact strings use hash tables. Patterns use the Aho-Corasick algorithm.
Memory mapping avoids whole-file deserialization. The operating system pages data on demand and can share clean file-backed pages across processes; opening still performs structural parsing and depends on storage and page-cache state.
Compact binary format reduces size. Matchy uses a space-efficient binary representation similar to MaxMind’s MMDB format.
Performance
Matchy uses specialized indexes and memory mapping to avoid rebuilding the
database at startup. Actual build, open, and query results depend on the data,
pattern complexity, hardware, storage, and page-cache state. Use matchy bench
with the production workload for current measurements.
Compatibility
Matchy reads standard MMDB v2 types within documented decoder resource limits
and extends the format with string and pattern indexes. IP values remain
readable by standard MMDB tools when they use only standard types; Matchy’s
extended Timestamp type is Matchy-specific.
When to Use Matchy
Matchy is designed for applications that need:
- Fast lookups against large datasets
- Pattern matching in addition to exact matches
- IP address and string matching in the same database
- Minimal memory overhead in multi-process architectures
- Quick database loading without deserialization
If you only need exact string matching and already have a solution that works, Matchy might be overkill. But if you need patterns, IPs, and efficiency at scale, Matchy was built for you.
Database Concepts
This chapter covers the fundamental concepts of Matchy databases.
What is a Database?
A Matchy database is a binary file containing:
- Entries - IP addresses, CIDR ranges, patterns, or exact strings
- Data - Structured information associated with each entry
- Indexes - Optimized data structures for fast lookups
Databases use the .mxy extension by convention, though any extension works.
Immutability
Databases are read-only once built. You cannot add, remove, or modify entries in an existing database.
To update a database:
- Create a new builder
- Add all entries (old + new + modified)
- Build the new database
- Atomically replace the old file
This ensures readers always see consistent state and enables safe concurrent access.
Entry Types
Matchy automatically detects four types of entries:
| Entry Type | Example | Matches |
|---|---|---|
| IP Address | 192.0.2.1 | Exact IP address |
| CIDR Range | 10.0.0.0/8 | All IPs in range |
| Pattern | *.example.com | Strings matching glob |
| Exact String | example.com | Exact string only |
You don’t need to specify the type - Matchy infers it from the format.
Auto-Detection
When you query a database, Matchy automatically:
- Checks if the query is an IP address → searches IP tree
- Checks for exact string match → searches hash table
- Searches patterns → uses Aho-Corasick algorithm
This makes querying simple: db.lookup("anything") works for all types.
Memory Mapping
Databases use memory mapping (mmap) for efficient opening:
Traditional Database Matchy Database
───────────────────── ─────────────────
1. Open file 1. Open file
2. Read into memory 2. Memory map
3. Parse full contents 3. Validate bounded structure
4. Build data structures
(100-500ms for large DB)
Memory mapping has several benefits:
Efficient opening - Memory mapping avoids whole-file deserialization. Matchy still validates structural envelopes, and observed latency depends on storage, page-cache state, platform, optional sections, and legacy scanning.
Shared memory - The OS shares memory-mapped pages across processes automatically:
- 64 processes with a 100MB database = ~100MB RAM total
- Traditional approach = 64 × 100MB = 6,400MB RAM
Large databases - Work with databases larger than available RAM. The OS pages data in and out as needed.
Binary Format
Databases use a compact binary format based on MaxMind’s MMDB specification:
- IP tree - Binary trie for IP address lookups (MMDB compatible)
- Hash table - For exact string matches (Matchy extension)
- Aho-Corasick automaton - For pattern matching (Matchy extension)
- Data section - Standard MMDB values plus an optional Matchy timestamp type
This means:
- Standard MMDB readers can read IP values that use only standard MMDB types
- Matchy can read standard MMDB v2 files (like GeoIP databases) within its documented decoder resource limits
- Cross-platform compatible (same file works on Linux, macOS, Windows)
Matchy’s compact Timestamp is extended type 128 and is not understood by
standard MMDB readers. Use standard string values when interoperability is
required.
Building a Database
The general workflow is:
- Create a builder - Specify match mode (case-sensitive or not)
- Add entries - Add IP addresses, patterns, strings with associated data
- Build - Generate optimized binary format
- Save - Write to file
How to build:
Querying a Database
The query process:
- Open database - Memory map the file
- Query - Call lookup with any string
- Get result - Receive match data or None
How to query:
Query Results
Queries return one of:
- IP match - IP address or CIDR range matched
- Pattern match - One or more patterns matched
- Exact match - Exact string matched
- No match - No entries matched
For pattern matches, Matchy returns all matching patterns and their associated data.
This is useful when multiple patterns match (e.g., *.com and example.* both match
example.com).
Database Size
Database size depends on:
- Number of entries
- Pattern complexity (more patterns = larger automaton)
- Data size (structured data per entry)
Typical sizes:
- 1,000 entries - ~50-100KB
- 10,000 entries - ~500KB-1MB
- 100,000 entries - ~5-10MB
- 1,000,000 entries - ~50-100MB
Pattern-heavy databases are larger due to the Aho-Corasick automaton.
Thread Safety
Databases are thread-safe for concurrent queries:
- Multiple threads can safely query the same database
- Memory-mapped data is read-only
- No locking required
Builders are NOT thread-safe:
- Don’t share a builder across threads
- Build databases sequentially
Compatibility
Databases are:
- ✅ Platform-independent - Same file on Linux, macOS, Windows
- ✅ Tool-independent - CLI-built databases work with APIs
- ✅ Language-independent - Rust-built databases work with C
- ✅ MMDB-aware - Reads standard MMDB v2 types within documented decoder limits
Next Steps
Now that you understand database concepts, dive into specific topics:
- Entry Types - Deep dive on IP, CIDR, patterns, strings
- Pattern Matching - Glob syntax and matching rules
- Data Types and Values - What data you can store
- Performance Considerations - Optimization strategies
Entry Types
Matchy supports four types of entries, automatically detected based on the format of the key.
IP Addresses
Format: Standard IPv4 or IPv6 address notation
Examples:
192.0.2.12001:db8::110.0.0.1
Matching: Exact IP address only
Entry: 192.0.2.1
Matches: 192.0.2.1
Doesn't match: 192.0.2.2, 192.0.2.0
Use cases:
- Known malicious IPs
- Specific hosts
- Allowlist/blocklist
CIDR Ranges
Format: IP address with subnet mask (slash notation)
Examples:
10.0.0.0/8192.168.0.0/162001:db8::/32
Matching: All IP addresses within the range
Entry: 10.0.0.0/8
Matches: 10.0.0.1, 10.255.255.255, 10.123.45.67
Doesn't match: 11.0.0.1, 9.255.255.255
The number after the slash indicates how many bits are fixed:
/8- First 8 bits fixed (~16.7 million addresses)/16- First 16 bits fixed (~65,000 addresses)/24- First 24 bits fixed (256 addresses)/32- All 32 bits fixed (single address, equivalent to IP entry)
Use cases:
- Network blocks
- Organization IP ranges
- Geographic regions
- Cloud provider ranges
Best practice: Use CIDR ranges instead of individual IPs when possible. It’s more efficient than adding thousands of individual IP addresses.
Patterns (Globs)
Format: String containing wildcard characters (* or ?)
Examples:
*.example.comtest-*.domain.comhttp://*/admin/*
Matching: Strings matching the glob pattern
Entry: *.example.com
Matches: foo.example.com, bar.example.com, sub.domain.example.com
Doesn't match: example.com, example.com.foo
Wildcard rules:
*- Matches zero or more of any character?- Matches exactly one character[abc]- Matches one character from the set[!abc]- Matches one character NOT in the set
See Pattern Matching for complete syntax details.
Use cases:
- Domain wildcards (malware families)
- URL patterns
- Flexible matching rules
- Category-based blocking
Performance: Aho-Corasick scans the query for literal anchors, then Matchy verifies candidate globs and pure-wildcard patterns. Cost depends on pattern count and shape, anchor selectivity, text length, and emitted candidates.
Exact Strings
Format: Any string without wildcard characters and not an IP/CIDR
Examples:
example.commalicious-site.nettest-string-123
Matching: Exact string only (case-sensitive or insensitive based on match mode)
Entry: example.com
Matches: example.com (case-insensitive mode: Example.com, EXAMPLE.COM)
Doesn't match: foo.example.com, example.com/path
Use cases:
- Known malicious domains
- Exact matches
- High-confidence indicators
- Allowlists
Performance: Exact strings use hash table lookups (O(1) constant time), making them the fastest entry type.
Auto-Detection
Matchy automatically determines the entry type:
Input Detected As
───────────────────── ─────────────
192.0.2.1 IP Address
10.0.0.0/8 CIDR Range
*.example.com Pattern
example.com Exact String
test-* Pattern
test.com Exact String
You don’t need to specify the type - Matchy infers it from the format.
Explicit Type Control (Prefix Technique)
Sometimes auto-detection doesn’t match your intent. Use type prefixes to force a specific entry type:
Available Prefixes
| Prefix | Type | Description |
|---|---|---|
literal: | Exact String | Force exact match (no wildcards) |
glob: | Pattern | Force glob pattern matching |
ip: | IP/CIDR | Force IP address parsing |
Why Use Prefixes?
Problem 1: Literal strings that look like patterns
Some strings contain characters like *, ?, or [ that should be matched literally,
not as wildcards:
Without prefix:
file*.txt → Detected as pattern (matches file123.txt, fileabc.txt)
With prefix:
literal:file*.txt → Exact match only (matches "file*.txt" literally)
Problem 2: Patterns without wildcards
You might want to match a string as a pattern for consistency, even without wildcards:
Without prefix:
example.com → Detected as exact string
With prefix:
glob:example.com → Treated as pattern (useful for batch processing)
Problem 3: Ambiguous IP-like strings
Force IP parsing when needed:
With prefix:
ip:192.168.1.1 → Explicitly parsed as IP
Usage Examples
Text file input:
# Auto-detected
192.0.2.1
*.evil.com
malware.com
# Explicit control
literal:*.not-a-glob.com
glob:no-wildcards.com
ip:10.0.0.1
CSV input:
entry,category
literal:test[1].txt,filesystem
glob:*.example.com,pattern
ip:192.168.1.0/24,network
JSON input:
[
{"key": "literal:file[backup].tar", "data": {"type": "archive"}},
{"key": "glob:*.example.*", "data": {"category": "domain"}},
{"key": "ip:10.0.0.0/8", "data": {"range": "private"}}
]
Rust API:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, MatchMode};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseSensitive);
// Auto-detection handles most cases
builder.add_entry("*.example.com", HashMap::new())?;
// Use prefixes when needed
builder.add_entry("literal:file*.txt", HashMap::new())?;
builder.add_entry("glob:simple-string", HashMap::new())?;
}
Prefix Stripping
The prefix is automatically stripped before processing:
Input: literal:*.example.com
Stored as: *.example.com (as exact string)
Matches: Only the exact string "*.example.com"
Input: glob:test.com
Stored as: test.com (as pattern)
Matches: Strings matching pattern "test.com"
Validation
Prefixes enforce validation:
# This will fail - invalid glob syntax
glob:[unclosed-bracket
# This will fail - invalid IP address
ip:not-an-ip-address
# literal: accepts anything (no validation)
literal:[any$pecial*chars]
When to Use
Use prefixes when:
- ✅ String contains
*,?, or[that should be matched literally - ✅ Processing mixed data where type is known externally
- ✅ Building programmatically from heterogeneous sources
- ✅ Debugging auto-detection issues
Don’t use prefixes when:
- ❌ Auto-detection works correctly (most cases)
- ❌ All entries are the same type (use format-specific method instead)
- ❌ Creating database manually (use
add_ip(),add_literal(),add_glob()methods)
API Alternatives
Instead of using prefixes with add_entry(), you can call type-specific methods:
Rust API:
#![allow(unused)]
fn main() {
// Using prefix
builder.add_entry("literal:*.txt", data)?;
// Using explicit method (preferred in Rust)
builder.add_literal("*.txt", data)?;
}
Available methods:
builder.add_ip(key, data)- Force IP/CIDRbuilder.add_literal(key, data)- Force exact stringbuilder.add_glob(key, data)- Force patternbuilder.add_entry(key, data)- Auto-detect (with prefix support)
See DatabaseBuilder API for details.
Match Precedence
When querying, Matchy checks in this order:
- IP address - If the query is a valid IP, search IP tree
- Exact string - Check hash table for exact match
- Patterns - Search for matching patterns
This means:
- IP queries are fastest (binary tree lookup)
- Exact strings are next fastest (hash table lookup)
- Pattern queries search all patterns (Aho-Corasick)
Multiple Matches
A query can match multiple entries:
Example:
Entries:
- *.com
- *.example.com
- evil.example.com
Query: evil.example.com
Matches: All three patterns!
Matchy returns all matching entries while the query remains within the documented match-count, work, and decode budgets. This lets you apply multiple rules or categories to a single query without permitting unbounded result growth.
Combining Entry Types
A single database can contain all entry types:
Database contents:
- 192.0.2.1 (IP)
- 10.0.0.0/8 (CIDR)
- *.evil.com (pattern)
- malware.com (exact string)
Query 192.0.2.1 → IP match
Query 10.5.5.5 → CIDR match
Query phishing.evil.com → Pattern match
Query malware.com → Exact match
This makes Matchy databases very versatile.
Entry Limits
Practical limits (depends on available memory):
- IP addresses: Millions
- CIDR ranges: Millions
- Patterns: Tens of thousands (automaton size grows)
- Exact strings: Millions
Performance degrades gracefully as databases grow. Most applications use thousands to tens of thousands of entries.
Examples by Tool
Adding entries:
Querying entries:
Next Steps
- Pattern Matching - Glob syntax and advanced patterns
- Data Types and Values - Storing data with entries
- Performance Considerations - Optimizing for your use case
Pattern Matching
Matchy uses glob patterns for flexible string matching. This chapter explains pattern syntax and matching rules.
Glob Syntax
Asterisk (*)
Matches zero or more of any character.
Pattern: *.example.com matches foo.example.com, bar.example.com
Question Mark (?)
Matches exactly one character.
Pattern: test-? matches test-1, test-a but not test-ab
Character Sets ([abc])
Matches one character from the set.
Pattern: test-[abc].com matches test-a.com, test-b.com, test-c.com
Negated Sets ([!abc])
Matches one character NOT in the set.
Ranges ([a-z], [0-9])
Matches one character in the range.
Case Sensitivity
Matching behavior depends on the match mode set when building the database.
CaseInsensitive (recommended): *.Example.COM matches foo.example.com
CaseSensitive: Must match exact case
Common Patterns
Domain suffixes: *.example.com, *.*.example.com
URL patterns: http://*/admin/*
Flexible matching: malware-*, *-[0-9][0-9][0-9]
Performance
Patterns use Aho-Corasick for candidate discovery, followed by glob verification. Latency depends on text length, literal selectivity, pure-wildcard count, pattern shape, match count, and hardware; benchmark the current revision and feed.
See Entry Types and Performance Considerations for more details.
Data Types and Values
Matchy stores structured data values with each entry. This chapter explains the supported data types.
Supported Types
String
Text values of any length.
Numbers
- Unsigned integers (uint16, uint32, uint64, uint128)
- Signed integers (int32)
- Floating point (float, double)
Boolean
True or false values.
Arrays
Ordered lists of values (can contain mixed types).
Maps
Key-value pairs (like JSON objects or hash maps).
Tool-Specific Representations
How you specify data types depends on your tool:
CLI: Use JSON notation in CSV/JSON files
key,data
192.0.2.1,"{""threat"": ""high"", ""score"": 95}"
Rust API: Use the DataValue enum
#![allow(unused)]
fn main() {
use matchy::DataValue;
data.insert("score".to_string(), DataValue::Uint32(95));
}
C API: Use JSON strings
matchy_builder_add(builder, "192.0.2.1", "{\"score\": 95}");
See tool-specific docs for complete details:
Nested Data
Maps and arrays can be nested. Validation rejects data deeper than 64 total levels:
{
"threat": {
"level": "high",
"categories": ["malware", "c2"],
"metadata": {
"first_seen": "2024-01-15",
"confidence": 0.95
}
}
}
Size Limits
Data is stored in compact binary format. Practical limits:
- Strings: Megabytes per string
- Arrays: Thousands of elements
- Maps: Thousands of keys
- Nesting: Dozens of levels deep
Most use cases store kilobytes per entry.
Next Steps
- Database Concepts - How data is stored
- Performance Considerations - Data size impact
Query Result Caching
Matchy includes an optional least-recently-used (LRU) query-result cache. It can reduce repeated lookup and decoding work when a workload has a useful hot set; the benefit depends on hit rate, result size, query type, and hardware.
Overview
The cache stores query results in memory, eliminating the need to re-execute database lookups for previously seen queries. This is particularly valuable for:
- Web APIs serving repeated requests
- Firewalls checking the same IPs frequently
- Real-time threat detection with hot patterns
- High-traffic services with predictable query patterns
Performance
A cache hit avoids matcher traversal and data decoding, but returning an owned
QueryResult can still clone its data. A miss pays the normal lookup cost plus
cache bookkeeping. Measure with the intended query distribution and report the
cache hit rate; unique batch workloads often do better with caching disabled.
When disabled, Matchy skips cache lookup and insertion. Normal query dispatch still occurs, so this should be described as removing cache overhead rather than as a compile-time optimization.
Configuration
Enabling the Cache
Use the builder API to configure cache capacity:
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult};
// Enable cache with 10,000 entry capacity
let db = Database::from("threats.mxy")
.cache_capacity(10_000)
.open()?;
// Use the database normally - caching is transparent
if let Some(result @ (QueryResult::Ip { .. } | QueryResult::Pattern { .. })) =
db.lookup("evil.com")?
{
println!("Match: {:?}", result);
}
}
Disabling the Cache
Explicitly disable caching for memory-constrained environments:
#![allow(unused)]
fn main() {
let db = Database::from("threats.mxy")
.no_cache() // Disable caching
.open()?;
}
Default behavior: If you do not specify cache configuration, caching is enabled with a 10,000-entry ceiling per retained generation. Each thread keeps at most 16 generations under one aggregate retained-heap ceiling; an oversized result is not cached.
Cache Management
Inspecting Cache Size
Check how many entries are currently cached on the calling thread:
#![allow(unused)]
fn main() {
println!("Cache entries: {}", db.cache_size());
}
Clearing the Cache
Clear this database generation’s cached entries on the calling thread:
#![allow(unused)]
fn main() {
db.clear_cache();
println!("Cache cleared: {}", db.cache_size()); // 0
}
This is useful for:
- Memory management in long-running processes
- Testing with fresh cache state
- Resetting after configuration changes
How It Works
The cache is an LRU cache:
- On first query: Result is computed and stored in cache
- On repeated query: Result is returned from cache (fast!)
- When an entry or byte limit is reached: Least recently used entries are evicted
An opened Database is safe to share between threads. Query caches themselves
are thread-local and keyed by database generation, so each querying thread
builds its own hot set without a shared cache lock. The configured entry ceiling
applies to each retained generation. A thread retains at most 16 recent
generations, all sharing one aggregate retained-byte budget.
Cache Capacity Guidelines
Choose cache capacity based on your workload:
| Workload | Recommended Capacity | Reasoning |
|---|---|---|
| Web API (< 1000 req/s) | 1,000 - 10,000 | Covers hot patterns |
| Firewall (medium traffic) | 10,000 - 50,000 | Covers recent IPs |
| High-traffic service | 50,000 - 100,000 | Maximize hit rate |
| Memory-constrained | Disable cache | Save memory |
Memory usage: Entry size is data-dependent. A miss result may be small, while a pattern result can own vectors, strings, maps, and arrays. Matchy uses both the configured entry ceiling and a 64 MiB aggregate estimated retained-heap ceiling per thread across its recent generations. Allocator overhead and temporary clones can make process RSS differ from that estimate. Increasing the entry capacity does not raise the byte ceiling.
When to Use Caching
✅ Use Caching For:
- Web APIs with repeated queries
- Firewalls checking the same IPs
- Real-time monitoring with hot patterns
- Long-running services with predictable queries
❌ Skip Caching For:
- Batch processing (all queries unique)
- One-time scans (no repeated queries)
- Memory-constrained environments
- Testing where you need fresh results
Example: Web API with Caching
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult};
use std::sync::Arc;
// Create a shared database with caching
let db = Arc::new(
Database::from("threats.mxy")
.cache_capacity(50_000) // High capacity for web API
.open()?
);
// Share across request handlers
let db_clone = Arc::clone(&db);
tokio::spawn(async move {
// Handle requests
loop {
let query = receive_request().await;
// Cache hit on repeated queries!
if let Some(result @ (QueryResult::Ip { .. } | QueryResult::Pattern { .. })) =
db_clone.lookup(&query)?
{
send_response(result).await;
}
}
});
}
Benchmarking Cache Performance
Use the provided benchmark to measure cache performance on your workload:
# Run the cache demo
cargo run --release -p matchy --example cache_demo
# Or run the comprehensive benchmark
cargo bench -p matchy --bench cache_bench
See examples/cache_demo.rs for a complete working example.
Comparison with No Cache
Benchmark both policies on the same database and query stream:
#![allow(unused)]
fn main() {
// Without cache (baseline)
let db_uncached = Database::from("db.mxy").no_cache().open()?;
// With the default-sized entry cache
let db_cached = Database::from("db.mxy").cache_capacity(10_000).open()?;
}
Warm each cache deliberately, keep the query order identical, and record both throughput and memory. Do not infer production speedup from hit rate alone.
Summary
- Simple configuration: Just add
.cache_capacity(size)to the builder - Transparent operation: No code changes after configuration
- Workload-dependent benefit: Measure repeated and unique query mixes
- Bounded retention: Entry count and estimated retained bytes are limited
- Thread-local state: Safe database sharing without a global cache lock
Query result caching is one of the easiest ways to improve Matchy performance for real-world workloads.
Auto-Reload and Callbacks
Matchy supports automatic database reloading when files change, enabling zero-downtime updates in production systems. The auto-reload feature uses lock-free Arc swapping for minimal performance overhead.
Quick Start
Rust API
#![allow(unused)]
fn main() {
use matchy::Database;
// Enable auto-reload
let db = Database::from("threats.mxy")
.watch()
.open()?;
// Queries automatically use the latest database version
let result = db.lookup("192.168.1.1")?;
}
C API
#include <matchy/matchy.h>
// Configure auto-reload
matchy_open_options_t opts;
matchy_init_open_options(&opts);
opts.auto_reload = true;
matchy_t *db = matchy_open_with_options("threats.mxy", &opts);
// Queries automatically use latest version
matchy_result_t result = matchy_query(db, "192.168.1.1");
matchy_free_result(&result);
matchy_close(db);
How Auto-Reload Works
When auto-reload is enabled:
- File watching - A background thread monitors the database file using OS notifications
- Debouncing - File changes are debounced (200ms) to avoid rapid reload cycles
- Background loading - New database is loaded in a background thread
- Atomic swap - New database is atomically swapped using lock-free Arc pointer
- Graceful handoff - Old database stays alive until all query threads finish with it
┌─────────────┐
│ Query Thread│
│ Thread 1 │──┐
└─────────────┘ │
│ ┌──────────────┐ ┌──────────────┐
┌─────────────┐ ├───→│ ArcSwap │────→│ Database v1 │
│ Query Thread│ │ │ (atomic ptr) │ └──────────────┘
│ Thread 2 │──┤ └──────────────┘ │
└─────────────┘ │ ▲ │
│ │ │ (stays alive
┌─────────────┐ │ ┌──────────────┐ │ until all
│ Query Thread│ │ │ Watcher │ │ refs drop)
│ Thread N │──┘ │ Thread │ │
└─────────────┘ └──────────────┘ ▼
│ ┌──────────────┐
│ (atomic │ Database v2 │
└─ swap) │ (new) │
└──────────────┘
Performance
Auto-reload uses a generation check and thread-local snapshot cache:
- Per-query path: Atomic generation check plus thread-local snapshot access
- After a reload: The first query on each thread refreshes its snapshot
- Synchronization: Query-side selection uses atomics rather than a global mutex
- Measurement: Include reload-enabled and static runs on the target workload
Performance Breakdown
#![allow(unused)]
fn main() {
// First query after reload refreshes generation-dependent state
let result = db.lookup("192.168.1.1")?; // Check generation + cache Arc
// Subsequent queries reuse thread-local state but still perform normal checks
let result = db.lookup("192.168.1.2")?; // Pure thread-local access
let result = db.lookup("192.168.1.3")?; // Pure thread-local access
}
The generation check uses an atomic load. Measure its effect as part of the full query path on the target workload rather than assigning a fixed nanosecond cost.
Reload Callbacks
Get notified when database reloads occur:
Rust API
#![allow(unused)]
fn main() {
use matchy::{Database, ReloadEvent};
let db = Database::from("threats.mxy")
.watch()
.on_reload(|event: ReloadEvent| {
if event.success {
println!("✅ Database reloaded successfully");
println!(" Path: {}", event.path.display());
println!(" Generation: {}", event.generation);
} else {
eprintln!("❌ Database reload failed");
eprintln!(" Path: {}", event.path.display());
eprintln!(" Error: {}", event.error.unwrap());
}
})
.open()?;
}
The ReloadEvent structure contains:
#![allow(unused)]
fn main() {
pub struct ReloadEvent {
pub path: PathBuf, // Database file path
pub success: bool, // Whether reload succeeded
pub error: Option<String>, // Error message (if failed)
pub generation: u64, // Generation counter
pub source: ReloadSource, // What triggered the reload
}
}
C API
#include <matchy/matchy.h>
#include <stdio.h>
// Callback function
void on_reload(const matchy_reload_event_t *event, void *user_data) {
if (event->success) {
printf("✅ Reloaded: %s (generation %lu)\n",
event->path, event->generation);
} else {
fprintf(stderr, "❌ Reload failed: %s - %s\n",
event->path, event->error);
}
}
int main() {
// Configure callback
matchy_open_options_t opts;
matchy_init_open_options(&opts);
opts.auto_reload = true;
opts.reload_callback = on_reload;
opts.reload_callback_user_data = NULL; // Optional context pointer
matchy_t *db = matchy_open_with_options("threats.mxy", &opts);
// ... use database ...
matchy_close(db);
return 0;
}
Callback Safety
Important considerations:
- Callbacks run on the watcher thread, not query threads
- Keep callbacks fast and non-blocking
- Do not call matchy query functions from callbacks (potential deadlock)
- Copy
event.pathandevent.errorif you need them after callback returns - Callbacks must be thread-safe
Use Cases
Production Threat Intelligence
#![allow(unused)]
fn main() {
// Threat database updated hourly from feed
let db = Database::from("/data/threats.mxy")
.watch()
.on_reload(|event| {
if event.success {
// Log to monitoring system
metrics::increment_counter!("db_reload_success");
info!("Threat database updated: generation {}", event.generation);
} else {
// Alert on failure
metrics::increment_counter!("db_reload_failure");
error!("Failed to reload threats: {:?}", event.error);
}
})
.open()?;
// Queries automatically use latest threat data
for log_entry in log_stream {
if let Some(threat @ (QueryResult::Ip { .. } | QueryResult::Pattern { .. })) =
db.lookup(&log_entry.ip)?
{
alert_security_team(log_entry, threat);
}
}
}
GeoIP Database Updates
#![allow(unused)]
fn main() {
// GeoIP database refreshed weekly
let geoip = Database::from("/data/GeoLite2-City.mmdb")
.watch()
.on_reload(|event| {
println!("GeoIP database updated: {}", event.path.display());
})
.open()?;
// No service restart needed for updates
let location = geoip.lookup("8.8.8.8")?;
}
Multi-Process Deployment
#![allow(unused)]
fn main() {
// Worker process
let db = Arc::new(
Database::from("threats.mxy")
.watch()
.open()?
);
// Spawn multiple worker threads
for i in 0..num_cpus::get() {
let db_clone = Arc::clone(&db);
thread::spawn(move || {
// Each thread automatically gets reloaded database
loop {
let work = get_work();
let result = db_clone.lookup(&work.query)?;
process_result(result);
}
});
}
}
HTTP Auto-Update
Matchy supports automatic updates for databases that include an embedded update URL. The database uses this internal metadata to periodically check for updates and download them if changed.
Rust API
#![allow(unused)]
fn main() {
// Database must have embedded update URL (from DatabaseBuilder::with_update_url())
let db = Database::from("threats.mxy")
.auto_update() // No URL parameter - uses embedded metadata
.update_interval(Duration::from_secs(3600))
.cache_dir("/var/cache/myapp") // Optional: defaults to ~/.cache/matchy/
.on_reload(|event| {
match event.source {
ReloadSource::FileChange => println!("Local file changed"),
ReloadSource::NetworkUpdate => println!("Downloaded new version"),
}
})
.open()?; // Returns error if database has no embedded URL
}
The auto-update feature:
- Self-describing: Uses URL embedded in the database file (set during build)
- Safe updates: Downloads to a cache directory (
~/.cache/matchy/by default), never overwriting the original file - Composable: Can be combined with
watch()to handle both local replacements and network updates - Efficient: Uses ETag and Last-Modified headers to avoid unnecessary downloads
- Robust: Validates the database before swapping
C API
matchy_open_options_t opts;
matchy_init_open_options(&opts);
// Enable auto-update (requires embedded URL in database)
opts.auto_update = true;
// Optional: set custom download location (formerly update_url)
opts.cache_dir = "/var/cache/myapp";
matchy_t *db = matchy_open_with_options("threats.mxy", &opts);
Database Update Best Practices
Atomic File Replacement
Always use atomic rename for updates:
# Build new database
matchy build new-threats.csv --input-format csv --output threats.mxy.tmp
# Atomic rename (works on all platforms)
mv threats.mxy.tmp threats.mxy
This ensures:
- No partial database reads
- Auto-reload detects the change
- Zero query errors during update
Update Scripts
#!/bin/bash
# update-threats.sh - Safe database update script
set -e
DB_PATH="/data/threats.mxy"
TEMP_DB="${DB_PATH}.tmp"
# Download and build new database
curl -o threats.csv "https://threat-feed.example.com/latest"
matchy build threats.csv --input-format csv --output "$TEMP_DB"
# Validate before deploying
matchy validate "$TEMP_DB" --level strict
# Atomic replace
mv "$TEMP_DB" "$DB_PATH"
echo "✅ Database updated successfully"
Monitoring Reloads
#![allow(unused)]
fn main() {
use std::sync::atomic::{AtomicU64, Ordering};
use std::sync::Arc;
let reload_count = Arc::new(AtomicU64::new(0));
let reload_count_clone = Arc::clone(&reload_count);
let db = Database::from("threats.mxy")
.watch()
.on_reload(move |event| {
if event.success {
reload_count_clone.fetch_add(1, Ordering::Relaxed);
}
})
.open()?;
// Later: check reload metrics
let reloads = reload_count.load(Ordering::Relaxed);
println!("Database has been reloaded {} times", reloads);
}
Limitations
File System Events
- Linux: Uses inotify (requires kernel support)
- macOS: Uses FSEvents (works with atomic renames)
- Windows: Uses ReadDirectoryChangesW
- Network filesystems: May have delayed notifications (NFS, CIFS, etc.)
Debouncing
File changes are debounced for 200ms to avoid rapid reload cycles. Debouncing
does not make in-place multi-stage writes safe for an existing memory map.
Write a complete new database to a temporary file, fsync as required by your
durability policy, and atomically replace the watched path. Never truncate or
rewrite the mapped inode in place.
Memory Usage
During reload, old and new mappings can coexist until query threads release the old snapshot. Peak resident memory depends on the pages touched in each mapping, private runtime state, and how long callers retain snapshots; it is not a fixed multiple of file size.
Troubleshooting
Reload Not Triggering
Check file watcher:
#![allow(unused)]
fn main() {
// Enable debug logging
RUST_LOG=matchy=debug cargo run
}
Verify file changes:
# Check file modification time
stat threats.mxy
# Force update
touch threats.mxy
Callbacks Not Firing
Ensure callback is set before database changes:
#![allow(unused)]
fn main() {
// ❌ Wrong: callback set after database loaded
let db = Database::from("threats.mxy").watch().open()?;
// Database changes here won't trigger callback yet
// ✅ Correct: callback set during open
let db = Database::from("threats.mxy")
.watch()
.on_reload(|e| println!("Reloaded!"))
.open()?;
}
Performance Impact
If auto-reload overhead is too high:
#![allow(unused)]
fn main() {
// Measure overhead
let start = Instant::now();
for i in 0..1_000_000 {
db.lookup("192.168.1.1")?;
}
println!("Time: {:?}", start.elapsed());
}
Compare this result with a static database under the same CPU affinity, cache state, query mix, and reload frequency. Investigate snapshot refreshes, NUMA placement, and excessive update frequency when the measured difference matters.
Next Steps
- Performance Considerations - Detailed performance analysis
- Query Result Caching - Combine with caching for maximum throughput
- Examples - Complete working examples
Pattern Extraction
Matchy includes a high-performance pattern extractor for finding domains, IP addresses (IPv4 and IPv6), email addresses, file hashes, and cryptocurrency addresses in unstructured text like log files.
Overview
The Extractor uses byte-oriented and SIMD-friendly algorithms to scan text.
Throughput depends on input length, candidate density, enabled extractors, CPU,
and whether lookup work is included, so benchmark representative logs.
- Log scanning: Find domains/IPs in access logs, firewall logs, etc.
- Threat detection: Extract indicators from security logs
- Analytics: Count unique domains/IPs in large datasets
- Compliance: Find email addresses or PII in audit logs
- Forensics: Extract patterns from binary logs
Quick Start
#![allow(unused)]
fn main() {
use matchy::extractor::Extractor;
let extractor = Extractor::new()?;
let log_line = b"2024-01-15 GET /api evil.example.com 192.168.1.1";
for match_item in extractor.extract_from_line(log_line) {
println!("Found: {}", match_item.as_str(log_line));
}
// Output:
// Found: evil.example.com
// Found: 192.168.1.1
}
Supported Patterns
Domains
Extracts fully qualified domain names with TLD validation:
#![allow(unused)]
fn main() {
let line = b"Visit api.example.com or https://www.github.com/path";
for match_item in extractor.extract_from_line(line) {
if let ExtractedItem::Domain(domain) = match_item.item {
println!("Domain: {}", domain);
}
}
// Output:
// Domain: api.example.com
// Domain: www.github.com
}
Features:
- TLD validation: 10K+ real TLDs from Public Suffix List
- Unicode support: Handles münchen.de, café.fr (both UTF-8 and punycode)
- Subdomain extraction: Extracts full domain from URLs
- Word boundaries: Avoids false positives in non-domain text
IPv4 Addresses
Extracts all valid IPv4 addresses:
#![allow(unused)]
fn main() {
let line = b"Traffic from 10.0.0.5 to 172.16.0.10";
for match_item in extractor.extract_from_line(line) {
if let ExtractedItem::Ipv4(ip) = match_item.item {
println!("IP: {}", ip);
}
}
// Output:
// IP: 10.0.0.5
// IP: 172.16.0.10
}
Features:
- SIMD-accelerated: Uses
memchrfor fast dot detection - Validation: Rejects invalid IPs (256.1.1.1, 999.0.0.1)
- Word boundaries: Avoids false matches in version numbers
IPv6 Addresses
Extracts common compressed IPv6 addresses and full eight-hextet addresses:
#![allow(unused)]
fn main() {
let line = b"Peers: 2001:db8::1 and 2001:0db8:85a3:0000:0000:8a2e:0370:7334";
for match_item in extractor.extract_from_line(line) {
if let ExtractedItem::Ipv6(ip) = match_item.item {
println!("IPv6: {}", ip);
}
}
// Output:
// IPv6: 2001:db8::1
// IPv6: 2001:db8:85a3::8a2e:370:7334
}
Features:
- Density-gated scanning: Ignores sparse timestamp and
key:valuecolons before candidate validation - Compressed and uncompressed notation: Handles internal
::compression and all eight-hextet forms - Zero-allocation validation: Parses uncompressed candidates directly from bytes
- Exact spans: Preserves the original spelling; full eight-hextet matches exclude a trailing bare port
The extractor retains its existing high-signal IPv6 filters: very short forms,
leading or trailing ::, loopback, and link-local addresses are not returned.
Email Addresses
Extracts RFC 5322-compliant email addresses:
#![allow(unused)]
fn main() {
let line = b"Contact alice@example.com or bob+tag@company.org";
for match_item in extractor.extract_from_line(line) {
if let ExtractedItem::Email(email) = match_item.item {
println!("Email: {}", email);
}
}
// Output:
// Email: alice@example.com
// Email: bob+tag@company.org
}
Features:
- Plus addressing: Supports user+tag@example.com
- Subdomain validation: Checks domain part for valid TLD
File Hashes
Extracts MD5, SHA1, SHA256, SHA384, and SHA512 file hashes:
#![allow(unused)]
fn main() {
use matchy::extractor::{ExtractedItem, HashType};
let line = b"malware.exe MD5=5d41402abc4b2a76b9719d911017c592 detected";
for match_item in extractor.extract_from_line(line) {
if let ExtractedItem::Hash(hash_type, hash) = match_item.item {
let type_str = match hash_type {
HashType::Md5 => "MD5",
HashType::Sha1 => "SHA1",
HashType::Sha256 => "SHA256",
HashType::Sha384 => "SHA384",
HashType::Sha512 => "SHA512",
};
println!("{}: {}", type_str, hash);
}
}
// Output:
// MD5: 5d41402abc4b2a76b9719d911017c592
}
Features:
- Boundary distance detection: Finds tokens of exact length (32/40/64/96/128 hex chars)
- SIMD hex validation: Auto-vectorized lookup table for blazing speed
- Case insensitive: Accepts both lowercase and uppercase hex
- Zero false positives: Rejects UUIDs (with dashes) and non-hex strings
- Throughput-oriented implementation: byte scanning and candidate validation avoid regex backtracking
Supported hash types:
- MD5: 32 hex characters (e.g.,
5d41402abc4b2a76b9719d911017c592) - SHA1: 40 hex characters (e.g.,
2fd4e1c67a2d28fced849ee1bb76e7391b93eb12) - SHA256: 64 hex characters (e.g.,
2c26b46b68ffc68ff99b453c1d30413413422d706483bfa0f98a5e886266e7ae) - SHA384: 96 hex characters (e.g.,
cb00753f45a35e8bb5a03d699ac65007272c32ab0eded1631a8b605a43ff5bed8086072ba1e7cc2358baeca134c825a7) - SHA512: 128 hex characters
Configuration
Customize extraction behavior using the builder pattern:
#![allow(unused)]
fn main() {
use matchy::extractor::Extractor;
let extractor = Extractor::builder()
.extract_domains(true) // Enable domain extraction
.extract_ipv4(true) // Enable IPv4 extraction
.extract_ipv6(true) // Enable IPv6 extraction
.extract_emails(false) // Disable email extraction
.min_domain_labels(3) // Require 3+ labels (api.test.com)
.require_word_boundaries(true) // Enforce word boundaries
.build()?;
}
Configuration Options
| Option | Default | Description |
|---|---|---|
extract_domains | true | Extract domain names |
extract_ipv4 | true | Extract IPv4 addresses |
extract_ipv6 | true | Extract IPv6 addresses |
extract_emails | true | Extract email addresses |
extract_hashes | true | Extract file hashes (MD5, SHA1, SHA256, SHA384, SHA512) |
extract_bitcoin | true | Extract Bitcoin addresses |
extract_ethereum | true | Extract Ethereum addresses |
extract_monero | true | Extract Monero addresses |
min_domain_labels | 2 | Minimum labels (2 = example.com, 3 = api.example.com) |
require_word_boundaries | true | Ensure patterns have word boundaries |
Unicode and IDN Support
The extractor handles Unicode domains automatically:
#![allow(unused)]
fn main() {
let line = "Visit münchen.de or café.fr".as_bytes();
for match_item in extractor.extract_from_line(line) {
if let ExtractedItem::Domain(domain) = match_item.item {
println!("Unicode domain: {}", domain);
}
}
// Output:
// Unicode domain: münchen.de
// Unicode domain: café.fr
}
How it works:
- Extracts Unicode text as-is
- Validates TLD using punycode conversion internally
- Returns original Unicode form (not punycode)
Binary Log Support
The extractor can find ASCII patterns in binary data:
#![allow(unused)]
fn main() {
let mut binary_log = Vec::new();
binary_log.extend_from_slice(b"Log: ");
binary_log.push(0xFF); // Invalid UTF-8
binary_log.extend_from_slice(b" evil.com ");
for match_item in extractor.extract_from_line(&binary_log) {
println!("Found in binary: {}", match_item.as_str(&binary_log));
}
// Output:
// Found in binary: evil.com
}
This is useful for scanning:
- Binary protocol logs
- Corrupted text files
- Mixed encoding logs
Performance
The extractor is highly optimized:
- Throughput: workload- and hardware-dependent; measure extraction separately from database lookup
- SIMD acceleration: Uses
memchrfor byte scanning - Zero-copy: No string allocation until match
- Lazy UTF-8 validation: Only validates matched patterns
Performance Tips
-
Disable unused extractors to reduce overhead:
#![allow(unused)] fn main() { let extractor = Extractor::builder() .extract_ipv4(true) // Only extract IPv4 .extract_ipv6(true) // Only extract IPv6 .extract_domains(false) .extract_emails(false) .build()?; } -
Process line-by-line for better memory usage:
#![allow(unused)] fn main() { for line in BufReader::new(file).lines() { for match_item in extractor.extract_from_line(line?.as_bytes()) { // Process match } } } -
Use byte slices to avoid UTF-8 conversion:
#![allow(unused)] fn main() { // Fast: no UTF-8 validation on whole line extractor.extract_from_line(line_bytes) // Slower: validates entire line as UTF-8 first extractor.extract_from_line(line_str.as_bytes()) }
Combining with Database Lookups
After extracting patterns, you typically want to look them up in a database. Use lookup_extracted() for a clean, efficient API:
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult, extractor::Extractor};
let db = Database::from("threats.mxy").open()?;
let extractor = Extractor::new()?;
let log_line = b"Traffic from 192.168.1.100 to evil.com";
for item in extractor.extract_from_line(log_line) {
if let Some(QueryResult::Ip { .. } | QueryResult::Pattern { .. }) =
db.lookup_extracted(&item, log_line)?
{
println!("⚠️ Match: {} ({})",
item.as_str(log_line),
item.item.type_name()
);
}
}
}
See the Querying guide for complete details on the extract-and-lookup pattern.
CLI Integration
The matchy match command uses the extractor internally:
# Scan logs for threats (outputs JSON to stdout)
matchy match threats.mxy access.log
# Each match is a JSON line:
# {"timestamp":"123.456","source":"access.log","matched_text":"evil.com","match_type":"pattern",...}
# {"timestamp":"123.789","source":"access.log","matched_text":"1.2.3.4","match_type":"ip",...}
# Show statistics (to stderr)
matchy match threats.mxy access.log --stats
# Statistics output (stderr):
# [INFO] Lines processed: 15,234
# [INFO] Lines with matches: 127 (0.8%)
# [INFO] Throughput: 450.23 MB/s
See matchy match for CLI details.
Examples
Complete working examples:
examples/extractor_demo.rs: Demonstrates all extraction featuressrc/bin/matchy.rs: Seecmd_match()for CLI implementation
Run the demo:
cargo run --release --example extractor_demo
Summary
- Performance-focused: benchmark with the enabled extractors and representative input
- SIMD-accelerated: Fast pattern finding
- Unicode support: Handles international domains
- Binary logs: Extracts ASCII from non-UTF-8
- Zero-copy: Efficient memory usage
- Configurable: Customize extraction behavior
Pattern extraction makes it easy to scan large log files and find security indicators.
MMDB Compatibility
Matchy reads version 2 MaxMind MMDB files that use the standard data types and fit Matchy’s documented decoder resource limits. It extends the format with string and pattern indexes and an optional nonstandard timestamp type.
Reading MMDB Files
MaxMind’s GeoIP databases use the MMDB format. Matchy can read these files directly:
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult};
// Open a MaxMind GeoLite2 database
let db = Database::from("GeoLite2-City.mmdb").open()?;
// Query an IP address
match db.lookup("8.8.8.8")? {
Some(result @ QueryResult::Ip { .. }) => {
println!("Location data: {:?}", result);
}
Some(QueryResult::NotFound) => println!("IP not found"),
Some(QueryResult::Pattern { .. }) => unreachable!("IP text routes to the IP tree"),
None => println!("This database has no IP index"),
}
}
The same works from the CLI:
$ matchy query GeoLite2-City.mmdb 8.8.8.8
Found: IP address 8.8.8.8/32
country: "US"
city: "Mountain View"
coordinates: [37.386, -122.0838]
MMDB Format Overview
MMDB files contain:
- IP tree - Binary trie mapping IP addresses to data
- Data section - Structured data storage (strings, numbers, maps, arrays)
- Metadata - Database information (build time, version, etc.)
This is a compact, binary format designed for fast IP address lookups.
Matchy Extensions
Matchy extends MMDB with additional sections:
Standard MMDB
┌──────────────────────────────┐
│ IP Tree │ IPv4 and IPv6 lookup
├──────────────────────────────┤
│ Data Section │ Structured data
├──────────────────────────────┤
│ Metadata │ Database info
└──────────────────────────────┘
Matchy Extended Format
┌─────────────────────────────────────────────────┐
│ IP Tree │ IPv4 and IPv6 (MMDB compatible)
├─────────────────────────────────────────────────┤
│ Data Section │ MMDB values + optional Matchy type
├─────────────────────────────────────────────────┤
│ Hash Table │ Exact string matches (Matchy extension)
├─────────────────────────────────────────────────┤
│ AC Automaton │ Pattern matching (Matchy extension)
├─────────────────────────────────────────────────┤
│ Metadata │ Database info
└─────────────────────────────────────────────────┘
The IP tree and standard data types use the MMDB encoding. Matchy’s extension
sections are unreferenced by standard MMDB tree records and can be ignored by
standard readers. A value containing Matchy’s Timestamp type is different:
it uses nonstandard extended type 128 and cannot be decoded by a standard MMDB
reader.
Compatibility Guarantees
Reading MMDB files:
- ✅ Standard MMDB v2 data types are supported
- ✅ Current GeoIP, ASN, and similar databases are supported when they fit the decoder limits
- ⚠️ Pointer depth, nesting, decoded work, and owned allocation are bounded to reject resource-exhaustion inputs
Writing Matchy databases:
- ✅ Standard MMDB readers can read IP records whose values use only standard MMDB types
- ⚠️ String and pattern extensions are ignored by standard readers
- ⚠️ Matchy
Timestampvalues are not understood by standard MMDB readers - ✅ Matchy databases work with Matchy tools (CLI and APIs)
When DataValue is deserialized from JSON, an RFC 3339 string is converted to
Matchy’s compact Timestamp type. If a database must remain readable by
standard MMDB tools, construct DataValue::String explicitly for timestamp
text instead of relying on generic DataValue deserialization.
Practical Examples
Using GeoIP Databases
MaxMind provides free GeoLite2 databases. Download and use them directly:
$ wget https://example.com/GeoLite2-City.mmdb
$ matchy query GeoLite2-City.mmdb 1.1.1.1
From Rust:
#![allow(unused)]
fn main() {
let db = Database::from("GeoLite2-City.mmdb").open()?;
if let Some(result @ QueryResult::Ip { .. }) = db.lookup("1.1.1.1")? {
// Access location data
println!("Result: {:?}", result);
}
}
Extending MMDB Files
You can build a database that combines IP data using standard MMDB value types with patterns stored in Matchy extension sections:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, MatchMode, DataValue};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// Add IP data using a standard MMDB string value
let mut ip_data = HashMap::new();
ip_data.insert("country".to_string(), DataValue::String("US".to_string()));
builder.add_entry("8.8.8.8", ip_data)?;
// Add pattern data (Matchy extension)
let mut pattern_data = HashMap::new();
pattern_data.insert("category".to_string(), DataValue::String("search".to_string()));
builder.add_entry("*.google.com", pattern_data)?;
let db_bytes = builder.build()?;
std::fs::write("extended.mxy", &db_bytes)?;
}
Standard MMDB readers can decode this example’s IP data because it uses only a standard string value. Matchy tools also see the pattern data.
File Format Details
MMDB files are binary and consist of:
- IP Tree: Binary trie where each node represents a network bit
- Data Section: Compact binary encoding of values
- Metadata: JSON with database information
Matchy preserves this structure and adds:
- Hash Table: For O(1) exact string lookups
- Aho-Corasick Automaton: For simultaneous pattern matching
See Binary Format Specification for complete details.
Version Compatibility
Matchy supports:
- MMDB format version 2.x (current standard)
- IPv4 and IPv6 address families
- All standard MMDB data types (strings, integers, floats, maps, arrays, bytes, and pointers)
- Bounded decoding: pointer depth 32, total nesting 64, at most one million decoded values, and at most 64 MiB of estimated owned allocation per decode budget; database pattern queries share one budget across all matched values
- Matchy extended type 128 (
Timestamp) for Matchy-only data
When building databases, Matchy uses MMDB format 2.0 for the IP tree and data section.
Performance Comparison
MMDB lookup performance depends on the database, data values, hardware, and cache state. Matchy and standard MMDB readers share the same broad design:
- Binary tree traversal (O(log n) worst case, O(32) for IPv4, O(128) for IPv6)
- Memory mapping without whole-file deserialization
- Direct tree access followed by decoding only the selected data value
Use the built-in benchmark command on the target workload instead of treating historical throughput numbers as a current guarantee.
Migration from libmaxminddb
If you’re using MaxMind’s C library (libmaxminddb), Matchy provides similar functionality:
libmaxminddb:
MMDB_s mmdb;
MMDB_open("GeoLite2-City.mmdb", 0, &mmdb);
int gai_error, mmdb_error;
MMDB_lookup_result_s result =
MMDB_lookup_string(&mmdb, "8.8.8.8", &gai_error, &mmdb_error);
Matchy:
matchy_t *db = matchy_open("GeoLite2-City.mmdb");
matchy_result_t result = matchy_query(db, "8.8.8.8");
Both load the database via memory mapping and provide similar query performance.
Next Steps
- Binary Format Specification - Detailed format docs
- Performance Considerations - Optimization strategies
- Entry Types - Understanding all entry types
Migrating from libmaxminddb
Matchy provides a compatibility layer that implements the libmaxminddb API on top of matchy’s engine. Most existing libmaxminddb applications can switch to matchy with minimal code changes.
Quick Start
Before (libmaxminddb)
#include <maxminddb.h>
// Compile: gcc -o app app.c -lmaxminddb
After (matchy)
#include <matchy/maxminddb.h>
// Compile: gcc -o app app.c -lmatchy
That’s it! Most applications will work with just these changes.
Why Migrate?
Benefits of switching to matchy:
- Unified database format: IP addresses + string patterns + exact strings in one file
- Better performance: Faster loads, optimized queries
- Memory-mapped by default: Avoids whole-file deserialization at startup
- Active development: Modern codebase in Rust
- Drop-in compatibility: Minimal code changes required
Migration Steps
1. Update Include Path
Before:
#include <maxminddb.h>
After:
#include <matchy/maxminddb.h>
2. Update Linker Flags
Before:
gcc -o myapp myapp.c -lmaxminddb
After:
gcc -o myapp myapp.c -I/path/to/matchy/include -L/path/to/matchy/lib -lmatchy
Or with pkg-config:
gcc -o myapp myapp.c $(pkg-config --cflags --libs matchy)
3. Recompile
The compatibility layer is API compatible but NOT binary compatible. You must recompile your application.
make clean
make
4. Test
Your existing .mmdb files should work without modification:
./myapp /path/to/GeoLite2-City.mmdb
Complete Example
Original libmaxminddb Code
#include <maxminddb.h>
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char **argv) {
if (argc != 3) {
fprintf(stderr, "Usage: %s <database> <ip>\n", argv[0]);
exit(1);
}
const char *database = argv[1];
const char *ip_address = argv[2];
MMDB_s mmdb;
int status = MMDB_open(database, MMDB_MODE_MMAP, &mmdb);
if (status != MMDB_SUCCESS) {
fprintf(stderr, "Can't open %s: %s\n",
database, MMDB_strerror(status));
exit(1);
}
int gai_error, mmdb_error;
MMDB_lookup_result_s result = MMDB_lookup_string(
&mmdb, ip_address, &gai_error, &mmdb_error);
if (gai_error != 0) {
fprintf(stderr, "Error from getaddrinfo: %s\n",
gai_strerror(gai_error));
exit(1);
}
if (mmdb_error != MMDB_SUCCESS) {
fprintf(stderr, "Lookup error: %s\n",
MMDB_strerror(mmdb_error));
exit(1);
}
if (result.found_entry) {
MMDB_entry_data_s entry_data;
// Get country ISO code
status = MMDB_get_value(&result.entry, &entry_data,
"country", "iso_code", NULL);
if (status == MMDB_SUCCESS && entry_data.has_data &&
entry_data.type == MMDB_DATA_TYPE_UTF8_STRING) {
printf("%.*s\n", entry_data.data_size, entry_data.utf8_string);
}
} else {
printf("No entry found for %s\n", ip_address);
}
MMDB_close(&mmdb);
return 0;
}
Migrated to Matchy
#include <matchy/maxminddb.h> // Only change: include path
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char **argv) {
if (argc != 3) {
fprintf(stderr, "Usage: %s <database> <ip>\n", argv[0]);
exit(1);
}
const char *database = argv[1];
const char *ip_address = argv[2];
MMDB_s mmdb;
int status = MMDB_open(database, MMDB_MODE_MMAP, &mmdb);
if (status != MMDB_SUCCESS) {
fprintf(stderr, "Can't open %s: %s\n",
database, MMDB_strerror(status));
exit(1);
}
int gai_error, mmdb_error;
MMDB_lookup_result_s result = MMDB_lookup_string(
&mmdb, ip_address, &gai_error, &mmdb_error);
if (gai_error != 0) {
fprintf(stderr, "Error from getaddrinfo: %s\n",
gai_strerror(gai_error));
exit(1);
}
if (mmdb_error != MMDB_SUCCESS) {
fprintf(stderr, "Lookup error: %s\n",
MMDB_strerror(mmdb_error));
exit(1);
}
if (result.found_entry) {
MMDB_entry_data_s entry_data;
// Get country ISO code
status = MMDB_get_value(&result.entry, &entry_data,
"country", "iso_code", NULL);
if (status == MMDB_SUCCESS && entry_data.has_data &&
entry_data.type == MMDB_DATA_TYPE_UTF8_STRING) {
printf("%.*s\n", entry_data.data_size, entry_data.utf8_string);
}
} else {
printf("No entry found for %s\n", ip_address);
}
MMDB_close(&mmdb);
return 0;
}
Differences: Only the #include line changed!
Compatibility Matrix
Fully Supported Functions
These functions work identically to libmaxminddb:
| Function | Status | Notes |
|---|---|---|
MMDB_open() | ✅ Full | Opens .mmdb files |
MMDB_close() | ✅ Full | Closes database |
MMDB_lookup_string() | ✅ Full | IP string lookup |
MMDB_lookup_sockaddr() | ✅ Full | sockaddr lookup |
MMDB_get_value() | ✅ Full | Navigate data structures |
MMDB_vget_value() | ✅ Full | va_list variant |
MMDB_aget_value() | ✅ Full | Array variant |
MMDB_get_entry_data_list() | ✅ Full | Full data traversal |
MMDB_free_entry_data_list() | ✅ Full | Free list |
MMDB_lib_version() | ✅ Full | Returns matchy version |
MMDB_strerror() | ✅ Full | Error messages |
Stub Functions (Not Implemented)
These rarely-used functions return errors:
| Function | Status | Notes |
|---|---|---|
MMDB_read_node() | ⚠️ Stub | Low-level tree access (rarely used) |
MMDB_dump_entry_data_list() | ⚠️ Stub | Debugging function (rarely used) |
MMDB_get_metadata_as_entry_data_list() | ⚠️ Stub | Metadata access (rarely used) |
If your application uses these functions, please open an issue.
Important Differences
1. Binary Compatibility
Not binary compatible - you must recompile your application.
The MMDB_s struct has a different internal layout:
// libmaxminddb (many internal fields)
typedef struct MMDB_s {
// ... many implementation details
} MMDB_s;
// matchy (simpler, wraps matchy handle)
typedef struct MMDB_s {
matchy_t *_matchy_db;
uint32_t flags;
const char *filename;
ssize_t file_size;
} MMDB_s;
Impact: Applications that directly access MMDB_s fields may break. Most applications only pass the pointer around and should be fine.
2. Threading Model
libmaxminddb: Thread-safe for reads after open
matchy: Also thread-safe for reads after open
Both libraries are safe to use from multiple threads for lookups. No changes needed.
3. Memory Mapping
libmaxminddb: Optional with MMDB_MODE_MMAP
matchy: Always memory-mapped (flag accepted but ignored)
Impact: Matchy avoids whole-file deserialization. Actual opening time still depends on storage, page-cache state, platform, optional sections, and whether legacy marker scanning is required.
4. Error Codes
Matchy uses the same error code numbers and names. Error handling code should work unchanged:
if (status != MMDB_SUCCESS) {
fprintf(stderr, "Error: %s\n", MMDB_strerror(status));
}
Build System Updates
Makefile
Before:
CFLAGS = -Wall -O2
LIBS = -lmaxminddb
myapp: myapp.c
$(CC) $(CFLAGS) -o myapp myapp.c $(LIBS)
After:
CFLAGS = -Wall -O2 -I/usr/local/include
LIBS = -L/usr/local/lib -lmatchy
myapp: myapp.c
$(CC) $(CFLAGS) -o myapp myapp.c $(LIBS)
Or use pkg-config:
CFLAGS = -Wall -O2 $(shell pkg-config --cflags matchy)
LIBS = $(shell pkg-config --libs matchy)
myapp: myapp.c
$(CC) $(CFLAGS) -o myapp myapp.c $(LIBS)
CMake
Before:
find_package(MMDB REQUIRED)
target_link_libraries(myapp PRIVATE MMDB::MMDB)
After:
find_package(PkgConfig REQUIRED)
pkg_check_modules(MATCHY REQUIRED matchy)
target_include_directories(myapp PRIVATE ${MATCHY_INCLUDE_DIRS})
target_link_libraries(myapp PRIVATE ${MATCHY_LIBRARIES})
Autotools
Before:
./configure
make
After:
./configure CFLAGS="$(pkg-config --cflags matchy)" \
LDFLAGS="$(pkg-config --libs matchy)"
make
Testing Your Migration
1. Compile Test
gcc -o test_migration test.c \
-I/usr/local/include \
-L/usr/local/lib \
-lmatchy
./test_migration GeoLite2-City.mmdb 8.8.8.8
2. Functional Test
Verify results match libmaxminddb:
# With libmaxminddb
./old_binary database.mmdb 8.8.8.8 > old_output.txt
# With matchy
./new_binary database.mmdb 8.8.8.8 > new_output.txt
# Compare
diff old_output.txt new_output.txt
3. Performance Test
Matchy should be faster or comparable:
# Benchmark lookups
time ./myapp database.mmdb < ip_list.txt
Performance Considerations
Load Time
Both libraries use memory-mapping:
libmaxminddb:
- Uses memory-mapping when MMDB_MODE_MMAP is specified
- Load time depends on disk I/O and OS page cache state
matchy:
- Always memory-mapped
- Load time depends on disk I/O and OS page cache state
Impact: Similar load performance for IP lookups. Matchy’s main advantage is supporting additional data types (strings, patterns) in the same database.
Query Performance
For IP address lookups (what libmaxminddb does), both libraries have similar performance:
- Both use binary trie traversal
- Address width bounds tree traversal
- Actual latency depends on selected-value decoding, cache state, and hardware
Impact: Benchmark both libraries with the production MMDB, selected values, and cache state. Matchy’s additional benefit is a unified format for string and pattern indexes.
Memory Usage
libmaxminddb: Memory-mapped when using MMAP mode, only active pages loaded
matchy: Memory-mapped, only active pages loaded
Impact: Similar memory footprint for IP-only databases.
Troubleshooting
Compilation Errors
Error: maxminddb.h: No such file or directory
Solution: Check include path:
gcc -I/usr/local/include/matchy ...
Error: undefined reference to MMDB_open
Solution: Add matchy library:
gcc ... -lmatchy
Runtime Errors
Error: ./myapp: error while loading shared libraries: libmatchy.so
Solution: Set library path:
export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
Or install system-wide:
sudo ldconfig
Behavior Differences
Issue: Results differ slightly from libmaxminddb
Check:
- Are you using the same database file?
- Is the database corrupted? Try
matchy validate database.mmdb - Are there API usage differences?
Using Native Matchy Features
After migration, you can optionally use matchy-specific features:
Pattern Matching
Matchy databases can include string patterns:
// Use native matchy API alongside MMDB API
#include <matchy/maxminddb.h>
#include <matchy/matchy.h>
// IP lookup with MMDB API
MMDB_lookup_result_s result = MMDB_lookup_string(&mmdb, "8.8.8.8", ...);
// Pattern matching with matchy API
// Query with a string, database contains patterns like "*.google.com"
matchy_result_t pattern_result = matchy_query(db, "www.google.com");
if (pattern_result.found) {
matchy_free_result(&pattern_result);
}
Building Enhanced Databases
Use matchy build to create databases with both IP and pattern data:
matchy build ips.csv patterns.csv --input-format csv --output enhanced.mxy
Then query with the MMDB compatibility API as usual.
FAQ
Q: Do I need to convert my .mmdb files?
A: No! Matchy reads standard .mmdb files directly.
Q: Can I use both libmaxminddb and matchy in the same project?
A: Not recommended. They have overlapping symbols. Choose one.
Q: Is matchy slower than libmaxminddb?
A: For IP address lookups, performance is similar - both use memory-mapped binary tries. Matchy’s advantage is supporting additional query types (patterns, strings) in a unified database format.
Q: What if a function I need isn’t implemented?
A: Please open an issue with your use case.
Q: Can I contribute MMDB compatibility improvements?
A: Yes! See Contributing.
Next Steps
After migration:
- ✅ Test thoroughly with your production data
- 📊 Benchmark to verify performance improvements
- 🎯 Explore matchy-specific features (patterns, validation)
- 📖 Read the C API Reference
- 🚀 Deploy with confidence
Getting Help
- Documentation: C API Reference
- Issues: Report bugs or request features
- Examples: See examples/
- Community: Join discussions
See Also
- C API Overview - Native matchy C API
- First Database with C - C tutorial
- MMDB Compatibility - Format compatibility details
Performance Considerations
This chapter covers performance characteristics and optimization strategies for Matchy databases.
Query Performance
Different entry types have different performance characteristics:
IP Address Lookups
Algorithm: Binary tree traversal Complexity: O(32) for IPv4, O(128) for IPv6 (address bit length)
IP lookups traverse a binary trie, checking one bit at a time. The depth is fixed at 32 bits (IPv4) or 128 bits (IPv6), making performance predictable.
Exact String Lookups
Algorithm: Hash table lookup Complexity: O(1) average case
Exact strings use hash table lookups, making them the fastest entry type.
Pattern Matching
Algorithm: Aho-Corasick candidate discovery plus glob verification Complexity: Candidate discovery is linear in the input plus matches; verification depends on the selected patterns and their wildcard structure
Pattern matching searches all patterns simultaneously. Performance depends on:
- Number of patterns
- Pattern complexity
- Query string length
Use matchy bench with the production pattern distribution, query lengths, and
hit rate. Historical per-query figures are not current guarantees.
Loading Performance
Memory Mapping
File-backed databases open via memory mapping:
The operating system maps the file into virtual memory without reading it entirely. Current-format files require only bounded structural parsing in addition to the mapping; legacy extension discovery can require a bounded marker scan. Measure opening with the page-cache state and storage medium that match production, because those conditions materially affect the result.
Traditional Loading (for comparison)
If Matchy used traditional deserialization:
Database Size Estimated Load Time
───────────── ──────────────────
1MB 50-100ms
100MB 5-10 seconds
1GB 50-100 seconds
Memory mapping eliminates this overhead entirely.
Build Performance
Building databases is a one-time cost:
$ time matchy build threats.csv --input-format csv --output threats.mxy
real 0m1.234s # 1.2 seconds for 100,000 entries
Build time depends on:
- Number of entries
- Number of patterns (Aho-Corasick construction)
- Data complexity
- I/O speed (writing output file)
Typical rates:
- IP/strings: ~100,000 entries/second
- Patterns: ~10,000 patterns/second (automaton construction)
Memory Usage
Database Size on Disk
Entry Type Overhead per Entry
────────── ─────────────────
IP address ~8-16 bytes (tree nodes)
CIDR range ~8-16 bytes (tree nodes)
Exact string ~12 bytes + string length (hash table)
Pattern Varies (automaton states)
Plus data storage:
- Small data (few fields): ~20-50 bytes
- Medium data (typical): ~100-500 bytes
- Large data (nested): 1KB+
Memory Usage at Runtime
With memory mapping:
- RSS (Resident Set Size): Only accessed pages loaded
- Shared memory: OS shares pages across processes
- Virtual memory: Full database mapped, but not loaded
Example with 64 processes and a 100MB database:
- Traditional: 64 × 100MB = 6,400MB RAM
- Memory mapped: ~100MB RAM (shared across processes)
The OS loads pages on-demand and shares them automatically.
Optimization Strategies
Use CIDR Ranges
Instead of adding individual IPs:
#![allow(unused)]
fn main() {
// Slow: 256 individual entries
for i in 0..256 {
builder.add_entry(&format!("192.0.2.{}", i), data.clone())?;
}
// Fast: Single CIDR entry
builder.add_entry("192.0.2.0/24", data)?;
}
CIDR ranges are more efficient than individual IPs.
Prefer Exact Strings Over Patterns
When possible, use exact strings:
#![allow(unused)]
fn main() {
// Faster: Hash table lookup
builder.add_entry("exact-domain.com", data)?;
// Slower: Pattern matching
builder.add_entry("exact-domain.*", data)?;
}
Exact strings avoid AC candidate discovery and glob verification, but the measured difference depends on pattern shape, hit rate, and result decoding.
Pattern Efficiency
Some patterns are more efficient than others:
#![allow(unused)]
fn main() {
// Efficient: Suffix patterns
builder.add_entry("*.example.com", data)?;
// Less efficient: Multiple wildcards
builder.add_entry("*evil*bad*malware*", data)?;
}
Simple patterns with few wildcards perform better.
Batch Builds
Build databases in batches rather than incrementally:
#![allow(unused)]
fn main() {
// Efficient: Build once
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
for entry in entries {
builder.add_entry(&entry.key, entry.data)?;
}
let db_bytes = builder.build()?;
// Inefficient: Don't rebuild for each entry
// (not even possible - shown for illustration)
}
Databases are immutable, so building happens once.
String Interning for Size Reduction
Added in v1.2.0: Matchy automatically deduplicates repeated string values in database data sections through string interning.
When building databases with redundant metadata, the builder detects duplicate string values and stores them only once:
#![allow(unused)]
fn main() {
// These entries share the same "threat_level": "high" string
builder.add_entry("evil1.com", r#"{"threat_level": "high", "category": "malware"}"#)?;
builder.add_entry("evil2.com", r#"{"threat_level": "high", "category": "phishing"}"#)?;
builder.add_entry("evil3.com", r#"{"threat_level": "high", "category": "spam"}"#)?;
// The string "high" is stored once and referenced three times
}
Benefits:
- Smaller databases: Significant size reduction for datasets with redundant metadata
- Zero query overhead: Interning happens at build time only
- Transparent: No API changes required - works automatically
- Faster loading: Smaller files load faster from disk
Best practices:
- Use consistent field values across entries (e.g., standardized threat levels)
- Normalize string casing and formatting
- String interning works best with categorical data (types, levels, categories)
Example size reduction:
Before v1.2.0: 1,000 entries with repeated "high" threat_level
1,000 × 4 bytes ("high") = 4,000 bytes
After v1.2.0: String interning
1 × 4 bytes ("high") + 1,000 × 4 bytes (references) = 4,004 bytes
Real-world savings: 10-50% database size reduction for typical threat intel datasets
Benchmarking
Use the CLI to run synthetic benchmarks for each database type:
$ matchy bench combined
For a specific database, time representative matchy query calls or run
matchy match --stats against representative logs.
Performance Expectations
By Database Size
Larger trees and tables increase the working set and can change cache behavior. File size also depends heavily on value size, prefix sharing, and pattern shape, so entry count alone does not predict throughput or storage. Benchmark several representative sizes and report the resulting database bytes.
By Pattern Count
Aho-Corasick candidate discovery is affected by automaton size and query text; glob verification additionally depends on anchors, wildcard structure, and hit rate. Pattern count alone is not a latency model. Test the actual pattern-style distribution with multiple query lengths and hit rates.
Production Considerations
Multi-Process Deployment
Memory mapping shines in multi-process scenarios:
┌──────────┐ ┌──────────┐ ┌──────────┐
│ Worker 1 │ │ Worker 2 │ │ Worker N │
└────┬─────┘ └────┬─────┘ └────┬─────┘
│ │ │
└────────────┴────────────┘
│
┌──────────┴──────────┐
│ Database File │
│ (mmap shared) │
└──────────────────────┘
All workers share the same memory pages, dramatically reducing RAM usage.
Database Updates
To update a database:
- Build new database
- Write to temporary file
- Atomic rename over old file
#![allow(unused)]
fn main() {
let db_bytes = builder.build()?;
std::fs::write("threats.mxy.tmp", &db_bytes)?;
std::fs::rename("threats.mxy.tmp", "threats.mxy")?;
}
Existing processes keep reading the old file until they reopen.
Auto-Reload (v1.3.0+)
For zero-downtime updates with automatic reloading:
#![allow(unused)]
fn main() {
// Rust API - automatic reload with an atomic generation check
let db = Database::from("threats.mxy")
.watch() // Enable automatic reloading
.open()?;
// Optional: Get notified when reloads happen
let db = Database::from("threats.mxy")
.watch()
.on_reload(|event| {
if event.success {
println!("Database reloaded: generation {}", event.generation);
} else {
eprintln!("Reload failed: {:?}", event.error);
}
})
.open()?;
// Database automatically reloads when file changes
// Queries transparently use the latest version
let result = db.lookup("192.168.1.1")?;
}
Performance characteristics:
- Per-query snapshot selection uses an atomic generation check and thread-local Arc
- No global mutex is taken on the steady-state query path
- Old database stays alive until all threads finish with it
- 200ms debounce prevents rapid reload cycles
- Measure reload-enabled versus static lookup on the target workload
C API:
#include <matchy/matchy.h>
// Callback for reload notifications
void on_reload(const matchy_reload_event_t *event, void *user_data) {
if (event->success) {
printf("Reloaded: %s (gen %lu)\n", event->path, event->generation);
} else {
fprintf(stderr, "Reload failed: %s\n", event->error);
}
}
int main() {
// Configure auto-reload with callback
matchy_open_options_t opts;
matchy_init_open_options(&opts);
opts.auto_reload = true;
opts.reload_callback = on_reload;
opts.reload_callback_user_data = NULL; // Optional context
matchy_t *db = matchy_open_with_options("threats.mxy", &opts);
// Queries automatically use latest database
matchy_result_t result = matchy_query(db, "192.168.1.1");
matchy_free_result(&result);
matchy_close(db);
}
How it works:
- File watcher monitors database file using OS notifications
- On file change, new database is loaded in background thread
- New database is atomically swapped using lock-free Arc pointer
- Each query thread checks a generation counter
- If changed, thread updates its local Arc cache and clears query cache
- Subsequent queries reuse the thread-local
Arc; generation and cache checks still have a cost
When to use:
- Production systems requiring zero downtime
- Threat intelligence feeds updating hourly/daily
- GeoIP databases refreshed periodically
- Any scenario where manual reload coordination is complex
Old queries complete with the old database. New queries use the new database.
Profiling Your Own Code
For developers working on Matchy or optimizing performance:
- Benchmarking Guide - Memory and CPU profiling tools
- Testing Guide - Testing strategies
Next Steps
- Database Concepts - Understanding database structure
- Entry Types - Choosing the right entry type
- Performance Benchmarks - Detailed benchmark results
Matchy Reference
The reference covers the details of various areas of Matchy.
This section provides comprehensive technical documentation for Matchy’s APIs, formats, and internals. For conceptual explanations, see the Matchy Guide.
Rust API
Detailed documentation for using Matchy from Rust:
- The Rust API - Overview and quick reference
- DatabaseBuilder - Building databases
- Database and Querying - Opening and querying
- Data Types Reference - Complete type reference
- Error Handling - Error types and handling
- Validation API - Database validation
C API
Detailed documentation for using Matchy from C/C++:
- The C API - Overview and quick reference
- Building Databases from C - Builder API
- Querying from C - Query API
- Memory Management - Memory rules
Format and Architecture
Technical specifications:
- Binary Format Specification - Database file format
- MMDB Integration Design - MaxMind compatibility
- Input File Formats - Text, CSV, JSON, and MISP formats
- Architecture Overview - Internal design
Performance
Detailed performance documentation:
- Performance Benchmarks - Comprehensive benchmark results
The Rust API
This chapter provides an overview of the Rust API. For your first steps with the Rust API, see First Database with Rust.
Core Types
The Matchy Rust API provides these main types:
Building databases:
DatabaseBuilder- Builds new databasesMatchMode- Case sensitivity settingDataValue- Structured data values
Querying databases:
Database- Opened database (read-only)QueryResult- Query match results
Error handling:
MatchyError- Error type for all operationsResult<T>- Standard Rust result type
Quick Reference
Building a Database
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, MatchMode, DataValue};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
let mut data = HashMap::new();
data.insert("field".to_string(), DataValue::String("value".to_string()));
builder.add_entry("192.0.2.1", data)?;
let db_bytes = builder.build()?;
std::fs::write("database.mxy", &db_bytes)?;
}
Querying a Database
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult};
let db = Database::from("database.mxy").open()?;
match db.lookup("192.0.2.1")? {
Some(QueryResult::Ip { data, prefix_len, .. }) => {
println!("IP match: {:?}", data);
println!("Prefix length: {}", prefix_len);
}
Some(QueryResult::Pattern { pattern_ids, data, .. }) => {
println!("Pattern match: {} patterns", pattern_ids.len());
println!("Data: {:?}", data);
}
Some(QueryResult::NotFound) | None => println!("No match"),
}
}
Module Structure
#![allow(unused)]
fn main() {
matchy
├── DatabaseBuilder // Building databases
├── Database // Querying databases
├── MatchMode // Case sensitivity enum
├── DataValue // Data type enum
├── QueryResult // Query result enum
├── FormatError // Builder/serialization errors
└── DatabaseError // Opening/query errors
}
Error Handling
The re-exported builder returns Result<T, FormatError>, while database opening and
querying return Result<T, DatabaseError>:
#![allow(unused)]
fn main() {
use matchy::{Database, DatabaseError, FormatError};
match builder.build() {
Ok(db_bytes) => { /* success */ }
Err(FormatError::IoError(msg)) => { /* I/O error */ }
Err(FormatError::InvalidPattern(msg)) => { /* invalid pattern */ }
Err(e) => { /* other error */ }
}
match Database::from("database.mxy").open() {
Ok(db) => { /* success */ }
Err(DatabaseError::Io(msg)) => { /* file or mmap error */ }
Err(DatabaseError::Format(e)) => { /* invalid database format */ }
Err(e) => { /* other database error */ }
}
}
Common error types:
FormatError::IoError- File I/O failures from builder workflowsFormatError::InvalidPattern/PatternError- Pattern build failuresFormatError::ValidationError- Entry or schema validation failuresDatabaseError::Io- File or mmap failures while openingDatabaseError::Format- Corrupt database data while opening or queryingDatabaseError::Unsupported- Unsupported operation or format featureDatabaseError::Config- Configuration or runtime resource-policy limit
Type Conversion
From JSON Values
#![allow(unused)]
fn main() {
use matchy::DataValue;
use serde_json::Value;
let json: Value = serde_json::from_str(r#"{"key": "value"}"#)?;
let data: DataValue = serde_json::from_value(json)?;
}
To JSON
#![allow(unused)]
fn main() {
let json = serde_json::to_value(&data)?;
println!("{}", serde_json::to_string_pretty(&json)?);
}
Thread Safety
DatabaseisSend + Sync- safe to share across threadsDatabaseBuilderis mutable; do not mutate one builder concurrently without external synchronization- Query operations are thread-safe and lock-free
#![allow(unused)]
fn main() {
use std::sync::Arc;
let db = Arc::new(Database::from("database.mxy").open()?);
// Clone Arc and move to threads
let db_clone = Arc::clone(&db);
std::thread::spawn(move || {
db_clone.lookup("192.0.2.1")
});
}
Memory Mapping
File-backed databases use memory mapping (mmap) to avoid whole-file deserialization:
#![allow(unused)]
fn main() {
// Memory-mapped: avoids whole-file deserialization
let db = Database::from("large-database.mxy").open()?;
// Database is memory-mapped, not loaded into heap
}
Benefits:
- No up-front whole-file deserialization
- Shared pages across processes
- The operating system can page untouched regions on demand
Detailed Documentation
See the following chapters for complete details:
- DatabaseBuilder - Complete builder API
- Database and Querying - Complete query API
- Data Types Reference - All data types
API Documentation
For rustdoc-generated API documentation:
$ cargo doc --open
Or view online at docs.rs/matchy
Examples
See the Examples appendix for complete working examples.
DatabaseBuilder
DatabaseBuilder constructs new databases. See Creating a New Database
for a tutorial.
Creating a Builder
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, MatchMode};
let builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
}
With Schema Validation
Use DatabaseBuilderExt to add automatic schema validation:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, DatabaseBuilderExt, MatchMode, DataValue};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("threatdb")?;
// Entries are validated automatically
let mut data = HashMap::new();
data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
data.insert("category".to_string(), DataValue::String("malware".to_string()));
data.insert("source".to_string(), DataValue::String("abuse.ch".to_string()));
builder.add_entry("1.2.3.4", data)?; // Validated against ThreatDB schema
}
When you use with_schema():
- All entries are validated against the schema before insertion
- The
database_typemetadata is automatically set (e.g.,ThreatDB-v1) - Invalid entries fail immediately with descriptive error messages
See Schemas Reference for available schemas.
Match Modes
MatchMode controls string matching behavior:
MatchMode::CaseInsensitive- “ABC” equals “abc” (recommended for domains)MatchMode::CaseSensitive- “ABC” does not equal “abc”
ASCII folding is consistent across exact literals and globs. Non-ASCII behavior
is not currently uniform: exact literals use Unicode lowercase expansion, while
glob matching folds ASCII bytes only. Use CaseSensitive when one consistent
non-ASCII contract is required.
#![allow(unused)]
fn main() {
// Case-insensitive (recommended)
let builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// Case-sensitive
let builder = DatabaseBuilder::new(MatchMode::CaseSensitive);
}
Adding Entries
Method Signature
#![allow(unused)]
fn main() {
pub fn add_entry(
&mut self,
key: &str,
data: HashMap<String, DataValue>
) -> Result<(), FormatError>
}
Examples
IP Address:
#![allow(unused)]
fn main() {
let mut data = HashMap::new();
data.insert("country".to_string(), DataValue::String("US".to_string()));
builder.add_entry("192.0.2.1", data)?;
}
CIDR Range:
#![allow(unused)]
fn main() {
let mut data = HashMap::new();
data.insert("org".to_string(), DataValue::String("Example Inc".to_string()));
builder.add_entry("10.0.0.0/8", data)?;
}
Pattern:
#![allow(unused)]
fn main() {
let mut data = HashMap::new();
data.insert("category".to_string(), DataValue::String("search".to_string()));
builder.add_entry("*.google.com", data)?;
}
Exact String:
#![allow(unused)]
fn main() {
let mut data = HashMap::new();
data.insert("safe".to_string(), DataValue::Bool(true));
builder.add_entry("example.com", data)?;
}
Building the Database
Method Signature
#![allow(unused)]
fn main() {
pub fn build(self) -> Result<Vec<u8>, FormatError>
}
Usage
#![allow(unused)]
fn main() {
let db_bytes = builder.build()?;
std::fs::write("database.mxy", &db_bytes)?;
}
The build() method:
- Consumes the builder (takes ownership)
- Returns
Vec<u8>containing the binary database - Can fail if entries are invalid or memory is exhausted
Complete Example
use matchy::{DatabaseBuilder, MatchMode, DataValue};
use std::collections::HashMap;
fn main() -> Result<(), Box<dyn std::error::Error>> {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// Add various entry types
let mut ip_data = HashMap::new();
ip_data.insert("type".to_string(), DataValue::String("ip".to_string()));
builder.add_entry("192.0.2.1", ip_data)?;
let mut cidr_data = HashMap::new();
cidr_data.insert("type".to_string(), DataValue::String("cidr".to_string()));
builder.add_entry("10.0.0.0/8", cidr_data)?;
let mut pattern_data = HashMap::new();
pattern_data.insert("type".to_string(), DataValue::String("pattern".to_string()));
builder.add_entry("*.example.com", pattern_data)?;
// Build and save
let db_bytes = builder.build()?;
std::fs::write("mixed.mxy", &db_bytes)?;
println!("Database size: {} bytes", db_bytes.len());
Ok(())
}
Entry Validation
The builder validates entries when added:
Invalid IP addresses:
#![allow(unused)]
fn main() {
builder.add_entry("256.256.256.256", data)?; // Error: FormatError
}
Invalid CIDR:
#![allow(unused)]
fn main() {
builder.add_entry("10.0.0.0/33", data)?; // Error: FormatError (IPv4 max is /32)
}
Invalid pattern:
#![allow(unused)]
fn main() {
builder.add_entry("[unclosed", data)?; // Error: FormatError
}
Schema Validation
When a schema is configured via with_schema(), data is validated against the schema:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, DatabaseBuilderExt, MatchMode, DataValue};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("threatdb")?;
// Missing required fields
let mut bad_data = HashMap::new();
bad_data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
// Missing: category, source
builder.add_entry("1.2.3.4", bad_data)?;
// Error: Validation error: Entry '1.2.3.4': "category" is a required property
// Invalid enum value
let mut bad_enum = HashMap::new();
bad_enum.insert("threat_level".to_string(), DataValue::String("extreme".to_string())); // Invalid!
bad_enum.insert("category".to_string(), DataValue::String("malware".to_string()));
bad_enum.insert("source".to_string(), DataValue::String("test".to_string()));
builder.add_entry("2.3.4.5", bad_enum)?;
// Error: Validation error: Entry '2.3.4.5': "extreme" is not one of ["critical","high","medium","low","unknown"]
}
Custom Validators
For custom validation logic, implement the EntryValidator trait:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, EntryValidator, MatchMode, DataValue};
use matchy_format::FormatError;
use std::collections::HashMap;
use std::error::Error;
struct RequiredFieldValidator {
required_fields: Vec<String>,
}
impl EntryValidator for RequiredFieldValidator {
fn validate(
&self,
key: &str,
data: &HashMap<String, DataValue>,
) -> Result<(), Box<dyn Error + Send + Sync>> {
for field in &self.required_fields {
if !data.contains_key(field) {
return Err(format!(
"Entry '{}': missing required field '{}'",
key, field
).into());
}
}
Ok(())
}
}
let validator = RequiredFieldValidator {
required_fields: vec!["name".to_string(), "category".to_string()],
};
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_validator(Box::new(validator));
}
Building Large Databases
For large databases, add entries in a loop:
#![allow(unused)]
fn main() {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
for entry in large_dataset {
let mut data = HashMap::new();
let value: DataValue = serde_json::from_value(entry.data.clone())?;
data.insert("value".to_string(), value);
builder.add_entry(&entry.key, data)?;
}
let db_bytes = builder.build()?;
}
Performance: ~100,000 IP/string entries per second, ~10,000 patterns per second.
Error Handling
#![allow(unused)]
fn main() {
match builder.add_entry(key, data) {
Ok(()) => println!("Added entry"),
Err(err) => eprintln!("Invalid entry or format: {}", err),
}
}
See Also
- Database and Querying - Querying databases
- Data Types Reference - DataValue types
- First Database with Rust - Tutorial
Database and Querying
Database opens and queries databases. See First Database with Rust
for a tutorial.
Opening a Database
Basic Opening
#![allow(unused)]
fn main() {
use matchy::Database;
// Simple - uses defaults (cache enabled, runtime structural checks on open)
let db = Database::from("database.mxy").open()?;
}
File-backed databases are memory-mapped, avoiding whole-file deserialization. Opening still performs bounded structural parsing; latency depends on storage, page-cache state, platform, optional sections, and legacy fallback scanning. Keep the mapped inode immutable until the database is dropped. Publish updates by writing a complete new file and atomically replacing the path; never truncate or rewrite an inode that an open database may still map.
Builder API
The recommended way to open databases uses the fluent builder API:
#![allow(unused)]
fn main() {
use matchy::Database;
// With custom cache size
let db = Database::from("database.mxy")
.cache_capacity(1000)
.open()?;
// Large cache for high repetition workloads
let db = Database::from("threats.mxy")
.cache_capacity(100_000)
.open()?;
// No cache (for unique queries)
let db = Database::from("database.mxy")
.no_cache()
.open()?;
}
Builder Methods
| Method | Description |
|---|---|
.cache_capacity(size) | Set the LRU entry ceiling (default: 10,000) |
.no_cache() | Disable caching entirely |
.open() | Load the database |
Cache Size Guidelines:
0(via.no_cache()): No caching - best for diverse queries100-1000: Good for moderate repetition10,000(default): Starting point for measurement- Larger values: Useful only when the measured hot set and hit rate justify them
Caching applies to IP, literal, glob, and miss results. It is most useful when avoided traversal or decoding costs outweigh cache lookup and owned-result clone costs. In addition to the entry ceiling, Matchy caps estimated retained cache heap at 64 MiB per calling thread across at most 16 recent database generations.
Error Handling
#![allow(unused)]
fn main() {
use matchy::{Database, DatabaseError};
match Database::from("database.mxy").open() {
Ok(db) => { /* success */ }
Err(DatabaseError::Io(msg)) => {
eprintln!("I/O error: {}", msg);
}
Err(DatabaseError::Format(err)) => {
eprintln!("Invalid database format: {}", err);
}
Err(e) => eprintln!("Error: {}", e),
}
}
Querying
lookup() - Direct String Lookup
#![allow(unused)]
fn main() {
pub fn lookup(&self, query: &str) -> Result<Option<QueryResult>, DatabaseError>
}
Basic usage:
#![allow(unused)]
fn main() {
match db.lookup("192.0.2.1")? {
Some(QueryResult::NotFound) | None => println!("Not found"),
Some(result) => println!("Found: {:?}", result),
}
}
lookup_extracted() - Lookup After Extraction
#![allow(unused)]
fn main() {
pub fn lookup_extracted(
&self,
item: &matchy::extractor::Match,
input: &[u8],
) -> Result<Option<QueryResult>, DatabaseError>
}
Efficient lookup for extracted patterns. Automatically uses the optimal lookup path:
- IP addresses use typed
lookup_ip()(avoids string parsing) - Other types use string-based
lookup()
Usage:
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult, extractor::Extractor};
let db = Database::from("threats.mxy").open()?;
let extractor = Extractor::new()?;
let log_line = b"Connection from 192.168.1.1 to evil.com";
for item in extractor.extract_from_line(log_line) {
if let Some(QueryResult::Ip { .. } | QueryResult::Pattern { .. }) =
db.lookup_extracted(&item, log_line)?
{
println!("Match: {} (type: {})",
item.as_str(log_line),
item.item.type_name()
);
}
}
}
Why use this?
- Cleaner code: No manual matching on
ExtractedItemvariants - Better performance: IP addresses use direct typed lookups
- Future-proof: New extracted types work automatically
Parameters:
item: The extracted match fromExtractorinput: Original input buffer (needed to extract string slices)
Returns: Ok(Some(QueryResult)) when a matching lookup table exists. Check
for QueryResult::NotFound to handle misses. Ok(None) means the database has
no applicable lookup table for that query type.
See the Querying guide for more examples.
QueryResult Types
QueryResult is an enum with three variants:
IP Match
#![allow(unused)]
fn main() {
QueryResult::Ip {
data: DataValue,
prefix_len: u8,
data_offset: u32,
}
}
Example:
#![allow(unused)]
fn main() {
match db.lookup("192.0.2.1")? {
Some(QueryResult::Ip { data, prefix_len, .. }) => {
println!("Matched IP with prefix /{}", prefix_len);
println!("Data: {:?}", data);
}
_ => {}
}
}
Pattern Match
#![allow(unused)]
fn main() {
QueryResult::Pattern {
pattern_ids: Vec<u32>,
data: Vec<Option<DataValue>>,
data_offsets: Vec<u32>,
}
}
Example:
#![allow(unused)]
fn main() {
match db.lookup("mail.google.com")? {
Some(QueryResult::Pattern { pattern_ids, data, .. }) => {
println!("Matched {} pattern(s)", pattern_ids.len());
for (i, pattern_data) in data.iter().enumerate() {
println!("Pattern {}: {:?}", pattern_ids[i], pattern_data);
}
}
_ => {}
}
}
Note: A query can match multiple patterns. All matching patterns are
returned when the query remains within runtime resource limits. Database
lookups reject more than 65,536 matches or one million units in any bounded
matching-work dimension (query bytes, unique literal hits, or raw mapped
candidates plus wildcard checks). They also apply one shared 64-million-unit
CPU-work allowance across matching phases instead of permitting multiplicative
work amplification.
Data decoding for all literal and glob
matches in one query shares the decoder’s work and 64 MiB estimated-allocation
budget.
Literal string matches are returned through QueryResult::Pattern; exact
strings and glob patterns share the same string lookup result type.
Complete Example
use matchy::{Database, QueryResult};
fn main() -> Result<(), Box<dyn std::error::Error>> {
let db = Database::from("database.mxy").open()?;
// Query different types
let queries = vec![
"192.0.2.1", // IP
"10.5.5.5", // CIDR
"test.example.com", // Pattern
"example.com", // Exact string
];
for query in queries {
match db.lookup(query)? {
Some(QueryResult::Ip { prefix_len, .. }) => {
println!("{}: IP match (/{prefix_len})", query);
}
Some(QueryResult::Pattern { pattern_ids, .. }) => {
println!("{}: Pattern match ({} patterns)", query, pattern_ids.len());
}
Some(QueryResult::NotFound) | None => {
println!("{}: No match", query);
}
}
}
Ok(())
}
Thread Safety
Database is Send + Sync and can be safely shared across threads:
#![allow(unused)]
fn main() {
use std::sync::Arc;
use std::thread;
let db = Arc::new(Database::from("database.mxy").open()?);
let handles: Vec<_> = (0..4).map(|i| {
let db = Arc::clone(&db);
thread::spawn(move || {
db.lookup(&format!("192.0.2.{}", i))
})
}).collect();
for handle in handles {
handle.join().unwrap()?;
}
}
Performance
Query cost differs by entry type: IP traversal is bounded by the address width, exact strings use average-case O(1) hash probing, and glob matching depends on the input and pattern shape. Throughput and latency are workload- and hardware-specific rather than API guarantees.
See Performance Considerations for measurement guidance.
Database Statistics
Get Statistics
Retrieve comprehensive statistics about database usage:
#![allow(unused)]
fn main() {
use matchy::Database;
let db = Database::from("threats.mxy").open()?;
// Do some queries
db.lookup("1.2.3.4")?;
db.lookup("example.com")?;
db.lookup("test.com")?;
// Get stats
let stats = db.stats();
println!("Total queries: {}", stats.total_queries);
println!("Queries with match: {}", stats.queries_with_match);
println!("Cache hit rate: {:.1}%", stats.cache_hit_rate() * 100.0);
println!("Match rate: {:.1}%", stats.match_rate() * 100.0);
println!("IP queries: {}", stats.ip_queries);
println!("String queries: {}", stats.string_queries);
}
DatabaseStatsSnapshot Structure
#![allow(unused)]
fn main() {
pub struct DatabaseStatsSnapshot {
pub total_queries: u64,
pub queries_with_match: u64,
pub queries_without_match: u64,
pub cache_hits: u64,
pub cache_misses: u64,
pub ip_queries: u64,
pub string_queries: u64,
}
impl DatabaseStatsSnapshot {
pub fn cache_hit_rate(&self) -> f64
pub fn match_rate(&self) -> f64
}
}
Helper Methods:
cache_hit_rate()- Returns cache hit rate as a value from 0.0 to 1.0match_rate()- Returns query match rate as a value from 0.0 to 1.0
Interpreting Statistics
Cache Performance: Compare hit rate together with end-to-end latency and retained memory under the production workload. A low hit rate can still help if misses are expensive; a high hit rate does not by itself prove that caching is worth its memory footprint.
Query Distribution:
- High
ip_queries: Database is being used for IP lookups - High
string_queries: Database is being used for domain/pattern matching
The counters include lookup, typed lookup_ip / lookup_string, extracted
lookups, and offset-only lookup_ref calls.
Cache Management
Clear Cache
Remove all cached query results:
#![allow(unused)]
fn main() {
use matchy::Database;
let db = Database::from("threats.mxy").open()?;
// Do some queries (fills cache)
db.lookup("example.com")?;
// Clear cache to force fresh lookups
db.clear_cache();
}
Useful for benchmarking or when you need to ensure fresh lookups without reopening the database.
Helper Methods
Checking Entry Types
#![allow(unused)]
fn main() {
if let Some(QueryResult::Ip { .. }) = result {
// Handle IP match
}
}
Or using match guards:
#![allow(unused)]
fn main() {
match db.lookup(query)? {
Some(QueryResult::Ip { prefix_len, .. }) if prefix_len == 32 => {
println!("Exact IP match");
}
Some(QueryResult::Ip { prefix_len, .. }) => {
println!("CIDR match /{}", prefix_len);
}
_ => {}
}
}
Database Lifecycle
Databases are immutable once opened:
#![allow(unused)]
fn main() {
let db = Database::from("database.mxy").open()?;
// db.lookup(...) - OK
// db.add_entry(...) - No such method!
}
To update a database:
- Build a new database with
DatabaseBuilder - Write to a temporary file
- Atomically replace the old database
#![allow(unused)]
fn main() {
// Build new database
let db_bytes = builder.build()?;
std::fs::write("database.mxy.tmp", &db_bytes)?;
std::fs::rename("database.mxy.tmp", "database.mxy")?;
// Reopen
let db = Database::from("database.mxy").open()?;
}
See Also
- DatabaseBuilder - Building databases
- Data Types Reference - Data value types
- Performance Considerations - Optimization
Data Types Reference
Matchy databases store arbitrary data with each entry using the DataValue type system.
Overview
DataValue is a Rust enum supporting these types:
- Bool: Boolean values
- Uint16: 16-bit unsigned integers
- Uint32: 32-bit unsigned integers
- Uint64: 64-bit unsigned integers
- Uint128: 128-bit unsigned integers
- Int32: 32-bit signed integers
- Float: 32-bit floating point
- Double: 64-bit floating point
- String: UTF-8 text
- Bytes: Arbitrary binary data
- Array: Ordered list of values
- Map: Key-value mappings
- Timestamp: Unix epoch seconds (compact storage for ISO 8601 timestamps)
See Data Types for conceptual overview.
DataValue Enum
#![allow(unused)]
fn main() {
pub enum DataValue {
Pointer(u32),
String(String),
Double(f64),
Bytes(Vec<u8>),
Uint16(u16),
Uint32(u32),
Map(HashMap<String, DataValue>),
Int32(i32),
Uint64(u64),
Uint128(u128),
Array(Vec<DataValue>),
Bool(bool),
Float(f32),
Timestamp(i64), // Unix epoch seconds
}
}
Creating Values
Direct Construction
#![allow(unused)]
fn main() {
use matchy::DataValue;
let bool_val = DataValue::Bool(true);
let int_val = DataValue::Uint32(42);
let str_val = DataValue::String("hello".to_string());
}
From JSON
#![allow(unused)]
fn main() {
let val: DataValue = serde_json::from_value(serde_json::json!(42))?;
let val: DataValue = serde_json::from_value(serde_json::json!("text"))?;
let val: DataValue = serde_json::from_value(serde_json::json!(true))?;
}
Working with Maps
Maps are the most common data structure:
#![allow(unused)]
fn main() {
use std::collections::HashMap;
use matchy::DataValue;
let mut data = HashMap::new();
data.insert("country".to_string(), DataValue::String("US".to_string()));
data.insert("asn".to_string(), DataValue::Uint32(15169));
data.insert("lat".to_string(), DataValue::Double(37.751));
data.insert("lon".to_string(), DataValue::Double(-97.822));
}
Working with Arrays
#![allow(unused)]
fn main() {
let tags = DataValue::Array(vec![
DataValue::String("cdn".to_string()),
DataValue::String("cloud".to_string()),
]);
data.insert("tags".to_string(), tags);
}
Working with Timestamps
Timestamps store Unix epoch seconds compactly (8 bytes vs 27-byte ISO 8601 strings):
#![allow(unused)]
fn main() {
use matchy::DataValue;
let first_seen = DataValue::Timestamp(1727891071);
data.insert("first_seen".to_string(), first_seen);
}
ISO 8601 strings in JSON input are automatically parsed into Timestamps during deserialization:
{
"entry": "1.2.3.4",
"first_seen": "2025-10-02T18:44:31Z"
}
When serialized back to JSON, Timestamps render as ISO 8601 strings for readability.
Nested Structures
#![allow(unused)]
fn main() {
let mut location = HashMap::new();
location.insert("city".to_string(), DataValue::String("Mountain View".to_string()));
location.insert("country".to_string(), DataValue::String("US".to_string()));
data.insert("location".to_string(), DataValue::Map(location));
}
Type Conversion
Extracting Values
#![allow(unused)]
fn main() {
match value {
DataValue::String(s) => println!("String: {}", s),
DataValue::Uint32(n) => println!("Number: {}", n),
DataValue::Map(m) => {
for (k, v) in m {
println!("{}: {:?}", k, v);
}
}
_ => println!("Other type"),
}
}
Helper Functions
#![allow(unused)]
fn main() {
fn get_string(val: &DataValue) -> Option<&str> {
match val {
DataValue::String(s) => Some(s),
_ => None,
}
}
fn get_u32(val: &DataValue) -> Option<u32> {
match val {
DataValue::Uint32(n) => Some(*n),
_ => None,
}
}
}
Complete Example
use matchy::{DatabaseBuilder, DataValue, MatchMode};
use std::collections::HashMap;
fn main() -> Result<(), Box<dyn std::error::Error>> {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// IP with rich data
let mut ip_data = HashMap::new();
ip_data.insert("country".to_string(), DataValue::String("US".to_string()));
ip_data.insert("asn".to_string(), DataValue::Uint32(15169));
ip_data.insert("tags".to_string(), DataValue::Array(vec![
DataValue::String("datacenter".to_string()),
DataValue::String("cloud".to_string()),
]));
builder.add_entry("8.8.8.8", ip_data)?;
// Pattern with metadata
let mut pattern_data = HashMap::new();
pattern_data.insert("category".to_string(), DataValue::String("search".to_string()));
pattern_data.insert("priority".to_string(), DataValue::Uint16(100));
builder.add_entry("*.google.com", pattern_data)?;
let db_bytes = builder.build()?;
std::fs::write("database.mxy", &db_bytes)?;
Ok(())
}
Binary Format
DataValue types are serialized to the MMDB binary format:
| DataValue | MMDB Type | Notes |
|---|---|---|
| Bool | boolean | 1 bit |
| Uint16 | uint16 | 2 bytes |
| Uint32 | uint32 | 4 bytes |
| Uint64 | uint64 | 8 bytes |
| Uint128 | uint128 | 16 bytes |
| Int32 | int32 | 4 bytes |
| Float | float | IEEE 754 |
| Double | double | IEEE 754 |
| String | utf8_string | Length-prefixed |
| Bytes | bytes | Length-prefixed |
| Array | array | Recursive |
| Map | map | Key-value pairs |
| Timestamp | ext 128 | 8 bytes, Matchy extension |
See Binary Format for encoding details.
Size Limits
- Strings: Up to about 16.8 MB per encoded string
- Bytes: Up to about 16.8 MB per encoded byte array
- Arrays: Up to about 16.8 million encoded elements
- Maps: Up to about 16.8 million encoded key-value pairs
- Nesting: Validation rejects total nesting deeper than 64 levels
Performance
Data types have different serialization costs:
| Type | Cost | Notes |
|---|---|---|
| Bool, integers | O(1) | Fixed size |
| Float, Double | O(1) | Fixed size |
| String | O(n) | Length-dependent |
| Bytes | O(n) | Length-dependent |
| Array | O(n × m) | n = length, m = element cost |
| Map | O(n × m) | n = entries, m = value cost |
Prefer smaller types when possible:
- Use Uint16 instead of Uint32 if values fit
- Use Int32 instead of Double for integers
- Avoid deep nesting
Serialization Example
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult, DataValue};
let db = Database::from("database.mxy").open()?;
if let Some(QueryResult::Ip { data: DataValue::Map(data), .. }) = db.lookup("8.8.8.8")? {
// Extract specific fields
if let Some(DataValue::String(country)) = data.get("country") {
println!("Country: {}", country);
}
if let Some(DataValue::Uint32(asn)) = data.get("asn") {
println!("ASN: {}", asn);
}
if let Some(DataValue::Array(tags)) = data.get("tags") {
println!("Tags:");
for tag in tags {
if let DataValue::String(s) = tag {
println!(" - {}", s);
}
}
}
}
}
JSON Conversion
DataValue maps naturally to JSON:
#![allow(unused)]
fn main() {
use serde_json::json;
// DataValue to JSON (conceptual)
fn to_json(val: &DataValue) -> serde_json::Value {
match val {
DataValue::Bool(b) => json!(b),
DataValue::Uint32(n) => json!(n),
DataValue::String(s) => json!(s),
DataValue::Array(arr) => {
json!(arr.iter().map(to_json).collect::<Vec<_>>())
}
DataValue::Map(map) => {
let obj: serde_json::Map<String, serde_json::Value> =
map.iter().map(|(k, v)| (k.clone(), to_json(v))).collect();
json!(obj)
}
_ => json!(null),
}
}
}
See Also
- Data Types Guide - Conceptual overview
- DatabaseBuilder - Adding data
- Database Querying - Reading data
- Binary Format - Serialization details
Error Handling Reference
Matchy exposes a small set of public error types. Builder workflows use
MatchyError or component errors such as FormatError; database opening and
querying use DatabaseError.
Public Error Types
#![allow(unused)]
fn main() {
pub enum MatchyError {
Paraglob(matchy_paraglob::error::ParaglobError),
Format(matchy_format::FormatError),
Io(std::io::Error),
Database(String),
Validation(String),
}
}
#![allow(unused)]
fn main() {
pub enum DatabaseError {
Io(String),
Format(matchy_format::mmdb::MmdbError),
Unsupported(String),
Config(String),
}
}
DatabaseBuilder methods are re-exported from matchy-format and return
FormatError directly. The ? operator can still convert those errors into
Box<dyn std::error::Error> in examples and applications.
Opening A Database
#![allow(unused)]
fn main() {
use matchy::{Database, DatabaseError};
match Database::from("database.mxy").open() {
Ok(db) => {
println!("Loaded database");
}
Err(DatabaseError::Io(msg)) => {
eprintln!("File or mmap error: {msg}");
}
Err(DatabaseError::Format(err)) => {
eprintln!("Invalid database format: {err}");
}
Err(err) => {
eprintln!("Database error: {err}");
}
}
}
Building A Database
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, DataValue, MatchMode};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
let mut data = HashMap::new();
data.insert("category".to_string(), DataValue::String("malware".to_string()));
match builder.add_entry("*.evil.com", data) {
Ok(()) => {}
Err(err) => {
eprintln!("Entry was rejected: {err}");
}
}
}
Schema validation errors are also reported when entries are added:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, DatabaseBuilderExt, DataValue, MatchMode};
use std::collections::HashMap;
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("threatdb")?;
let mut data = HashMap::new();
data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
if let Err(err) = builder.add_entry("192.0.2.1", data) {
eprintln!("ThreatDB schema validation failed: {err}");
}
}
Querying
#![allow(unused)]
fn main() {
use matchy::{Database, QueryResult};
let db = Database::from("database.mxy").open()?;
match db.lookup("example.com") {
Ok(Some(QueryResult::NotFound)) | Ok(None) => {
println!("No match");
}
Ok(Some(result)) => {
println!("Found: {result:?}");
}
Err(err) => {
eprintln!("Lookup error: {err}");
}
}
}
Ok(None) means the database has no applicable lookup table for the query type.
For example, an IP query against a string-only database can return None.
Misses in an existing table are represented by QueryResult::NotFound.
Adding Context
With standard error handling:
#![allow(unused)]
fn main() {
use matchy::Database;
fn load_db(path: &str) -> Result<Database, Box<dyn std::error::Error>> {
Database::from(path)
.open()
.map_err(|err| format!("failed to load database from {path}: {err}").into())
}
}
With anyhow:
#![allow(unused)]
fn main() {
use anyhow::{Context, Result};
use matchy::Database;
fn load_db(path: &str) -> Result<Database> {
Database::from(path)
.open()
.with_context(|| format!("failed to load database from {path}"))
}
}
Retry Logic
#![allow(unused)]
fn main() {
use matchy::{Database, DatabaseError};
use std::thread;
use std::time::Duration;
fn open_with_retry(path: &str, max_attempts: u32) -> Result<Database, DatabaseError> {
for attempt in 1..=max_attempts {
match Database::from(path).open() {
Ok(db) => return Ok(db),
Err(DatabaseError::Io(_)) if attempt < max_attempts => {
thread::sleep(Duration::from_millis(100 * u64::from(attempt)));
}
Err(err) => return Err(err),
}
}
unreachable!()
}
}
Complete Example
use matchy::{Database, DatabaseBuilder, DataValue, MatchMode, QueryResult};
use std::collections::HashMap;
use std::fs;
fn main() -> Result<(), Box<dyn std::error::Error>> {
let db = match Database::from("cache.mxy").open() {
Ok(db) => db,
Err(_) => build_database()?,
};
for query in ["192.0.2.1", "example.com", "login.evil.com"] {
match db.lookup(query) {
Ok(Some(QueryResult::NotFound)) | Ok(None) => {
println!("{query}: no match");
}
Ok(Some(result)) => {
println!("{query}: {result:?}");
}
Err(err) => {
eprintln!("{query}: {err}");
}
}
}
Ok(())
}
fn build_database() -> Result<Database, Box<dyn std::error::Error>> {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
let mut ip_data = HashMap::new();
ip_data.insert("description".to_string(), DataValue::String("test IP".to_string()));
builder.add_entry("192.0.2.1", ip_data)?;
let mut pattern_data = HashMap::new();
pattern_data.insert("category".to_string(), DataValue::String("phishing".to_string()));
builder.add_entry("*.evil.com", pattern_data)?;
let db_bytes = builder.build()?;
fs::write("cache.mxy", &db_bytes)?;
Ok(Database::from("cache.mxy").open()?)
}
See Also
- DatabaseBuilder - Building with validation
- Database Querying - Query errors
- Rust Error Handling
Validation API
Programmatic database validation for Rust applications.
Overview
The validation API checks Matchy databases from Rust code before loading them and produces a detailed report. Use Strict validation for databases from untrusted sources. Standard samples general MMDB data for trusted inputs, but a declared known schema still causes every referenced entry to be schema-validated.
#![allow(unused)]
fn main() {
use matchy::{Database, validation::{validate_database, ValidationLevel}};
use std::path::Path;
let report = validate_database(Path::new("database.mxy"), ValidationLevel::Strict)?;
if report.is_valid() {
println!("✓ Database passed strict validation");
// This path must still refer to the same protected bytes that were validated.
let db = Database::from("database.mxy").open()?;
} else {
eprintln!("✗ Validation failed:");
for error in &report.errors {
eprintln!(" - {}", error);
}
}
}
Validation applies to the bytes read during that validation call. If the application later reopens a mutable path, another process could replace the file between validation and open. Protect the path from replacement, validate an immutable or atomic snapshot, or bind an application-managed validation record to a content digest and invalidate it whenever the file changes.
Main Function
validate_database
#![allow(unused)]
fn main() {
pub fn validate_database(
path: &Path,
level: ValidationLevel
) -> Result<ValidationReport, MatchyError>
}
Validates a database file and returns a detailed report.
Parameters:
path- Path to the.mxydatabase filelevel- Validation strictness level
Returns: ValidationReport with errors, warnings, and statistics
Example:
#![allow(unused)]
fn main() {
use matchy::validation::{validate_database, ValidationLevel};
use std::path::Path;
let report = validate_database(
Path::new("database.mxy"),
ValidationLevel::Strict
)?;
println!("Validation complete:");
println!(" Errors: {}", report.errors.len());
println!(" Warnings: {}", report.warnings.len());
println!(" {}", report.stats.summary());
}
ValidationLevel
#![allow(unused)]
fn main() {
pub enum ValidationLevel {
Standard, // Runtime envelopes, sampled MMDB data, exhaustive known schemas
Strict, // Exhaustive MMDB tree validation plus deeper component checks
}
}
The matchy validate CLI defaults to Strict; callers of the Rust API choose a level explicitly.
Standard
Fast integrity validation that performs:
- The top-level format and section-envelope checks used by the runtime loader
- Header, version, and section-boundary checks
- Sampled structural and value validation of reachable MMDB data from up to 20 tree nodes
- Exhaustive schema validation of referenced entries when
database_typedeclares a known schema
Without a known schema, Standard does not exhaustively visit every tree record, data value, offset, or string. With a known schema, it still walks all referenced entries for schema conformance, so its running time can be linear in the database size.
#![allow(unused)]
fn main() {
let report = validate_database(path, ValidationLevel::Standard)?;
}
Strict (Recommended)
Deeper validation that performs:
- All
Standardchecks - Exhaustive checking of MMDB tree records and the reachable data references they expose
- Deeper consistency checks for extension components, mappings, and automaton structures
- The same exhaustive known-schema checks that also run in
Standard
Use Strict for untrusted input. It substantially increases coverage, but the report still describes the selected checks on the bytes that were read; it is not a promise about a subsequently replaced file.
#![allow(unused)]
fn main() {
let report = validate_database(path, ValidationLevel::Strict)?;
}
ValidationReport
#![allow(unused)]
fn main() {
pub struct ValidationReport {
pub errors: Vec<String>,
pub warnings: Vec<String>,
pub info: Vec<String>,
pub stats: DatabaseStats,
}
}
To keep a malformed file from turning diagnostics into a memory sink, a report retains at most 256 errors, 256 warnings, and 128 informational messages. The last retained slot becomes a suppression message when additional findings exist. Suppression never turns an invalid report into a valid one; statistics continue to use saturating counters where applicable.
Methods
is_valid()
#![allow(unused)]
fn main() {
pub fn is_valid(&self) -> bool
}
Returns true if the selected validation completed with no reported errors (warnings are allowed). This result applies only to the bytes read and to the coverage of the selected level.
#![allow(unused)]
fn main() {
if report.is_valid() {
// Open only if `path` still identifies the validated, protected bytes.
let db = Database::from(path).open()?;
}
}
Fields
errors
Critical errors that make the database unusable:
#![allow(unused)]
fn main() {
if !report.errors.is_empty() {
eprintln!("Critical errors found:");
for error in &report.errors {
eprintln!(" ❌ {}", error);
}
}
}
warnings
Non-fatal issues that may indicate problems:
#![allow(unused)]
fn main() {
if !report.warnings.is_empty() {
println!("Warnings:");
for warning in &report.warnings {
println!(" ⚠️ {}", warning);
}
}
}
info
Informational messages about the validation process:
#![allow(unused)]
fn main() {
for info in &report.info {
println!(" ℹ️ {}", info);
}
}
DatabaseStats
#![allow(unused)]
fn main() {
pub struct DatabaseStats {
pub file_size: usize,
pub version: u32,
pub ac_node_count: u32,
pub pattern_count: u32,
pub ip_entry_count: u32,
pub literal_count: u32,
pub glob_count: u32,
pub string_data_size: u32,
pub has_data_section: bool,
pub has_ac_literal_mapping: bool,
pub state_encoding_distribution: [u32; 4],
pub database_type: Option<String>,
pub schema_validated: bool,
pub schema_entries_checked: u32,
pub schema_validation_failures: u32,
}
}
version is the PARAGLOB version and is zero for an IP-only database.
ip_entry_count comes from MMDB metadata and is zero when that metadata is not
available. string_data_size and has_data_section describe the embedded
PARAGLOB pattern-string and inline-data sections, not the shared MMDB data
section.
Methods
summary()
#![allow(unused)]
fn main() {
pub fn summary(&self) -> String
}
Returns a human-readable summary:
#![allow(unused)]
fn main() {
println!("{}", report.stats.summary());
// Output: "Version: v5, Nodes: 1234, Patterns: 56 (20 literal, 36 glob), IPs: 100, Size: 128 KB"
}
Example Usage
#![allow(unused)]
fn main() {
let stats = &report.stats;
println!("Database Statistics:");
println!(" File size: {} KB", stats.file_size / 1024);
println!(" Version: v{}", stats.version);
println!(" Patterns: {} ({} literal, {} glob)",
stats.pattern_count, stats.literal_count, stats.glob_count);
println!(" IP entries: {}", stats.ip_entry_count);
println!(" AC nodes: {}", stats.ac_node_count);
if let Some(database_type) = &stats.database_type {
println!(" Type: {}", database_type);
}
println!(" Schema check: {}", stats.schema_validated);
}
Complete Example
use matchy::{Database, QueryResult, validation::{validate_database, ValidationLevel}};
use std::path::Path;
fn load_validated_database(path: &Path) -> Result<Database, Box<dyn std::error::Error>> {
// Validate first
let report = validate_database(path, ValidationLevel::Strict)?;
// Check for errors
if !report.is_valid() {
eprintln!("Database validation failed:");
for error in &report.errors {
eprintln!(" ❌ {}", error);
}
return Err("Validation failed".into());
}
// Show warnings if any
if !report.warnings.is_empty() {
println!("⚠️ Warnings:");
for warning in &report.warnings {
println!(" • {}", warning);
}
}
// Display stats
println!("✓ Validation passed");
println!(" {}", report.stats.summary());
// The caller must ensure `path` cannot be replaced between validation and open.
Ok(Database::from(path).open()?)
}
fn main() -> Result<(), Box<dyn std::error::Error>> {
let db = load_validated_database(Path::new("database.mxy"))?;
// Query the opened database
if let Some(result @ (QueryResult::Ip { .. } | QueryResult::Pattern { .. })) =
db.lookup("example.com")?
{
println!("Found: {:?}", result);
}
Ok(())
}
Validation in Production
Pattern: Validate Once, Use Many Times
#![allow(unused)]
fn main() {
use std::sync::{Arc, RwLock};
use std::collections::HashMap;
struct DatabaseCache {
databases: Arc<RwLock<HashMap<String, Arc<Database>>>>,
}
impl DatabaseCache {
fn load(
&self,
content_id: &str,
path: &Path,
) -> Result<Arc<Database>, Box<dyn std::error::Error>> {
// `content_id` is an application-provided digest or immutable identity.
// Check cache first
{
let cache = self.databases.read().unwrap();
if let Some(db) = cache.get(content_id) {
return Ok(Arc::clone(db));
}
}
// Validate a protected snapshot before loading it.
let report = validate_database(path, ValidationLevel::Strict)?;
if !report.is_valid() {
return Err(format!(
"Database validation failed with {} errors",
report.errors.len()
).into());
}
// Load and cache only while the path is protected from replacement.
let db = Arc::new(Database::from(path).open()?);
let mut cache = self.databases.write().unwrap();
cache.insert(content_id.to_string(), Arc::clone(&db));
Ok(db)
}
}
}
Pattern: Background Validation
#![allow(unused)]
fn main() {
use std::sync::mpsc;
use std::thread;
use std::time::Duration;
fn validate_database_async(
path: String,
) -> Result<mpsc::Receiver<ValidationReport>, Box<dyn std::error::Error>> {
let (tx, rx) = mpsc::channel();
thread::spawn(move || {
let report = validate_database(
Path::new(&path),
ValidationLevel::Standard
);
if let Ok(report) = report {
let _ = tx.send(report);
}
});
Ok(rx)
}
// Usage
let rx = validate_database_async("large.mxy".to_string())?;
// Do other work...
// Check result when ready
if let Ok(report) = rx.recv_timeout(Duration::from_secs(5)) {
if report.is_valid() {
// Ensure the path still names the bytes checked by the background task.
let db = Database::from("large.mxy").open()?;
}
}
}
Error Handling
Validation errors are separate from database errors:
#![allow(unused)]
fn main() {
use matchy::{MatchyError, validation::{validate_database, ValidationLevel}};
match validate_database(path, ValidationLevel::Strict) {
Ok(report) if report.is_valid() => {
// The bytes read passed the selected validation checks.
println!("✓ Database validation passed");
}
Ok(report) => {
// Validation completed but found errors
eprintln!("✗ Database has {} errors", report.errors.len());
for error in &report.errors {
eprintln!(" - {}", error);
}
}
Err(MatchyError::Io(e)) => {
eprintln!("I/O error during validation: {}", e);
}
Err(MatchyError::Format(e)) => {
eprintln!("Format error during validation: {}", e);
}
Err(e) => {
eprintln!("Validation error: {}", e);
}
}
}
Performance Considerations
Best Practices:
- Use Strict for untrusted databases and Standard only when sampled general coverage is appropriate; known-schema checks remain exhaustive
- Validate immutable or protected bytes, so the file cannot change before it is opened
- Manage validation caching in the application, keyed by a digest or immutable identity and invalidated on replacement
- Impose file-size and resource limits appropriate to the deployment before validation
- Validate in the background only when the eventual open is tied to the same bytes
Security Best Practices
Always Validate Untrusted Input
#![allow(unused)]
fn main() {
fn load_user_database(user_file: &Path) -> Result<Database, Box<dyn std::error::Error>> {
// ALWAYS validate user-provided files
let report = validate_database(user_file, ValidationLevel::Strict)?;
if !report.is_valid() {
return Err("Untrusted database failed validation".into());
}
// `user_file` must be an immutable/protected snapshot at this point.
Database::from(user_file).open().map_err(Into::into)
}
}
The validator’s core parsing is implemented in safe Rust and malformed structures fail closed with validation errors. Separately, database open validates top-level envelopes, and query paths perform deliberate bounds checks before accessing nested serialized references. These runtime checks complement explicit validation; they do not turn a stale validation report into a report about replacement bytes.
Validation is not a general resource sandbox: callers should enforce file-size, memory, CPU-time, and concurrency limits suitable for their environment.
Limit File Size
#![allow(unused)]
fn main() {
fn validate_with_size_limit(
path: &Path,
max_size: u64,
) -> Result<ValidationReport, Box<dyn std::error::Error>> {
let metadata = std::fs::metadata(path)?;
if metadata.len() > max_size {
return Err(format!(
"Database too large: {} bytes (max: {})",
metadata.len(),
max_size
).into());
}
validate_database(path, ValidationLevel::Strict).map_err(Into::into)
}
}
See Also
- matchy validate - CLI validation command
- Error Handling - Error types and handling
- Binary Format - What gets validated
- Database Querying - Using validated databases
C API Overview
Matchy provides a C ABI for applications that need to build, open, query, or
extract indicators without using Rust directly. The generated header is the
source of truth and is produced by cbindgen during release builds.
Header File
#include <matchy/matchy.h>
Build the release library to regenerate headers:
cargo build --release
The generated header is written under crates/matchy/include/matchy/.
Core Types
typedef struct matchy_t matchy_t;
typedef struct matchy_builder_t matchy_builder_t;
typedef struct matchy_result_t {
bool found;
uint8_t prefix_len;
uint8_t _result_type; /* 0=not found, 1=ip, 2=pattern */
uint32_t _data_offset;
const matchy_t *_db_ref;
} matchy_result_t;
matchy_t and matchy_builder_t are opaque handles. Do not dereference them.
matchy_result_t is returned by value and stores offsets into the database
rather than owning decoded heap data.
Error Codes
#define MATCHY_SUCCESS 0
#define MATCHY_ERROR_FILE_NOT_FOUND -1
#define MATCHY_ERROR_INVALID_FORMAT -2
#define MATCHY_ERROR_CORRUPT_DATA -3
#define MATCHY_ERROR_OUT_OF_MEMORY -4
#define MATCHY_ERROR_INVALID_PARAM -5
#define MATCHY_ERROR_IO -6
#define MATCHY_ERROR_SCHEMA_VALIDATION -7
#define MATCHY_ERROR_UNKNOWN_SCHEMA -8
#define MATCHY_ERROR_LOOKUP_PATH_INVALID -9
#define MATCHY_ERROR_NO_DATA -10
#define MATCHY_ERROR_DATA_PARSE -11
#define MATCHY_ERROR_INTERNAL -12
Function Groups
Database operations:
matchy_open()- Open a database from a file pathmatchy_open_with_options()- Open with cache/watch/update optionsmatchy_init_open_options()- Initializematchy_open_options_tmatchy_open_buffer()- Open from an in-memory buffermatchy_close()- Close a database handlematchy_query()- Query and returnmatchy_result_tby valuematchy_query_into()- Query into caller-provided result storagematchy_get_stats()- Read query statisticsmatchy_clear_cache()- Clear the current thread’s query cache
Builder operations:
matchy_builder_new()- Create a buildermatchy_builder_set_case_insensitive()- Configure string match modematchy_builder_set_schema()- Enable built-in schema validationmatchy_builder_add()- Add an IP, CIDR, literal, or glob entry with JSON datamatchy_builder_set_description()- Set metadata descriptionmatchy_builder_set_update_url()- Set metadata update URLmatchy_builder_save()- Build and write a database filematchy_builder_build()- Build into a caller-owned buffermatchy_builder_free()- Free a builder
Result and data operations:
matchy_result_get_entry()- Convert a found result to an entry handlematchy_aget_value()- Read nested data using a NULL-terminated path arraymatchy_get_entry_data_list()- Traverse full entry datamatchy_free_entry_data_list()- Free traversal outputmatchy_result_to_json()- Convert a result to a JSON stringmatchy_free_string()- Free strings returned by Matchymatchy_free_result()- No-op kept for ABI compatibility
Extractor operations:
matchy_extractor_create()- Create an extractor withMATCHY_EXTRACT_*flagsmatchy_extractor_extract_chunk()- Extract patterns from bytesmatchy_matches_free()- Free extracted match arraysmatchy_extractor_free()- Free the extractormatchy_item_type_name()- Get a display name for an item type constant
Query Pattern
matchy_t *db = matchy_open("database.mxy");
if (db == NULL) {
fprintf(stderr, "failed to open database\n");
return 1;
}
matchy_result_t result = matchy_query(db, "192.0.2.1");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("match: %s\n", json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
matchy_close(db);
For compatibility, matchy_query() and matchy_query_into() expose only a
found flag. found == false can mean no match, malformed matched data, or a
runtime query-resource limit. The current C query API does not provide a
per-query error channel; applications that must distinguish those cases need a
future result-bearing C API rather than inferring that every false result is a
clean miss.
Use matchy_query_into() when a language binding cannot safely receive C
structs by value:
matchy_result_t result;
matchy_query_into(db, "example.com", &result);
Builder Pattern
matchy_builder_t *builder = matchy_builder_new();
if (builder == NULL) {
return 1;
}
int32_t err = matchy_builder_add(
builder,
"192.0.2.1",
"{\"category\":\"scanner\"}"
);
if (err == MATCHY_SUCCESS) {
err = matchy_builder_add(
builder,
"*.evil.com",
"{\"category\":\"phishing\"}"
);
}
if (err == MATCHY_SUCCESS) {
err = matchy_builder_save(builder, "database.mxy");
}
matchy_builder_free(builder);
Cache Options And Stats
matchy_open_options_t opts;
matchy_init_open_options(&opts);
opts.cache_capacity = 100000;
matchy_t *db = matchy_open_with_options("threats.mxy", &opts);
matchy_stats_t stats;
matchy_get_stats(db, &stats);
printf("total queries: %llu\n", (unsigned long long)stats.total_queries);
Set opts.cache_capacity = 0 to disable query caching. Positive values set an
entry ceiling; estimated retained result heap is separately capped at 64 MiB
per thread across at most 16 recent database generations.
Extractor Example
matchy_extractor_t *ext = matchy_extractor_create(
MATCHY_EXTRACT_DOMAINS | MATCHY_EXTRACT_IPV4 | MATCHY_EXTRACT_IPV6
);
const char *text = "Check evil.com and 192.168.1.1";
matchy_matches_t matches;
if (matchy_extractor_extract_chunk(
ext,
(const uint8_t *)text,
strlen(text),
&matches
) == MATCHY_SUCCESS) {
for (size_t i = 0; i < matches.count; i++) {
printf("%s: %s\n",
matchy_item_type_name(matches.items[i].item_type),
matches.items[i].value);
}
matchy_matches_free(&matches);
}
matchy_extractor_free(ext);
Thread Safety
matchy_t *handles are safe for concurrent read queries.matchy_builder_t *handles are not thread-safe.- Each thread should use its own
matchy_result_tandmatchy_matches_t. matchy_result_tdoes not own decoded data; it is valid only while its database handle remains open.
See Also
Building Databases from C
The C builder API creates .mxy databases from IP addresses, CIDR ranges,
literal strings, and glob patterns. Entry type detection is handled by
matchy_builder_add().
Basic Flow
#include <matchy/matchy.h>
matchy_builder_t *builder = matchy_builder_new();
matchy_builder_add(builder, "192.0.2.1", "{\"category\":\"scanner\"}");
matchy_builder_add(builder, "*.evil.com", "{\"category\":\"phishing\"}");
int32_t err = matchy_builder_save(builder, "database.mxy");
matchy_builder_free(builder);
Use {} when an entry has no metadata. json_data must not be NULL.
Builder Functions
matchy_builder_new
matchy_builder_t *matchy_builder_new(void);
Creates a new builder. Free it with matchy_builder_free().
matchy_builder_set_case_insensitive
int32_t matchy_builder_set_case_insensitive(
matchy_builder_t *builder,
bool case_insensitive
);
When enabled, literal and glob string matching is case-insensitive. IP matching is unaffected.
matchy_builder_set_schema
int32_t matchy_builder_set_schema(
matchy_builder_t *builder,
const char *schema_name
);
Enables built-in schema validation. For example:
int32_t err = matchy_builder_set_schema(builder, "threatdb");
matchy_builder_add
int32_t matchy_builder_add(
matchy_builder_t *builder,
const char *key,
const char *json_data
);
key may be:
- IPv4 or IPv6 address:
"192.0.2.1","2001:db8::1" - CIDR range:
"10.0.0.0/8","2001:db8::/32" - Glob pattern:
"*.evil.com","test[123].example" - Literal string:
"example.com"
Examples:
int32_t err;
err = matchy_builder_add(builder, "8.8.8.8", "{}");
err = matchy_builder_add(builder, "10.0.0.0/8", "{\"type\":\"private\"}");
err = matchy_builder_add(builder, "*.google.com", "{\"category\":\"search\"}");
err = matchy_builder_add(builder, "example.com", "{\"safe\":true}");
JSON values that are not objects are wrapped under the "value" key internally:
matchy_builder_add(builder, "score.example", "42");
matchy_builder_save
int32_t matchy_builder_save(
matchy_builder_t *builder,
const char *filename
);
Builds and writes a database file. This consumes the builder’s current internal state; create a new builder for another independent build.
matchy_builder_build
int32_t matchy_builder_build(
matchy_builder_t *builder,
uint8_t **buffer,
uintptr_t *size
);
Builds into a C-allocated buffer. The caller must free the returned buffer with
free().
uint8_t *buffer = NULL;
uintptr_t size = 0;
if (matchy_builder_build(builder, &buffer, &size) == MATCHY_SUCCESS) {
/* use buffer */
free(buffer);
}
matchy_builder_free
void matchy_builder_free(matchy_builder_t *builder);
Safe to call with NULL. After calling it, the handle must not be used.
Complete Example
#include <matchy/matchy.h>
#include <stdio.h>
int main(void) {
int32_t err = MATCHY_SUCCESS;
matchy_builder_t *builder = matchy_builder_new();
if (builder == NULL) {
return 1;
}
err = matchy_builder_set_case_insensitive(builder, true);
if (err != MATCHY_SUCCESS) goto cleanup;
err = matchy_builder_add(builder, "192.0.2.1",
"{\"country\":\"US\",\"category\":\"scanner\"}");
if (err != MATCHY_SUCCESS) goto cleanup;
err = matchy_builder_add(builder, "10.0.0.0/8",
"{\"type\":\"private\"}");
if (err != MATCHY_SUCCESS) goto cleanup;
err = matchy_builder_add(builder, "*.google.com",
"{\"category\":\"search\"}");
if (err != MATCHY_SUCCESS) goto cleanup;
err = matchy_builder_add(builder, "example.com",
"{\"safe\":true}");
if (err != MATCHY_SUCCESS) goto cleanup;
err = matchy_builder_save(builder, "my_database.mxy");
if (err != MATCHY_SUCCESS) goto cleanup;
printf("database written to my_database.mxy\n");
cleanup:
matchy_builder_free(builder);
return err == MATCHY_SUCCESS ? 0 : 1;
}
Compile with the generated include directory and built library:
gcc -o build_db build_db.c \
-I./crates/matchy/include \
-L./target/release \
-lmatchy
Error Codes
| Code | Constant | Meaning |
|---|---|---|
| 0 | MATCHY_SUCCESS | Operation succeeded |
| -2 | MATCHY_ERROR_INVALID_FORMAT | Invalid JSON, key, or build format |
| -4 | MATCHY_ERROR_OUT_OF_MEMORY | Allocation failed |
| -5 | MATCHY_ERROR_INVALID_PARAM | NULL pointer or invalid UTF-8 |
| -6 | MATCHY_ERROR_IO | Write failed |
| -7 | MATCHY_ERROR_SCHEMA_VALIDATION | Entry failed configured schema |
| -8 | MATCHY_ERROR_UNKNOWN_SCHEMA | Unknown schema name |
| -12 | MATCHY_ERROR_INTERNAL | Panic caught at FFI boundary |
Thread Safety
Builders are not thread-safe. Add entries and build from a single thread.
for (size_t i = 0; ips[i] != NULL; i++) {
int32_t err = matchy_builder_add(builder, ips[i], "{}");
if (err != MATCHY_SUCCESS) {
fprintf(stderr, "failed to add %s: %d\n", ips[i], err);
}
}
See Also
C Querying
The current C query API uses an offset-only result struct that owns no decoded
data. Cold string queries can still grow bounded thread-local matcher scratch;
steady-state queries reuse it. Queries return
matchy_result_t by value, or write into caller-provided storage with
matchy_query_into().
An offset-only result from an auto-reloading handle is not bound to the database
generation that produced it. If a reload can occur between matchy_query() and
JSON/entry navigation, the token may refer to different bytes. Use a
non-watching handle when deferred data access must be snapshot-stable.
Opening Databases
matchy_t *matchy_open(const char *filename);
matchy_t *db = matchy_open("database.mxy");
if (db == NULL) {
fprintf(stderr, "failed to open database\n");
return 1;
}
Open from memory:
matchy_t *matchy_open_buffer(const uint8_t *buffer, uintptr_t size);
The buffer must be valid for the duration of the call. Matchy copies the bytes
before returning, so the caller may release or reuse the input buffer after
matchy_open_buffer() returns.
Querying
matchy_result_t matchy_query(const matchy_t *db, const char *query);
matchy_query() automatically detects IP strings and otherwise performs string
lookup across literals and glob patterns.
matchy_result_t result = matchy_query(db, "192.0.2.1");
if (!result.found) {
printf("no match\n");
}
For bindings that prefer out-parameters:
void matchy_query_into(
const matchy_t *db,
const char *query,
matchy_result_t *result
);
matchy_result_t result;
matchy_query_into(db, "test.example.com", &result);
Result Handling
typedef struct matchy_result_t {
bool found;
uint8_t prefix_len;
uint8_t _result_type; /* 0=not found, 1=ip, 2=pattern */
uint32_t _data_offset;
const matchy_t *_db_ref;
} matchy_result_t;
Use found for match detection. prefix_len is populated for IP results.
The _result_type, _data_offset, and _db_ref fields are exposed by the C
ABI but should be treated as implementation details outside low-level bindings.
Convert a result to JSON:
matchy_result_t result = matchy_query(db, "8.8.8.8");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
puts(json);
matchy_free_string(json);
}
}
matchy_free_result(&result);
Access structured data:
matchy_entry_s entry = {0};
if (matchy_result_get_entry(&result, &entry) == MATCHY_SUCCESS) {
const char *path[] = {"country", "iso_code", NULL};
matchy_entry_data_t data = {0};
if (matchy_aget_value(&entry, &data, path) == MATCHY_SUCCESS &&
data.type_ == MATCHY_DATA_TYPE_UTF8_STRING) {
printf("country: %.*s\n",
(int)data.data_size,
data.value.utf8_string);
}
}
String and byte pointers returned through matchy_aget_value() remain valid
until matchy_close(db). The handle retains successful returned allocations
without eviction under a 64 MiB estimated-storage cap. Exhaustion preserves all
earlier pointers and returns MATCHY_ERROR_OUT_OF_MEMORY for a new retained
value. Use matchy_get_entry_data_list() plus
matchy_free_entry_data_list() when caller-controlled reclamation is required;
each list has its own 64 MiB aggregate cap.
Complete Example
#include <matchy/matchy.h>
#include <stdio.h>
int main(void) {
matchy_t *db = matchy_open("database.mxy");
if (db == NULL) {
fprintf(stderr, "failed to open database\n");
return 1;
}
const char *queries[] = {
"192.0.2.1",
"test.example.com",
"notfound.example",
};
for (size_t i = 0; i < sizeof(queries) / sizeof(queries[0]); i++) {
matchy_result_t result = matchy_query(db, queries[i]);
if (!result.found) {
printf("%s: no match\n", queries[i]);
matchy_free_result(&result);
continue;
}
char *json = matchy_result_to_json(&result);
if (json != NULL) {
printf("%s: %s\n", queries[i], json);
matchy_free_string(json);
} else {
printf("%s: match\n", queries[i]);
}
matchy_free_result(&result);
}
matchy_close(db);
return 0;
}
Performance Tips
- Reuse a
matchy_t *handle instead of opening per query. - Use
matchy_query_into()for FFI layers that avoid by-value struct returns. - Repeated string queries benefit from the built-in per-thread LRU cache.
- Keep the database handle open while inspecting a result; result data is offset based and depends on the open database.
Error Codes
Most query calls return an empty matchy_result_t for invalid parameters or
misses. Data navigation helpers return integer status codes:
MATCHY_SUCCESS(0)MATCHY_ERROR_OUT_OF_MEMORY(-4)MATCHY_ERROR_INVALID_PARAM(-5)MATCHY_ERROR_NO_DATA(-10)MATCHY_ERROR_DATA_PARSE(-11)
See Also
C Memory Management
The Matchy C API uses opaque handles for long-lived Rust objects and zero-allocation query results for lookups. Most cleanup rules are simple: close database handles, free builders, free strings returned by Matchy, and free extractor match arrays.
Ownership Rules
- Input strings and buffers are owned by the caller and must remain valid for the duration of the call.
matchy_t *handles are owned by the caller aftermatchy_open()ormatchy_open_buffer()succeeds.matchy_builder_t *handles are owned by the caller aftermatchy_builder_new()succeeds.matchy_result_tis returned by value and does not own decoded heap data.- Strings returned by Matchy must be released with
matchy_free_string(). - Extracted match arrays must be released with
matchy_matches_free().
Database Handles
matchy_t *db = matchy_open("database.mxy");
if (db == NULL) {
return 1;
}
/* query db */
matchy_close(db);
db = NULL;
Do not call matchy_close() while another thread is querying the same handle.
Builder Handles
matchy_builder_t *builder = matchy_builder_new();
if (builder == NULL) {
return 1;
}
int32_t err = matchy_builder_add(builder, "key", "{\"value\":42}");
if (err == MATCHY_SUCCESS) {
err = matchy_builder_save(builder, "database.mxy");
}
matchy_builder_free(builder);
builder = NULL;
Builder handles are not thread-safe.
Query Results
matchy_result_t result = matchy_query(db, "192.0.2.1");
if (result.found) {
/* inspect result */
}
matchy_free_result(&result);
matchy_free_result() is currently a no-op because matchy_result_t stores
offsets into the open database instead of owning heap allocations. Keeping the
call in code is still useful for ABI compatibility and future changes.
Any data accessed through a result depends on the database handle remaining
open. Do not close db before converting the result to JSON or reading entry
data.
File-backed handles memory-map the database. Keep that inode immutable until
matchy_close(): publish updates with a complete temporary file plus atomic
replacement, never in-place truncation or rewriting.
Strings Returned By Matchy
matchy_result_t result = matchy_query(db, "8.8.8.8");
if (result.found) {
char *json = matchy_result_to_json(&result);
if (json != NULL) {
puts(json);
matchy_free_string(json);
}
}
Only pass strings returned by Matchy to matchy_free_string().
String and byte pointers placed in matchy_entry_data_t by
matchy_aget_value() are owned by the database handle and remain valid until
matchy_close(). Successful string and byte results are retained without
eviction, under a 64 MiB estimated-storage cap per handle. Once that cap is
exhausted, earlier pointers remain valid and new retained values return
MATCHY_ERROR_OUT_OF_MEMORY. There is no per-value free operation.
For repeated bulk traversal, prefer an entry-data list. Each list has its own
64 MiB aggregate storage cap and is reclaimed by
matchy_free_entry_data_list().
Entry Data Lists
matchy_entry_s entry = {0};
if (matchy_result_get_entry(&result, &entry) == MATCHY_SUCCESS) {
matchy_entry_data_list_t *list = NULL;
if (matchy_get_entry_data_list(&entry, &list) == MATCHY_SUCCESS) {
/* walk list */
matchy_free_entry_data_list(list);
}
}
Build To Buffer
matchy_builder_build() allocates a byte buffer for the caller. Free it with
the C allocator after matchy_open_buffer() returns.
uint8_t *buffer = NULL;
uintptr_t size = 0;
if (matchy_builder_build(builder, &buffer, &size) == MATCHY_SUCCESS) {
matchy_t *db = matchy_open_buffer(buffer, size);
free(buffer);
if (db != NULL) {
matchy_result_t result = matchy_query(db, "key");
matchy_free_result(&result);
matchy_close(db);
}
}
The buffer passed to matchy_open_buffer() only needs to remain valid for the
call itself because Matchy copies the bytes before returning.
Extractor Matches
matchy_extractor_t *extractor = matchy_extractor_create(MATCHY_EXTRACT_ALL);
matchy_matches_t matches;
if (matchy_extractor_extract_chunk(
extractor,
(const uint8_t *)text,
strlen(text),
&matches
) == MATCHY_SUCCESS) {
for (size_t i = 0; i < matches.count; i++) {
puts(matches.items[i].value);
}
matchy_matches_free(&matches);
}
matchy_extractor_free(extractor);
The value pointers inside matchy_matches_t are valid until
matchy_matches_free() is called.
Cleanup Pattern
int process(const char *path, const char *query) {
int ret = 1;
matchy_t *db = matchy_open(path);
if (db == NULL) {
return ret;
}
matchy_result_t result = matchy_query(db, query);
if (result.found) {
ret = 0;
}
matchy_free_result(&result);
matchy_close(db);
return ret;
}
Common Mistakes
Use after close:
matchy_result_t result = matchy_query(db, "query");
matchy_close(db);
/* Wrong: result depends on db for data decoding */
char *json = matchy_result_to_json(&result);
Double close:
matchy_close(db);
matchy_close(db); /* undefined behavior */
Forgetting returned strings:
char *json = matchy_result_to_json(&result);
if (json != NULL) {
/* use json */
matchy_free_string(json);
}
Thread Safety
matchy_t *may be shared across threads for concurrent queries.matchy_builder_t *should be used from one thread.- Each thread should use its own
matchy_result_t. - Each thread should use its own
matchy_matches_t.
Valgrind
valgrind --leak-check=full \
--show-leak-kinds=all \
--track-origins=yes \
./your_program
See Also
Binary Format Specification
Detailed binary format specification for Matchy databases.
Matchy databases use the MaxMind DB (MMDB) format with optional extensions for string and pattern matching.
Overview
The format has three main components:
- MMDB Section: Standard MaxMind DB format for IP address lookups
- PARAGLOB Section: Optional extension for glob pattern matching
- String Literals Hash Section: Optional extension for exact string matching
All components coexist in a single .mxy file.
File Structure
Note: The MMDB format is unusual - it has no header or magic bytes at the start. The file begins directly with the IP search tree, and all metadata is stored at the end of the file.
┌─────────────────────────────────────────────────────────┐
│ IP Search Tree (Binary Trie) │ Starts at byte 0
├─────────────────────────────────────────────────────────┤
│ 16-byte separator │
├─────────────────────────────────────────────────────────┤
│ Data Section (Shared) │ MMDB data values
├─────────────────────────────────────────────────────────┤
│ MMDB_PATTERN separator (optional) │ "MMDB_PATTERN\x00\x00\x00\x00"
├─────────────────────────────────────────────────────────┤
│ PARAGLOB SECTION (optional) │ Glob pattern matching
├─────────────────────────────────────────────────────────┤
│ MMDB_LITERAL separator (optional) │ "MMDB_LITERAL\x00\x00\x00\x00"
├─────────────────────────────────────────────────────────┤
│ STRING LITERALS HASH SECTION (optional) │ O(1) exact string lookups
├─────────────────────────────────────────────────────────┤
│ Metadata Marker │ "\xAB\xCD\xEFMaxMind.com"
├─────────────────────────────────────────────────────────┤
│ MMDB Metadata (within last 128KB) │ node_count, record_size, etc.
└─────────────────────────────────────────────────────────┘
Section Descriptions
IP Search Tree: Binary trie for IP address lookups. This is the first data in the file (offset 0). The tree structure depends on metadata fields that are only available after parsing the metadata at the end of the file.
Data Section: Shared MMDB-encoded data values referenced by all query types (IP, pattern, and literal lookups).
PARAGLOB Section: Optional section for glob pattern matching. Present when
the database contains inferred wildcard patterns (for example,
*.example.com) or entries explicitly forced to glob: matching.
String Literals Hash Section: Optional hash table for O(1) exact string matching. Only present if the database contains literal strings (non-wildcard patterns).
MMDB Metadata: Contains essential database information:
node_count: Number of nodes in the IP search treerecord_size: Size of tree records (24, 28, or 32 bits)ip_version: IPv4 (4) or IPv6 (6)pattern_section_offset: Offset to PARAGLOB section (0 if absent)literal_section_offset: Offset to literal hash section (0 if absent)- Build timestamp, database type, description, etc.
The metadata marker (\xAB\xCD\xEFMaxMind.com) is located within the last 128KB of the file. Parsers search backwards from the end to find it.
MMDB Section
The file follows the standard MaxMind DB format:
- See MaxMind DB Spec
Key characteristics:
- No header at start of file
- File begins with IP search tree data at offset 0
- Metadata stored at end of file for fast tail access
- Memory-mappable with zero-copy access
Metadata
Standard MMDB metadata map at the end of the file (after metadata marker):
{
"binary_format_major_version": 2,
"binary_format_minor_version": 0,
"build_epoch": 1234567890,
"database_type": "Matchy",
"description": {
"en": "Matchy unified database"
},
"ip_version": 6,
"node_count": 12345,
"record_size": 28
}
Search Tree
Binary trie for IP address lookups:
- Record sizes: 24, 28, or 32 bits
- Node sizes: 6, 7, or 8 bytes respectively (two packed records per node)
- Byte order: MMDB tree records use the byte layout defined by the MaxMind DB specification
Each node contains a left and right record. A record can identify another tree node, the not-found sentinel, or a value in the MMDB data section. For example, the 28-bit layout is:
Node (7 bytes):
├─ Left pointer (28 bits) → next node or data
└─ Right pointer (28 bits) → next node or data
Data Section
Standard MMDB data types supported by Matchy:
| Type | Code | Size | Notes |
|---|---|---|---|
| Pointer | 1 | Variable | Offset into data section |
| String | 2 | Variable | UTF-8 text |
| Double | 3 | 8 bytes | IEEE 754 |
| Bytes | 4 | Variable | Binary data |
| Uint16 | 5 | 2 bytes | Unsigned integer |
| Uint32 | 6 | 4 bytes | Unsigned integer |
| Map | 7 | Variable | Key-value pairs |
| Int32 | 8 | 4 bytes | Signed integer |
| Uint64 | 9 | 8 bytes | Unsigned integer |
| Uint128 | 10 | 16 bytes | Unsigned integer |
| Array | 11 | Variable | Ordered list |
| Boolean | 14 | 0 bytes | Value in type byte |
| Float | 15 | 4 bytes | IEEE 754 |
See MaxMind DB Format for encoding details.
Matchy Extended Types
Matchy extends the MMDB format with additional types using codes 128+:
| Type | Code | Size | Notes |
|---|---|---|---|
| Timestamp | 128 | 8 bytes | Unix epoch seconds (signed i64) |
These types are stored using the MMDB extended type mechanism (raw byte = code - 7). Timestamp values are serialized to JSON as ISO 8601 strings (e.g., 2025-10-02T18:44:31Z) for human readability while stored compactly as 8 bytes instead of 27-byte strings.
Type 128 is not part of the MMDB standard, so standard MMDB readers cannot
decode a value that contains it. Generic JSON deserialization into DataValue
converts RFC 3339 strings to this timestamp representation. Construct a
DataValue::String explicitly when standard-reader interoperability is
required.
Matchy’s decoder accepts all standard types but deliberately bounds resource use: pointer depth 32, total nesting 64, at most one million decoded values, and at most 64 MiB of estimated owned allocation per decode budget. Smaller sections use proportional budgets with floors. A database pattern query shares one budget across all matched values. These limits are an input-safety policy, not additional MMDB wire-format rules.
PARAGLOB Section Format
When glob patterns are present, the PARAGLOB section contains:
#![allow(unused)]
fn main() {
#[repr(C)]
struct ParaglobHeader {
magic: [u8; 8], // "PARAGLOB"
version: u32, // Format version (currently 5)
match_mode: u32, // 0=CaseSensitive, 1=CaseInsensitive
ac_node_count: u32, // Number of AC automaton nodes
ac_nodes_offset: u32, // Offset to node array
// ... additional fields for pattern data
}
}
Followed by:
- Aho-Corasick automaton nodes and edges
- Pattern metadata entries
- Glob segment data
- Pattern-to-data mappings
In a combined .mxy file, the bytes immediately after the
MMDB_PATTERN marker are wrapped as:
total_size: u32
paraglob_size: u32
paraglob_bytes: [u8; paraglob_size]
pattern_count: u32
data_offsets: [u32; pattern_count]
total_size includes this wrapper header, the PARAGLOB bytes, the mapping
count, and every mapping offset. The outer data_offsets are relative to the
start of the shared MMDB data section; offset zero is a valid first value.
See matchy-paraglob/src/offset_format.rs for the complete
ParaglobHeader structure (112 bytes in v5).
String Literals Hash Section Format (Version 3)
When literal strings are present, a hash table section provides O(1) lookups using 96-bit truncated XXH3 hashes:
#![allow(unused)]
fn main() {
#[repr(C)]
struct LiteralHashHeader {
magic: [u8; 4], // "LHSH"
version: u32, // 3
entry_count: u32, // Number of patterns
table_size: u32, // Hash table capacity
num_shards: u32, // Number of shards (power of 2)
shard_bits: u32, // Bits used for sharding
mappings_offset: u32, // Offset from LHSH start to mappings
table_offset: u32, // 8-byte-aligned hash table offset
}
#[repr(C)]
struct HashEntry {
hash_lo: u64, // Low 64 bits of XXH3_128
hash_hi: u32, // Next 32 bits of XXH3_128
pattern_id: u32, // Pattern ID for data lookup
}
}
The 32-byte header is followed by:
shard_offsets: [u32; num_shards + 1]
padding to an 8-byte boundary
hash_entries: [HashEntry; table_size]
mapping_count: u32
mappings: [(pattern_id: u32, data_offset: u32); mapping_count]
Header offsets are relative to the start of the LHSH bytes. Mapping
data_offset values are relative to the containing MMDB data section, and
offset zero is valid.
Key characteristics:
- Hash-only storage: Original strings are not stored, but low-entropy indicators remain dictionary-enumerable; this is not a privacy boundary
- 96-bit hashes: Collisions are unlikely but possible, with probability increasing with the number of stored and queried values; because original strings are absent, a collision can produce a false positive
- Sharded construction: Parallel building for large datasets
- 16-byte entries: Same size as v1, but ~50% smaller total (no string pool)
See matchy-literal-hash crate for implementation details.
Data Alignment
Serialized structures have field-specific layout requirements:
- PARAGLOB typed tables: 4-byte alignment where required by their fields
- ACNodeHot: 20 bytes, 4-byte alignment
- AC edges and most PARAGLOB tables: 4-byte alignment
- Literal hash header and entries: decoded from bytes;
table_offsetis an 8-byte-aligned offset relative to theLHSHstart - Dense AC lookup tables: the builder uses cache-line alignment
The builder zero-fills alignment padding. MMDB search-tree nodes are packed byte records and do not use native struct alignment.
Offset Encoding
Offset bases are part of each field’s contract; there is no universal base or universal null value.
| Field or structure | Offset base |
|---|---|
| MMDB tree data records | Encoded according to the MMDB tree/data-section rules |
pattern_section_offset, literal_section_offset metadata | Absolute file offset immediately after the corresponding 16-byte marker |
| PARAGLOB header section offsets | Start of the PARAGLOB buffer |
| AC-local node, edge, and pattern references | Start of the serialized AC buffer |
Inline PatternDataMapping.data_offset | Start of the PARAGLOB inline data section |
| Combined-pattern outer mapping offsets | Start of the shared MMDB data section |
| Literal-header offsets | Start of the LHSH buffer |
| Literal pattern-mapping data offsets | Start of the shared MMDB data section |
In particular, zero is a valid shared-data offset. Fields that use zero as “absent” document that behavior individually.
Version History
Version 5 (Current)
- Serialized glob segments for zero-copy loading
- Optimized memory layout with 20-byte ACNodeHot records
- Support for patterns, exact strings, and IP addresses
- Aho-Corasick automaton for pattern matching
- Separate hash table for exact literal matches
- Embedded MMDB data format
Previous Versions
- v4: ACNodeHot (20-byte) for 50% memory reduction
- v3: Serialized AC literal mapping for direct loading
- v2: Data section support for pattern-associated data
- v1: Original format, patterns only
These entries describe format history, not a compatibility promise. The current PARAGLOB reader accepts v5 only; older files require migration or rebuilding.
Format Validation
Opening a database validates the format identity, supported version, declared top-level section envelopes, extension markers, and component topology needed to construct the runtime views. Nested serialized records are bounds-checked before they are accessed.
The separate strict validator performs deeper, exhaustive checks over referenced tree records and component relationships. Its checks include:
- Magic bytes match: “\xAB\xCD\xEFMaxMind.com” at end, “PARAGLOB” if pattern section present
- Version supported: PARAGLOB version 5 currently
- Section envelopes in bounds: Declared top-level ranges fit their containing sections
- Alignment correct: Structures with alignment requirements start at valid offsets
- Section offsets: Metadata contains correct
pattern_section_offsetandliteral_section_offset - File size: Must be at least large enough for tree + metadata
Validation errors result in format errors. See matchy validate command for detailed validation.
Memory Mapping
The format is designed for memory mapping:
- No pointer fixups: Serialized references use documented offsets rather than process pointers
- No relocations: Position-independent
- Byte-oriented reads: Serialized fields can be checked without creating process pointers
- Bounds checkable: Section sizes and offset bases are explicit in their containing format
Example:
#![allow(unused)]
fn main() {
let file = File::open("database.mxy")?;
let mmap = unsafe { Mmap::map(&file)? };
// Direct access to structures
let header = read_paraglob_header(&mmap)?;
let nodes = get_node_array(&mmap, header.nodes_offset)?;
}
Cross-Platform Compatibility
The MMDB portion follows the portable MaxMind DB encoding. Matchy’s extension sections currently support little-endian targets (including x86-64 and little-endian ARM):
- Endianness: Extension files are emitted and read on little-endian targets. The marker reserves future big-endian support; the current reader does not byte-swap extension structs.
- Layout: Fixed-width fields and explicit padding (
u32, notsize_t) - ABI:
#[repr(C)]structures
A database built on Linux/x86-64 works on macOS/ARM64 when the ARM target is little-endian. Big-endian extension compatibility is not currently supported.
Future Extensions
Reserved fields for future versions:
- Pattern compilation flags (case sensitivity, etc.)
- Compressed string tables
- Alternative hash functions
- Additional data formats
Version changes will be backward-compatible when possible.
See Also
MMDB Integration
Technical reference for MaxMind DB (MMDB) compatibility layer.
Overview
Matchy provides a compatibility layer that allows existing libmaxminddb applications to use Matchy databases with minimal code changes.
Compatibility Header
#include <matchy/maxminddb.h>
Provides source-level counterparts for commonly used libmaxminddb functions.
The compatibility layer is not ABI-compatible and does not implement every
low-level libmaxminddb behavior.
Function Mapping
Opening Databases
| libmaxminddb | Matchy Equivalent |
|---|---|
MMDB_open() | matchy_open() |
MMDB_open_from_buffer() | matchy_open_buffer() |
MMDB_close() | matchy_close() |
Lookups
| libmaxminddb | Matchy Equivalent |
|---|---|
MMDB_lookup_string() | matchy_query() |
MMDB_lookup_sockaddr() | matchy_query() with a string form of the address |
Data Access
| libmaxminddb | Matchy Equivalent |
|---|---|
MMDB_get_value() | matchy_aget_value() |
MMDB_get_entry_data_list() | matchy_get_entry_data_list() |
Key Differences
1. Additional Features
Matchy extends MMDB with:
- Pattern matching: Glob patterns with
*and? - Exact strings: Hash-based literal matching
- Zero-copy strings: No allocation for string results
2. Error Handling
Most Matchy C helpers use integer error codes. Queries return a result struct:
matchy_result_t result = matchy_query(db, "192.0.2.1");
if (result.found) {
// Use result
}
vs. libmaxminddb status codes:
int gai_error, mmdb_error;
MMDB_lookup_result result = MMDB_lookup_string(mmdb, "192.0.2.1",
&gai_error, &mmdb_error);
3. Result Lifetime
Matchy query results are offset-only structs that own no decoded data (the matcher may still grow bounded thread-local scratch on a cold string query):
matchy_result_t result = matchy_query(db, query);
if (result.found) {
// Use result
}
matchy_free_result(&result); // No-op today; kept for ABI compatibility
4. Data Types
Matchy supports the standard MMDB data types and also defines a Matchy-only
Timestamp extended type 128. Standard MMDB readers cannot decode that type.
Matchy’s decoder also enforces pointer-depth, nesting, work, and allocation
limits; these safety limits are not part of the MMDB format itself.
Migration Path
Quick Migration
-
Replace includes:
// Old #include <maxminddb.h> // New #include <matchy/maxminddb.h> -
Update open calls:
// Old MMDB_s mmdb; int status = MMDB_open(filename, MMDB_MODE_MMAP, &mmdb); // New matchy_t *db = matchy_open(filename); if (!db) { /* error */ } -
Update lookups:
// Old int gai_error, mmdb_error; MMDB_lookup_result result = MMDB_lookup_string(&mmdb, ip, &gai_error, &mmdb_error); // New matchy_result_t result = matchy_query(db, ip); if (result.found) { // Use result matchy_free_result(&result); }
Gradual Migration
For large codebases:
- Use both libraries side-by-side
- Migrate one component at a time
- Test thoroughly
- Switch fully when ready
Binary Compatibility
Matchy databases use:
- A standard MMDB tree, separator, metadata section, and standard data encodings
- Optional PARAGLOB and literal-hash sections outside tree-referenced data
- An optional Matchy-only
Timestampvalue type
Existing MMDB tools can ignore the text-index sections and read IP records whose
values use only standard MMDB types. They cannot decode Matchy Timestamp
values.
Performance
Matchy uses the same broad MMDB tree and memory-mapping design:
- IP lookups: Same O(n) binary trie
- Memory usage: Memory-mapped like MMDB
- Opening: Memory-mapped and avoids whole-file deserialization; latency depends on storage, cache state, platform, extensions, and legacy scanning
- Additional: Optional text indexes do not participate in IP tree traversal, but they do add file size and open-time validation work
Limitations
Not Supported
- MMDB metadata queries (use
matchy inspectinstead) - Custom memory allocators
- Legacy MMDB v1 format
Planned
- Full MMDB API compatibility shim
- Automatic format detection
- Transparent fallback to libmaxminddb
See Also
- MMDB Compatibility Guide - User guide
- Migrating from libmaxminddb - Step-by-step migration
- C API Overview - Native Matchy C API
- Binary Format - Database format specification
Matchy Database Format (.mxy)
Matchy’s hybrid database format uses the MaxMind DB (MMDB) tree and standard data encodings, then adds optional indexes for literals and glob patterns. Matchy reads standard MMDB v2 types within documented decoder resource limits. Standard MMDB readers can decode Matchy IP values when those values use only standard types.
The native and compatibility APIs make common GeoIP-style workflows familiar,
but Matchy is not an unlimited or byte-for-byte replacement for every
libmaxminddb behavior. In particular, Matchy’s extended Timestamp type 128 is
not understood by standard MMDB readers.
The Matchy database format (.mxy) achieves this by extending the standard MMDB format to support IP addresses, string literals, and glob patterns in a single unified, memory-mappable database file.
Design Goals
- Standard-type compatibility - Read MMDB v2 files within bounded decoder limits
- Interoperable output - Standard MMDB tools can read IP values that use standard types
- Separate extensions - Add string/pattern indexes outside tree-referenced data
- Predictable query routing - Keep IP traversal independent of optional text indexes
- Single file - All query types in one memory-mappable database
File Structure
The .mxy format uses a dual-section approach with optional extensions:
block-beta
columns 3
block:mmdb["MMDB Section (Required)"]:3
columns 1
meta["MMDB Metadata Header"]
tree["IP Binary Trie"]
data["Shared Data Section"]
end
space:3
block:ext["Extended Section (Optional)"]:3
columns 1
magic["PARAGLOB Magic Bytes"]
strings["String Hash Index"]
patterns["Aho-Corasick Automaton"]
refs["Data References"]
end
data --> refs
style mmdb fill:#e1f5ff,stroke:#0288d1,stroke-width:2px
style ext fill:#fff3e0,stroke:#ef6c00,stroke-width:2px
style data fill:#c8e6c9,stroke:#388e3c,stroke-width:2px
style refs fill:#c8e6c9,stroke:#388e3c,stroke-width:2px
MMDB Section (Always Present)
The base section follows the standard MaxMind DB format:
- MMDB Metadata Header: Database configuration, record size, node count
- IP Binary Trie: Prefix tree for fast IP address lookups
- Shared Data Section: Encoded data values referenced by all query types
Extended Section (Optional)
When string or pattern matching is needed, an additional section is appended:
- PARAGLOB Magic Bytes: 8-byte identifier marking the extended section
- String Hash Index: Hash table for exact string literal matching
- Aho-Corasick Automaton: Multi-pattern matching for glob expressions
- Data References: Offsets pointing back into the shared data section
Key Innovation: Shared Data Section
The critical design element is that both sections reference the same data section:
graph LR
A[IP Lookup] --> D[Shared Data]
B[String Lookup] --> D
C[Pattern Lookup] --> D
style D fill:#c8e6c9,stroke:#388e3c,stroke-width:3px
style A fill:#e1f5ff,stroke:#0288d1,stroke-width:2px
style B fill:#fff3e0,stroke:#ef6c00,stroke-width:2px
style C fill:#fff3e0,stroke:#ef6c00,stroke-width:2px
This means:
- ✅ No data duplication regardless of query type
- ✅ Memory-efficient for databases with mixed query types
- ✅ Single source of truth for all metadata
- ✅ Consistent results across query methods
Compatibility Matrix
| Database Type | Matchy | libmaxminddb | Notes |
|---|---|---|---|
Standard MMDB v2 (.mmdb) | ✅ Standard types within limits | ✅ | Matchy enforces decoder resource limits |
IP-only .mxy, standard value types | ✅ | ✅ IP lookups | No Matchy-only value types |
Full .mxy, standard IP value types | ✅ | ✅ IP lookups | Text indexes are ignored by libmaxminddb |
.mxy with Matchy Timestamp values | ✅ | ⚠️ | Extended type 128 is Matchy-specific |
Reading Standard MMDB Files
Matchy’s native API can open common standard MMDB databases:
#![allow(unused)]
fn main() {
use std::net::IpAddr;
let db = Database::from("GeoLite2-City.mmdb").open()?;
let result = db.lookup_ip("8.8.8.8".parse::<IpAddr>()?)?;
}
Writing IP-Compatible Databases
IP-only .mxy databases whose values use standard types work with existing
MMDB tools:
# Build database with Matchy
matchy build ips.csv --input-format csv --output geoip.mxy
# Query with libmaxminddb tools
mmdbinspect -db geoip.mxy 8.8.8.8 # Works!
# Query with Matchy for full API
matchy query geoip.mxy 8.8.8.8
Extended Databases
Databases with strings and patterns retain standard-reader IP interoperability when their IP values use only standard MMDB types:
# Build database with all query types
matchy build ips.csv domains.csv patterns.csv \
--input-format csv \
--output full.mxy
# IP lookups work with both tools
mmdbinspect -db full.mxy 1.2.3.4 # ✅ Works
matchy query full.mxy 1.2.3.4 # ✅ Works
# String/pattern lookups only work with Matchy
matchy query full.mxy "example.com" # ✅ Works
matchy query full.mxy "*.example.com" # ✅ Works
Implementation Details
Format Detection Algorithm
Matchy automatically detects the database format on opening:
flowchart TD
A[Open File] --> B{"MMDB magic<br/>bytes present?"}
B -->|Yes| C[Parse MMDB Section]
B -->|No| Z[Error: Invalid Format]
C --> D{"PARAGLOB magic<br/>after MMDB?"}
D -->|Yes| E[Parse Extended Section]
D -->|No| F[IP-only Database]
E --> G[Full Database]
F --> H[Ready]
G --> H
Z --> I[Fail]
style C fill:#e1f5ff,stroke:#0288d1,stroke-width:2px
style E fill:#fff3e0,stroke:#ef6c00,stroke-width:2px
style H fill:#c8e6c9,stroke:#388e3c,stroke-width:2px
style I fill:#ffcdd2,stroke:#c62828,stroke-width:2px
Unified API
Regardless of format, the API remains consistent:
#![allow(unused)]
fn main() {
// Single API works for all database types
let db = Database::from("database.mxy").open()?;
// Query based on input type
let ip_result = db.lookup("192.168.1.1")?; // IP lookup
let str_result = db.lookup("example.com")?; // String lookup
let glob_result = db.lookup("*.example.com")?; // Pattern lookup
}
Memory Mapping
The file is memory-mapped so Matchy can read its indexes in place without deserializing the entire database:
- MMDB references use the bases defined by the MMDB format
- Extension references use the base defined by each extension structure
- Database open validates metadata and top-level section envelopes
- Nested serialized references receive deliberate bounds checks when they are accessed
Those access-time checks are part of the runtime safety model; memory mapping avoids whole-file decoding, not the need to validate each nested reference before use.
Performance Impact
IP lookup uses the MMDB tree regardless of whether text indexes are present.
Opening a combined file also validates the optional extension envelopes and
retains their runtime views, so “zero overhead” is not an appropriate blanket
claim. Measure open and query behavior with matchy bench on the target data,
hardware, storage, and page-cache state.
See Also
- Binary Format Details - Low-level format specification
- MMDB Integration - Getting started with MMDB compatibility
- System Architecture - Overall system design
- Performance Benchmarks - Detailed performance analysis
Input Formats Reference
Technical specification of supported input formats for building Matchy databases.
Overview
Matchy supports four input formats:
- Text - Simple line-based
- CSV - Comma-separated with metadata
- JSON - Structured data
- MISP - Threat intelligence format
All formats support mixing IPs, patterns, and exact strings.
Text Format
Specification
file = (entry | comment | blank)* ;
entry = ip | cidr | pattern | exact ;
comment = "#" .* "\n" ;
blank = "\n" ;
ip = ipv4 | ipv6 ;
ipv4 = digit{1,3} "." digit{1,3} "." digit{1,3} "." digit{1,3} ;
ipv6 = /* RFC 4291 IPv6 address */ ;
cidr = ip "/" digit{1,3} ;
pattern = .* ( "*" | "?" | "[" ) .* ;
exact = .* ;
Entry Classification
Entries are automatically classified:
- Contains
/→ CIDR range - Valid IPv4/IPv6 → IP address
- Contains
*,?,[→ Glob pattern - Otherwise → Exact string
Type Prefixes
Override auto-detection with explicit type prefixes:
| Prefix | Type | Example |
|---|---|---|
literal: | Exact string | literal:*.txt |
glob: | Pattern | glob:test.com |
ip: | IP/CIDR | ip:10.0.0.1 |
The prefix is automatically stripped before storage:
literal:file*.txt # Stored as exact string "file*.txt"
glob:simple.com # Stored as pattern "simple.com"
ip:192.168.1.1 # Stored as IP address 192.168.1.1
See Entry Types - Prefix Technique for details.
Examples
# IPv4 addresses
192.0.2.1
10.0.0.1
# IPv6 addresses
2001:db8::1
::1
# CIDR ranges
10.0.0.0/8
192.168.0.0/16
2001:db8::/32
# Glob patterns
*.example.com
test-*.domain.com
http://*/admin/*
[a-z]*.evil.com
# Exact strings
exact.match.com
specific-domain.com
Limitations
- No metadata support
- No per-entry JSON data
- Whitespace-only lines ignored
- UTF-8 encoding required
CLI Usage
matchy build input.txt --output output.mxy
CSV Format
Specification
file = header row* ;
header = "entry" ("," column_name)* "\n" ;
row = entry_value ("," value)* "\n" ;
Required Columns
| Column | Required | Description |
|---|---|---|
entry or key | Yes | IP, pattern, or exact string |
| Other columns | No | Converted to JSON metadata |
Data Type Mapping
| CSV Value | JSON Type |
|---|---|
"text" | String |
123 | Number |
true/false | Boolean |
| Empty | Null |
Examples
Simple CSV
entry,category,threat_level
192.0.2.1,malware,high
*.phishing.com,phishing,medium
exact.com,suspicious,low
Generates:
{
"192.0.2.1": {
"category": "malware",
"threat_level": "high"
}
}
Complex CSV
entry,type,score,tags,verified
10.0.0.1,botnet,95,"c2,trojan",true
*.evil.com,phishing,87,spam,false
CSV with Type Prefixes
entry,category,note
literal:test[1].txt,filesystem,Filename with brackets
glob:*.example.com,domain,Pattern match
ip:192.168.1.0/24,network,Private range
Quoting Rules
- Values with commas must be quoted:
"value,with,comma" - Quotes inside values:
"value with ""quote""" - Empty values allowed:
entry,,value
CLI Usage
matchy build --input-format csv --output output.mxy input.csv
JSON Format
Specification
[
{
"key": "entry1",
"data": { /* metadata */ }
},
{
"entry": "entry2",
"data": { /* metadata */ }
}
]
Array Format
JSON input must be a single array. Each object must have a key or entry field
containing the IP, CIDR, glob pattern, or exact string. Optional metadata belongs
under the data field.
[
{
"key": "192.0.2.1",
"data": {
"category": "malware",
"score": 95
}
},
{
"key": "*.evil.com",
"data": {
"category": "phishing",
"score": 87
}
}
]
Array Format with Type Prefixes
[
{
"key": "literal:file*.backup",
"data": {
"category": "filesystem",
"note": "Match literal asterisk"
}
},
{
"key": "glob:example.com",
"data": {
"category": "domain",
"note": "Force pattern matching"
}
},
{
"key": "ip:10.0.0.0/8",
"data": {
"category": "network",
"note": "Explicit IP range"
}
}
]
Supported Types
| JSON Type | Stored As | Notes |
|---|---|---|
string | UTF-8 string | Max 64KB |
number | Float64 or Int32 | Depends on value |
boolean | Boolean | 1 byte |
null | Null marker | 1 byte |
array | Array | Nested arrays supported |
object | Map | Nested objects supported |
Nested Structures
[
{
"key": "192.0.2.1",
"data": {
"threat": {
"category": "malware",
"subcategory": "trojan",
"details": {
"variant": "emotet",
"version": "3.2"
}
},
"tags": ["c2", "botnet", "high-confidence"],
"scores": {
"static": 95,
"dynamic": 87,
"reputation": 92
}
}
}
]
CLI Usage
matchy build --input-format json --output output.mxy input.json
MISP Format
Specification
Subset of MISP (Malware Information Sharing Platform) JSON format.
{
"Event": {
"Attribute": [
{
"type": "ip-dst" | "domain" | "url" | /* ... */,
"value": string,
"category": string,
"comment": string,
/* ... additional MISP fields */
}
]
}
}
Supported Attribute Types
| MISP Type | Matchy Classification |
|---|---|
ip-src, ip-dst, ip | IP address or CIDR |
ip-src|port, ip-dst|port | IP address (port ignored) |
domain, hostname | Exact string, or Matchy glob if the value contains valid glob syntax |
domain|ip | Domain/hostname classification plus IP address |
url, uri | Exact URL plus exact extracted host |
email, email-src, email-dst, email-reply-to | Exact string |
filename, filename-pattern | Exact string |
pattern-in-file, pattern-in-traffic, pattern-in-memory | Exact string |
yara, snort, sigma | Exact string |
MISP does not have a dedicated domain-glob attribute type. Matchy treats valid
glob syntax in domain and hostname values as a convenience for feeds that
represent wildcard domains this way:
{
"type": "domain",
"value": "*.example.com",
"category": "Network activity"
}
This imports as a Matchy glob and matches values such as evil.example.com.
Normal domain values such as evil.example.com remain exact strings and use
Matchy’s literal hash lookup path. MISP’s
broader pattern-like types (pattern-in-file, pattern-in-traffic,
filename-pattern, and similar) are not interpreted as Matchy glob syntax
because MISP does not define a single regex or glob language for those values.
Example
{
"Event": {
"info": "Malware Campaign 2024-01",
"Attribute": [
{
"type": "ip-dst",
"value": "192.0.2.1",
"category": "Network activity",
"comment": "C2 server",
"to_ids": true
},
{
"type": "domain",
"value": "evil.example.com",
"category": "Network activity",
"comment": "Phishing domain"
},
{
"type": "url",
"value": "http://evil.example.com/admin/config.php",
"category": "Payload delivery",
"comment": "Malicious URL"
}
]
}
}
Metadata Extraction
MISP attributes are converted to Matchy metadata:
{
"type": "ip-dst",
"category": "Network activity",
"comment": "C2 server",
"to_ids": true,
"event_info": "Malware Campaign 2024-01"
}
CLI Usage
matchy build --input-format misp --output output.mxy threat-feed.json
Format Comparison
| Feature | Text | CSV | JSON | MISP |
|---|---|---|---|---|
| Metadata | ❌ | ✅ Simple | ✅ Rich | ✅ Structured |
| Nested data | ❌ | ❌ | ✅ | ✅ |
| Arrays | ❌ | ❌ | ✅ | ✅ |
| Auto-type | ✅ | ✅ | ✅ | Partial |
| Size | Smallest | Small | Medium | Large |
| Readability | High | High | Medium | Low |
| Standard | No | RFC 4180 | RFC 8259 | MISP spec |
Auto-Detection
By Extension
| Extension | Format |
|---|---|
.txt | Text |
.csv | CSV |
.json | JSON array |
.misp | MISP |
By Content
If extension unknown, inspects content:
- Starts with
{→ JSON or MISP - Starts with
[→ JSON array - Contains
,→ CSV - Otherwise → Text
Character Encoding
Requirement
All formats must be UTF-8 encoded.
Validation
- Automatic UTF-8 validation during build
- Invalid UTF-8 → build error
BOM Handling
UTF-8 BOM (Byte Order Mark) is:
- Detected and skipped
- Not required
- Not preserved in database
Size Limits
| Component | Limit | Notes |
|---|---|---|
| File size | 4GB | Total input file |
| Entry key | 64KB | Single IP/pattern/string |
| JSON value | 16MB | Per-entry metadata |
| Entries | 4B | Total entries in database |
Error Handling
Parse Errors
$ matchy build --input-format csv bad.csv --output bad.mxy
Error: Parse error at line 42: Unclosed quote
Encoding Errors
$ matchy build input.txt
Error: Invalid UTF-8 at byte offset 1234
Format Errors
$ matchy build --input-format json bad.json --output bad.mxy
Error: Expected object or array at root
Best Practices
Choose the Right Format
- Text: Simple lists without metadata
- CSV: Tabular data with simple metadata
- JSON: Rich structured metadata
- MISP: Threat intelligence feeds
Optimize for Size
- Use text format when no metadata needed
- Avoid deeply nested JSON
- Keep metadata minimal
- Compress input files (gzip)
Validate Before Building
# Validate CSV
csv-validator input.csv
# Validate JSON
jq empty input.json
# Test build
matchy build input.json --input-format json --output test.mxy
See Also
- Input Formats Guide - User-friendly examples
- matchy build command - Build command reference
- Database Builder API - Programmatic building
- Data Types Reference - Supported data types
Schemas Reference
Built-in schemas for validating database yield values.
Overview
Matchy includes built-in schemas that define the structure of yield values for common database types. When you specify a known schema type during matchy build, yield values are validated against the schema, catching errors early.
Available Schemas
| Name | Metadata Type | Description |
|---|---|---|
threatdb | ThreatDB-v1 | Threat intelligence with MISP/STIX-compatible fields |
Using Schemas
CLI
Enable schema validation with --database-type:
# Use the short name - enables ThreatDB schema validation
matchy build --database-type threatdb threats.csv --input-format csv --output threats.mxy
# Custom names skip validation
matchy build --database-type "MyCompany-Intel" data.csv --input-format csv --output custom.mxy
When you use a known schema name like threatdb:
- Yield values are validated against the schema during build
- The canonical
database_type(ThreatDB-v1) is set in metadata - Validation errors stop the build with helpful messages
Rust API
Use DatabaseBuilderExt::with_schema() for automatic validation during database building:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, DatabaseBuilderExt, MatchMode, DataValue};
use std::collections::HashMap;
// Create builder with schema validation
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("threatdb")?;
// Entries are validated automatically
let mut data = HashMap::new();
data.insert("threat_level".to_string(), DataValue::String("high".to_string()));
data.insert("category".to_string(), DataValue::String("malware".to_string()));
data.insert("source".to_string(), DataValue::String("abuse.ch".to_string()));
builder.add_entry("1.2.3.4", data)?; // Validated!
// Invalid data fails immediately
let mut bad_data = HashMap::new();
bad_data.insert("threat_level".to_string(), DataValue::String("extreme".to_string()));
builder.add_entry("2.3.4.5", bad_data)?;
// Error: Validation error: Entry '2.3.4.5': "extreme" is not one of [...]
}
You can also query schema information directly:
#![allow(unused)]
fn main() {
use matchy::schemas::{get_schema_info, is_known_database_type};
// Check if a type has built-in validation
if is_known_database_type("threatdb") {
let info = get_schema_info("threatdb").unwrap();
println!("Canonical type: {}", info.database_type); // "ThreatDB-v1"
}
}
ThreatDB Schema
The ThreatDB schema (threatdb) is designed for threat intelligence databases, with fields compatible with MISP and STIX 2.1 concepts.
Required Fields
| Field | Type | Description |
|---|---|---|
threat_level | string | Severity: critical, high, medium, low, unknown |
category | string | Threat type (lowercase): malware, c2, phishing, etc. |
source | string | Origin feed or organization |
Optional Fields
| Field | Type | Description |
|---|---|---|
confidence | integer | Score 0-100 (STIX 2.1 compatible) |
first_seen | string | ISO 8601 datetime |
last_seen | string | ISO 8601 datetime |
description | string | Human-readable notes |
tags | array | List of strings for classification |
reference | string | URL to external documentation |
tlp | string | Traffic Light Protocol: CLEAR, GREEN, AMBER, AMBER+STRICT, RED |
indicator_type | string | What the key represents: ip-src, domain, url, sha256, etc. |
Threat Levels
| Value | MISP Equivalent | Use Case |
|---|---|---|
critical | - | Active campaigns, zero-days |
high | 1 | Known active threats |
medium | 2 | Suspicious activity |
low | 3 | Low confidence or historical |
unknown | 4 | Insufficient data |
Common Categories
malware c2 phishing botnet ransomware
spam scanner proxy cryptomining dropper
apt tor-exit vpn bruteforce exploit
rat stealer ddos
TLP (Traffic Light Protocol)
| Value | Sharing |
|---|---|
CLEAR | Unrestricted (formerly WHITE) |
GREEN | Community-wide |
AMBER | Limited distribution |
AMBER+STRICT | Organization only |
RED | Named recipients only |
Example: CSV Input
key,threat_level,category,source,confidence,tags
192.0.2.1,high,c2,abuse.ch,95,"emotet,banking"
*.evil.com,medium,phishing,internal,75,
10.0.0.0/8,low,scanner,honeypot,50,
Example: JSON Input
{
"192.0.2.1": {
"threat_level": "high",
"category": "c2",
"source": "abuse.ch",
"confidence": 95,
"first_seen": "2024-01-15T10:30:00Z",
"tags": ["emotet", "banking-trojan"],
"tlp": "AMBER"
},
"*.evil.com": {
"threat_level": "medium",
"category": "phishing",
"source": "internal",
"description": "Phishing campaign targeting employees"
}
}
Example: Build with Validation
$ matchy build --database-type threatdb --input-format json threats.json --output threats.mxy
Schema validation: enabled (ThreatDB-v1)
Building database from threats.json
Added 2 entries
Successfully wrote threats.mxy
Validation Errors
Invalid data produces clear error messages:
$ cat bad.csv
key,threat_level,category,source
192.0.2.1,critical,malware,abuse.ch
10.0.0.1,extreme,badcat,
$ matchy build --database-type threatdb bad.csv --input-format csv --output out.mxy
Schema validation failed for entry "10.0.0.1"
Validation errors:
- /threat_level: "extreme" is not one of ["critical","high","medium","low","unknown"]
- /source: string length 0 is less than minLength 1
Use a custom --database-type name if you don't want schema validation.
Validating Existing Databases
The matchy validate command checks schema compliance for databases with known database_type:
# Validates structure AND schema if database_type is "ThreatDB-v1"
matchy validate threats.mxy
Validation detects the schema from the database_type metadata field.
Custom Schemas (Future)
Currently, only built-in schemas are supported. Custom schema support via --schema <file> may be added in future versions.
For now, use a custom --database-type name to skip schema validation:
# No validation - your own structure
matchy build --database-type "MyCompany-ThreatFeed-v2" data.json --input-format json --output custom.mxy
Schema API Reference
DatabaseBuilderExt Trait
The DatabaseBuilderExt trait adds schema support to DatabaseBuilder:
#![allow(unused)]
fn main() {
use matchy::{DatabaseBuilder, DatabaseBuilderExt, MatchMode};
let builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("threatdb")?;
}
with_schema(schema_name: &str) -> Result<Self, SchemaError>
Configures the builder with automatic schema validation.
- All entries are validated before insertion
- Sets
database_typemetadata automatically - Returns error if schema name is unknown
#![allow(unused)]
fn main() {
// Valid schema name
let builder = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("threatdb")?;
// Unknown schema - returns SchemaError
let result = DatabaseBuilder::new(MatchMode::CaseInsensitive)
.with_schema("unknown");
assert!(result.is_err());
}
Schema Lookup Functions
#![allow(unused)]
fn main() {
use matchy::schemas::{
get_schema_info,
schema_database_type,
detect_schema_from_database_type,
available_schemas,
is_known_database_type,
};
}
get_schema_info(name: &str) -> Option<&'static SchemaInfo>
Returns full schema metadata.
#![allow(unused)]
fn main() {
let info = get_schema_info("threatdb").unwrap();
println!("{}: {}", info.name, info.description);
// threatdb: Threat intelligence database with MISP/STIX-compatible fields
}
schema_database_type(name: &str) -> Option<&'static str>
Maps short name to canonical database_type.
#![allow(unused)]
fn main() {
assert_eq!(schema_database_type("threatdb"), Some("ThreatDB-v1"));
}
detect_schema_from_database_type(db_type: &str) -> Option<&'static str>
Maps database_type back to schema name.
#![allow(unused)]
fn main() {
assert_eq!(detect_schema_from_database_type("ThreatDB-v1"), Some("threatdb"));
}
available_schemas() -> impl Iterator<Item = &'static str>
Lists all available schema names.
#![allow(unused)]
fn main() {
for name in available_schemas() {
println!(" - {}", name);
}
}
is_known_database_type(name: &str) -> bool
Checks if a name is a known schema (short name or database_type).
#![allow(unused)]
fn main() {
assert!(is_known_database_type("threatdb"));
assert!(is_known_database_type("ThreatDB-v1"));
assert!(!is_known_database_type("Custom-Type"));
}
SchemaInfo Struct
#![allow(unused)]
fn main() {
pub struct SchemaInfo {
/// Short name used in CLI (e.g., "threatdb")
pub name: &'static str,
/// Database type string set in metadata (e.g., "ThreatDB-v1")
pub database_type: &'static str,
/// Human-readable description
pub description: &'static str,
}
}
See Also
- DatabaseBuilder - Building databases with schema validation
- matchy build - CLI building with schema validation
- matchy validate - Validating databases
- Data Types Reference - Supported yield value types
- Input Formats - CSV/JSON input format details
Performance Benchmarks
Official performance benchmarks and testing methodology for Matchy.
Overview
Matchy provides built-in benchmarking via the matchy bench command. The
built-in workloads use generated data and measure build time, open time, and
query throughput. Use application data for production decisions.
Running Benchmarks
Quick Benchmark
matchy bench ip
Runs default IP benchmark (1M entries).
Custom Benchmark
matchy bench pattern --count 100000 --query-count 1000000
Benchmark Types
ip- IPv4 and IPv6 address lookupsliteral- Exact string matchingpattern- Glob pattern matchingcombined- Mixed workload (IPs + patterns)
See matchy bench command for full options.
Archived Results
The numbers in this section were generated with version 0.5.2 on unspecified Apple M-series hardware. They predate the current v2 format and the version 3 literal-hash implementation. They are retained only as historical context and must not be used as current performance claims or regression baselines.
IP Address Lookups
Configuration: 100,000 IPv4 addresses, 100,000 queries
| Metric | Value |
|---|---|
| Build time | 0.04s |
| Build rate | 2.76M IPs/sec |
| Database size | 586 KB |
| Load time | 0.54ms |
| Query throughput | 5.80M queries/sec |
| Query latency | 0.17µs |
Key characteristics:
- O(32) lookups for IPv4, O(128) for IPv6
- Binary trie traversal
- Cache-friendly sequential access
String Literal Matching
Configuration: 50,000 literal strings, 50,000 queries
| Metric | Value |
|---|---|
| Build time | 0.01s |
| Build rate | 4.03M literals/sec |
| Database size | 3.00 MB |
| Load time | 0.49ms |
| Query throughput | 4.58M queries/sec |
| Query latency | 0.22µs |
Key characteristics:
- O(1) hash table lookups
- Historical implementation predating the current sharded 96-bit XXH3 format
- Results require a fresh run before comparison with current code
Pattern Matching (Globs)
Configuration: 10,000 glob patterns, 50,000 queries
| Metric | Value |
|---|---|
| Build time | 0.00s |
| Build rate | 4.08M patterns/sec |
| Database size | 62 KB |
| Load time | 0.27ms |
| Query throughput | 4.57M queries/sec |
| Query latency | 0.22µs |
Key characteristics:
- Aho-Corasick automaton
- Parallel pattern matching
- Glob wildcard support
Combined Database
Configuration: 10,000 IPs + 10,000 patterns, 50,000 queries
| Metric | Value |
|---|---|
| Build time | 0.01s |
| Build rate | 1.41M entries/sec |
| Database size | 2.29 MB |
| Load time | 0.46ms |
| Query throughput | 15.43K queries/sec |
| Query latency | 64.83µs |
Key characteristics:
- Historical generated mixed workload
- Combined IP and pattern searches
- Production-like performance
Archived v0.5.2 Performance Factors
Database Size
| Entries | Build Time | Query Throughput |
|---|---|---|
| 10K | <0.01s | 6.5M queries/sec |
| 100K | 0.04s | 5.8M queries/sec |
| 1M | 0.35s | 5.2M queries/sec |
| 10M | 3.5s | 4.8M queries/sec |
These are historical v0.5.2 observations, not current scaling guarantees.
Hit Rate Impact
| Hit Rate | Throughput | Notes |
|---|---|---|
| 0% | 6.2M/sec | Early termination |
| 10% | 5.8M/sec | Default benchmark |
| 50% | 5.5M/sec | Realistic workload |
| 100% | 5.0M/sec | Data extraction overhead |
Higher hit rates show slightly lower throughput due to result extraction overhead.
Trusted Mode
| Mode | Throughput | Notes |
|---|---|---|
| Safe | 4.9M/sec | UTF-8 validation |
| Trusted | 5.8M/sec | ~18% faster |
Memory Usage
Per-Database Overhead
- Mapped bytes: Virtual address space scales with file size; resident pages depend on access patterns and OS policy
- Runtime metadata: Small owned structures are retained for section views and validated indexes
- Query cache: Optional and workload-dependent; each active thread retains at most 16 recent generations under one 64 MiB estimated live-result budget
- Query state: Some hot paths reuse thread-local buffers that can grow and retain capacity
Sharing Between Processes
Read-only file-backed pages can be shared by processes mapping the same file. Actual resident memory also includes private runtime metadata, query caches, page tables, and pages dirtied or retained by the operating system. Measure RSS/PSS under a representative access pattern instead of assuming it equals the database size.
Scalability
Vertical Scaling
Opened databases support concurrent read-only lookups, but scaling is not guaranteed to be linear. It depends on CPU topology, memory bandwidth, cache behavior, query mix, and per-thread cache state. Measure the intended thread count and pinning policy on the deployment hardware.
Horizontal Scaling
Multiple servers can use the same database:
- NFS/shared storage: All servers access one copy
- Local copies: Each server loads independently
- Hot reload: Update without restart
Comparing Alternatives
Do not compare Matchy with PostgreSQL, Redis, a HashMap, or a regex engine by
copying generic throughput numbers: durability, network transport, query
semantics, hit rate, data representation, and cache state differ. Build an
end-to-end benchmark with equivalent data and correctness requirements, then
report the complete command, software versions, hardware, storage, warm-up,
cache policy, and result distribution.
Benchmarking Methodology
Data Generation
Benchmarks use realistic synthetic data:
- IPs: Mix of /32 addresses and CIDR ranges
- Literals: Domain-like strings
- Patterns: Realistic glob patterns
Measurement
- Build time: Time to compile entries
- Save time: Disk write performance
- Open time: Mapping plus structural parsing, reported separately for warm and cold page-cache states
- Query time: Batch throughput and latency distribution after an explicit warm-up policy
Hardware
Record at least:
- Matchy version and exact revision
- CPU model, core count, governor/power mode, RAM, OS, and filesystem
- Storage model and whether the page cache is warm or cold
- Database size and format versions
- Query count, hit rate, pattern style, cache settings, and thread count
- Concurrent system load and repeated-run variance
Relative performance is not assumed to remain constant across hardware or workloads.
Reproducing Benchmarks
Local Testing
# IP benchmark
matchy bench ip -n 100000 --query-count 100000
# Pattern benchmark
matchy bench pattern -n 10000 --query-count 50000
# Combined benchmark
matchy bench combined -n 20000 --query-count 50000
Continuous Integration
# Run benchmarks and check for regressions
matchy bench ip > results.txt
grep "QPS" results.txt
Custom Workloads
# Build your own database
matchy build custom.csv --input-format csv --output test.mxy
# Time representative single queries
time matchy query test.mxy example.com
# Or process representative logs with stats
matchy match test.mxy access.log --stats
Performance Tuning
For Best Query Performance
- Reuse database handles
- Use memory-mapped files (automatic)
- Keep database on fast storage
- Use direct IP lookup when possible
For Best Build Performance
- Sort input data by type
- Use batch additions
- Pre-allocate if entry count known
- Use multiple builders in parallel
For Lowest Memory
- Use memory-mapped mode (default)
- Share databases between processes
- Close unused databases promptly
- Disable or reduce the query cache when its hit rate does not justify its memory
See Also
- matchy bench command - Benchmark command reference
- Performance Guide - Optimization strategies
- Architecture - Design and implementation
- Memory Management - Memory usage details
Architecture
This page is a concise map of Matchy’s current runtime. The binary format specification is the authoritative reference for serialized layouts, versions, sizes, and offset bases. The architecture overview explains the design at a higher level.
Design Goals
Matchy is designed around four constraints:
- One query API for IP addresses, exact strings, and glob patterns.
- Memory-mapped, position-independent database files.
- Bounded work and checked offsets when reading untrusted bytes.
- Data structures specialized for each query type.
Current Components
MMDB IP Search Tree
IP and CIDR lookups use the MaxMind DB search-tree encoding. A tree node is two packed 24-, 28-, or 32-bit records, so a serialized node occupies 6, 7, or 8 bytes. A record can select another node, the not-found sentinel, or a value in the shared MMDB data section.
Lookup depth is bounded by the address width: 32 bits for an IPv4 database and 128 bits for an IPv6 database. IPv6 trees can also contain IPv4 entries beneath the conventional 96-bit IPv4 subtree.
Literal Hash Table
Exact strings use the version 3 LHSH format from
matchy-literal-hash. The table stores a 96-bit XXH3 hash as u64 + u32 and a
pattern ID in each 16-byte slot. It is divided into power-of-two shards and uses
linear probing within a shard.
Original literal strings are not stored in this section. A separate mapping associates pattern IDs with offsets relative to the shared MMDB data section.
PARAGLOB Matcher
Glob patterns use the version 5 PARAGLOB format. Its main pieces are:
- a serialized Aho-Corasick automaton with 20-byte
ACNodeHotrecords; - pattern metadata and UTF-8 pattern strings;
- pre-serialized glob segments for wildcard verification;
- literal-to-pattern and meta-word mappings;
- optional inline pattern data for standalone PARAGLOB databases.
In a combined .mxy database, PARAGLOB bytes are wrapped with a count and an
array of offsets into the shared MMDB data section. Those outer mappings are
separate from PARAGLOB’s optional inline PatternDataMapping table.
Query Routing
Database::lookup first determines whether the input is an IP address.
- IP input traverses the MMDB tree and decodes the selected shared data value.
- Text input checks the literal hash table, then runs PARAGLOB matching for wildcard patterns.
The regular query API returns owned result values where appropriate. The
offset-oriented lookup_ref API avoids decoding the value and is intended for
callers such as the C boundary that can consume an MMDB data offset. Avoid
describing every query path as allocation-free: result collection and data
decoding can allocate.
Combined File Layout
A current combined .mxy file is organized as:
MMDB packed search tree
16-byte zero separator
shared MMDB data section
[optional padding]
[MMDB_PATTERN marker + combined PARAGLOB wrapper]
[MMDB_LITERAL marker + LHSH v3 bytes]
MMDB metadata marker
MMDB metadata map
Metadata fields identify the bytes immediately after each optional extension marker. Current writers include those offsets; the reader retains a bounded marker scan for older files whose extension offsets are absent or stale.
Offset-Based Storage
Serialized structures contain integer offsets rather than process pointers, so the same bytes can be mapped at different virtual addresses. Offset bases are field-specific:
- metadata extension offsets are absolute file offsets;
- PARAGLOB header offsets are relative to the PARAGLOB buffer;
- AC-local references are relative to the serialized AC buffer;
- literal-header offsets are relative to the
LHSHbytes; - combined literal and glob data mappings are relative to the shared MMDB data section;
- inline PARAGLOB data mappings are relative to PARAGLOB’s inline data section.
Zero is therefore not a universal null value. It is a valid first offset in the shared and inline data sections. See Offset Encoding for the full table.
Opening and Memory Ownership
File-backed databases use memory mapping. This avoids reading and deserializing the entire file during open and lets the operating system share read-only pages across processes. Matchy still parses metadata, validates top-level section envelopes and component topology, and retains small runtime metadata. Observed open time depends on storage, page-cache state, platform, optional sections, and whether legacy marker scanning is needed.
The Database owns the mapping or byte buffer and the internal views that
reference it. A small, contained unsafe lifetime bridge establishes that
self-referential ownership invariant. Nested serialized records remain
bounds-checked before access.
Concurrency
An opened database is immutable and supports concurrent lookups. Query-cache and live-reload state use synchronization internally. Builders are mutable; use a separate builder per independent build operation.
Validation Model
Runtime opening fails closed on malformed headers, unsupported versions, invalid extension markers, impossible section envelopes, and invalid literal hash topology. Query paths validate nested records before reading them.
The separate validator adds reporting and two coverage levels:
- Standard performs runtime-equivalent envelope checks and samples tree-reachable MMDB data. If the database declares a known schema, it still validates every referenced entry against that schema.
- Strict exhaustively checks MMDB tree records and reachable data, then runs deeper AC, PARAGLOB, literal, mapping, and schema consistency checks.
For attacker-controlled files, also impose an application-level file-size or resource limit. A validation report applies to the bytes that were read; if a path can be replaced between validation and opening, use a protected immutable snapshot or verify a digest.
Format Compatibility
The standard MMDB portion follows the MaxMind DB format. Matchy’s current extension readers accept PARAGLOB v5 and literal-hash v3. Extension structs are currently supported on little-endian targets; the endianness marker reserves a future byte-swapping implementation.
See Also
- Binary Format — exact layouts, sizes, versions, and offset bases
- Architecture Overview — design concepts and diagrams
- Validation API — programmatic Standard and Strict validation
- Performance — measurement guidance and workload tradeoffs
- C API Design — FFI ownership and error handling
CLI Commands
This section documents the Matchy command-line interface.
Commands
- matchy — The Matchy command-line tool
- matchy build — Build a database from input files
- matchy query — Query a database
- matchy match — Scan log files for threats by matching against a database
- matchy extract — Extract patterns (domains, IPs, emails) from log files
- matchy inspect — Inspect database contents and structure
- matchy validate — Validate database safety and correctness
- matchy bench — Benchmark synthetic build, load, and query performance
matchy
The Matchy command-line interface.
Synopsis
matchy <COMMAND> [OPTIONS]
Description
Matchy is a command-line tool for building and querying databases of IP addresses, CIDR ranges, exact strings, and glob patterns.
Commands
matchy build
Build a database from input files.
$ matchy build threats.csv --input-format csv --output threats.mxy
See matchy build for details.
matchy query
Query a database for matches.
$ matchy query threats.mxy 192.0.2.1
See matchy query for details.
matchy match
Scan log files or stdin for entries that match a database.
$ matchy match threats.mxy access.log --stats
See matchy match for details.
matchy extract
Extract IoC candidates from log files or stdin.
$ matchy extract access.log --types all
See matchy extract for details.
matchy inspect
Inspect database contents and structure.
$ matchy inspect threats.mxy
See matchy inspect for details.
matchy validate
Validate a database file for safety and consistency.
$ matchy validate threats.mxy --level strict
See matchy validate for details.
matchy bench
Benchmark synthetic database build, load, and query performance.
$ matchy bench combined
See matchy bench for details.
Global Options
-h, --help
Print help information for matchy or a specific command.
$ matchy --help
$ matchy build --help
-V, --version
Print version information.
$ matchy --version
matchy 2.0.1
Examples
Complete Workflow
# 1. Build database
$ matchy build threats.csv --input-format csv --output threats.mxy
# 2. Inspect it
$ matchy inspect threats.mxy
# 3. Query it
$ matchy query threats.mxy 192.0.2.1
# 4. Scan logs against it
$ matchy match threats.mxy access.log --stats
# 5. Run a synthetic benchmark
$ matchy bench combined
Working with GeoIP
# Query a MaxMind GeoLite2 database
$ matchy query GeoLite2-City.mmdb 8.8.8.8
# Inspect it
$ matchy inspect GeoLite2-City.mmdb
Environment Variables
MATCHY_LOG
Set log level: error, warn, info, debug, trace
$ MATCHY_LOG=debug matchy build data.csv --input-format csv --output db.mxy
Exit Status
0- Success1- Error
Files
Matchy databases typically use the .mxy extension, though any extension works.
Standard MMDB files use .mmdb.
See Also
- Getting Started with CLI - CLI tutorial
- CLI Commands - All commands
- Matchy Guide - Conceptual documentation
matchy build
Build a database from input files.
Synopsis
matchy build [OPTIONS] <INPUT> --output <OUTPUT>
Description
The matchy build command reads entries from input files and builds an optimized
binary database. The input can be plain text, CSV, JSON, or MISP JSON.
Options
--output <FILE>
Specify the output database file path.
$ matchy build threats.csv --input-format csv --output threats.mxy
--ignore-case
Use case-insensitive string and glob matching. By default, matching is case-sensitive.
$ matchy build domains.csv --input-format csv --output domains.mxy --ignore-case
--input-format <FORMAT>
Explicitly specify input format: text, csv, json, or misp. If not specified,
matchy auto-detects the format from the file extension or file contents.
$ matchy build data.txt --input-format csv --output output.mxy
-t, --database-type <NAME>
Set the database type in metadata. If you use a known schema name (e.g., threatdb),
yield values are validated against the schema during build.
# Enable ThreatDB schema validation
$ matchy build threats.csv --input-format csv --output threats.mxy --database-type threatdb
# Custom type (no validation)
$ matchy build data.csv --input-format csv --output data.mxy --database-type "MyCompany-Intel"
See Schemas Reference for available schemas and validation details.
Examples
Build from CSV
$ cat threats.csv
key,threat_level,category
192.0.2.1,high,malware
10.0.0.0/8,medium,internal
*.evil.com,high,phishing
$ matchy build threats.csv --input-format csv --output threats.mxy
✓ Database built: threats.mxy
Build from JSON
$ cat data.json
[
{"key": "192.0.2.1", "data": {"threat": "high"}},
{"entry": "*.malware.com", "data": {"category": "malware"}}
]
$ matchy build data.json --input-format json --output database.mxy
Entry Type Detection
Matchy automatically detects entry types from the key format:
| Input | Detected As |
|---|---|
192.0.2.1 | IP Address |
10.0.0.0/8 | CIDR Range |
*.example.com | Pattern (glob) |
example.com | Exact String |
Explicit Type Control
Use type prefixes to override auto-detection:
$ cat entries.txt
literal:*.not-a-glob.txt
glob:simple-string.com
ip:192.168.1.1
$ matchy build entries.txt --output output.mxy
| Prefix | Type | Example |
|---|---|---|
literal: | Exact String | literal:file*.txt matches only “file*.txt” |
glob: | Pattern | glob:test.com treated as pattern |
ip: | IP/CIDR | ip:10.0.0.1 forced as IP |
The prefix is automatically stripped before storage. This is useful when:
- String contains
*,?, or[that should be literal - Forcing pattern matching for consistency
- Disambiguating edge cases
See Entry Types - Prefix Technique for complete documentation.
See Also
- matchy query - Query databases
- matchy inspect - Inspect database contents
- First Database with CLI - Tutorial
matchy query
Query a database for matches.
Synopsis
matchy query <DATABASE> <QUERY>
Description
The matchy query command searches a database for entries matching the query string.
Arguments
<DATABASE>
Path to the database file to query.
<QUERY>
The string to search for. Can be an IP address, domain, or any string.
Options
-q, --quiet
Suppress output and use only the exit status.
Examples
Query an IP Address
$ matchy query threats.mxy 192.0.2.1
[
{
"category": "malware",
"cidr": "192.0.2.1/32",
"prefix_len": 32,
"threat_level": "high"
}
]
Query a CIDR Range
$ matchy query threats.mxy 10.5.5.5
[
{
"category": "internal",
"cidr": "10.0.0.0/8",
"prefix_len": 8,
"threat_level": "medium"
}
]
Query a Pattern
$ matchy query threats.mxy phishing.evil.com
[
{
"category": "phishing",
"threat_level": "high"
}
]
Query an Exact String
$ matchy query threats.mxy evil.com
[
{
"category": "domain",
"threat_level": "critical"
}
]
No Match
$ matchy query threats.mxy safe.com
[]
Output Format
The output is a JSON array of matching data objects. IP matches include the
matched cidr and prefix_len fields in addition to the entry data.
Exit Status
0- Match found1- No match or error
See Also
- matchy build - Build databases
- matchy inspect - Inspect databases
- Entry Types - Understanding matches
matchy match
Scan log files or streams for threats by matching against a database.
Synopsis
matchy match [OPTIONS] <DATABASE> <INPUT>...
Description
The matchy match command processes log files or stdin, automatically extracting IP addresses, domains, and email addresses from each line and checking them against the database. This is designed for operational testing and real-time threat detection in log streams.
Key features:
- Automatic extraction of IPs, domains, and emails from unstructured logs
- SIMD-friendly scanning with workload-dependent throughput
- Outputs JSON (NDJSON format) to stdout for easy parsing
- Statistics and diagnostics to stderr
- Memory-efficient streaming processing
Arguments
<DATABASE>
Path to the database file to query. Supports:
.mxyfiles - Pre-built matchy database (fastest, recommended for production).jsonfiles - JSON source file (auto-built in memory).csvfiles - CSV source file (auto-built in memory)
When a JSON or CSV file is provided, matchy automatically builds the database in-memory before matching. This is convenient for quick testing and ad-hoc analysis, but pre-building with matchy build is recommended for repeated use.
<INPUT>...
One or more input files containing log data (one line per entry), or - for stdin.
Multiple files can be processed sequentially or in parallel (see -j, --threads).
Options
-j, --threads <THREADS>
Number of worker threads for parallel processing (default: auto-detect).
autoor0- Use all available CPU cores (default)1- Sequential processing (single-threaded)N- Use N worker threads
$ matchy match threats.mxy *.log -j auto # Parallel (all cores)
$ matchy match threats.mxy *.log -j 4 # Parallel (4 threads)
$ matchy match threats.mxy *.log -j 1 # Sequential
Parallel processing characteristics:
- Can improve throughput when extraction/matching is CPU-bound and the workload is divisible
- Better CPU utilization for I/O-bound workloads
- Scales with number of CPU cores
- Each worker has its own LRU cache
When to use sequential mode (-j 1):
- Single small file
- When output order matters
- Debugging/testing
--readers <READERS>
Set the number of reader threads used for I/O and decompression when running with more than one worker thread. If omitted, matchy auto-tunes the reader and worker split. Use more readers for compressed inputs.
$ matchy match threats.mxy logs/*.gz --readers 4 --threads 12
-f, --follow
Follow log file(s) for new data (like tail -f).
Watches input files for new content and processes lines as they are appended. Press Ctrl+C to stop.
$ matchy match threats.mxy /var/log/app.log -f --stats
[INFO] Mode: Follow (watch files for new content)
...
Follow mode features:
- Monitors files for changes using file system notifications
- Processes new lines immediately as they are written
- Supports multiple files simultaneously
- Works with parallel processing (
-jflag) - Graceful shutdown on Ctrl+C
--batch-bytes <SIZE>
Batch size in bytes for parallel mode (default: 131072 = 128KB).
Controls how input is divided among worker threads. Larger batches reduce overhead but increase memory usage.
$ matchy match threats.mxy huge.log -j auto --batch-bytes 262144 # 256KB batches
--output-format <FORMAT>
Output format (default: json):
json- NDJSON format (one JSON object per match on stdout)summary- Statistics only (no match output)
$ matchy match threats.mxy access.log --output-format json
$ matchy match threats.mxy access.log --output-format summary --stats
-s, --stats
Show detailed statistics to stderr including:
- Processing mode (sequential/parallel/follow)
- Lines processed and match rate
- Candidate extraction breakdown (IPv4, IPv6, domains, emails)
- Throughput (MB/s)
- Timing samples (extraction and lookup)
- Cache hit rate
- Number of files processed (in multi-file mode)
$ matchy match threats.mxy access.log --stats
-p, --progress
Show live progress updates during processing.
Displays a live 3-line progress indicator showing:
- Lines processed, matches found, hit rate, bytes processed, throughput, elapsed time
- Candidate breakdown (IPv4, IPv6, domains, emails)
- Lookup query rate
On TTY (terminal), progress updates in place. On non-TTY (redirected stderr), prints periodic snapshots.
$ matchy match threats.mxy huge.log -j auto --progress
[PROGRESS] Lines: 1,234,567 | Matches: 4,523 (0.4%) | Processed: 512 MB | Throughput: 450 MB/s | Time: 1.1s
Candidates: 1,456,789 total (IPv4: 1,234,567, IPv6: 123, Domains: 234,567, Emails: 12,345)
Lookup rate: 1,324.35K queries/sec
--cache-size <SIZE>
Set LRU cache capacity for query results (default: 10000). Use 0 to disable caching.
$ matchy match threats.mxy access.log --cache-size 50000
$ matchy match threats.mxy access.log --cache-size 0 # No cache
--extractors <EXTRACTORS>
Enable or disable extractors by name. Names include ipv4, ipv6, domain,
email, hash, bitcoin, ethereum, and monero. Group aliases include
ip and crypto. Prefix a name with - to disable it.
$ matchy match threats.mxy access.log --extractors ip,domain
$ matchy match threats.mxy access.log --extractors -crypto,-hash
By default, matchy selects extractors from database capabilities.
--debug-routing
Print file routing and workload decisions to stderr. This is mainly useful for debugging tests and parallel processing behavior.
--watch
Automatically reload the database when the database file changes on disk.
Examples
Scan Apache Access Log
$ matchy match threats.mxy /var/log/apache2/access.log --stats
[INFO] Loaded database: threats.mxy
[INFO] Load time: 12.45ms
[INFO] Cache: 10000 entries
[INFO] Extractor configured for: IPs, strings
[INFO] Processing stdin...
{"timestamp":"1697500800.123","source":"/var/log/apache2/access.log","matched_text":"192.0.2.1","match_type":"ip","prefix_len":32,"cidr":"192.0.2.1/32","data":{"threat_level":"high","category":"malware"}}
{"timestamp":"1697500800.456","source":"/var/log/apache2/access.log","matched_text":"evil.com","match_type":"pattern","pattern_count":1,"data":[{"threat_level":"critical"}]}
[INFO] Processing complete
[INFO] Lines processed: 15,234
[INFO] Lines with matches: 127 (0.8%)
[INFO] Total matches: 145
[INFO] Candidates tested: 18,456
[INFO] IPv4: 15,234
[INFO] Domains: 3,222
[INFO] Throughput: 450.23 MB/s
[INFO] Total time: 0.15s
[INFO] Cache: 10,000 entries (92.3% hit rate)
Process stdin Stream
$ tail -f /var/log/syslog | matchy match threats.mxy - --stats
Parallel Processing (Multiple Files)
$ matchy match threats.mxy /var/log/*.log -j auto --stats --progress
[INFO] Mode: Parallel (8 worker threads)
[INFO] Batch size: 131072 bytes
[INFO] Loaded database: threats.mxy
[INFO] Load time: 12.45ms
[INFO] Cache: 10000 entries per worker
[PROGRESS] Lines: 5,234,123 | Matches: 8,456 (0.2%) | Processed: 2.1 GB | Throughput: 820 MB/s | Time: 12.3s
Candidates: 6,123,456 (IPv4: 5,000,000, IPv6: 234, Domains: 1,123,222, Emails: 0)
Lookup rate: 497.85K queries/sec
[INFO] === Processing Complete ===
[INFO] Files processed: 47
[INFO] Lines processed: 5,234,123
[INFO] Lines with matches: 8,456 (0.2%)
[INFO] Throughput: 820.15 MB/s
[INFO] Total time: 12.34s
Follow Mode (Log Tailing)
$ matchy match threats.mxy /var/log/app.log -f --stats
[INFO] Mode: Follow (watch files for new content)
[INFO] Loaded database: threats.mxy
[INFO] Extractor configured for: IPs, strings
[INFO] Watching for changes... (Ctrl+C to stop)
{"timestamp":"1697500850.123","source":"/var/log/app.log","matched_text":"malware.com", ...}
{"timestamp":"1697500851.456","source":"/var/log/app.log","matched_text":"192.0.2.50", ...}
^C
[INFO] Shutting down...
[INFO] Lines processed: 89
[INFO] Lines with matches: 2 (2.2%)
Parallel Follow Mode (Multiple Log Files)
$ matchy match threats.mxy /var/log/app*.log -f -j 4 --stats
[INFO] Mode: Follow (watch files for new content)
[INFO] Using parallel follow with 4 worker threads
...
Quick Testing with Source Files (Auto-Build)
Skip the build step for quick ad-hoc analysis:
# JSON source file (builds database in-memory automatically)
$ cat threats.json
[
{"key": "192.168.1.0/24", "data": {"type": "internal"}},
{"key": "*.malware.com", "data": {"severity": "high"}},
{"key": "evil.example.com", "data": {"category": "phishing"}}
]
$ matchy match threats.json access.log --stats
[INFO] Building database from JSON file...
[INFO] Loaded 3 entries from JSON
[INFO] Database: 1 IPs, 1 literals, 1 globs
[INFO] Built database from: threats.json
{"matched_text":"192.168.1.50","match_type":"ip",...}
# CSV source file
$ cat threats.csv
key,type,severity
192.168.1.0/24,internal,low
*.malware.com,malware,high
$ matchy match threats.csv access.log
Note: Auto-building is convenient for testing, but pre-building with
matchy buildis faster for repeated use since it avoids rebuilding on every invocation.
Extract Only Matches
$ matchy match threats.mxy access.log | jq -r '.matched_text'
192.0.2.1
evil.com
phishing.example.com
Count Matches by Type
$ matchy match threats.mxy access.log | jq -r '.match_type' | sort | uniq -c
89 ip
38 pattern
Output Format
JSON Output (NDJSON)
Each match is a JSON object on a single line:
{
"timestamp": "1697500800.123",
"source": "access.log",
"matched_text": "192.0.2.1",
"match_type": "ip",
"prefix_len": 24,
"cidr": "192.0.2.0/24",
"data": {
"threat_level": "high",
"category": "malware"
}
}
For pattern matches:
{
"timestamp": "1697500800.456",
"source": "access.log",
"matched_text": "evil.example.com",
"match_type": "pattern",
"pattern_count": 2,
"data": [
{"threat_level": "high"},
{"category": "phishing"}
]
}
Field Reference
| Field | Type | Description |
|---|---|---|
timestamp | string | Unix timestamp with milliseconds |
source | string | Input file path when available |
matched_text | string | The extracted text that matched |
match_type | string | "ip" or "pattern" |
prefix_len | number | IP: CIDR prefix length |
cidr | string | IP: Canonical CIDR notation |
pattern_count | number | Pattern: Number of patterns matched |
data | object/array | Associated metadata from database |
Pattern Extraction
The command automatically extracts and tests:
- IPv4 addresses: 192.0.2.1, 10.0.0.0
- IPv6 addresses: 2001:db8::1, ::ffff:192.0.2.1
- Domain names: example.com, sub.domain.com
- Email addresses: user@example.com
Extraction is context-aware with word boundaries and validates format (TLD checks for domains, etc.).
Performance
Sequential and parallel throughput depend on line length, extracted-item
density, compression, storage, cache state, result rate, and CPU topology.
Parallel scaling is not linear; measure -j 1, auto-detection, and a few fixed
worker counts on the target system.
Best practices for performance:
- Use parallel mode (
-j auto) for multiple large files - Enable caching (default) for repeated patterns
- Increase
--batch-bytesfor very large files (>1GB) - Use sequential mode for small files (<10MB total)
Exit Status
0- Success (even if no matches found)1- Error (file not found, invalid database, etc.)
See Also
- matchy query - Single query testing
- matchy build - Build databases
- Pattern Extraction Guide - Details on extraction
- Query Result Caching - Cache optimization
matchy extract
Extract patterns (domains, IPs, emails, hashes, cryptocurrency addresses) from log files or unstructured text.
Synopsis
matchy extract [OPTIONS] <INPUT>...
Description
The matchy extract command scans log files or streams to automatically extract IP addresses, domain names, email addresses, file hashes, and cryptocurrency addresses from unstructured text. This is useful for:
- Generating threat intelligence feeds from logs
- Building input lists for
matchy build - Analyzing log data for patterns
- Pre-filtering data before database matching
Key features:
- SIMD-friendly extraction with workload-dependent throughput
- Multiple output formats: JSON, CSV, plain text
- Configurable IP, domain, and email extraction
- Unicode/IDN domain extraction with the matched text preserved in output
- Word boundary detection for accurate extraction
- Deduplication with
--uniqueflag
Arguments
<INPUT>...
One or more log files to process (one entry per line), or - for stdin.
$ matchy extract access.log
$ matchy extract log1.txt log2.txt log3.txt
$ cat access.log | matchy extract -
Options
--output-format <FORMAT>
Output format (default: json):
json- NDJSON format (one JSON object per pattern)csv- CSV format with header (type, value columns)text- Plain text (one pattern per line, no metadata)
$ matchy extract access.log --output-format json
{"type":"domain","value":"example.com"}
{"type":"ipv4","value":"192.0.2.1"}
$ matchy extract access.log --output-format csv
type,value
domain,"example.com"
ipv4,"192.0.2.1"
$ matchy extract access.log --output-format text
example.com
192.0.2.1
--types <TYPES>
Comma-separated extraction types. The current CLI accepts:
ipv4orip4- IPv4 addresses onlyipv6orip6- IPv6 addresses onlyip- Both IPv4 and IPv6domainordomains- Domain namesemailoremails- Email addressesall- IPv4, IPv6, domains, and emails
Hash and cryptocurrency extractors are enabled by the underlying extractor and
may appear in output, but the current CLI --types parser does not accept
hash, bitcoin, ethereum, monero, or crypto as selectable values.
$ matchy extract access.log --types ipv4,domain
$ matchy extract access.log --types ip # IPv4 + IPv6, plus always-enabled hash/crypto extraction
$ matchy extract access.log --types all # IPv4 + IPv6 + domains + emails
--min-labels <NUMBER>
Minimum number of domain labels to extract (default: 2).
$ matchy extract access.log --min-labels 2 # example.com (default)
$ matchy extract access.log --min-labels 3 # sub.example.com
This is useful to filter out bare hostnames or require fully-qualified domain names.
--no-boundaries
Disable word boundary requirements, allowing patterns to be extracted from the middle of text.
By default, extraction requires word boundaries (whitespace, punctuation) around patterns. Use this flag to extract patterns embedded in other text.
$ matchy extract access.log --no-boundaries
-u, --unique
Output only unique patterns (deduplicate across all input).
$ matchy extract access.log --unique
This maintains a hash set of seen patterns and outputs each unique pattern only once.
-s, --stats
Show extraction statistics to stderr.
$ matchy extract access.log --stats
[INFO] Extracting: IPv4, IPv6, domains, emails
[INFO] Min domain labels: 2
[INFO] Word boundaries: true
[INFO] Unique mode: false
[INFO] === Extraction Complete ===
[INFO] Lines processed: 15,234
[INFO] Patterns found: 3,456
[INFO] IPv4: 2,100
[INFO] IPv6: 23
[INFO] Domains: 1,200
[INFO] Emails: 133
[INFO] Throughput: 450.23 MB/s
[INFO] Total time: 0.15s
Statistics are always written to stderr, leaving stdout clean for piped output.
--show-candidates
Show candidate extraction details for debugging (output to stderr).
$ matchy extract access.log --show-candidates
[CANDIDATE] Domain at 45-61: example.com
[CANDIDATE] IPv4 at 0-10: 192.0.2.1
[CANDIDATE] Email at 23-42: user@example.com
Examples
Extract All Patterns (JSON)
$ matchy extract access.log
{"type":"ipv4","value":"192.0.2.1"}
{"type":"domain","value":"example.com"}
{"type":"email","value":"user@example.com"}
{"type":"ipv6","value":"2001:db8::1"}
Extract Only Domains
$ matchy extract access.log --types domain --output-format text
example.com
subdomain.example.org
malware.net
Build Threat Intel Database from Logs
Extract unique domains and build a database:
$ matchy extract suspicious.log \
--types domain \
--unique \
--output-format text \
> domains.txt
$ echo "key,threat_level" > threats.csv
$ cat domains.txt | sed 's/^/&,high/' >> threats.csv
$ matchy build threats.csv --input-format csv --output threats.mxy
Extract IPs with Statistics
$ matchy extract access.log --types ip --stats --unique
{"type":"ipv4","value":"192.0.2.1"}
{"type":"ipv4","value":"198.51.100.42"}
{"type":"ipv6","value":"2001:db8::1"}
[INFO] Lines processed: 10,000
[INFO] Patterns found: 2,345
[INFO] IPv4: 2,320
[INFO] IPv6: 25
[INFO] Throughput: 380.15 MB/s
[INFO] Total time: 0.08s
CSV Output for Spreadsheet Import
$ matchy extract firewall.log --output-format csv > patterns.csv
$ open patterns.csv # Opens in Excel/Numbers/etc.
Extract from stdin Stream
$ tail -f /var/log/syslog | matchy extract - --types domain --stats
Process Multiple Files
$ matchy extract *.log --stats --unique > all_patterns.json
Output Formats
JSON (NDJSON)
One JSON object per line with type and value:
{"type":"domain","value":"example.com"}
{"type":"ipv4","value":"192.0.2.1"}
{"type":"ipv6","value":"2001:db8::1"}
{"type":"email","value":"user@example.com"}
CSV
Header row followed by data rows:
type,value
domain,"example.com"
ipv4,"192.0.2.1"
ipv6,"2001:db8::1"
email,"user@example.com"
Values are properly escaped (quotes doubled for embedded quotes).
Text
One pattern per line, no metadata:
example.com
192.0.2.1
2001:db8::1
user@example.com
Pattern Extraction Details
IPv4 Addresses
Extracts standard IPv4 addresses: 192.0.2.1, 10.0.0.1
Validates format and rejects invalid addresses (e.g., 999.999.999.999).
IPv6 Addresses
Extracts IPv6 addresses in full eight-hextet form and the common internally compressed form:
- Full:
2001:0db8:0000:0000:0000:0000:0000:0001 - Compressed:
2001:db8::1
Very short forms, leading or trailing ::, loopback, and link-local addresses
remain excluded by the extractor’s high-signal filters.
Domain Names
Extracts domain names with proper TLD validation:
example.comsubdomain.example.orgmulti.level.subdomain.co.uk
Unicode/IDN support: International domain names are extracted and emitted as the matched text:
- Input:
münchen.de - Output:
münchen.de
TLD validation: Only domains with valid top-level domains are extracted (uses embedded TLD automaton with Public Suffix List data).
Email Addresses
Extracts email addresses with format validation:
user@example.comfirst.last@subdomain.example.orgadmin+tag@example.net
File Hashes
Extracts common cryptographic hashes:
- MD5: 32 hex characters (e.g.,
5d41402abc4b2a76b9719d911017c592) - SHA1: 40 hex characters (e.g.,
2fd4e1c67a2d28fced849ee1bb76e7391b93eb12) - SHA256: 64 hex characters
- SHA384: 96 hex characters
- SHA512: 128 hex characters
Useful for malware analysis and threat intelligence feeds.
Cryptocurrency Addresses
Extracts blockchain addresses with checksum validation:
Bitcoin (all formats):
- Legacy (P2PKH):
1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa - P2SH:
3Cbq7aT1tY8kMxWLbitaG7yT6bPbKChq64 - Bech32 (SegWit):
bc1qar0srrr7xfkvy5l643lydnw9re59gtzzwf5mdq
Ethereum:
- Format:
0x5aeda56215b167893e80b4fe645ba6d5bab767de(42 chars) - Validates EIP-55 checksum for mixed-case addresses
- Accepts all-lowercase addresses without checksum
Monero:
- Standard addresses starting with
4or8(~95 characters) - Integrated addresses (~106 characters)
Validation: All addresses are validated with cryptographic checksums:
- Bitcoin: Base58Check (double SHA256) or Bech32
- Ethereum: Keccak256-based EIP-55 checksum
- Monero: Keccak256 checksum
Useful for ransomware analysis, fraud investigation, and darknet marketplace intelligence.
Performance
Throughput depends on input length, candidate density, enabled extractors, validation work, output formatting, CPU, and storage. Use the command’s reported byte count and duration on representative input.
Performance factors:
- Extraction types: Fewer types = faster (skip unnecessary checks)
- Word boundaries: Enabled (default) = faster (reduces false matches)
- Unique mode: Enabled = slower (hash set overhead for deduplication)
- Output format: Text = fastest, JSON = moderate, CSV = moderate
Exit Status
0- Success (even if no patterns found)1- Error (file not found, invalid arguments, etc.)
See Also
- matchy match - Match extracted patterns against database
- matchy build - Build database from extracted patterns
- Pattern Extraction Guide - Detailed extraction documentation
matchy inspect
Inspect database contents and lookup support.
Synopsis
matchy inspect [OPTIONS] <DATABASE>
Description
The matchy inspect command displays a human-readable summary of what a database
contains and which lookup paths it supports. By default, it focuses on user-facing
contents rather than storage internals.
Arguments
<DATABASE>
Path to the database file to inspect.
Options
-j, --json
Output database information as JSON.
-v, --verbose
Show storage details in addition to the default summary. Use --json when you
need raw metadata.
Examples
Basic Inspection
$ matchy inspect threats.mxy
Database: threats.mxy
Format: Matchy combined database
Size: 15.11 MB
Contents:
IP/CIDR entries: 1610
IPv4 entries: 1523
IPv6 entries: 87
Exact strings: 2341
Glob patterns: 8492
Lookup support:
IP addresses: yes (IPv4 and IPv6)
Exact strings: yes
Glob patterns: yes
String match mode: case-insensitive
Metadata:
Database type: ThreatDB-v1
Description:
en: Threat intelligence database
Build time: 2026-02-25 11:50:49 UTC (1772020249)
Verbose Inspection
$ matchy inspect threats.mxy --verbose
Database: threats.mxy
Format: Matchy combined database
Size: 15.11 MB
Contents:
IP/CIDR entries: 1610
IPv4 entries: 1523
IPv6 entries: 87
Exact strings: 2341
Glob patterns: 8492
Lookup support:
IP addresses: yes (IPv4 and IPv6)
Exact strings: yes
Glob patterns: yes
String match mode: case-insensitive
Metadata:
Database type: ThreatDB-v1
Description:
en: Threat intelligence database
Build time: 2026-02-25 11:50:49 UTC (1772020249)
Storage:
Container: Matchy extended MMDB
Format version: 2.0
MMDB IP tree: IPv6
Record size: 24 bits
Sections: IP tree, literal hash, glob automaton
MMDB File
$ matchy inspect GeoLite2-City.mmdb
Database: GeoLite2-City.mmdb
Format: MMDB IP database
Size: 64.12 MB
Contents:
IP/CIDR entries: not stored in metadata
Exact strings: 0
Glob patterns: 0
Lookup support:
IP addresses: yes
Exact strings: no
Glob patterns: no
Output Information
The inspect command shows:
- File size
- Database format
- Entry counts by type when stored as user-facing metadata
- IP family entry counts when stored as user-facing metadata
- Lookup support by query type
- String match mode when string lookups are supported
- Source/build metadata
- Storage details with
--verbose - Raw metadata with
--json
Older databases that do not store user-facing entry or IP family entry counts are reported conservatively instead of deriving counts from storage internals.
Use Cases
Inspect is useful for:
- Verifying database contents
- Checking file size before deployment
- Confirming which lookup paths are available
- Debugging database storage details with
--verbose
Exit Status
0- Success1- Error (file not found, invalid format, etc.)
See Also
- matchy build - Build databases
- matchy bench - Benchmark performance
- Database Concepts - Understanding databases
matchy validate
Validate a database file for integrity and correctness.
Synopsis
matchy validate [OPTIONS] <DATABASE>
Description
The validate command checks Matchy database files (.mxy) and reports structural, reference, and schema errors. Strict validation is the default and is recommended for databases from untrusted sources. Standard samples general MMDB data for trusted inputs, although a declared known schema still causes every referenced entry to be schema-validated.
Validation checks include:
- Runtime envelopes: Metadata, versions, section boundaries, and top-level extension structure
- MMDB references: Sampled in Standard mode and exhaustively traversed in Strict mode
- Extension consistency: Deeper mapping and automaton checks in Strict mode
- Schema validation: Referenced entry values are checked when
database_typedeclares a known schema such asThreatDB-v1
A passing report means that the bytes read passed the checks for the selected level. It does not make a validation result apply to different bytes that later appear at the same path.
Options
-l, --level <LEVEL>
Validation strictness level. Default: strict
Levels:
standard: Runtime envelope checks plus sampled reachable MMDB data; known-schema checks remain exhaustivestrict: Exhaustive MMDB tree validation plus deeper component checks (default)
-j, --json
Output results as JSON instead of human-readable format.
-v, --verbose
Show detailed information including warnings and info messages.
-h, --help
Print help information.
Arguments
<DATABASE>
Path to the Matchy database file (.mxy) to validate.
Examples
Basic Validation
Validate with default strict checking:
matchy validate database.mxy
Shows:
- Validation level used (strict by default)
- Database statistics (nodes, patterns, IPs, size)
- Validation time
- Pass/fail status with clear ✅/❌ indicator
Standard Validation
Use faster standard validation:
matchy validate --level standard database.mxy
Verbose Output
Show warnings and informational messages:
matchy validate --verbose database.mxy
Adds additional detail:
- Warnings: Non-fatal issues and non-canonical structures
- Information: Validation steps completed successfully
- Useful for understanding what was checked and any potential optimizations
JSON Output
Machine-readable JSON format:
matchy validate --json database.mxy
Provides structured output with:
is_valid: Boolean pass/failduration_ms: Validation timeerrors,warnings,info: Categorized messagesstats: Detailed database metrics (node count, pattern count, file size, etc.)
Useful for CI/CD pipelines and automated testing.
Exit Status
- 0: Validation passed (no errors)
- 1: Validation failed (errors found)
- Other: Command error (file not found, etc.)
Validation Levels
Standard
Fast integrity validation that performs:
- The top-level format and section-envelope checks used by the runtime loader
- Header, version, and section-boundary checks
- Sampled structural and value validation of reachable MMDB data from up to 20 tree nodes
- Exhaustive schema validation of referenced entries when
database_typedeclares a known schema
Without a known schema, Standard mode does not exhaustively visit every tree record, data value, offset, or string. With a known schema, it still walks all referenced entries for schema conformance, so its running time can be linear in the database size.
Use when: Validating trusted databases for basic integrity
Strict (Default)
Deeper validation that performs:
- All Standard checks
- Exhaustive checking of MMDB tree records and the reachable data references they expose
- Deeper consistency checks for extension components, mappings, and automaton structures
- The same exhaustive known-schema checks that also run in Standard
Use when: Validating databases from untrusted sources (default)
Common Validation Errors
Invalid MMDB format
ERROR: Invalid MMDB format: metadata marker not found
The file is not a valid MMDB database.
Offset out of bounds
ERROR: Node 123 edge offset 45678 exceeds file size 40000
The database references data beyond the file size - likely corruption.
Invalid UTF-8
ERROR: String at offset 12345 contains invalid UTF-8
A string in the database is not valid UTF-8 text.
Cycle detected
ERROR: Cycle detected in failure function starting at node 56
The Aho-Corasick automaton has a cycle, making it unsafe to traverse.
Invalid magic bytes
ERROR: PARAGLOB section magic bytes mismatch: expected "PARAGLOB", found "CORRUPT!"
The PARAGLOB section header is corrupted.
When to Validate
Always Validate
- Databases from untrusted sources
- Databases downloaded from the internet
- Databases created by third parties
- After file transfer (detect corruption)
Optional Validation
- Databases built locally with
matchy build - Databases from trusted internal sources
- Development/testing environments
Skip Validation
- After validation has already passed for the exact same immutable bytes
- In performance-critical hot paths
- When an application-managed digest or immutable identity proves the database has not changed
Performance
Validation speed and resource use depend on database size, structure, storage, and the selected level. Standard mode is typically faster because it samples general MMDB tree data; Strict traverses every MMDB tree record and performs deeper component checks. A known schema makes both levels inspect every referenced entry for schema conformance.
For large trusted databases, Standard can provide a faster integrity check. Continue to use Strict for untrusted input, enforce deployment-appropriate resource limits, and cache results only in application code keyed by a digest or immutable file identity.
Security Considerations
The validator handles malformed input with safe Rust parsing and fail-closed validation errors. The caller remains responsible for resource policy:
- Bounds checks: Structural references are checked according to the selected level before validation code uses them
- Safe Rust: Core validation parsing uses safe Rust
- Fail closed: Malformed structures become errors rather than successful reports
- Bounded diagnostics: Retains at most 256 errors, 256 warnings, and 128 informational messages, with a suppression sentinel on overflow
- Resource limits: Limit file size, memory, CPU time, and concurrency for the deployment
Separately, database open validates top-level envelopes, and query paths perform deliberate bounds checks before accessing nested serialized references. Those runtime checks complement explicit validation; they do not make a prior report apply to replacement bytes.
However, validation is not a substitute for other security measures:
- Always validate before first use
- Use strict mode for untrusted sources
- Combine with file integrity checks (checksums)
- Consider sandboxing if processing user-uploaded files
Validation applies to the bytes read during the command. Reopening a mutable path after validation creates a time-of-check/time-of-use gap: another process could replace the file. Validate a protected immutable or atomic snapshot, or record a content digest and invalidate or repeat validation whenever the file changes.
Integration with Other Commands
Validate After Building
matchy build patterns.csv --input-format csv --output database.mxy
matchy validate database.mxy
Validate Before Querying
matchy validate database.mxy && \
matchy query database.mxy "*.example.com"
Batch Validation
for db in *.mxy; do
echo "Validating $db..."
matchy validate --level standard "$db" || echo "FAILED: $db"
done
Troubleshooting
False Positives
Some warnings may be benign:
- Unreferenced or intentionally padded structures
- Non-canonical data that remains within the format’s accepted rules
Review warnings in the context of how the database was produced; do not downgrade untrusted input merely to avoid warnings.
Performance Issues
For very large databases (>100MB):
- Use Standard only when sampled general coverage is appropriate for a trusted input; known-schema validation remains exhaustive
- Use Strict for untrusted input and impose explicit resource limits
- Cache a result in the application only while a digest or immutable identity remains unchanged
Memory Usage
Validation reads the file into memory. Enforce a file-size limit before validation and account for report and traversal overhead in the application’s memory budget.
See Also
- matchy build - Build databases
- matchy inspect - Inspect database structure
- Validation API - Programmatic validation
- Schemas Reference - Schema validation details
- Binary Format - Format specification
matchy bench
Benchmark database performance by generating test databases and measuring build, load, and query performance.
Synopsis
matchy bench [OPTIONS] [TYPE]
Description
The matchy bench command generates synthetic test databases of various types and sizes, then benchmarks:
- Build time: How long it takes to create the database
- Load time: How long it takes to open/memory-map the database
- Query performance: Throughput and latency for lookups
This is useful for performance testing, capacity planning, and comparing different database types and configurations.
Arguments
[TYPE]
Type of database to benchmark. Default: ip
Options:
ip- IP address databasesliteral- Exact string match databasespattern- Glob pattern databasescombined- Mixed database with all entry types
matchy bench ip # Benchmark IP lookups
matchy bench pattern # Benchmark pattern matching
matchy bench combined # Benchmark mixed workload
Options
-n, --count <COUNT>
Number of entries to test with. Default: 1000000
matchy bench ip --count 100000 # Small database
matchy bench ip --count 10000000 # Large database
-o, --output <OUTPUT>
Output file for the test database. If not specified, uses a temporary file.
matchy bench pattern --output test.mxy
-k, --keep
Keep the generated database file after benchmarking (otherwise it’s deleted).
matchy bench ip --output bench.mxy --keep
--load-iterations <LOAD_ITERATIONS>
Number of load iterations to average. Default: 3
matchy bench ip --load-iterations 10
--query-count <QUERY_COUNT>
Number of queries for batch benchmark. Default: 100000
matchy bench ip --query-count 1000000 # 1M queries
--hit-rate <HIT_RATE>
Percentage of queries that should match (0-100). Default: 10
A lower hit rate tests “not found” performance, while a higher hit rate tests match performance.
matchy bench ip --hit-rate 50 # 50% of queries find matches
matchy bench ip --hit-rate 90 # 90% of queries find matches
--cache-size <CACHE_SIZE>
LRU cache capacity used during the query benchmark. Default: 10000. Use 0
to disable the cache.
matchy bench ip --cache-size 0 # Disable cache
matchy bench ip --cache-size 50000 # Larger query cache
--cache-hit-rate <CACHE_HIT_RATE>
Simulated cache hit rate percentage (0-100). Default: 0, which generates all
unique queries. Higher values model repeated query patterns in production logs.
matchy bench ip --cache-hit-rate 80
matchy bench combined --cache-hit-rate 90
--pattern-style <PATTERN_STYLE>
Pattern style for pattern benchmarks. Default: complex
Options:
prefix- Prefix patterns likeprefix*suffix- Suffix patterns like*.suffixmixed- Mix of prefix and suffixcomplex- Complex patterns with wildcards and character classes
matchy bench pattern --pattern-style prefix
matchy bench pattern --pattern-style complex
-h, --help
Print help information.
Examples
Basic IP Benchmark
$ matchy bench ip --count 1000
<!-- cmdrun matchy bench ip --count 1000 -->
Pattern Benchmark with Custom Settings
$ matchy bench pattern --count 500 --pattern-style prefix
<!-- cmdrun matchy bench pattern --count 500 --pattern-style prefix -->
Combined Benchmark
$ matchy bench combined --count 300
<!-- cmdrun matchy bench combined --count 300 -->
Save Benchmark Database
matchy bench ip --count 1000000 --output benchmark.mxy --keep
This creates a database you can inspect or query later:
matchy inspect benchmark.mxy
matchy query benchmark.mxy "192.0.2.1"
High Hit Rate Benchmark
matchy bench ip --hit-rate 90 --query-count 1000000
Tests performance when most queries find matches (realistic for allowlist/blocklist scenarios).
Low Hit Rate Benchmark
matchy bench ip --hit-rate 5 --query-count 1000000
Tests “not found” performance (realistic for threat intelligence databases where most IPs are not threats).
Benchmark Types
IP Benchmarks
Generates random IPv4 and IPv6 addresses:
- Mix of /32 addresses and CIDR ranges
- Realistic distribution
- Tests binary trie performance
Literal Benchmarks
Generates random strings:
- Domain-like strings (e.g.,
subdomain.example.com) - Tests hash table performance
- O(1) lookup complexity
Pattern Benchmarks
Generates glob patterns based on style:
- Prefix:
prefix*patterns - Suffix:
*.suffixpatterns - Mixed: Combination of prefix and suffix
- Complex: Wildcards, character classes
[abc], negation[!xyz]
Tests Aho-Corasick automaton performance.
Combined Benchmarks
Generates databases with all three types:
- Equal distribution (33.3% each)
- Tests mixed workload performance
- Realistic production scenario
Performance Factors
Benchmark results depend on:
Database Size
- Larger databases → slightly slower queries
- Build time scales linearly
- Memory mapping avoids whole-file deserialization; load results still vary with cache state, storage, extensions, and legacy scanning
Entry Type
- IPs: Bounded tree traversal plus selected-value decoding
- Literals: Average-case O(1) sharded hash probing
- Patterns: Candidate discovery plus pattern-dependent glob verification
Hit Rate
- High hit rate → slightly slower (data extraction overhead)
- Low hit rate → faster (early termination)
Hardware
- CPU speed affects query throughput
- RAM speed affects load performance
- Storage type affects build time
Pattern Complexity
- Simple patterns (prefix/suffix) → faster
- Complex patterns → slower
- More patterns → more states to traverse
Interpreting Results
Build Time
How long it takes to compile entries into optimized format:
- Report entry mix, value sizes, pattern styles, and selected record width
- Measure several sizes before assuming a scaling model
- One-time cost
Load Time
How long it takes to map and structurally open the database:
- Report the storage medium and warm- or cold-page-cache state
- Compare like-for-like extension layouts and format versions
- Memory-mapped pages are faulted in on demand rather than eagerly copied into a heap representation
Query Performance
Define a workload-specific baseline on otherwise controlled hardware and compare distributions, not a universal queries-per-second threshold.
When investigating a regression:
- Check system load
- Verify no swap usage
- Record page faults and disk I/O rather than assuming all mapped pages are resident
- Confirm identical database bytes, query mix, cache settings, and Matchy revision
Use Cases
Capacity Planning
# Test with production-sized database
matchy bench combined --count 5000000 --query-count 10000000
Use results to estimate:
- Queries your system can handle
- Memory requirements
- Build time for updates
Performance Regression Testing
# Run before changes
matchy bench pattern --count 1000000 > before.txt
# Make changes...
# Run after changes
matchy bench pattern --count 1000000 > after.txt
# Compare results
diff before.txt after.txt
Hardware Comparison
# Run same benchmark on different systems
matchy bench combined --count 1000000
Compare:
- Query throughput
- Build time
- Load time
Exit Status
- 0: Benchmark completed successfully
- 1: Error (out of memory, disk full, etc.)
See Also
- matchy build - Build production databases
- matchy validate - Validate databases
- Performance Considerations - Optimization guide
- Performance Benchmarks - Detailed performance data
Contributing
Thank you for considering contributing to Matchy!
Ways to Contribute
- Report bugs - File issues with reproduction steps
- Suggest features - Propose new capabilities
- Fix bugs - Submit pull requests
- Add tests - Improve test coverage
- Improve docs - Enhance documentation
- Optimize code - Performance improvements
Getting Started
- Fork the repository on GitHub
- Clone your fork:
git clone https://github.com/YOUR_USERNAME/matchy.git cd matchy - Create a branch:
git checkout -b feature/my-feature - Make your changes
- Test thoroughly:
cargo test cargo clippy cargo fmt - Commit with clear messages:
git commit -m "Add feature: description" - Push and create a pull request
Development Guidelines
Code Style
- Run
cargo fmtbefore committing - Fix clippy warnings with
cargo clippy - Use descriptive names for functions and variables
- Add doc comments (
///) for public APIs - Keep functions focused - one responsibility per function
Testing
- Write tests for new features
- Maintain coverage - aim for high test coverage
- Test edge cases - empty inputs, large inputs, invalid data
- Use descriptive test names -
test_glob_matches_wildcard
#![allow(unused)]
fn main() {
#[test]
fn test_ip_lookup_finds_exact_match() {
let db = build_test_database();
let result = db.lookup("1.2.3.4").unwrap();
assert!(result.is_some());
}
}
Documentation
- Document public APIs with
///comments - Include examples in doc comments
- Update mdBook docs for user-facing changes
- Keep README current
#![allow(unused)]
fn main() {
/// Lookup an entry in the database
///
/// # Examples
///
/// ```
/// let db = Database::from("db.mxy").open()?;
/// let result = db.lookup("1.2.3.4")?;
/// ```
pub fn lookup(&self, query: &str) -> Result<Option<QueryResult>> {
// ...
}
}
Commit Messages
Use clear, descriptive commit messages:
Add: Brief description of what was added
Fix: Brief description of what was fixed
Docs: Brief description of documentation changes
Test: Brief description of test changes
Perf: Brief description of performance improvements
Pull Request Process
- Update tests - Add/update tests for your changes
- Update docs - Update relevant documentation
- Run CI checks locally:
cargo test cargo clippy -- -D warnings cargo fmt -- --check - Write clear PR description - Explain what and why
- Link related issues - Reference any related issues
- Be responsive - Address review feedback promptly
Code of Conduct
- Be respectful - Treat everyone with respect
- Be constructive - Provide helpful feedback
- Be patient - Maintainers are often volunteers
- Be collaborative - Work together towards solutions
Questions?
Feel free to:
- Open an issue for questions
- Start a discussion for brainstorming
- Check existing docs for answers
Thank you for contributing! 🎉
Building from Source
Build Matchy from source code.
Prerequisites
- Rust 1.70 or later
- C compiler (for examples)
Quick Build
# Clone
git clone https://github.com/matchylabs/matchy.git
cd matchy
# Build
cargo build --release
# Test
cargo test
# Install CLI
cargo install --path .
Build Profiles
Debug Build
cargo build
# Output: target/debug/
- Fast compilation
- Includes debug symbols
- No optimizations
Release Build
cargo build --release
# Output: target/release/
- Slow compilation
- Full optimizations
- LTO enabled
- Single codegen unit
Build Options
# Check without building
cargo check
# Build with all features
cargo build --all-features
# Build examples
cargo build --examples
# Build documentation
cargo doc --no-deps
C Header Generation
The C header is auto-generated on release builds:
cargo build --release
# Generates: crates/matchy/include/matchy/matchy.h
Cross-Compilation
# Install target
rustup target add x86_64-unknown-linux-gnu
# Build for target
cargo build --release --target x86_64-unknown-linux-gnu
Development Tools
Matchy includes development-only tools in the examples/ directory that are not installed with cargo install.
Updating the Public Suffix List
The TLD matching feature uses a hash-based lookup table built from the Public Suffix List. To refresh this data:
# Download latest PSL and generate punycode versions
cd tools/update-psl
cargo run
# Verify everything works
cd ../..
cargo test
# Commit the updated data
git add src/data/public_suffix_list.dat
git commit -m "Update Public Suffix List"
The update tool:
- Downloads the latest PSL from publicsuffix.org
- Generates punycode versions of non-ASCII entries (e.g., “公司.cn” → “xn–55qx5d.cn”)
- Saves both UTF-8 and punycode versions to
src/data/public_suffix_list.dat - This ensures domains work whether logs contain UTF-8 or punycode
Note: This is only needed when updating TLD patterns. The PSL data is embedded at compile time, so end users never need to run this.
See Also
Testing
Comprehensive testing guide for Matchy.
Running Tests
# Run all tests
cargo test
# Run with output
cargo test -- --nocapture
# Run specific test
cargo test test_glob_matching
# Run integration tests
cargo test --test integration_tests
# Run with backtrace
RUST_BACKTRACE=1 cargo test
Test Categories
Unit Tests
In module files alongside code:
#![allow(unused)]
fn main() {
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_ip_lookup() {
let db = build_test_db();
let result = db.lookup("1.2.3.4").unwrap();
assert!(result.is_some());
}
}
}
Integration Tests
In tests/ directory:
#![allow(unused)]
fn main() {
// tests/integration_tests.rs
use matchy::*;
#[test]
fn test_end_to_end_workflow() {
// Build database
let mut builder = MmdbBuilder::new(MatchMode::CaseSensitive);
builder.add_ip("1.2.3.4", HashMap::new()).unwrap();
let bytes = builder.build().unwrap();
// Save and load
std::fs::write("test.mxy", &bytes).unwrap();
let db = Database::from("test.mxy").open().unwrap();
// Query
let result = db.lookup("1.2.3.4").unwrap();
assert!(result.is_some());
}
}
Benchmark Tests
cargo bench
Test Patterns
Setup and Teardown
#![allow(unused)]
fn main() {
fn setup() -> Database {
let mut builder = MmdbBuilder::new(MatchMode::CaseSensitive);
builder.add_ip("1.2.3.4", HashMap::new()).unwrap();
let bytes = builder.build().unwrap();
std::fs::write("test.mxy", &bytes).unwrap();
Database::from("test.mxy").open().unwrap()
}
#[test]
fn test_query() {
let db = setup();
// test...
}
}
Testing Errors
#![allow(unused)]
fn main() {
#[test]
fn test_invalid_ip() {
let db = setup();
let result = db.lookup("invalid");
assert!(result.is_err());
}
}
Coverage
# Install tarpaulin
cargo install cargo-tarpaulin
# Generate coverage
cargo tarpaulin --out Html
See Also
Benchmarking
Performance benchmarking for Matchy.
Running Benchmarks
# Run all benchmarks
cargo bench
# Run specific benchmark
cargo bench pattern_matching
# Save baseline
cargo bench --bench matchy_bench -- --save-baseline main
# Compare to baseline
cargo bench --bench matchy_bench -- --baseline main
Benchmark Categories
- IP lookups - Binary trie performance
- Literal matching - Hash table performance
- Pattern matching - Aho-Corasick performance
- Database building - Construction time
- Database loading - mmap overhead
CLI Benchmarking
# Benchmark IP lookups
matchy bench ip --count 100000
# Benchmark pattern matching
matchy bench pattern --count 50000
# Benchmark combined
matchy bench combined --count 100000
Memory Profiling
Matchy includes tools for analyzing memory allocations during queries.
Query Allocation Profiling
Use the query_profile tool to analyze query-time allocations:
# Run with memory profiling enabled
cargo bench --bench query_profile --features dhat-heap
# Output shows allocation statistics
Completed 1,000,000 queries
=== Query-Only Memory Profile ===
dhat: Total: 8,000,894 bytes in 1,000,014 blocks
dhat: At t-gmax: 753 bytes in 11 blocks
dhat: At t-end: 622 bytes in 10 blocks
dhat: Results saved to: dhat-heap.json
This runs 1 million queries and tracks every allocation.
Interpreting Results
Key metrics:
- Total bytes: All allocations during profiling period
- Total blocks: Number of separate allocations
- t-gmax: Peak heap usage (maximum resident memory)
- t-end: Memory still allocated at program end
What to Look For
Good results (current state):
Total: ~8MB in 1M blocks
- ~1 allocation per query: Only the return Vec is allocated
- ~8 bytes per allocation: Just the Vec header
- Internal buffers are reused across queries
Bad results (if you see this, something regressed):
Total: ~50MB in 5M blocks
- 5+ allocations per query: Temporary buffers not reused
- 50+ bytes per allocation: Excessive copying
- Performance will be degraded
Viewing Detailed Results
The tool generates dhat-heap.json which can be viewed with dhat’s viewer:
# Open in browser (requires dhat repository)
open dhat/dh_view.html
# Then drag and drop dhat-heap.json into the viewer
The viewer shows:
- Allocation call stacks
- Peak memory usage over time
- Hotspots (which code allocates most)
Why This Matters
Query performance is sensitive to allocation behavior, but current throughput must be measured on a specified revision and workload. Important techniques include:
- Buffer reuse: Internal buffers are reused across queries
- Zero-copy patterns: Data is read directly from mmap’d memory
- Minimal cloning: Only the final result Vec is allocated
Allocation cost varies by allocator, size, contention, and platform. Measure allocation counts and end-to-end latency instead of assigning a fixed cost.
Allocation Optimization History
Matchy underwent allocation optimization in October 2024:
Before optimization:
- 4 allocations per query (~10.4 bytes each)
- ~40MB allocated per 1M queries
- Short-lived temporary vectors
After optimization:
- 1 allocation per query (~8 bytes)
- ~8MB allocated per 1M queries
- 75% reduction in allocations
Key changes:
- Added
result_bufferto reuse across queries - Changed
lookup_into()to write into caller’s buffer - Preserved buffer capacity across
clear()calls
CPU Profiling
Flamegraphs
Visualize where time is spent:
# Install flamegraph
cargo install flamegraph
# Generate flamegraph
sudo cargo flamegraph --bench matchy_bench
# Opens: flamegraph.svg
Flamegraphs show:
- Which functions take the most time (wider = more time)
- Call stack relationships (parent/child)
- Hot paths through your code
Perf on Linux
# Record performance data
perf record --call-graph dwarf cargo bench
# View report
perf report
Instruments on macOS
# Build with debug symbols
cargo build --release
# Profile with Instruments
xcrun xctrace record --template 'Time Profiler' \
--output profile.trace \
--launch target/release/matchy bench combined
# Open in Instruments
open profile.trace
Performance Testing Workflow
When optimizing:
-
Establish baseline:
cargo bench -- --save-baseline before -
Make changes
-
Compare results:
cargo bench -- --baseline before -
Profile allocations:
cargo bench --bench query_profile --features dhat-heap -
Profile CPU (if needed):
sudo cargo flamegraph --bench matchy_bench -
Validate improvements:
- Check allocation counts didn’t increase
- Verify throughput improved (or stayed same)
- Run full test suite:
cargo test
See Also
- Performance Guide - Performance characteristics
- CLI Bench Command - Command-line benchmarking
- Testing - Correctness testing
Fuzzing Guide
Fuzz testing for Matchy.
Setup
# Install cargo-fuzz
cargo install cargo-fuzz
# Initialize fuzzing
cargo fuzz init
Running Fuzzers
# List fuzz targets
cargo fuzz list
# Run specific target
cargo fuzz run fuzz_glob_matching
# Run with jobs
cargo fuzz run fuzz_glob_matching -- -jobs=4
Fuzz Targets
See Fuzz Targets for details.
Corpus Management
# Add to corpus
echo "test input" > fuzz/corpus/fuzz_target/input
# Minimize corpus
cargo fuzz cmin fuzz_target
See Also
CI/CD Checks
Continuous integration checks for Matchy.
Local Checks
Run before committing:
# Run all checks
cargo test
cargo clippy -- -D warnings
cargo fmt -- --check
CI Pipeline
Automated checks on pull requests:
Tests
cargo test --all-features
cargo test --no-default-features
Lints
cargo clippy -- -D warnings
Format
cargo fmt -- --check
Documentation
cargo doc --no-deps
Pre-commit Hook
#!/bin/bash
# .git/hooks/pre-commit
set -e
echo "Running tests..."
cargo test --quiet
echo "Running clippy..."
cargo clippy -- -D warnings
echo "Checking format..."
cargo fmt -- --check
echo "All checks passed!"
See Also
Release Process
This guide covers how to release a new version of Matchy to crates.io using automated GitHub Actions workflows with trusted publishing.
Overview
Matchy uses trusted publishing to securely publish releases to crates.io without managing API tokens. When you push a version tag (like v1.0.0), GitHub Actions automatically:
- Creates a GitHub release
- Builds binaries for multiple platforms
- Publishes to crates.io using OIDC authentication
Prerequisites
One-Time Setup: Configure Trusted Publishing
Before your first release, you must configure trusted publishing on crates.io:
- Go to https://crates.io/crates/matchy/settings
- Navigate to the “Trusted Publishing” section
- Click “Add” and fill in:
- Repository owner:
matchylabs - Repository name:
matchy - Workflow filename:
release.yml - Environment:
release
- Repository owner:
- Click “Save”
This tells crates.io to trust releases from your GitHub Actions workflow.
Note: The GitHub
releaseenvironment has already been created in your repository.
Release Checklist
Before releasing, ensure:
- All tests pass:
cargo test - Benchmarks run successfully:
cargo bench - Documentation builds:
cargo doc --no-deps - CHANGELOG.md is updated with version changes
- README.md reflects current features
- No uncommitted changes
Creating a Release
1. Update the Version
Update the version in Cargo.toml:
[package]
name = "matchy"
version = "1.0.0" # Update this
2. Commit the Version Bump
git add Cargo.toml CHANGELOG.md
git commit -m "Release version 1.0.0"
git push origin main
3. Create and Push the Tag
# Create an annotated tag
git tag -a v1.0.0 -m "Release version 1.0.0"
# Push the tag (this triggers the release workflow)
git push origin v1.0.0
Important: The tag version must match the
Cargo.tomlversion. The workflow will fail if they don’t match (e.g., tagv1.0.0requiresversion = "1.0.0"in Cargo.toml).
What Happens Automatically
When you push the tag, the GitHub Actions workflow (.github/workflows/release.yml) runs three jobs:
Job 1: Create Release
- Creates a GitHub release for the tag
- Sets the release name and description
Job 2: Build CLI Binaries
Builds the matchy CLI for multiple platforms:
- Linux x86_64 (
.tar.gz) - Linux ARM64 (
.tar.gz) - cross-compiled - macOS x86_64 (
.tar.gz) - macOS ARM64 (
.tar.gz) - Windows x86_64 (
.zip)
All archives are attached to the GitHub release for users who want pre-built binaries.
Job 3: Publish to crates.io
- Verifies the tag version matches
Cargo.toml - Uses the
rust-lang/crates-io-auth-actionto authenticate via OIDC - Runs
cargo publishwith a short-lived token - No API tokens are stored in the repository!
Monitoring a Release
Watch the Workflow
Monitor the release progress:
# Open in browser
gh run watch
Or visit: https://github.com/matchylabs/matchy/actions
Verify Publication
After the workflow completes:
- Check crates.io: https://crates.io/crates/matchy
- Check GitHub release: https://github.com/matchylabs/matchy/releases
- Test installation:
cargo install matchy --force matchy --version
Troubleshooting
“Trusted publishing not configured”
Problem: The workflow fails with an authentication error.
Solution: Follow the Prerequisites section to configure trusted publishing on crates.io.
“Version mismatch”
Problem: The workflow fails with “Tag version does not match Cargo.toml version.”
Solution: Ensure the tag (e.g., v1.0.0) matches the version in Cargo.toml (e.g., version = "1.0.0"). Delete the tag, fix the version, and re-tag:
# Delete local and remote tag
git tag -d v1.0.0
git push origin :refs/tags/v1.0.0
# Fix Cargo.toml, commit, then re-tag
git tag -a v1.0.0 -m "Release version 1.0.0"
git push origin v1.0.0
“Permission denied” or OIDC errors
Problem: The workflow can’t authenticate with crates.io.
Solution: Verify that:
- The
releaseenvironment exists in your repository - The workflow has
id-token: writepermission (already set) - Trusted publishing is configured on crates.io with the correct repository and workflow name
Build failures
Problem: The build or tests fail during the workflow.
Solution: Test locally first:
# Run all checks locally
cargo test
cargo clippy -- -D warnings
cargo build --release
# Test cross-compilation (if needed)
cargo build --release --target x86_64-unknown-linux-gnu
Semantic Versioning
Matchy follows Semantic Versioning:
- MAJOR (1.0.0 → 2.0.0): Breaking API changes
- MINOR (1.0.0 → 1.1.0): New features, backwards compatible
- PATCH (1.0.0 → 1.0.1): Bug fixes, backwards compatible
When to Bump
- Major: Binary format changes, API removals, behavior changes
- Minor: New features, new APIs, performance improvements
- Patch: Bug fixes, documentation updates, internal refactoring
Pre-Releases
For testing before an official release:
# Use a pre-release version
version = "1.0.0-beta.1"
# Tag with the same format
git tag -a v1.0.0-beta.1 -m "Beta release"
git push origin v1.0.0-beta.1
Pre-release versions are published to crates.io but not marked as the “latest” version.
Yanking a Release
If you discover a critical issue after publishing:
# Yank the problematic version
cargo yank --vers 1.0.0
# Fix the issue, then release a new version
# Bump to 1.0.1 and follow the normal release process
Yanked versions remain available for existing users but won’t be installed for new users.
How Trusted Publishing Works
Under the hood:
-
GitHub Actions generates an OIDC token that cryptographically proves:
- The workflow is running from the
matchylabs/matchyrepository - It’s using the
release.ymlworkflow - It’s deploying to the
releaseenvironment
- The workflow is running from the
-
The
rust-lang/crates-io-auth-actionexchanges this OIDC token for a short-lived crates.io token (expires in 30 minutes) -
cargo publishuses this temporary token to upload the crate -
The token expires automatically - no cleanup needed!
This is more secure than API tokens because:
- No long-lived secrets to manage or rotate
- Tokens are scoped to specific repositories and workflows
- Cryptographic proof of workflow identity
- Automatic expiration prevents token reuse
See Also
- Testing - Run tests before releasing
- CI Checks - What CI validates
- Benchmarking - Performance validation
- GitHub Actions Workflows
- crates.io Trusted Publishing Docs
Frequently Asked Questions
General
What is Matchy?
Matchy is a database for IP address and string matching. It supports matching IP addresses, CIDR ranges, exact strings, and glob patterns with associated structured data.
How is Matchy different from MaxMind’s GeoIP?
Matchy can read standard MaxMind MMDB files and extends the format to support string matching and glob patterns. If you only need IP lookups, MaxMind’s libraries work great. If you also need string and pattern matching, Matchy provides that functionality.
Is Matchy production-ready?
Matchy is actively developed and used in production systems. The API is stable, and the binary format is versioned. Always test thoroughly in your specific environment.
Performance
How fast is Matchy?
IP traversal is bounded by the address width, exact strings use average-case
O(1) hash probing, and glob cost depends on pattern shape and input. Opening
avoids whole-file deserialization through memory mapping, but still performs
structural checks. Measure with matchy bench; results depend on hardware,
storage, page-cache state, database size, hit rate, cache settings, and query
patterns.
Does Matchy work with multiple processes?
Yes. Matchy uses memory mapping, so the operating system can share clean read-only database pages across processes. Actual resident memory also includes private metadata, page tables, query caches, and the subset of pages each process touches; measure RSS/PSS under the intended workload.
What’s the maximum database size?
Memory mapping allows a database to exceed physical RAM when the working set
fits the deployment. Serialized extension offsets are u32, builders and
decoders impose additional limits, and virtual address space is not the only
constraint. Test the intended size and enforce an application file-size limit.
Compatibility
Can I use Matchy with languages other than Rust?
Yes. Matchy provides a C API that can be called from any language with C FFI support. This includes C++, Python, Go, Node.js, and many others.
Does Matchy run on Windows?
Yes. Matchy supports Linux, macOS, and Windows (10+).
Database Format
What file format does Matchy use?
Matchy uses a compact binary format based on MaxMind’s MMDB specification. The format supports:
- IP address trees (compatible with MMDB)
- Hash tables for exact string matches (extension)
- Aho-Corasick automaton for patterns (extension)
- Structured data storage (compatible with MMDB)
Can I read Matchy databases from other tools?
Standard MaxMind MMDB readers can read the IP address portion of a Matchy database. The string and pattern matching features require using Matchy’s libraries.
Are databases portable across platforms?
Yes. Matchy databases are platform-independent binary files. A database built on Linux works on macOS and Windows without modification.
Entry Types
How do I match a string that contains wildcards literally?
Use the literal: prefix to force exact matching:
literal:file*.txt
This will match the literal string “file*.txt” instead of treating * as a wildcard.
How do I force a string to be treated as a pattern?
Use the glob: prefix:
glob:example.com
This forces “example.com” to be treated as a glob pattern instead of an exact string.
What are type prefixes and when should I use them?
Type prefixes (literal:, glob:, ip:) override Matchy’s automatic entry type detection.
Use them when:
- A string contains
*,?, or[that should be matched literally - You need consistent behavior across mixed data sources
- Auto-detection doesn’t match your intent
See Entry Types - Prefix Technique for details.
Changelog
All notable changes to matchy are documented here.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
For detailed version history, see the full CHANGELOG.md in the repository.
[1.2.1] - 2025-10-28
Fixed
- Critical: Worker False Positive Bug
- Fixed bug where Worker was treating
QueryResult::NotFoundas a valid match - Affects batch processing and
matchy matchcommand accuracy - Now correctly distinguishes between matches and non-matches
- Fixed bug where Worker was treating
[1.2.0] - 2025-10-28
Added
- String Interning for Database Size Reduction
- Automatic deduplication of repeated string values in database data sections
- Significantly reduces database size for datasets with redundant metadata
- Zero query-time overhead - interning happens at build time
- Transparent to API users - no code changes required
Fixed
- Critical: Database Construction Bugs (discovered via fuzzing)
- Fixed UTF-8 boundary bug in case-insensitive glob pattern matching that could create malformed databases
- Added overflow/underflow validation in IP tree builder to prevent invalid pointer arithmetic
- Database builder now validates all record values before writing to prevent creating unreadable databases
- Enhanced input validation during database construction
- Improved error messages for invalid data pointer calculations
Changed
- Database loader now provides detailed error messages on invalid pointer arithmetic instead of panicking
- Improved error messages for invalid input during database building
- Better detection and reporting of malformed patterns and IP addresses
[1.1.0] - 2025-10-25
Added
-
matchy extractCommand for high-performance pattern extraction from logs- Extract domains, IPv4/IPv6 addresses, and email addresses from unstructured text
- Multiple output formats: JSON (NDJSON), CSV, plain text
- Configurable extraction types with
--typesflag (ipv4, ipv6, domain, email, all) - Deduplication mode with
--uniqueflag - Statistics reporting with
--statsflag - 200-500 MB/s typical throughput
-
Parallel Multi-File Processing for
matchy match-j/--threadsflag for parallel processing (default: auto-detect cores)- 2-8x faster throughput on multi-core systems
- Per-worker LRU caches for optimal performance
--batch-bytestuning option for large files
-
Follow Mode for
matchy match-f/--followflag for log tailing (liketail -f)- Monitors files for changes using file system notifications
- Processes new lines immediately as they are written
- Supports parallel processing with multiple files
-
Live Progress Reporting
-p/--progressflag shows live 3-line progress indicator- Displays lines processed, matches, hit rate, throughput, elapsed time
- Candidate breakdown (IPv4, IPv6, domains, emails)
- Query rate statistics
-
Query Result Caching for high-throughput workloads
- Configurable LRU cache with
Database::from().cache_capacity(size)builder API - Disable caching with
Database::from().no_cache()for memory-constrained environments clear_cache()method for cache management- Benchmarks show 2-10x speedup at 80%+ cache hit rates
- Configurable LRU cache with
-
Pattern Extractor API for log scanning and data extraction
- SIMD-accelerated extraction of domains, IPv4/IPv6 addresses, and email addresses
- Zero-copy line scanning with
memchrfor maximum throughput - Unicode/IDN domain support with automatic punycode conversion
- Binary log support (extracts ASCII patterns from non-UTF-8 data)
Performance
- AC Automaton Optimizations: 2.4% speedup from memory-locked automaton
- Parallel Processing: 2-8x speedup on multi-core systems
- Caching: 2-10x query speedup with 80%+ hit rates
[1.0.1] - 2025-10-14
Fixed
- Critical: IP Longest Prefix Match Bug (#10)
- Fixed insertion order dependency affecting IP address lookups
- More specific prefixes (e.g., /32) now correctly take precedence over less specific ones (e.g., /24)
- Affects both IPv4 and IPv6 lookups
- Internal fix only - no database format changes
Added
- Comprehensive test suite for longest prefix matching
- IPv6 longest prefix match tests
[1.0.0] - 2025-10-13
🎉 First Stable Release
Matchy 1.0.0 is production-ready! This major release includes database format updates and comprehensive validation infrastructure.
🚨 Breaking Changes
- Database Format: Updated binary format (databases from v0.5.x must be rebuilt)
- Match Mode Storage: Case sensitivity now stored in database metadata
Highlights
Validation System
- Three validation levels: Standard, Strict, and Audit
- Complete database integrity checking before loading
- CLI commands:
matchy validateandmatchy audit - C API:
matchy_validate()function - Prevents crashes from corrupted or malicious databases
Case-Insensitive Matching
- Build-time
-i/--case-insensitiveflag - Match mode persisted in database metadata
- Zero query-time overhead
- Automatic deduplication of case variants
Performance
- Validation: ~18-20ms on 193MB database (minimal impact)
- All 0.5.x performance characteristics maintained:
- 7M+ IP queries/second
- 1M+ pattern queries/second
- <100μs database loading
- 30-57% faster than 0.4.x pattern matching
Testing
- 163 tests passing (all unit, integration, and doc tests)
- 5 active fuzz targets
- Comprehensive validation coverage
[0.5.2] - 2025-10-12
Major Performance Improvements
- 30-57% faster pattern matching via state-specific AC encoding
- O(1) database loading with lazy offset-based lookups
- Trusted mode for 15-20% additional speedup (skips validation)
Critical Bug Fixes
- Fixed UTF-8 boundary panic in glob matching (found by fuzzing)
- Fixed exponential backtracking / OOM vulnerability (found by fuzzing)
Added
- Comprehensive
matchy benchcommand (900+ lines) - Fuzzing infrastructure with 5 fuzz targets
- Zero-copy optimizations with zerocopy 0.8
Database::open_trusted()API
[0.5.1] - 2025-10-11
Added
- cargo-c configuration for C/C++ library installation
- System-wide installation support:
cargo cinstall - Headers install to
/usr/local/include/matchy/
[0.5.0] - 2025-01-15
Major Performance Improvements
- 18x faster build times (424K patterns in ~1 second)
- 15x smaller databases (~72 MB vs 1.1 GB)
- 10-100x faster literal queries via O(1) hash lookup
Added
- Hybrid lookup architecture (hash table + Aho-Corasick + IP trie)
- Literal hash table for exact string matching
- CSV input format support
- MISP streaming import
- Enhanced CLI with JSON output and exit codes
[0.4.0] - 2025-01-10
Major Changes
- Project renamed from
paraglob-rstomatchy - Full MMDB integration for IP address lookups
- Unified database format (IP addresses + patterns)
- v3 format with zero-copy AC literal mapping
Added
- IP address and CIDR range matching (IPv4 and IPv6)
- MISP threat feed integration
- CLI tool:
matchy query,matchy inspect,matchy build - Rich structured data storage (MMDB-compatible encoding)
Performance
- 1.4M queries/sec with 10K patterns
- 1.5M IP lookups/sec
- <150μs database load time
Release Process
Releases follow Semantic Versioning:
- MAJOR (1.x): Incompatible API or format changes
- MINOR (x.1): New backward-compatible functionality
- PATCH (x.x.1): Backward-compatible bug fixes
See Also
Glossary
Database
A database is a binary file containing entries for IP addresses, CIDR ranges, exact
strings, and glob patterns, along with associated data. Databases are created with a
database builder and queried with the Database::lookup() method.
Database Builder
A database builder (DatabaseBuilder) is used to construct a new database.
You add entries to the builder, then call .build() to produce the final
database bytes.
Entry
An entry is a single item added to a database. An entry consists of a key (IP address, CIDR range, exact string, or glob pattern) and associated data. Matchy automatically detects the entry type based on the key format.
CIDR
CIDR (Classless Inter-Domain Routing) is a notation for specifying IP address ranges,
such as 192.0.2.0/24. The number after the slash indicates how many bits of the address
are fixed. Matchy supports both IPv4 and IPv6 CIDR ranges.
Pattern
A pattern is a string containing wildcard characters (* or ?) that can match multiple
input strings. For example, *.example.com matches foo.example.com, bar.example.com,
and any other subdomain of example.com.
Query
A query is a lookup operation on a database. You pass a string to
Database::lookup(), and Matchy returns matching data if found. The query automatically
checks IP addresses, CIDR ranges, exact strings, and patterns.
Match Mode
Match mode determines how string comparisons are performed. MatchMode::CaseSensitive
treats "ABC" and "abc" as different. MatchMode::CaseInsensitive treats them as the same.
Match mode is set when creating a database builder.
This guarantee applies consistently to ASCII. Exact and glob matching currently
use different folding rules for non-ASCII text; use case-sensitive mode when
that distinction matters.
Memory Mapping
Memory mapping (mmap) is a technique that maps file contents directly into a process’s address space. Matchy uses memory mapping to open databases without whole-file deserialization. The operating system can share clean memory-mapped pages across processes, reducing duplicated resident memory.
MMDB
MMDB (MaxMind Database) is a binary format for storing IP geolocation data, created by MaxMind. Matchy can read standard MMDB files and extends the format to support string matching and glob patterns.
Data Value
A data value is a piece of structured data associated with an entry. Matchy supports several data types including strings, integers, floats, booleans, arrays, and maps. Data values are stored in a compact binary format within the database.
Examples
This appendix contains complete examples demonstrating Matchy usage.
Threat Intelligence Database
Build a database of malicious IPs and domains:
use matchy::{Database, DatabaseBuilder, MatchMode, DataValue, QueryResult};
use std::collections::HashMap;
fn main() -> Result<(), Box<dyn std::error::Error>> {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// Add known malicious IP
let mut threat = HashMap::new();
threat.insert("severity".to_string(), DataValue::String("critical".to_string()));
threat.insert("type".to_string(), DataValue::String("c2_server".to_string()));
builder.add_entry("198.51.100.1", threat)?;
// Add botnet CIDR range
let mut botnet = HashMap::new();
botnet.insert("severity".to_string(), DataValue::String("high".to_string()));
botnet.insert("type".to_string(), DataValue::String("botnet".to_string()));
builder.add_entry("203.0.113.0/24", botnet)?;
// Add phishing domain pattern
let mut phishing = HashMap::new();
phishing.insert("category".to_string(), DataValue::String("phishing".to_string()));
builder.add_entry("*.phishing-site.com", phishing)?;
// Build and save
let db_bytes = builder.build()?;
std::fs::write("threats.mxy", &db_bytes)?;
// Query
let db = Database::from("threats.mxy").open()?;
if let Some(QueryResult::Ip { data, .. }) = db.lookup("198.51.100.1")? {
println!("Threat found: {:?}", data);
}
if let Some(QueryResult::Pattern { data, .. }) = db.lookup("login.phishing-site.com")? {
println!("Phishing site: {:?}", data[0]);
}
Ok(())
}
GeoIP Database
Query a MaxMind GeoIP database:
use matchy::{Database, QueryResult};
fn main() -> Result<(), Box<dyn std::error::Error>> {
// Open a standard MaxMind GeoLite2 database
let db = Database::from("GeoLite2-City.mmdb").open()?;
// Look up IP address
match db.lookup("8.8.8.8")? {
Some(QueryResult::Ip { data, prefix_len, .. }) => {
println!("IP: 8.8.8.8/{}", prefix_len);
println!("Data: {:#?}", data);
}
_ => println!("Not found"),
}
Ok(())
}
Multi-Pattern Matching
Match against thousands of patterns efficiently:
use matchy::{DatabaseBuilder, Database, MatchMode, DataValue};
use std::collections::HashMap;
fn main() -> Result<(), Box<dyn std::error::Error>> {
let mut builder = DatabaseBuilder::new(MatchMode::CaseInsensitive);
// Add thousands of malicious domain patterns
for i in 0..50_000 {
let mut data = HashMap::new();
data.insert("id".to_string(), DataValue::Uint32(i));
builder.add_entry(&format!("*.malware{}.com", i), data)?;
}
let db_bytes = builder.build()?;
std::fs::write("patterns.mxy", &db_bytes)?;
let db = Database::from("patterns.mxy").open()?;
// Query against 50,000 patterns - still fast!
let start = std::time::Instant::now();
let result = db.lookup("subdomain.malware42.com")?;
println!("Query time: {:?}", start.elapsed());
println!("Result: {:?}", result);
Ok(())
}
See the repository examples directory for more complete examples.