tomcat#

Info#

Full Name

tomcat

Version

4.0.0

Direct download (.csv + .md)

.tar.gz

Origin

link

CSV File Structure#

Column Number

Column Type

Column Description

1

int

The tail of the edge

2

int

The head of the edge

3

str

The label of the edge

Graph Statistics#

Num Nodes

Num Edges

111327

110884

Edges Statistics#

Note

This graph has edges with labels \(\textit{load}_f\) and \(\textit{store}_f\) for all \(f \in \textit{Fields} = \{0, \ldots, 2210\}\).

Edge Label

Num Edge Label

\(\textit{alloc}\)

22962

\(\textit{assign}\)

69473

\(\textit{load}_f\)

15198

\(\textit{store}_f\)

3251

Canonical grammars#

Grammars for the field-sensitive analysis of Java programs introduced in "Giga-scale exhaustive points-to analysis for Java in under a minute". Template for these grammars is described on the Java Points-to page.

\[\begin{split}\textit{PointsTo} \, \rightarrow \, (\textit{assign} \mid \textit{load}_f \, \textit{Alias} \, \textit{store}_f)^{*} \, \textit{alloc} \, \\ \textit{Alias} \, \rightarrow \, \textit{PointsTo} \, \textit{FlowsTo} \, \\ \textit{FlowsTo} \, \rightarrow \, \overline{\textit{alloc}} \, (\overline{\textit{assign}} \mid \overline{\textit{store}_f} \, \textit{Alias} \, \overline{\textit{load}_f})^* \, \\ \forall \, f \, \in \, Fields\end{split}\]