sunflow#
Info#
Full Name |
sunflow |
Version |
4.0.0 |
Direct download (.csv + .md) |
|
Origin |
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 |
|---|---|
15464 |
15957 |
Edges Statistics#
Note
This graph has edges with labels \(\textit{load}_f\) and \(\textit{store}_f\) for all \(f \in \textit{Fields} = \{0, \ldots, 231\}\).
Edge Label |
Num Edge Label |
|---|---|
\(\textit{alloc}\) |
3306 |
\(\textit{assign}\) |
9972 |
\(\textit{load}_f\) |
2305 |
\(\textit{store}_f\) |
374 |
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}\]