perlbench

Info

Full Name	perlbench
Direct download	.tar.gz

Graph Statistics

Num Nodes	Num Edges
605864	1114892

Edges Statistics

Edge Label	Num Edge Label
\(a\)	903112
\(call_i\)	149363
\(ret_i\)	62417

Canonical Grammar

Productions with index \(i\) are duplicated for each call site in the analyzed program. The start nonterminal is \(A\).

\[\begin{split}A \, \rightarrow \, A \, A \mid a \mid \varepsilon \, \\ A \, \rightarrow \, call_i \, A \, ret_i \, \\\end{split}\]

Pyformlang CFG:

A -> A A | a | epsilon
A -> call_i A ret_i