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
    • RDF
    • Java points-to graphs
    • Field-Sensitive Alias
    • Context-Sensitive Data-Flow
      • xz
      • nab
      • leela
      • x264
      • parest
      • imagick
      • povray
      • cactus
      • omnetpp
      • perlbench
    • Data Provenance
    • Name Resolution
    • Biological graphs from UniProt
  • CFPQ
  • RPQ
  • MCFPQ
  • Reachable Pair Counts
  • Contributing data
  • File structure
  • Dataset
  • Graphs
  • Context-Sensitive Data-Flow
  • cactus

cactus#

Table of Contents

  • cactus

    • Info

    • Graph Statistics

    • Edges Statistics

Info#

Full Name

cactus

Direct download

.tar.gz

Graph Statistics#

Num Nodes

Num Edges

359200

580297

Edges Statistics#

Edge Label

Num Edge Label

\(a\)

393126

\(call_i\)

123500

\(ret_i\)

63671
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.