Skip to content

Commit 717ce4e

Browse files
lucaneglucaneg
committed
added flame graph #334 
1 parent 329d28f commit 717ce4e

File tree

42 files changed

+5119
-1940
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+5119
-1940
lines changed

‎lisa/lisa-analyses/imp-testcases/visualization/all-flame/assets/d3-graphviz.min.js‎

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lisa/lisa-analyses/imp-testcases/visualization/all-flame/assets/d3.v7.min.js‎

Lines changed: 2 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lisa/lisa-analyses/imp-testcases/visualization/all-flame/assets/style.css‎

Lines changed: 264 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,264 @@
1+
html,
2+
body {
3+
height: 100%;
4+
margin: 0;
5+
}
6+
7+
body {
8+
font-family: helvetica neue, helvetica, liberation sans, arial, sans-serif;
9+
font-size: 14px;
10+
background-color: white;
11+
}
12+
13+
.box {
14+
display: flex;
15+
flex-flow: column;
16+
height: 100%;
17+
}
18+
19+
.box .row.header {
20+
flex: 0 1 auto;
21+
}
22+
23+
.box .row.content {
24+
flex: 1 1 auto;
25+
}
26+
27+
header {
28+
padding: 10px;
29+
border-bottom: 2px black solid;
30+
}
31+
32+
header img {
33+
float: right;
34+
height: 120px;
35+
margin-top: 10px;
36+
}
37+
38+
.splitter {
39+
width: 100%;
40+
display: flex;
41+
flex-direction: row;
42+
}
43+
44+
#separator {
45+
cursor: col-resize;
46+
background-color: #aaa;
47+
background-image: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='10' height='30'><path d='M2 0 v30 M5 0 v30 M8 0 v30' fill='none' stroke='black'/></svg>");
48+
background-repeat: no-repeat;
49+
background-position: center;
50+
width: 10px;
51+
52+
/* Prevent the browser's built-in drag from interfering */
53+
-moz-user-select: none;
54+
-ms-user-select: none;
55+
user-select: none;
56+
}
57+
58+
.modal {
59+
display: none;
60+
position: fixed;
61+
z-index: 12;
62+
left: 0;
63+
top: 0;
64+
width: 100%;
65+
height: 100%;
66+
overflow: auto;
67+
background-color: rgb(0, 0, 0);
68+
background-color: rgba(0, 0, 0, 0.4);
69+
}
70+
71+
.modal-content {
72+
background-color: #fefefe;
73+
margin: 15% auto;
74+
padding: 20px;
75+
border: 1px solid #888;
76+
width: 40%;
77+
min-width: 350px;
78+
}
79+
80+
.modal-content b {
81+
padding: 6px 0;
82+
color: #333333;
83+
display: block;
84+
cursor: pointer;
85+
}
86+
87+
.close {
88+
color: #aaa;
89+
float: right;
90+
font-size: 28px;
91+
font-weight: bold;
92+
}
93+
94+
.close:hover,
95+
.close:focus {
96+
color: black;
97+
text-decoration: none;
98+
cursor: pointer;
99+
}
100+
101+
.button {
102+
background-color: #16A15B;
103+
color: white;
104+
padding: 5px 20px;
105+
text-align: center;
106+
text-decoration: none;
107+
display: inline-block;
108+
border: 1px #16A15B solid;
109+
border-radius: 25px;
110+
cursor: pointer;
111+
}
112+
113+
.button:disabled,
114+
.button[disabled] {
115+
background-color: #CCCCCC;
116+
border: 1px #CCCCCC solid;
117+
color: #666666;
118+
}
119+
120+
.searchbar {
121+
padding: 5px 20px;
122+
border-radius: 25px;
123+
border: 1px #16A15B solid;
124+
}
125+
126+
.no-results {
127+
border: solid 2px #FF0000;
128+
background-color: #FF000040;
129+
}
130+
131+
#graph {
132+
display: flex;
133+
flex-grow: 1;
134+
justify-content: center;
135+
align-items: center;
136+
z-index: 10;
137+
width: 75%;
138+
min-width: 500px;
139+
}
140+
141+
.node {
142+
cursor: pointer;
143+
}
144+
145+
.node polygon {
146+
fill: white;
147+
}
148+
149+
.node-selected {
150+
filter: drop-shadow(0 0 5px #16A15B);
151+
}
152+
153+
#descriptions {
154+
flex-grow: 0.5;
155+
z-index: 11;
156+
overflow: auto;
157+
font-size: 18px;
158+
border-left: 2px solid #e2e2e2;
159+
padding-left: 5px;
160+
width: 25%;
161+
min-width: 200px;
162+
}
163+
164+
.description-header {
165+
font-weight: bold;
166+
}
167+
168+
#descriptions ul {
169+
padding-left: inherit;
170+
margin: 5px 0;
171+
}
172+
173+
.description-nest {
174+
padding-left: 15px;
175+
}
176+
177+
.header-hidden {
178+
display: none;
179+
}
180+
181+
.description-title-wrapper {
182+
margin-top: 0.83em;
183+
margin-bottom: 0.83em;
184+
}
185+
186+
.description-title {
187+
font-size: 1.5em;
188+
font-weight: bold;
189+
}
190+
191+
.description-title-text {
192+
font-size: 1.5em;
193+
font-family: monospace;
194+
}
195+
196+
#header-none {
197+
margin-top: 0.83em;
198+
margin-bottom: 0.83em;
199+
}
200+
201+
.accordion {
202+
background-color: #84c2a2;
203+
cursor: pointer;
204+
padding: 18px;
205+
width: 100%;
206+
text-align: left;
207+
border: none;
208+
outline: none;
209+
transition: 0.4s;
210+
}
211+
212+
.accordion::after {
213+
content: '\002B';
214+
float: right;
215+
margin-left: 5px;
216+
font-size: 18px;
217+
}
218+
219+
.active,
220+
.accordion:hover {
221+
background-color: #16A15B;
222+
}
223+
224+
.header-panel {
225+
display: none;
226+
}
227+
228+
g.edge>text {
229+
font-size: 0.9em;
230+
}
231+
232+
#heatmap-chart {
233+
background: white;
234+
overflow: hidden;
235+
}
236+
237+
.heatmap-node {
238+
stroke: #333;
239+
stroke-width: 0.5;
240+
}
241+
242+
.heatmap-highlight {
243+
stroke: #000;
244+
stroke-width: 2;
245+
}
246+
247+
.heatmap-label {
248+
fill: #111;
249+
font-size: 11px;
250+
pointer-events: auto;
251+
cursor: default;
252+
user-select: none;
253+
}
254+
255+
.heatmap-tooltip {
256+
position: absolute;
257+
pointer-events: none;
258+
background: rgba(0,0,0,0.85);
259+
color: white;
260+
padding: 6px 8px;
261+
border-radius: 4px;
262+
font-size: 12px;
263+
opacity: 0;
264+
}

