Skip to content

Commit ff4bdad

Browse files
gitoleggitoleg
committed
55b895b
1 parent 2c546d3 commit ff4bdad

File tree

43,951 files changed

+56606
-44926
lines changed

Some content is hidden

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

43,951 files changed

+56606
-44926
lines changed

‎bap/api/lisp/index.html

Lines changed: 52 additions & 63 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,10 @@
33
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
44
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
55
<head>
6-
<title>index</title>
7-
<!-- 2020-05-28 Thu 13:44 -->
6+
<title></title>
7+
<!-- 2020-08-04 Tue 18:40 -->
88
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
99
<meta name="generator" content="Org-mode" />
10-
<meta name="author" content="Oleg" />
1110
<style type="text/css">
1211
<!--/*--><![CDATA[/*><!--*/
1312
.title { text-align: center; }
@@ -179,7 +178,7 @@
179178
</head>
180179
<body>
181180
<div id="content">
182-
<h1 class="title">index</h1>
181+
<h1 class="title"></h1>
183182
<div id="table-of-contents">
184183
<h2>Table of Contents</h2>
185184
<div id="text-table-of-contents">
@@ -489,21 +488,20 @@ <h2>Table of Contents</h2>
489488
<ul>
490489
<li><a href="#sec-8-1">8.1. <code>call</code></a></li>
491490
<li><a href="#sec-8-2">8.2. <code>call-return</code></a></li>
492-
<li><a href="#sec-8-3">8.3. <code>eval-cond</code></a></li>
493-
<li><a href="#sec-8-4">8.4. <code>fini</code></a></li>
494-
<li><a href="#sec-8-5">8.5. <code>init</code></a></li>
495-
<li><a href="#sec-8-6">8.6. <code>interrupt</code></a></li>
496-
<li><a href="#sec-8-7">8.7. <code>jumping</code></a></li>
497-
<li><a href="#sec-8-8">8.8. <code>loaded</code></a></li>
498-
<li><a href="#sec-8-9">8.9. <code>loading</code></a></li>
499-
<li><a href="#sec-8-10">8.10. <code>machine-kill</code></a></li>
500-
<li><a href="#sec-8-11">8.11. <code>pc-changed</code></a></li>
501-
<li><a href="#sec-8-12">8.12. <code>read</code></a></li>
502-
<li><a href="#sec-8-13">8.13. <code>stored</code></a></li>
503-
<li><a href="#sec-8-14">8.14. <code>storing</code></a></li>
504-
<li><a href="#sec-8-15">8.15. <code>system-stop</code></a></li>
505-
<li><a href="#sec-8-16">8.16. <code>taint-finalize</code></a></li>
506-
<li><a href="#sec-8-17">8.17. <code>written</code></a></li>
491+
<li><a href="#sec-8-3">8.3. <code>fini</code></a></li>
492+
<li><a href="#sec-8-4">8.4. <code>init</code></a></li>
493+
<li><a href="#sec-8-5">8.5. <code>interrupt</code></a></li>
494+
<li><a href="#sec-8-6">8.6. <code>jumping</code></a></li>
495+
<li><a href="#sec-8-7">8.7. <code>loaded</code></a></li>
496+
<li><a href="#sec-8-8">8.8. <code>loading</code></a></li>
497+
<li><a href="#sec-8-9">8.9. <code>machine-kill</code></a></li>
498+
<li><a href="#sec-8-10">8.10. <code>pc-changed</code></a></li>
499+
<li><a href="#sec-8-11">8.11. <code>read</code></a></li>
500+
<li><a href="#sec-8-12">8.12. <code>stored</code></a></li>
501+
<li><a href="#sec-8-13">8.13. <code>storing</code></a></li>
502+
<li><a href="#sec-8-14">8.14. <code>system-stop</code></a></li>
503+
<li><a href="#sec-8-15">8.15. <code>taint-finalize</code></a></li>
504+
<li><a href="#sec-8-16">8.16. <code>written</code></a></li>
507505
</ul>
508506
</li>
509507
</ul>
@@ -2474,127 +2472,119 @@ <h3 id="sec-8-2"><span class="section-number-3">8.2</span> <code>call-return</co
24742472
</div>
24752473
</div>
24762474
<div id="outline-container-sec-8-3" class="outline-3">
2477-
<h3 id="sec-8-3"><span class="section-number-3">8.3</span> <code>eval-cond</code></h3>
2475+
<h3 id="sec-8-3"><span class="section-number-3">8.3</span> <code>fini</code></h3>
24782476
<div class="outline-text-3" id="text-8-3">
24792477
<p>
2480-
(eval-cond V) is emitted after evaluating a conditional to V
2478+
(fini) occurs when the Primus Machine is finished
24812479
</p>
24822480
</div>
24832481
</div>
24842482
<div id="outline-container-sec-8-4" class="outline-3">
2485-
<h3 id="sec-8-4"><span class="section-number-3">8.4</span> <code>fini</code></h3>
2483+
<h3 id="sec-8-4"><span class="section-number-3">8.4</span> <code>init</code></h3>
24862484
<div class="outline-text-3" id="text-8-4">
24872485
<p>
2488-
(fini) occurs when the Primus Machine is finished
2486+
(init) occurs when the Primus Machine is initialized
24892487
</p>
24902488
</div>
24912489
</div>
24922490
<div id="outline-container-sec-8-5" class="outline-3">
2493-
<h3 id="sec-8-5"><span class="section-number-3">8.5</span> <code>init</code></h3>
2491+
<h3 id="sec-8-5"><span class="section-number-3">8.5</span> <code>interrupt</code></h3>
24942492
<div class="outline-text-3" id="text-8-5">
24952493
<p>
2496-
(init) occurs when the Primus Machine is initialized
2494+
(interrupt N) is emitted when the hardware interrupt N occurs
24972495
</p>
24982496
</div>
24992497
</div>
25002498
<div id="outline-container-sec-8-6" class="outline-3">
2501-
<h3 id="sec-8-6"><span class="section-number-3">8.6</span> <code>interrupt</code></h3>
2499+
<h3 id="sec-8-6"><span class="section-number-3">8.6</span> <code>jumping</code></h3>
25022500
<div class="outline-text-3" id="text-8-6">
25032501
<p>
2504-
(interrupt N) is emitted when the hardware interrupt N occurs
2502+
(jumping C D) is emitted before jump to D occurs under the
2503+
condition C
25052504
</p>
25062505
</div>
25072506
</div>
25082507
<div id="outline-container-sec-8-7" class="outline-3">
2509-
<h3 id="sec-8-7"><span class="section-number-3">8.7</span> <code>jumping</code></h3>
2508+
<h3 id="sec-8-7"><span class="section-number-3">8.7</span> <code>loaded</code></h3>
25102509
<div class="outline-text-3" id="text-8-7">
25112510
<p>
2512-
(jumping C D) is emitted before jump to D occurs under the
2513-
condition C
2511+
(loaded A X) is emitted when X is loaded from A
25142512
</p>
25152513
</div>
25162514
</div>
25172515
<div id="outline-container-sec-8-8" class="outline-3">
2518-
<h3 id="sec-8-8"><span class="section-number-3">8.8</span> <code>loaded</code></h3>
2516+
<h3 id="sec-8-8"><span class="section-number-3">8.8</span> <code>loading</code></h3>
25192517
<div class="outline-text-3" id="text-8-8">
25202518
<p>
2521-
(loaded A X) is emitted when X is loaded from A
2519+
(loading A) is emitted before load from A occurs
25222520
</p>
25232521
</div>
25242522
</div>
25252523
<div id="outline-container-sec-8-9" class="outline-3">
2526-
<h3 id="sec-8-9"><span class="section-number-3">8.9</span> <code>loading</code></h3>
2524+
<h3 id="sec-8-9"><span class="section-number-3">8.9</span> <code>machine-kill</code></h3>
25272525
<div class="outline-text-3" id="text-8-9">
25282526
<p>
2529-
(loading A) is emitted before load from A occurs
2527+
(machine-kill) occurs when Machine is killed and could be
2528+
used for machine cleanup/teardown and analysis summaries.
2529+
The machine is in the resticted mode in the body of the
2530+
methods.
25302531
</p>
25312532
</div>
25322533
</div>
25332534
<div id="outline-container-sec-8-10" class="outline-3">
2534-
<h3 id="sec-8-10"><span class="section-number-3">8.10</span> <code>machine-kill</code></h3>
2535+
<h3 id="sec-8-10"><span class="section-number-3">8.10</span> <code>pc-changed</code></h3>
25352536
<div class="outline-text-3" id="text-8-10">
25362537
<p>
2537-
(machine-kill) occurs when Machine is killed and could be
2538-
used for machine cleanup/teardown and analysis summaries.
2539-
The machine is in the resticted mode in the body of the
2540-
methods.
2538+
(pc-change PC) is emitted when PC is updated
25412539
</p>
25422540
</div>
25432541
</div>
25442542
<div id="outline-container-sec-8-11" class="outline-3">
2545-
<h3 id="sec-8-11"><span class="section-number-3">8.11</span> <code>pc-changed</code></h3>
2543+
<h3 id="sec-8-11"><span class="section-number-3">8.11</span> <code>read</code></h3>
25462544
<div class="outline-text-3" id="text-8-11">
25472545
<p>
2548-
(pc-change PC) is emitted when PC is updated
2546+
(read V X) is emitted when X is read from V
25492547
</p>
25502548
</div>
25512549
</div>
25522550
<div id="outline-container-sec-8-12" class="outline-3">
2553-
<h3 id="sec-8-12"><span class="section-number-3">8.12</span> <code>read</code></h3>
2551+
<h3 id="sec-8-12"><span class="section-number-3">8.12</span> <code>stored</code></h3>
25542552
<div class="outline-text-3" id="text-8-12">
25552553
<p>
2556-
(read V X) is emitted when X is read from V
2554+
(stored A X) is emitted when X is stored to A
25572555
</p>
25582556
</div>
25592557
</div>
25602558
<div id="outline-container-sec-8-13" class="outline-3">
2561-
<h3 id="sec-8-13"><span class="section-number-3">8.13</span> <code>stored</code></h3>
2559+
<h3 id="sec-8-13"><span class="section-number-3">8.13</span> <code>storing</code></h3>
25622560
<div class="outline-text-3" id="text-8-13">
25632561
<p>
2564-
(stored A X) is emitted when X is stored to A
2562+
(storing A) is emitted before store to A occurs
25652563
</p>
25662564
</div>
25672565
</div>
25682566
<div id="outline-container-sec-8-14" class="outline-3">
2569-
<h3 id="sec-8-14"><span class="section-number-3">8.14</span> <code>storing</code></h3>
2567+
<h3 id="sec-8-14"><span class="section-number-3">8.14</span> <code>system-stop</code></h3>
25702568
<div class="outline-text-3" id="text-8-14">
25712569
<p>
2572-
(storing A) is emitted before store to A occurs
2573-
</p>
2574-
</div>
2575-
</div>
2576-
<div id="outline-container-sec-8-15" class="outline-3">
2577-
<h3 id="sec-8-15"><span class="section-number-3">8.15</span> <code>system-stop</code></h3>
2578-
<div class="outline-text-3" id="text-8-15">
2579-
<p>
25802570
(system-stop NAME) occurs when the system with the given
25812571
name finished its execution. The machine is in the
25822572
restricted mode in the body of the methods
25832573
</p>
25842574
</div>
25852575
</div>
2586-
<div id="outline-container-sec-8-16" class="outline-3">
2587-
<h3 id="sec-8-16"><span class="section-number-3">8.16</span> <code>taint-finalize</code></h3>
2588-
<div class="outline-text-3" id="text-8-16">
2576+
<div id="outline-container-sec-8-15" class="outline-3">
2577+
<h3 id="sec-8-15"><span class="section-number-3">8.15</span> <code>taint-finalize</code></h3>
2578+
<div class="outline-text-3" id="text-8-15">
25892579
<p>
25902580
(taint-finalize T L) is emitted when the taint T is finilized
25912581
while still live if L is true or dead if T is false.
25922582
</p>
25932583
</div>
25942584
</div>
2595-
<div id="outline-container-sec-8-17" class="outline-3">
2596-
<h3 id="sec-8-17"><span class="section-number-3">8.17</span> <code>written</code></h3>
2597-
<div class="outline-text-3" id="text-8-17">
2585+
<div id="outline-container-sec-8-16" class="outline-3">
2586+
<h3 id="sec-8-16"><span class="section-number-3">8.16</span> <code>written</code></h3>
2587+
<div class="outline-text-3" id="text-8-16">
25982588
<p>
25992589
(written V X) is emitted when X is written to V
26002590
</p>
@@ -2603,9 +2593,8 @@ <h3 id="sec-8-17"><span class="section-number-3">8.17</span> <code>written</code
26032593
</div>
26042594
</div>
26052595
<div id="postamble" class="status">
2606-
<p class="author">Author: Oleg</p>
2607-
<p class="date">Created: 2020-05-28 Thu 13:44</p>
2608-
<p class="creator"><a href="http://www.gnu.org/software/emacs/">Emacs</a> 24.5.1 (<a href="http://orgmode.org">Org</a> mode 8.2.10)</p>
2596+
<p class="date">Created: 2020-08-04 Tue 18:40</p>
2597+
<p class="creator"><a href="http://www.gnu.org/software/emacs/">Emacs</a> 25.2.2 (<a href="http://orgmode.org">Org</a> mode 8.2.10)</p>
26092598
<p class="validation"><a href="http://validator.w3.org/check?uri=referer">Validate</a></p>
26102599
</div>
26112600
</body>

