Skip to content

Commit dcc3753

Browse files
fmeumfmeum
committed
Add docs for jazzer
1 parent 45f9493 commit dcc3753

Some content is hidden

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

53 files changed

+40539
-0
lines changed

‎jazzer/allclasses-frame.html‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
<!DOCTYPE HTML>
2+
<!-- NewPage -->
3+
<html lang="en">
4+
<head>
5+
<!-- Generated by javadoc -->
6+
<title>All Classes</title>
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
8+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
9+
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
10+
<script type="text/javascript" src="script.js"></script>
11+
<script type="text/javascript" src="jquery/jszip/dist/jszip.min.js"></script>
12+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils.min.js"></script>
13+
<!--[if IE]>
14+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
15+
<![endif]-->
16+
<script type="text/javascript" src="jquery/jquery-3.5.1.js"></script>
17+
<script type="text/javascript" src="jquery/jquery-ui.js"></script>
18+
</head>
19+
<body>
20+
<h1 class="bar">All&nbsp;Classes</h1>
21+
<main role="main" class="indexContainer">
22+
<ul>
23+
<li><a href="com/code_intelligence/jazzer/Jazzer.html" title="class in com.code_intelligence.jazzer" target="classFrame">Jazzer</a></li>
24+
</ul>
25+
</main>
26+
</body>
27+
</html>

‎jazzer/allclasses-index.html‎

