Skip to main content
Ctrl+K
FLPQ_Data 6.1.2 documentation - Home FLPQ_Data 6.1.2 documentation - Home
  • Getting started
  • FLPQ: Formal-Language-Constrained Path Querying
  • Dataset
  • Reference
  • Project
  • GitHub
  • PyPI
  • Getting started
  • FLPQ: Formal-Language-Constrained Path Querying
  • Dataset
  • Reference
  • Project
  • GitHub
  • PyPI

Section Navigation

  • Graphs
    • C alias analysis
      • wc
      • bzip
      • pr
      • ls
      • gzip
      • apache
      • init
      • mm
      • ipc
      • lib
      • block
      • arch
      • crypto
      • security
      • sound
      • net
      • fs
      • drivers
      • postgre
      • kernel
    • RDF
    • Java points-to graphs
    • Field-Sensitive Alias
    • Context-Sensitive Data-Flow
    • Data Provenance
    • Name Resolution
    • Biological graphs from UniProt
  • CFPQ
  • RPQ
  • MCFPQ
  • Reachable Pair Counts
  • Contributing data
  • File structure
  • Dataset
  • Graphs
  • C alias analysis
  • kernel

kernel#

Table of Contents

  • kernel

    • Info

    • Graph Statistics

    • Edges Statistics

Info#

Full Name

kernel_after_inline

Direct download

.tar.gz

Graph Statistics#

Num Nodes

Num Edges

11254434

9484213

Edges Statistics#

Edge Label

Num Edge Label

d

7502955

a

1981258
On this page
  • Info
  • Graph Statistics
  • Edges Statistics

© Copyright 2019-2026, vdshk.

Created using Sphinx 9.0.4.

Built with the PyData Sphinx Theme 0.21.0.