‎bap/api/man1/bap-byteweight.1.html

Lines changed: 11 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
Content-type: text/html; charset=UTF-8
22

33
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
4-
<HTML><HEAD><TITLE>Man page of bap-byteweight</TITLE>
4+
<HTML><HEAD><TITLE>Man page of BAP-BYTEWEIGHT</TITLE>
55
</HEAD><BODY>
6-
<H1>bap-byteweight</H1>
6+
<H1>BAP-BYTEWEIGHT</H1>
77
Section: Bap-byteweight Manual (1)<BR>Updated: <BR><A HREF="#index">Index</A>
88
<A HREF="../odoc/index.html">Return to Main Contents</A><HR>
99

@@ -136,6 +136,8 @@ <H2>COMMON OPTIONS</H2>
136136
prints more information about the <B>glibc-runtime</B> plugin
137137
<DT><B>--ida-help</B>[=<I>VAL</I>] (default=auto)<DD>
138138
prints more information about the <B>ida</B> plugin
139+
<DT><B>--legacy-llvm-help</B>[=<I>VAL</I>] (default=auto)<DD>
140+
prints more information about the <B>legacy-llvm</B> plugin
139141
<DT><B>--llvm-base</B>=<I>VAL</I><DD>
140142
Replace image base address&#46; If not set, a reasonable default corresponded to a file type will be used&#46; For example, for any executable file a default image base is equal to lowest image virtual address&#46; For relocatable files a default image base is equal to 0xC0000000&#46;
141143
<DT><B>--llvm-help</B>[=<I>VAL</I>] (default=auto)<DD>
@@ -188,6 +190,8 @@ <H2>COMMON OPTIONS</H2>
188190
Disable the glibc-runtime plugin
189191
<DT><B>--no-ida</B><DD>
190192
Disable the ida plugin
193+
<DT><B>--no-legacy-llvm</B><DD>
194+
Disable the legacy-llvm plugin
191195
<DT><B>--no-llvm</B><DD>
192196
Disable the llvm plugin
193197
<DT><B>--no-map-terms</B><DD>
@@ -202,8 +206,6 @@ <H2>COMMON OPTIONS</H2>
202206
Disable the optimization plugin
203207
<DT><B>--no-phoenix</B><DD>
204208
Disable the phoenix plugin
205-
<DT><B>--no-piqi-printers</B><DD>
206-
Disable the piqi-printers plugin
207209
<DT><B>--no-powerpc</B><DD>
208210
Disable the powerpc plugin
209211
<DT><B>--no-primus-dictionary</B><DD>
@@ -250,6 +252,8 @@ <H2>COMMON OPTIONS</H2>
250252
Disable the print plugin
251253
<DT><B>--no-propagate-taint</B><DD>
252254
Disable the propagate-taint plugin
255+
<DT><B>--no-radare2</B><DD>
256+
Disable the radare2 plugin
253257
<DT><B>--no-raw</B><DD>
254258
Disable the raw plugin
255259
<DT><B>--no-read-symbols</B><DD>
@@ -284,8 +288,6 @@ <H2>COMMON OPTIONS</H2>
284288
prints more information about the <B>optimization</B> plugin
285289
<DT><B>--phoenix-help</B>[=<I>VAL</I>] (default=auto)<DD>
286290
prints more information about the <B>phoenix</B> plugin
287-
<DT><B>--piqi-printers-help</B>[=<I>VAL</I>] (default=auto)<DD>
288-
prints more information about the <B>piqi-printers</B> plugin
289291
<DT><B>--powerpc-help</B>[=<I>VAL</I>] (default=auto)<DD>
290292
prints more information about the <B>powerpc</B> plugin
291293
<DT><B>--primus-dictionary-help</B>[=<I>VAL</I>] (default=auto)<DD>
@@ -336,6 +338,8 @@ <H2>COMMON OPTIONS</H2>
336338
prints more information about the <B>print</B> plugin
337339
<DT><B>--propagate-taint-help</B>[=<I>VAL</I>] (default=auto)<DD>
338340
prints more information about the <B>propagate-taint</B> plugin
341+
<DT><B>--radare2-help</B>[=<I>VAL</I>] (default=auto)<DD>
342+
prints more information about the <B>radare2</B> plugin
339343
<DT><B>--raw-help</B>[=<I>VAL</I>] (default=auto)<DD>
340344
prints more information about the <B>raw</B> plugin
341345
<DT><B>--read-symbols-help</B>[=<I>VAL</I>] (default=auto)<DD>
@@ -393,6 +397,6 @@ <H2>ENVIRONMENT</H2>
393397
This document was created by
394398
<A HREF="/cgi-bin/man/man2html">man2html</A>,
395399
using the manual pages.<BR>
396-
Time: 17:43:09 GMT, May 28, 2020
400+
Time: 18:38:34 GMT, August 04, 2020
397401
</BODY>
398402
</HTML>