Lines changed: 171 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,171 @@
1+
<!DOCTYPE HTML>
2+
<!-- NewPage -->
3+
<html lang="en">
4+
<head>
5+
<!-- Generated by javadoc -->
6+
<title>All Classes</title>
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
8+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
9+
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
10+
<script type="text/javascript" src="script.js"></script>
11+
<script type="text/javascript" src="jquery/jszip/dist/jszip.min.js"></script>
12+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils.min.js"></script>
13+
<!--[if IE]>
14+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
15+
<![endif]-->
16+
<script type="text/javascript" src="jquery/jquery-3.5.1.js"></script>
17+
<script type="text/javascript" src="jquery/jquery-ui.js"></script>
18+
</head>
19+
<body>
20+
<script type="text/javascript"><!--
21+
try {
22+
if (location.href.indexOf('is-external=true') == -1) {
23+
parent.document.title="All Classes";
24+
}
25+
}
26+
catch(err) {
27+
}
28+
//-->
29+
var pathtoroot = "./";
30+
var useModuleDirectories = true;
31+
loadScripts(document, 'script');</script>
32+
<noscript>
33+
<div>JavaScript is disabled on your browser.</div>
34+
</noscript>
35+
<header role="banner">
36+
<nav role="navigation">
37+
<div class="fixedNav">
38+
<!-- ========= START OF TOP NAVBAR ======= -->
39+
<div class="topNav"><a id="navbar.top">
40+
<!-- -->
41+
</a>
42+
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
43+
<a id="navbar.top.firstrow">
44+
<!-- -->
45+
</a>
46+
<ul class="navList" title="Navigation">
47+
<li><a href="com/code_intelligence/jazzer/package-summary.html">Package</a></li>
48+
<li>Class</li>
49+
<li>Use</li>
50+
<li><a href="overview-tree.html">Tree</a></li>
51+
<li><a href="deprecated-list.html">Deprecated</a></li>
52+
<li><a href="index-all.html">Index</a></li>
53+
<li><a href="help-doc.html">Help</a></li>
54+
</ul>
55+
</div>
56+
<div class="subNav">
57+
<ul class="navList">
58+
<li><a href="index.html?allclasses-index.html" target="_top">Frames</a></li>
59+
<li><a href="allclasses-index.html" target="_top">No&nbsp;Frames</a></li>
60+
</ul>
61+
<ul class="navList" id="allclasses_navbar_top">
62+
<li><a href="allclasses-noframe.html">All&nbsp;Classes</a></li>
63+
</ul>
64+
<ul class="navListSearch">
65+
<li><label for="search">SEARCH:</label>
66+
<input type="text" id="search" value="search" disabled="disabled">
67+
<input type="reset" id="reset" value="reset" disabled="disabled">
68+
</li>
69+
</ul>
70+
<div>
71+
<script type="text/javascript"><!--
72+
allClassesLink = document.getElementById("allclasses_navbar_top");
73+
if(window==top) {
74+
allClassesLink.style.display = "block";
75+
}
76+
else {
77+
allClassesLink.style.display = "none";
78+
}
79+
//-->
80+
</script>
81+
<noscript>
82+
<div>JavaScript is disabled on your browser.</div>
83+
</noscript>
84+
</div>
85+
<a id="skip.navbar.top">
86+
<!-- -->
87+
</a></div>
88+
<!-- ========= END OF TOP NAVBAR ========= -->
89+
</div>
90+
<div class="navPadding">&nbsp;</div>
91+
<script type="text/javascript"><!--
92+
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
93+
//-->
94+
</script>
95+
</nav>
96+
</header>
97+
<main role="main">
98+
<div class="header">
99+
<h1 title="All&amp;nbsp;Classes" class="title">All&nbsp;Classes</h1>
100+
</div>
101+
<div class="allClassesContainer">
102+
<ul class="blockList">
103+
<li class="blockList">
104+
<table class="typeSummary">
105+
<caption><span>Class Summary</span><span class="tabEnd">&nbsp;</span></caption>
106+
<tr>
107+
<th class="colFirst" scope="col">Class</th>
108+
<th class="colLast" scope="col">Description</th>
109+
</tr>
110+
<tr id="i0" class="altColor">
111+
<td class="colFirst"><a href="com/code_intelligence/jazzer/Jazzer.html" title="class in com.code_intelligence.jazzer">Jazzer</a></td>
112+
<th class="colLast" scope="row">
113+
<div class="block">The libFuzzer-compatible CLI entrypoint for Jazzer.</div>
114+
</th>
115+
</tr>
116+
</table>
117+
</li>
118+
</ul>
119+
</div>
120+
</main>
121+
<footer role="contentinfo">
122+
<nav role="navigation">
123+
<!-- ======= START OF BOTTOM NAVBAR ====== -->
124+
<div class="bottomNav"><a id="navbar.bottom">
125+
<!-- -->
126+
</a>
127+
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
128+
<a id="navbar.bottom.firstrow">
129+
<!-- -->
130+
</a>
131+
<ul class="navList" title="Navigation">
132+
<li><a href="com/code_intelligence/jazzer/package-summary.html">Package</a></li>
133+
<li>Class</li>
134+
<li>Use</li>
135+
<li><a href="overview-tree.html">Tree</a></li>
136+
<li><a href="deprecated-list.html">Deprecated</a></li>
137+
<li><a href="index-all.html">Index</a></li>
138+
<li><a href="help-doc.html">Help</a></li>
139+
</ul>
140+
</div>
141+
<div class="subNav">
142+
<ul class="navList">
143+
<li><a href="index.html?allclasses-index.html" target="_top">Frames</a></li>
144+
<li><a href="allclasses-index.html" target="_top">No&nbsp;Frames</a></li>
145+
</ul>
146+
<ul class="navList" id="allclasses_navbar_bottom">
147+
<li><a href="allclasses-noframe.html">All&nbsp;Classes</a></li>
148+
</ul>
149+
<div>
150+
<script type="text/javascript"><!--
151+
allClassesLink = document.getElementById("allclasses_navbar_bottom");
152+
if(window==top) {
153+
allClassesLink.style.display = "block";
154+
}
155+
else {
156+
allClassesLink.style.display = "none";
157+
}
158+
//-->
159+
</script>
160+
<noscript>
161+
<div>JavaScript is disabled on your browser.</div>
162+
</noscript>
163+
</div>
164+
<a id="skip.navbar.bottom">
165+
<!-- -->
166+
</a></div>
167+
<!-- ======== END OF BOTTOM NAVBAR ======= -->
168+
</nav>
169+
</footer>
170+
</body>
171+
</html>