‎lisa/lisa-analyses/imp-testcases/visualization/all-flame/flamegraph.html‎

Lines changed: 209 additions & 0 deletions
Large diffs are not rendered by default.

‎lisa/lisa-analyses/imp-testcases/visualization/all-flame/report.json‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
{
2+
"warnings" : [ ],
3+
"notices" : [ ],
4+
"files" : [ "assets/d3-graphviz.min.js", "assets/d3.v7.min.js", "assets/style.css", "flamegraph.html", "report.json" ],
5+
"info" : {
6+
"cfgs" : "6",
7+
"duration" : "101ms",
8+
"end" : "2026-01-20T16:25:06.578+01:00",
9+
"expressions" : "49",
10+
"files" : "4",
11+
"globals" : "0",
12+
"members" : "6",
13+
"notices" : "0",
14+
"programs" : "1",
15+
"start" : "2026-01-20T16:25:06.477+01:00",
16+
"statements" : "21",
17+
"units" : "2",
18+
"version" : "0.1",
19+
"warnings" : "0"
20+
},
21+
"configuration" : {
22+
"asynchronousListeners" : "FlameGraphListener",
23+
"backwardDescendingFixpoint" : "unset",
24+
"backwardFixpoint" : "BackwardAscendingFixpoint",
25+
"dumpForcesUnwinding" : "false",
26+
"fixpointWorkingSet" : "OrderBasedWorkingSet",
27+
"forwardDescendingFixpoint" : "unset",
28+
"forwardFixpoint" : "ForwardAscendingFixpoint",
29+
"glbThreshold" : "5",
30+
"hotspots" : "unset",
31+
"openCallPolicy" : "TopExecutionPolicy",
32+
"outputs" : "JSONReportDumper",
33+
"recursionWideningThreshold" : "5",
34+
"semanticChecks" : "",
35+
"shouldSmashError" : "unset",
36+
"synchronousListeners" : "",
37+
"syntacticChecks" : "",
38+
"useWideningPoints" : "true",
39+
"wideningThreshold" : "5",
40+
"workdir" : "test-outputs/visualization/all-flame"
41+
}
42+
}

‎lisa/lisa-analyses/imp-testcases/visualization/all-trace/report.json‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,15 +4,15 @@
44
"files" : [ "report.json", "trace.txt" ],
55
"info" : {
66
"cfgs" : "6",
7-
"duration" : "445ms",
8-
"end" : "2026-01-16T16:56:38.462+01:00",
7+
"duration" : "30ms",
8+
"end" : "2026-01-20T16:25:04.848+01:00",
99
"expressions" : "49",
1010
"files" : "1",
1111
"globals" : "0",
1212
"members" : "6",
1313
"notices" : "0",
1414
"programs" : "1",
15-
"start" : "2026-01-16T16:56:38.017+01:00",
15+
"start" : "2026-01-20T16:25:04.818+01:00",
1616
"statements" : "21",
1717
"units" : "2",
1818
"version" : "0.1",

0 commit comments

Comments
 (0)