‎bap/api/man1/bap-plugin-abi.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,6 @@ <H2>SEE ALSO</H2>
3333
This document was created by
3434
<A HREF="/cgi-bin/man/man2html">man2html</A>,
3535
using the manual pages.<BR>
36-
Time: 17:43:10 GMT, May 28, 2020
36+
Time: 18:38:36 GMT, August 04, 2020
3737
</BODY>
3838
</HTML>

‎bap/api/man1/bap-plugin-api.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,6 @@ <H2>SEE ALSO</H2>
3333
This document was created by
3434
<A HREF="/cgi-bin/man/man2html">man2html</A>,
3535
using the manual pages.<BR>
36-
Time: 17:43:12 GMT, May 28, 2020
36+
Time: 18:38:38 GMT, August 04, 2020
3737
</BODY>
3838
</HTML>

‎bap/api/man1/bap-plugin-arm.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,6 @@ <H2>SEE ALSO</H2>
3333
This document was created by
3434
<A HREF="/cgi-bin/man/man2html">man2html</A>,
3535
using the manual pages.<BR>
36-
Time: 17:43:13 GMT, May 28, 2020
36+
Time: 18:38:40 GMT, August 04, 2020
3737
</BODY>
3838
</HTML>

‎bap/api/man1/bap-plugin-beagle.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,6 @@ <H2>DESCRIPTION</H2>
2929
This document was created by
3030
<A HREF="/cgi-bin/man/man2html">man2html</A>,
3131
using the manual pages.<BR>
32-
Time: 17:43:14 GMT, May 28, 2020
32+
Time: 18:38:42 GMT, August 04, 2020
3333
</BODY>
3434
</HTML>