‎jazzer/allclasses-noframe.html‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
<!DOCTYPE HTML>
2+
<!-- NewPage -->
3+
<html lang="en">
4+
<head>
5+
<!-- Generated by javadoc -->
6+
<title>All Classes</title>
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
8+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
9+
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
10+
<script type="text/javascript" src="script.js"></script>
11+
<script type="text/javascript" src="jquery/jszip/dist/jszip.min.js"></script>
12+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils.min.js"></script>
13+
<!--[if IE]>
14+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
15+
<![endif]-->
16+
<script type="text/javascript" src="jquery/jquery-3.5.1.js"></script>
17+
<script type="text/javascript" src="jquery/jquery-ui.js"></script>
18+
</head>
19+
<body>
20+
<h1 class="bar">All&nbsp;Classes</h1>
21+
<main role="main" class="indexContainer">
22+
<ul>
23+
<li><a href="com/code_intelligence/jazzer/Jazzer.html" title="class in com.code_intelligence.jazzer">Jazzer</a></li>
24+
</ul>
25+
</main>
26+
</body>
27+
</html>

‎jazzer/allpackages-index.html‎

Lines changed: 171 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,171 @@
1+
<!DOCTYPE HTML>
2+
<!-- NewPage -->
3+
<html lang="en">
4+
<head>
5+
<!-- Generated by javadoc -->
6+
<title>All Packages</title>
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF8">
8+
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
9+
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
10+
<script type="text/javascript" src="script.js"></script>
11+
<script type="text/javascript" src="jquery/jszip/dist/jszip.min.js"></script>
12+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils.min.js"></script>
13+
<!--[if IE]>
14+
<script type="text/javascript" src="jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
15+
<![endif]-->
16+
<script type="text/javascript" src="jquery/jquery-3.5.1.js"></script>
17+
<script type="text/javascript" src="jquery/jquery-ui.js"></script>
18+
</head>
19+
<body>
20+
<script type="text/javascript"><!--
21+
try {
22+
if (location.href.indexOf('is-external=true') == -1) {
23+
parent.document.title="All Packages";
24+
}
25+
}
26+
catch(err) {
27+
}
28+
//-->
29+
var pathtoroot = "./";
30+
var useModuleDirectories = true;
31+
loadScripts(document, 'script');</script>
32+
<noscript>
33+
<div>JavaScript is disabled on your browser.</div>
34+
</noscript>
35+
<header role="banner">
36+
<nav role="navigation">
37+
<div class="fixedNav">
38+
<!-- ========= START OF TOP NAVBAR ======= -->
39+
<div class="topNav"><a id="navbar.top">
40+
<!-- -->
41+
</a>
42+
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
43+
<a id="navbar.top.firstrow">
44+
<!-- -->
45+
</a>
46+
<ul class="navList" title="Navigation">
47+
<li><a href="com/code_intelligence/jazzer/package-summary.html">Package</a></li>
48+
<li>Class</li>
49+
<li>Use</li>
50+
<li><a href="overview-tree.html">Tree</a></li>
51+
<li><a href="deprecated-list.html">Deprecated</a></li>
52+
<li><a href="index-all.html">Index</a></li>
53+
<li><a href="help-doc.html">Help</a></li>
54+
</ul>
55+
</div>
56+
<div class="subNav">
57+
<ul class="navList">
58+
<li><a href="index.html?allpackages-index.html" target="_top">Frames</a></li>
59+
<li><a href="allpackages-index.html" target="_top">No&nbsp;Frames</a></li>
60+
</ul>
61+
<ul class="navList" id="allclasses_navbar_top">
62+
<li><a href="allclasses-noframe.html">All&nbsp;Classes</a></li>
63+
</ul>
64+
<ul class="navListSearch">
65+
<li><label for="search">SEARCH:</label>
66+
<input type="text" id="search" value="search" disabled="disabled">
67+
<input type="reset" id="reset" value="reset" disabled="disabled">
68+
</li>
69+
</ul>
70+
<div>
71+
<script type="text/javascript"><!--
72+
allClassesLink = document.getElementById("allclasses_navbar_top");
73+
if(window==top) {
74+
allClassesLink.style.display = "block";
75+
}
76+
else {
77+
allClassesLink.style.display = "none";
78+
}
79+
//-->
80+
</script>
81+
<noscript>
82+
<div>JavaScript is disabled on your browser.</div>
83+
</noscript>
84+
</div>
85+
<a id="skip.navbar.top">
86+
<!-- -->
87+
</a></div>
88+
<!-- ========= END OF TOP NAVBAR ========= -->
89+
</div>
90+
<div class="navPadding">&nbsp;</div>
91+
<script type="text/javascript"><!--
92+
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
93+
//-->
94+
</script>
95+
</nav>
96+
</header>
97+
<main role="main">
98+
<div class="header">
99+
<h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
100+
</div>
101+
<div class="allPackagesContainer">
102+
<ul class="blockList">
103+
<li class="blockList">
104+
<table class="packagesSummary">
105+
<caption><span>Package Summary</span><span class="tabEnd">&nbsp;</span></caption>
106+
<tr>
107+
<th class="colFirst" scope="col">Package</th>
108+
<th class="colLast" scope="col">Description</th>
109+
</tr>
110+
<tbody>
111+
<tr class="altColor">
112+
<th class="colFirst" scope="row"><a href="com/code_intelligence/jazzer/package-summary.html">com.code_intelligence.jazzer</a></th>
113+
<td class="colLast">&nbsp;</td>
114+
</tr>
115+
</tbody>
116+
</table>
117+
</li>
118+
</ul>
119+
</div>
120+
</main>
121+
<footer role="contentinfo">
122+
<nav role="navigation">
123+
<!-- ======= START OF BOTTOM NAVBAR ====== -->
124+
<div class="bottomNav"><a id="navbar.bottom">
125+
<!-- -->
126+
</a>
127+
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
128+
<a id="navbar.bottom.firstrow">
129+
<!-- -->
130+
</a>
131+
<ul class="navList" title="Navigation">
132+
<li><a href="com/code_intelligence/jazzer/package-summary.html">Package</a></li>
133+
<li>Class</li>
134+
<li>Use</li>
135+
<li><a href="overview-tree.html">Tree</a></li>
136+
<li><a href="deprecated-list.html">Deprecated</a></li>
137+
<li><a href="index-all.html">Index</a></li>
138+
<li><a href="help-doc.html">Help</a></li>
139+
</ul>
140+
</div>
141+
<div class="subNav">
142+
<ul class="navList">
143+
<li><a href="index.html?allpackages-index.html" target="_top">Frames</a></li>
144+
<li><a href="allpackages-index.html" target="_top">No&nbsp;Frames</a></li>
145+
</ul>
146+
<ul class="navList" id="allclasses_navbar_bottom">
147+
<li><a href="allclasses-noframe.html">All&nbsp;Classes</a></li>
148+
</ul>
149+
<div>
150+
<script type="text/javascript"><!--
151+
allClassesLink = document.getElementById("allclasses_navbar_bottom");
152+
if(window==top) {
153+
allClassesLink.style.display = "block";
154+
}
155+
else {
156+
allClassesLink.style.display = "none";
157+
}
158+
//-->
159+
</script>
160+
<noscript>
161+
<div>JavaScript is disabled on your browser.</div>
162+
</noscript>
163+
</div>
164+
<a id="skip.navbar.bottom">
165+
<!-- -->
166+
</a></div>
167+
<!-- ======== END OF BOTTOM NAVBAR ======= -->
168+
</nav>
169+
</footer>
170+
</body>
171+
</html>

0 commit comments

Comments
 (0)