CellularAudit: An Automated Framework for Consistency and Security Auditing of 5G Core Networks

We present CellularAudit, a closed-loop automated auditing framework that synergizes domain expertise with the deep semantic reasoning of LLMs. CellularAudit employs a Domain-Informed Specification Annotation module to navigate voluminous standards and resolve entity ambiguities. To ensure precise mapping between abstract specifications and concrete code, we introduce a Bidirectionally Verified Code Indexing mechanism that enforces a rigorous forward-backward verification loop. Furthermore, we propose a Multi-level Reasoning engine driven by a Domain-Knowledge-Injected Few-Shot Prompting Strategy (DKIFSP). This engine executes a tiered analysis—cascading from comprehensive functional consistency checks to targeted security assessments—and generates standardized test cases for manual verification.