Network Flow State Tracking Code Verification Dataset

#code verification #state tracking logic analysis #root-cause analysis #network session management #network flow state monitoring #network security software verification

5000
0.3GB
JSON
CATL
MOBIUSI INC

Updated:2026-10-25

AI Analysis & Value Prop

This dataset contains analysis source code that maintains network connection or flow state, accompanied by labels assessing state-update correctness and diagnosing issues. Annotations cover state lifecycles, timeout logic, out-of-order packet or event handling, state transitions, and diagnostic evidence. It supports training and evaluating models that verify session-tracking code, identify state errors, and assist with debugging network traffic analysis tools.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
root_cause	string	Summarizes the code logic or conditional check behind a state-tracking error; if no error is found, states the verification conclusion.
source_code	string	Analysis source code that maintains network session or flow state.
error_categories	array	Categories of state-tracking issues found in the code, potentially including lifecycle, timeout, out-of-order handling, or state-update errors.
timeout_assessment	string	Describes whether timeout conditions, timeout checks, and cleanup of expired state are correct.
diagnostic_evidence	string	Cites or describes code behavior, conditions, or execution scenarios that support the correctness judgment and root-cause conclusion.
lifecycle_assessment	string	Describes whether initialization, active maintenance, and termination cleanup of connection or flow state behave as expected.
programming_language	string	Programming language used by the source code.
state_update_correct	boolean	Indicates whether the code correctly creates, updates, and clears connection or flow state.
out_of_order_assessment	string	Describes whether handling out-of-order packets or events can cause state errors.
state_transition_summary	string	Summarizes key state variables and how they are updated and transitioned along relevant code paths.

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 includes source code that maintains network connection or flow state, with annotations for state-update correctness, error categories, lifecycle and timeout assessments, out-of-order handling, state-transition summaries, and diagnostic evidence.

Which tasks can this dataset support?: It supports correctness verification, state-logic analysis, error classification, and root-cause diagnosis for network session-tracking code. It can also be used to train or evaluate models that assist in debugging network analysis tools.

Does the dataset specify programming languages or sample size?: The schema includes programming-language information, but the supplied description does not specify language coverage or sample count. Check the dataset page for the contents and specifications of the available version.

How can I access the dataset and check its license?: Check the dataset product page for available access methods, version details, and license terms. Before use, verify the permitted scope and comply with requirements for the code and related content.

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={Network Flow State Tracking Code Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/c44ac55f1265244e0a8fcd1b983d3df7},
  urldate={2026-10-20},
  keywords={network flow state tracking dataset,network session code verification,source code correctness assessment,state update error diagnosis,timeout logic analysis,out-of-order handling assessment,code root-cause analysis,network traffic analysis data},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Products

Scene

Domain

Modality

Task