‎bap/api/man1/bap-plugin-bil.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,6 @@ <H1>bil</H1>
1818
This document was created by
1919
<A HREF="/cgi-bin/man/man2html">man2html</A>,
2020
using the manual pages.<BR>
21-
Time: 17:43:16 GMT, May 28, 2020
21+
Time: 18:38:44 GMT, August 04, 2020
2222
</BODY>
2323
</HTML>

‎bap/api/man1/bap-plugin-byteweight.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,6 @@ <H2>SEE ALSO</H2>
5454
This document was created by
5555
<A HREF="/cgi-bin/man/man2html">man2html</A>,
5656
using the manual pages.<BR>
57-
Time: 17:43:17 GMT, May 28, 2020
57+
Time: 18:38:46 GMT, August 04, 2020
5858
</BODY>
5959
</HTML>

‎bap/api/man1/bap-plugin-cache.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,6 @@ <H2>SEE ALSO</H2>
4242
This document was created by
4343
<A HREF="/cgi-bin/man/man2html">man2html</A>,
4444
using the manual pages.<BR>
45-
Time: 17:43:18 GMT, May 28, 2020
45+
Time: 18:38:48 GMT, August 04, 2020
4646
</BODY>
4747
</HTML>

‎bap/api/man1/bap-plugin-callsites.1.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,6 +72,6 @@ <H2>SEE ALSO</H2>
7272
This document was created by
7373
<A HREF="/cgi-bin/man/man2html">man2html</A>,
7474
using the manual pages.<BR>
75-
Time: 17:43:21 GMT, May 28, 2020
75+
Time: 18:38:50 GMT, August 04, 2020
7676
</BODY>
7777
</HTML>

0 commit comments

Comments
 (0)