Stateful Flow Tracking Code Verification Dataset

#Code verification #State machine analysis #Invariant checking #State transition analysis #Intrusion detection systems #Intrusion prevention systems #Network traffic analysis #Session state auditing

3210
0.2GB
JSON
CATL
MOBIUSI INC

Updated:2026-11-03

AI Analysis & Value Prop

Focused on stateful flow tracking in IDS/IPS, this dataset contains source code related to connection tracking, session state machines, timeout handling, and state transitions. Its validation targets cover state invariants, valid and exceptional transitions, and timeout rules; the structured content includes source code, validation constraints, extracted state models, invariant check results, transition analyses, and overall conclusions. It supports code verification model training and evaluation, as well as state-logic analysis for intrusion detection and prevention systems.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
source_code	string	Source code for connection tracking, session state machines, timeout handling, or state transitions that is to be verified.
state_model	object	The session state set and structural information parsed from the source code and validation targets.
validation_target	object	State invariants, valid transitions, exceptional transitions, and timeout rules that constrain the code verification process.
transition_analysis	object	A consolidated analysis of valid, invalid, timeout-related, and exceptional state transitions.
invariant_evaluation	array	Results of checking whether the implementation conforms to each state invariant.
verification_summary	object	A code correctness conclusion based on the combined invariant checks and state transition analysis.

Compliance Statement

Authorization Type	Proprietary - Commercial AI Training License (No Redistribution)
Commercial Use	Requires exclusive subscription or authorization contract (monthly or per-invocation charging)
Privacy and Anonymization	No PII, no real company names, simulated scenarios follow industry standards
Compliance System	Compliant with China's Data Security Law / EU GDPR / supports enterprise data access logs

Frequently Asked Questions

What does the dataset contain?: It focuses on connection tracking and session state logic. Contents include source code to verify, validation targets, extracted state models, invariant check results, state transition analyses, and overall verification conclusions.

How does the dataset support verification quality?: Validation targets specify state invariants, valid and exceptional transitions, and timeout rules. Per-invariant checks and transition analyses show whether the implementation conforms to those rules. Check the dataset version details for supported programming languages, formats, and sample counts.

What are the intended use cases?: The dataset can train or evaluate code verification models, analyze cross-packet session state logic in IDS/IPS, and support reviews of state constraints, timeout handling, and exceptional transitions in connection tracking implementations.

How can I access the data, and what licensing applies?: Refer to the product page or the provider's latest documentation for access options, available formats, and license terms. Confirm usage restrictions before commercial deployment, redistribution, or integration into security products.

Can't find the data you need?

Post a request and let data providers reach out to you.

Get this Dataset

Verified for Enterprise Use

Cite this Work

@dataset{Mobiusi2026,
  title={Stateful Flow Tracking Code Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/664af071c876157eb018808317a91281},
  urldate={2026-10-27},
  keywords={stateful flow tracking,code verification dataset,IDS code analysis,IPS code verification,session state machine,connection tracking,state transition checking,timeout rule validation},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Scene

Domain

Modality

Task