evoasm 0.0.2.pre7 → 0.1.0.pre2

Sign up to get free protection for your applications and to get access to all the features.
Files changed (168) hide show
  1. checksums.yaml +4 -4
  2. data/.gdbinit +41 -0
  3. data/.gitignore +1 -2
  4. data/.gitmodules +3 -0
  5. data/.rubocop.yml +8 -0
  6. data/Gemfile +4 -0
  7. data/LICENSE.md +660 -0
  8. data/Makefile +1 -1
  9. data/README.md +17 -9
  10. data/Rakefile +39 -107
  11. data/bin/gdb +1 -1
  12. data/bin/gdb_loop +4 -0
  13. data/docs/FindingInstructions.md +17 -0
  14. data/docs/JIT.md +14 -0
  15. data/docs/SymbolicRegression.md +102 -0
  16. data/docs/Visualization.md +29 -0
  17. data/docs/examples/bit_insts.rb +44 -0
  18. data/docs/examples/jit.rb +26 -0
  19. data/docs/examples/loss.gif +0 -0
  20. data/docs/examples/program.png +0 -0
  21. data/docs/examples/sym_reg.rb +64 -0
  22. data/docs/examples/vis.rb +38 -0
  23. data/evoasm.gemspec +21 -15
  24. data/ext/evoasm_ext/Rakefile +3 -0
  25. data/ext/evoasm_ext/compile.rake +35 -0
  26. data/ext/evoasm_ext/libevoasm/src/evoasm-alloc.c +226 -0
  27. data/ext/evoasm_ext/libevoasm/src/evoasm-alloc.h +84 -0
  28. data/ext/evoasm_ext/libevoasm/src/evoasm-arch.c +52 -0
  29. data/ext/evoasm_ext/libevoasm/src/evoasm-arch.h +101 -0
  30. data/ext/evoasm_ext/libevoasm/src/evoasm-bitmap.h +158 -0
  31. data/ext/evoasm_ext/libevoasm/src/evoasm-buf.c +204 -0
  32. data/ext/evoasm_ext/libevoasm/src/evoasm-buf.h +109 -0
  33. data/ext/evoasm_ext/libevoasm/src/evoasm-domain.c +124 -0
  34. data/ext/evoasm_ext/libevoasm/src/evoasm-domain.h +279 -0
  35. data/ext/evoasm_ext/libevoasm/src/evoasm-error.c +65 -0
  36. data/ext/evoasm_ext/libevoasm/src/evoasm-error.h +108 -0
  37. data/ext/evoasm_ext/{evoasm-log.c → libevoasm/src/evoasm-log.c} +36 -18
  38. data/ext/evoasm_ext/libevoasm/src/evoasm-log.h +93 -0
  39. data/ext/evoasm_ext/libevoasm/src/evoasm-param.c +22 -0
  40. data/ext/evoasm_ext/libevoasm/src/evoasm-param.h +33 -0
  41. data/ext/evoasm_ext/libevoasm/src/evoasm-pop-params.c +192 -0
  42. data/ext/evoasm_ext/libevoasm/src/evoasm-pop-params.h +60 -0
  43. data/ext/evoasm_ext/libevoasm/src/evoasm-pop.c +1323 -0
  44. data/ext/evoasm_ext/libevoasm/src/evoasm-pop.h +107 -0
  45. data/ext/evoasm_ext/libevoasm/src/evoasm-program-io.c +116 -0
  46. data/ext/evoasm_ext/libevoasm/src/evoasm-program-io.h +60 -0
  47. data/ext/evoasm_ext/libevoasm/src/evoasm-program.c +1827 -0
  48. data/ext/evoasm_ext/libevoasm/src/evoasm-program.h +167 -0
  49. data/ext/evoasm_ext/libevoasm/src/evoasm-rand.c +65 -0
  50. data/ext/evoasm_ext/libevoasm/src/evoasm-rand.h +76 -0
  51. data/ext/evoasm_ext/libevoasm/src/evoasm-signal.c +106 -0
  52. data/ext/evoasm_ext/libevoasm/src/evoasm-signal.h +58 -0
  53. data/ext/evoasm_ext/libevoasm/src/evoasm-util.h +112 -0
  54. data/ext/evoasm_ext/libevoasm/src/evoasm-x64.c +925 -0
  55. data/ext/evoasm_ext/libevoasm/src/evoasm-x64.h +277 -0
  56. data/ext/evoasm_ext/libevoasm/src/evoasm.c +28 -0
  57. data/ext/evoasm_ext/libevoasm/src/evoasm.h +35 -0
  58. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-enums.h +2077 -0
  59. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-insts.c +191203 -0
  60. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-insts.h +1713 -0
  61. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-misc.c +348 -0
  62. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-misc.h +93 -0
  63. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-params.c +51 -0
  64. data/ext/evoasm_ext/libevoasm/src/gen/evoasm-x64-params.h +509 -0
  65. data/lib/evoasm.rb +28 -11
  66. data/lib/evoasm/buffer.rb +105 -0
  67. data/lib/evoasm/capstone.rb +100 -0
  68. data/lib/evoasm/domain.rb +116 -0
  69. data/lib/evoasm/error.rb +37 -16
  70. data/lib/evoasm/exception_error.rb +19 -0
  71. data/lib/evoasm/ffi_ext.rb +53 -0
  72. data/lib/evoasm/libevoasm.rb +286 -0
  73. data/lib/evoasm/libevoasm/x64_enums.rb +1967 -0
  74. data/lib/evoasm/parameter.rb +20 -0
  75. data/lib/evoasm/population.rb +145 -0
  76. data/lib/evoasm/population/parameters.rb +227 -0
  77. data/lib/evoasm/population/plotter.rb +89 -0
  78. data/lib/evoasm/prng.rb +64 -0
  79. data/lib/evoasm/program.rb +195 -12
  80. data/lib/evoasm/program/io.rb +144 -0
  81. data/lib/evoasm/test.rb +8 -0
  82. data/lib/evoasm/version.rb +1 -1
  83. data/lib/evoasm/x64.rb +115 -0
  84. data/lib/evoasm/x64/cpu_state.rb +95 -0
  85. data/lib/evoasm/x64/instruction.rb +109 -0
  86. data/lib/evoasm/x64/operand.rb +156 -0
  87. data/lib/evoasm/x64/parameters.rb +211 -0
  88. data/test/helpers/population_helper.rb +128 -0
  89. data/test/helpers/test_helper.rb +1 -0
  90. data/test/helpers/x64_helper.rb +24 -0
  91. data/test/integration/bitwise_reverse_test.rb +41 -0
  92. data/test/integration/gcd_test.rb +52 -0
  93. data/test/integration/popcnt_test.rb +46 -0
  94. data/test/integration/sym_reg_test.rb +68 -0
  95. data/test/unit/evoasm/buffer_test.rb +48 -0
  96. data/test/unit/evoasm/capstone_test.rb +18 -0
  97. data/test/unit/evoasm/domain_test.rb +55 -0
  98. data/test/unit/evoasm/population/parameters_test.rb +106 -0
  99. data/test/unit/evoasm/population_test.rb +96 -0
  100. data/test/unit/evoasm/prng_test.rb +47 -0
  101. data/test/unit/evoasm/x64/cpu_state_test.rb +73 -0
  102. data/test/unit/evoasm/x64/encoding_test.rb +320 -0
  103. data/test/unit/evoasm/x64/instruction_access_test.rb +177 -0
  104. data/test/unit/evoasm/x64/instruction_encoding_test.rb +780 -0
  105. data/test/unit/evoasm/x64/instruction_test.rb +62 -0
  106. data/test/unit/evoasm/x64/parameters_test.rb +65 -0
  107. data/test/unit/evoasm/x64_test.rb +52 -0
  108. metadata +195 -89
  109. data/Gemfile.rake +0 -8
  110. data/Gemfile.rake.lock +0 -51
  111. data/LICENSE.txt +0 -373
  112. data/data/tables/README.md +0 -19
  113. data/data/tables/x64.csv +0 -1684
  114. data/data/templates/evoasm-x64.c.erb +0 -319
  115. data/data/templates/evoasm-x64.h.erb +0 -126
  116. data/examples/abs.yml +0 -20
  117. data/examples/popcnt.yml +0 -17
  118. data/examples/sym_reg.yml +0 -26
  119. data/exe/evoasm-search +0 -13
  120. data/ext/evoasm_ext/evoasm-alloc.c +0 -145
  121. data/ext/evoasm_ext/evoasm-alloc.h +0 -59
  122. data/ext/evoasm_ext/evoasm-arch.c +0 -44
  123. data/ext/evoasm_ext/evoasm-arch.h +0 -161
  124. data/ext/evoasm_ext/evoasm-bitmap.h +0 -114
  125. data/ext/evoasm_ext/evoasm-buf.c +0 -130
  126. data/ext/evoasm_ext/evoasm-buf.h +0 -47
  127. data/ext/evoasm_ext/evoasm-error.c +0 -31
  128. data/ext/evoasm_ext/evoasm-error.h +0 -75
  129. data/ext/evoasm_ext/evoasm-free-list.c.tmpl +0 -121
  130. data/ext/evoasm_ext/evoasm-free-list.h.tmpl +0 -86
  131. data/ext/evoasm_ext/evoasm-log.h +0 -69
  132. data/ext/evoasm_ext/evoasm-misc.c +0 -23
  133. data/ext/evoasm_ext/evoasm-misc.h +0 -282
  134. data/ext/evoasm_ext/evoasm-param.h +0 -37
  135. data/ext/evoasm_ext/evoasm-search.c +0 -2145
  136. data/ext/evoasm_ext/evoasm-search.h +0 -214
  137. data/ext/evoasm_ext/evoasm-util.h +0 -40
  138. data/ext/evoasm_ext/evoasm-x64.c +0 -275624
  139. data/ext/evoasm_ext/evoasm-x64.h +0 -5436
  140. data/ext/evoasm_ext/evoasm.c +0 -7
  141. data/ext/evoasm_ext/evoasm.h +0 -23
  142. data/ext/evoasm_ext/evoasm_ext.c +0 -1757
  143. data/ext/evoasm_ext/extconf.rb +0 -31
  144. data/lib/evoasm/cli.rb +0 -6
  145. data/lib/evoasm/cli/search.rb +0 -127
  146. data/lib/evoasm/core_ext.rb +0 -1
  147. data/lib/evoasm/core_ext/array.rb +0 -9
  148. data/lib/evoasm/core_ext/integer.rb +0 -10
  149. data/lib/evoasm/core_ext/kwstruct.rb +0 -13
  150. data/lib/evoasm/core_ext/range.rb +0 -5
  151. data/lib/evoasm/examples.rb +0 -27
  152. data/lib/evoasm/gen.rb +0 -8
  153. data/lib/evoasm/gen/enum.rb +0 -169
  154. data/lib/evoasm/gen/name_util.rb +0 -80
  155. data/lib/evoasm/gen/state.rb +0 -176
  156. data/lib/evoasm/gen/state_dsl.rb +0 -152
  157. data/lib/evoasm/gen/strio.rb +0 -27
  158. data/lib/evoasm/gen/translator.rb +0 -1102
  159. data/lib/evoasm/gen/version.rb +0 -5
  160. data/lib/evoasm/gen/x64.rb +0 -237
  161. data/lib/evoasm/gen/x64/funcs.rb +0 -495
  162. data/lib/evoasm/gen/x64/inst.rb +0 -781
  163. data/lib/evoasm/search.rb +0 -40
  164. data/lib/evoasm/tasks/gen_task.rb +0 -86
  165. data/lib/evoasm/tasks/template_task.rb +0 -52
  166. data/test/test_helper.rb +0 -1
  167. data/test/x64/test_helper.rb +0 -19
  168. data/test/x64/x64_test.rb +0 -87
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA1:
3
- metadata.gz: 9ea9ac9162645790d3c268ded04eadc057fb2022
4
- data.tar.gz: 09778cdf2a8d27353b7b8b574261b4979801777c
3
+ metadata.gz: e14c763010b40bdd3a16edc9a14abf75334bac2a
4
+ data.tar.gz: 77c434a1c76a0312f3d9863fbfa418adc0f01180
5
5
  SHA512:
6
- metadata.gz: 630aa4baa25cdd98fdf1b24eca08eae6e6526c73aad19aa0193cccc093506dd951f5e9475e2ac68ec2c224fdc259bec342def6ff7381e70a2847c1fe4fff3e24
7
- data.tar.gz: c3b61472027236b99976e523bf9b4db250f919f6d401d16f8e3e138988f7f864d7f340f58730a82dbd9667bc2dd5c085f385a59346f0e62b1f5da887057a082d
6
+ metadata.gz: ed93d344f7ba3c83442dbdd090e7d884a8668a30bb91317f3b1363e7c6258d99386cf40f60abf32d282b193bf20b582311824a18fb240d640f3f6393135803d8
7
+ data.tar.gz: 850d3898bfcd0de6e8a787f311f717525cb5ccb7d407a9de413df9f4faff8ed584f488998e4d37b9fd72de58201df743c09d2a8cd096cc0025bc343e8765d97f
data/.gdbinit ADDED
@@ -0,0 +1,41 @@
1
+ define print_program
2
+ set $i = 0
3
+ set $i_ = $arg0->size
4
+ while($i < $i_)
5
+ set $j = 0
6
+ set $j_ = $arg0->kernels[$i].size
7
+ while($j < $j_)
8
+ p (evoasm_x64_inst_id_t) $arg0->kernels[$i].insts[$j]
9
+ set $j = $j + 1
10
+ end
11
+ set $i = $i + 1
12
+ end
13
+ end
14
+
15
+ define aa
16
+ finish
17
+ continue
18
+ if (loss < deme->best_loss)
19
+ print loss
20
+ #print_program deme->program
21
+ else
22
+ continue
23
+ end
24
+ end
25
+
26
+ define print_tested_program
27
+ set breakpoint pending on
28
+ break evoasm_deme_test_program
29
+ commands
30
+ aa
31
+ end
32
+ end
33
+
34
+ define print_evald_programs
35
+ set breakpoint pending on
36
+ break evoasm_program_eval
37
+ commands
38
+ print_program program
39
+ continue
40
+ end
41
+ end
data/.gitignore CHANGED
@@ -12,5 +12,4 @@
12
12
  *.o
13
13
  *.a
14
14
  *.project
15
- mkmf.log
16
- /ext/awasm_native/lexer.[ch]
15
+ /.idea/
data/.gitmodules ADDED
@@ -0,0 +1,3 @@
1
+ [submodule "ext/evoasm_ext/libevoasm"]
2
+ path = ext/evoasm_ext/libevoasm
3
+ url = https://github.com/furunkel/libevoasm
data/.rubocop.yml ADDED
@@ -0,0 +1,8 @@
1
+ Metrics/MethodLength:
2
+ Enabled: false
3
+
4
+ Metrics/ClassLength:
5
+ Enabled: false
6
+
7
+ Metrics/ModuleLength:
8
+ Enabled: false
data/Gemfile CHANGED
@@ -2,3 +2,7 @@ source 'https://rubygems.org'
2
2
 
3
3
  # Specify your gem's dependencies in evoasm.gemspec
4
4
  gemspec
5
+
6
+ group :development do
7
+ gem 'evoasm-gen', github: 'furunkel/evoasm-gen', branch: 'master'
8
+ end
data/LICENSE.md ADDED
@@ -0,0 +1,660 @@
1
+ ### GNU AFFERO GENERAL PUBLIC LICENSE
2
+
3
+ Version 3, 19 November 2007
4
+
5
+ Copyright (C) 2007 Free Software Foundation, Inc.
6
+ <http://fsf.org/>
7
+
8
+ Everyone is permitted to copy and distribute verbatim copies of this
9
+ license document, but changing it is not allowed.
10
+
11
+ ### Preamble
12
+
13
+ The GNU Affero General Public License is a free, copyleft license for
14
+ software and other kinds of works, specifically designed to ensure
15
+ cooperation with the community in the case of network server software.
16
+
17
+ The licenses for most software and other practical works are designed
18
+ to take away your freedom to share and change the works. By contrast,
19
+ our General Public Licenses are intended to guarantee your freedom to
20
+ share and change all versions of a program--to make sure it remains
21
+ free software for all its users.
22
+
23
+ When we speak of free software, we are referring to freedom, not
24
+ price. Our General Public Licenses are designed to make sure that you
25
+ have the freedom to distribute copies of free software (and charge for
26
+ them if you wish), that you receive source code or can get it if you
27
+ want it, that you can change the software or use pieces of it in new
28
+ free programs, and that you know you can do these things.
29
+
30
+ Developers that use our General Public Licenses protect your rights
31
+ with two steps: (1) assert copyright on the software, and (2) offer
32
+ you this License which gives you legal permission to copy, distribute
33
+ and/or modify the software.
34
+
35
+ A secondary benefit of defending all users' freedom is that
36
+ improvements made in alternate versions of the program, if they
37
+ receive widespread use, become available for other developers to
38
+ incorporate. Many developers of free software are heartened and
39
+ encouraged by the resulting cooperation. However, in the case of
40
+ software used on network servers, this result may fail to come about.
41
+ The GNU General Public License permits making a modified version and
42
+ letting the public access it on a server without ever releasing its
43
+ source code to the public.
44
+
45
+ The GNU Affero General Public License is designed specifically to
46
+ ensure that, in such cases, the modified source code becomes available
47
+ to the community. It requires the operator of a network server to
48
+ provide the source code of the modified version running there to the
49
+ users of that server. Therefore, public use of a modified version, on
50
+ a publicly accessible server, gives the public access to the source
51
+ code of the modified version.
52
+
53
+ An older license, called the Affero General Public License and
54
+ published by Affero, was designed to accomplish similar goals. This is
55
+ a different license, not a version of the Affero GPL, but Affero has
56
+ released a new version of the Affero GPL which permits relicensing
57
+ under this license.
58
+
59
+ The precise terms and conditions for copying, distribution and
60
+ modification follow.
61
+
62
+ ### TERMS AND CONDITIONS
63
+
64
+ #### 0. Definitions.
65
+
66
+ "This License" refers to version 3 of the GNU Affero General Public
67
+ License.
68
+
69
+ "Copyright" also means copyright-like laws that apply to other kinds
70
+ of works, such as semiconductor masks.
71
+
72
+ "The Program" refers to any copyrightable work licensed under this
73
+ License. Each licensee is addressed as "you". "Licensees" and
74
+ "recipients" may be individuals or organizations.
75
+
76
+ To "modify" a work means to copy from or adapt all or part of the work
77
+ in a fashion requiring copyright permission, other than the making of
78
+ an exact copy. The resulting work is called a "modified version" of
79
+ the earlier work or a work "based on" the earlier work.
80
+
81
+ A "covered work" means either the unmodified Program or a work based
82
+ on the Program.
83
+
84
+ To "propagate" a work means to do anything with it that, without
85
+ permission, would make you directly or secondarily liable for
86
+ infringement under applicable copyright law, except executing it on a
87
+ computer or modifying a private copy. Propagation includes copying,
88
+ distribution (with or without modification), making available to the
89
+ public, and in some countries other activities as well.
90
+
91
+ To "convey" a work means any kind of propagation that enables other
92
+ parties to make or receive copies. Mere interaction with a user
93
+ through a computer network, with no transfer of a copy, is not
94
+ conveying.
95
+
96
+ An interactive user interface displays "Appropriate Legal Notices" to
97
+ the extent that it includes a convenient and prominently visible
98
+ feature that (1) displays an appropriate copyright notice, and (2)
99
+ tells the user that there is no warranty for the work (except to the
100
+ extent that warranties are provided), that licensees may convey the
101
+ work under this License, and how to view a copy of this License. If
102
+ the interface presents a list of user commands or options, such as a
103
+ menu, a prominent item in the list meets this criterion.
104
+
105
+ #### 1. Source Code.
106
+
107
+ The "source code" for a work means the preferred form of the work for
108
+ making modifications to it. "Object code" means any non-source form of
109
+ a work.
110
+
111
+ A "Standard Interface" means an interface that either is an official
112
+ standard defined by a recognized standards body, or, in the case of
113
+ interfaces specified for a particular programming language, one that
114
+ is widely used among developers working in that language.
115
+
116
+ The "System Libraries" of an executable work include anything, other
117
+ than the work as a whole, that (a) is included in the normal form of
118
+ packaging a Major Component, but which is not part of that Major
119
+ Component, and (b) serves only to enable use of the work with that
120
+ Major Component, or to implement a Standard Interface for which an
121
+ implementation is available to the public in source code form. A
122
+ "Major Component", in this context, means a major essential component
123
+ (kernel, window system, and so on) of the specific operating system
124
+ (if any) on which the executable work runs, or a compiler used to
125
+ produce the work, or an object code interpreter used to run it.
126
+
127
+ The "Corresponding Source" for a work in object code form means all
128
+ the source code needed to generate, install, and (for an executable
129
+ work) run the object code and to modify the work, including scripts to
130
+ control those activities. However, it does not include the work's
131
+ System Libraries, or general-purpose tools or generally available free
132
+ programs which are used unmodified in performing those activities but
133
+ which are not part of the work. For example, Corresponding Source
134
+ includes interface definition files associated with source files for
135
+ the work, and the source code for shared libraries and dynamically
136
+ linked subprograms that the work is specifically designed to require,
137
+ such as by intimate data communication or control flow between those
138
+ subprograms and other parts of the work.
139
+
140
+ The Corresponding Source need not include anything that users can
141
+ regenerate automatically from other parts of the Corresponding Source.
142
+
143
+ The Corresponding Source for a work in source code form is that same
144
+ work.
145
+
146
+ #### 2. Basic Permissions.
147
+
148
+ All rights granted under this License are granted for the term of
149
+ copyright on the Program, and are irrevocable provided the stated
150
+ conditions are met. This License explicitly affirms your unlimited
151
+ permission to run the unmodified Program. The output from running a
152
+ covered work is covered by this License only if the output, given its
153
+ content, constitutes a covered work. This License acknowledges your
154
+ rights of fair use or other equivalent, as provided by copyright law.
155
+
156
+ You may make, run and propagate covered works that you do not convey,
157
+ without conditions so long as your license otherwise remains in force.
158
+ You may convey covered works to others for the sole purpose of having
159
+ them make modifications exclusively for you, or provide you with
160
+ facilities for running those works, provided that you comply with the
161
+ terms of this License in conveying all material for which you do not
162
+ control copyright. Those thus making or running the covered works for
163
+ you must do so exclusively on your behalf, under your direction and
164
+ control, on terms that prohibit them from making any copies of your
165
+ copyrighted material outside their relationship with you.
166
+
167
+ Conveying under any other circumstances is permitted solely under the
168
+ conditions stated below. Sublicensing is not allowed; section 10 makes
169
+ it unnecessary.
170
+
171
+ #### 3. Protecting Users' Legal Rights From Anti-Circumvention Law.
172
+
173
+ No covered work shall be deemed part of an effective technological
174
+ measure under any applicable law fulfilling obligations under article
175
+ 11 of the WIPO copyright treaty adopted on 20 December 1996, or
176
+ similar laws prohibiting or restricting circumvention of such
177
+ measures.
178
+
179
+ When you convey a covered work, you waive any legal power to forbid
180
+ circumvention of technological measures to the extent such
181
+ circumvention is effected by exercising rights under this License with
182
+ respect to the covered work, and you disclaim any intention to limit
183
+ operation or modification of the work as a means of enforcing, against
184
+ the work's users, your or third parties' legal rights to forbid
185
+ circumvention of technological measures.
186
+
187
+ #### 4. Conveying Verbatim Copies.
188
+
189
+ You may convey verbatim copies of the Program's source code as you
190
+ receive it, in any medium, provided that you conspicuously and
191
+ appropriately publish on each copy an appropriate copyright notice;
192
+ keep intact all notices stating that this License and any
193
+ non-permissive terms added in accord with section 7 apply to the code;
194
+ keep intact all notices of the absence of any warranty; and give all
195
+ recipients a copy of this License along with the Program.
196
+
197
+ You may charge any price or no price for each copy that you convey,
198
+ and you may offer support or warranty protection for a fee.
199
+
200
+ #### 5. Conveying Modified Source Versions.
201
+
202
+ You may convey a work based on the Program, or the modifications to
203
+ produce it from the Program, in the form of source code under the
204
+ terms of section 4, provided that you also meet all of these
205
+ conditions:
206
+
207
+ - a) The work must carry prominent notices stating that you modified
208
+ it, and giving a relevant date.
209
+ - b) The work must carry prominent notices stating that it is
210
+ released under this License and any conditions added under
211
+ section 7. This requirement modifies the requirement in section 4
212
+ to "keep intact all notices".
213
+ - c) You must license the entire work, as a whole, under this
214
+ License to anyone who comes into possession of a copy. This
215
+ License will therefore apply, along with any applicable section 7
216
+ additional terms, to the whole of the work, and all its parts,
217
+ regardless of how they are packaged. This License gives no
218
+ permission to license the work in any other way, but it does not
219
+ invalidate such permission if you have separately received it.
220
+ - d) If the work has interactive user interfaces, each must display
221
+ Appropriate Legal Notices; however, if the Program has interactive
222
+ interfaces that do not display Appropriate Legal Notices, your
223
+ work need not make them do so.
224
+
225
+ A compilation of a covered work with other separate and independent
226
+ works, which are not by their nature extensions of the covered work,
227
+ and which are not combined with it such as to form a larger program,
228
+ in or on a volume of a storage or distribution medium, is called an
229
+ "aggregate" if the compilation and its resulting copyright are not
230
+ used to limit the access or legal rights of the compilation's users
231
+ beyond what the individual works permit. Inclusion of a covered work
232
+ in an aggregate does not cause this License to apply to the other
233
+ parts of the aggregate.
234
+
235
+ #### 6. Conveying Non-Source Forms.
236
+
237
+ You may convey a covered work in object code form under the terms of
238
+ sections 4 and 5, provided that you also convey the machine-readable
239
+ Corresponding Source under the terms of this License, in one of these
240
+ ways:
241
+
242
+ - a) Convey the object code in, or embodied in, a physical product
243
+ (including a physical distribution medium), accompanied by the
244
+ Corresponding Source fixed on a durable physical medium
245
+ customarily used for software interchange.
246
+ - b) Convey the object code in, or embodied in, a physical product
247
+ (including a physical distribution medium), accompanied by a
248
+ written offer, valid for at least three years and valid for as
249
+ long as you offer spare parts or customer support for that product
250
+ model, to give anyone who possesses the object code either (1) a
251
+ copy of the Corresponding Source for all the software in the
252
+ product that is covered by this License, on a durable physical
253
+ medium customarily used for software interchange, for a price no
254
+ more than your reasonable cost of physically performing this
255
+ conveying of source, or (2) access to copy the Corresponding
256
+ Source from a network server at no charge.
257
+ - c) Convey individual copies of the object code with a copy of the
258
+ written offer to provide the Corresponding Source. This
259
+ alternative is allowed only occasionally and noncommercially, and
260
+ only if you received the object code with such an offer, in accord
261
+ with subsection 6b.
262
+ - d) Convey the object code by offering access from a designated
263
+ place (gratis or for a charge), and offer equivalent access to the
264
+ Corresponding Source in the same way through the same place at no
265
+ further charge. You need not require recipients to copy the
266
+ Corresponding Source along with the object code. If the place to
267
+ copy the object code is a network server, the Corresponding Source
268
+ may be on a different server (operated by you or a third party)
269
+ that supports equivalent copying facilities, provided you maintain
270
+ clear directions next to the object code saying where to find the
271
+ Corresponding Source. Regardless of what server hosts the
272
+ Corresponding Source, you remain obligated to ensure that it is
273
+ available for as long as needed to satisfy these requirements.
274
+ - e) Convey the object code using peer-to-peer transmission,
275
+ provided you inform other peers where the object code and
276
+ Corresponding Source of the work are being offered to the general
277
+ public at no charge under subsection 6d.
278
+
279
+ A separable portion of the object code, whose source code is excluded
280
+ from the Corresponding Source as a System Library, need not be
281
+ included in conveying the object code work.
282
+
283
+ A "User Product" is either (1) a "consumer product", which means any
284
+ tangible personal property which is normally used for personal,
285
+ family, or household purposes, or (2) anything designed or sold for
286
+ incorporation into a dwelling. In determining whether a product is a
287
+ consumer product, doubtful cases shall be resolved in favor of
288
+ coverage. For a particular product received by a particular user,
289
+ "normally used" refers to a typical or common use of that class of
290
+ product, regardless of the status of the particular user or of the way
291
+ in which the particular user actually uses, or expects or is expected
292
+ to use, the product. A product is a consumer product regardless of
293
+ whether the product has substantial commercial, industrial or
294
+ non-consumer uses, unless such uses represent the only significant
295
+ mode of use of the product.
296
+
297
+ "Installation Information" for a User Product means any methods,
298
+ procedures, authorization keys, or other information required to
299
+ install and execute modified versions of a covered work in that User
300
+ Product from a modified version of its Corresponding Source. The
301
+ information must suffice to ensure that the continued functioning of
302
+ the modified object code is in no case prevented or interfered with
303
+ solely because modification has been made.
304
+
305
+ If you convey an object code work under this section in, or with, or
306
+ specifically for use in, a User Product, and the conveying occurs as
307
+ part of a transaction in which the right of possession and use of the
308
+ User Product is transferred to the recipient in perpetuity or for a
309
+ fixed term (regardless of how the transaction is characterized), the
310
+ Corresponding Source conveyed under this section must be accompanied
311
+ by the Installation Information. But this requirement does not apply
312
+ if neither you nor any third party retains the ability to install
313
+ modified object code on the User Product (for example, the work has
314
+ been installed in ROM).
315
+
316
+ The requirement to provide Installation Information does not include a
317
+ requirement to continue to provide support service, warranty, or
318
+ updates for a work that has been modified or installed by the
319
+ recipient, or for the User Product in which it has been modified or
320
+ installed. Access to a network may be denied when the modification
321
+ itself materially and adversely affects the operation of the network
322
+ or violates the rules and protocols for communication across the
323
+ network.
324
+
325
+ Corresponding Source conveyed, and Installation Information provided,
326
+ in accord with this section must be in a format that is publicly
327
+ documented (and with an implementation available to the public in
328
+ source code form), and must require no special password or key for
329
+ unpacking, reading or copying.
330
+
331
+ #### 7. Additional Terms.
332
+
333
+ "Additional permissions" are terms that supplement the terms of this
334
+ License by making exceptions from one or more of its conditions.
335
+ Additional permissions that are applicable to the entire Program shall
336
+ be treated as though they were included in this License, to the extent
337
+ that they are valid under applicable law. If additional permissions
338
+ apply only to part of the Program, that part may be used separately
339
+ under those permissions, but the entire Program remains governed by
340
+ this License without regard to the additional permissions.
341
+
342
+ When you convey a copy of a covered work, you may at your option
343
+ remove any additional permissions from that copy, or from any part of
344
+ it. (Additional permissions may be written to require their own
345
+ removal in certain cases when you modify the work.) You may place
346
+ additional permissions on material, added by you to a covered work,
347
+ for which you have or can give appropriate copyright permission.
348
+
349
+ Notwithstanding any other provision of this License, for material you
350
+ add to a covered work, you may (if authorized by the copyright holders
351
+ of that material) supplement the terms of this License with terms:
352
+
353
+ - a) Disclaiming warranty or limiting liability differently from the
354
+ terms of sections 15 and 16 of this License; or
355
+ - b) Requiring preservation of specified reasonable legal notices or
356
+ author attributions in that material or in the Appropriate Legal
357
+ Notices displayed by works containing it; or
358
+ - c) Prohibiting misrepresentation of the origin of that material,
359
+ or requiring that modified versions of such material be marked in
360
+ reasonable ways as different from the original version; or
361
+ - d) Limiting the use for publicity purposes of names of licensors
362
+ or authors of the material; or
363
+ - e) Declining to grant rights under trademark law for use of some
364
+ trade names, trademarks, or service marks; or
365
+ - f) Requiring indemnification of licensors and authors of that
366
+ material by anyone who conveys the material (or modified versions
367
+ of it) with contractual assumptions of liability to the recipient,
368
+ for any liability that these contractual assumptions directly
369
+ impose on those licensors and authors.
370
+
371
+ All other non-permissive additional terms are considered "further
372
+ restrictions" within the meaning of section 10. If the Program as you
373
+ received it, or any part of it, contains a notice stating that it is
374
+ governed by this License along with a term that is a further
375
+ restriction, you may remove that term. If a license document contains
376
+ a further restriction but permits relicensing or conveying under this
377
+ License, you may add to a covered work material governed by the terms
378
+ of that license document, provided that the further restriction does
379
+ not survive such relicensing or conveying.
380
+
381
+ If you add terms to a covered work in accord with this section, you
382
+ must place, in the relevant source files, a statement of the
383
+ additional terms that apply to those files, or a notice indicating
384
+ where to find the applicable terms.
385
+
386
+ Additional terms, permissive or non-permissive, may be stated in the
387
+ form of a separately written license, or stated as exceptions; the
388
+ above requirements apply either way.
389
+
390
+ #### 8. Termination.
391
+
392
+ You may not propagate or modify a covered work except as expressly
393
+ provided under this License. Any attempt otherwise to propagate or
394
+ modify it is void, and will automatically terminate your rights under
395
+ this License (including any patent licenses granted under the third
396
+ paragraph of section 11).
397
+
398
+ However, if you cease all violation of this License, then your license
399
+ from a particular copyright holder is reinstated (a) provisionally,
400
+ unless and until the copyright holder explicitly and finally
401
+ terminates your license, and (b) permanently, if the copyright holder
402
+ fails to notify you of the violation by some reasonable means prior to
403
+ 60 days after the cessation.
404
+
405
+ Moreover, your license from a particular copyright holder is
406
+ reinstated permanently if the copyright holder notifies you of the
407
+ violation by some reasonable means, this is the first time you have
408
+ received notice of violation of this License (for any work) from that
409
+ copyright holder, and you cure the violation prior to 30 days after
410
+ your receipt of the notice.
411
+
412
+ Termination of your rights under this section does not terminate the
413
+ licenses of parties who have received copies or rights from you under
414
+ this License. If your rights have been terminated and not permanently
415
+ reinstated, you do not qualify to receive new licenses for the same
416
+ material under section 10.
417
+
418
+ #### 9. Acceptance Not Required for Having Copies.
419
+
420
+ You are not required to accept this License in order to receive or run
421
+ a copy of the Program. Ancillary propagation of a covered work
422
+ occurring solely as a consequence of using peer-to-peer transmission
423
+ to receive a copy likewise does not require acceptance. However,
424
+ nothing other than this License grants you permission to propagate or
425
+ modify any covered work. These actions infringe copyright if you do
426
+ not accept this License. Therefore, by modifying or propagating a
427
+ covered work, you indicate your acceptance of this License to do so.
428
+
429
+ #### 10. Automatic Licensing of Downstream Recipients.
430
+
431
+ Each time you convey a covered work, the recipient automatically
432
+ receives a license from the original licensors, to run, modify and
433
+ propagate that work, subject to this License. You are not responsible
434
+ for enforcing compliance by third parties with this License.
435
+
436
+ An "entity transaction" is a transaction transferring control of an
437
+ organization, or substantially all assets of one, or subdividing an
438
+ organization, or merging organizations. If propagation of a covered
439
+ work results from an entity transaction, each party to that
440
+ transaction who receives a copy of the work also receives whatever
441
+ licenses to the work the party's predecessor in interest had or could
442
+ give under the previous paragraph, plus a right to possession of the
443
+ Corresponding Source of the work from the predecessor in interest, if
444
+ the predecessor has it or can get it with reasonable efforts.
445
+
446
+ You may not impose any further restrictions on the exercise of the
447
+ rights granted or affirmed under this License. For example, you may
448
+ not impose a license fee, royalty, or other charge for exercise of
449
+ rights granted under this License, and you may not initiate litigation
450
+ (including a cross-claim or counterclaim in a lawsuit) alleging that
451
+ any patent claim is infringed by making, using, selling, offering for
452
+ sale, or importing the Program or any portion of it.
453
+
454
+ #### 11. Patents.
455
+
456
+ A "contributor" is a copyright holder who authorizes use under this
457
+ License of the Program or a work on which the Program is based. The
458
+ work thus licensed is called the contributor's "contributor version".
459
+
460
+ A contributor's "essential patent claims" are all patent claims owned
461
+ or controlled by the contributor, whether already acquired or
462
+ hereafter acquired, that would be infringed by some manner, permitted
463
+ by this License, of making, using, or selling its contributor version,
464
+ but do not include claims that would be infringed only as a
465
+ consequence of further modification of the contributor version. For
466
+ purposes of this definition, "control" includes the right to grant
467
+ patent sublicenses in a manner consistent with the requirements of
468
+ this License.
469
+
470
+ Each contributor grants you a non-exclusive, worldwide, royalty-free
471
+ patent license under the contributor's essential patent claims, to
472
+ make, use, sell, offer for sale, import and otherwise run, modify and
473
+ propagate the contents of its contributor version.
474
+
475
+ In the following three paragraphs, a "patent license" is any express
476
+ agreement or commitment, however denominated, not to enforce a patent
477
+ (such as an express permission to practice a patent or covenant not to
478
+ sue for patent infringement). To "grant" such a patent license to a
479
+ party means to make such an agreement or commitment not to enforce a
480
+ patent against the party.
481
+
482
+ If you convey a covered work, knowingly relying on a patent license,
483
+ and the Corresponding Source of the work is not available for anyone
484
+ to copy, free of charge and under the terms of this License, through a
485
+ publicly available network server or other readily accessible means,
486
+ then you must either (1) cause the Corresponding Source to be so
487
+ available, or (2) arrange to deprive yourself of the benefit of the
488
+ patent license for this particular work, or (3) arrange, in a manner
489
+ consistent with the requirements of this License, to extend the patent
490
+ license to downstream recipients. "Knowingly relying" means you have
491
+ actual knowledge that, but for the patent license, your conveying the
492
+ covered work in a country, or your recipient's use of the covered work
493
+ in a country, would infringe one or more identifiable patents in that
494
+ country that you have reason to believe are valid.
495
+
496
+ If, pursuant to or in connection with a single transaction or
497
+ arrangement, you convey, or propagate by procuring conveyance of, a
498
+ covered work, and grant a patent license to some of the parties
499
+ receiving the covered work authorizing them to use, propagate, modify
500
+ or convey a specific copy of the covered work, then the patent license
501
+ you grant is automatically extended to all recipients of the covered
502
+ work and works based on it.
503
+
504
+ A patent license is "discriminatory" if it does not include within the
505
+ scope of its coverage, prohibits the exercise of, or is conditioned on
506
+ the non-exercise of one or more of the rights that are specifically
507
+ granted under this License. You may not convey a covered work if you
508
+ are a party to an arrangement with a third party that is in the
509
+ business of distributing software, under which you make payment to the
510
+ third party based on the extent of your activity of conveying the
511
+ work, and under which the third party grants, to any of the parties
512
+ who would receive the covered work from you, a discriminatory patent
513
+ license (a) in connection with copies of the covered work conveyed by
514
+ you (or copies made from those copies), or (b) primarily for and in
515
+ connection with specific products or compilations that contain the
516
+ covered work, unless you entered into that arrangement, or that patent
517
+ license was granted, prior to 28 March 2007.
518
+
519
+ Nothing in this License shall be construed as excluding or limiting
520
+ any implied license or other defenses to infringement that may
521
+ otherwise be available to you under applicable patent law.
522
+
523
+ #### 12. No Surrender of Others' Freedom.
524
+
525
+ If conditions are imposed on you (whether by court order, agreement or
526
+ otherwise) that contradict the conditions of this License, they do not
527
+ excuse you from the conditions of this License. If you cannot convey a
528
+ covered work so as to satisfy simultaneously your obligations under
529
+ this License and any other pertinent obligations, then as a
530
+ consequence you may not convey it at all. For example, if you agree to
531
+ terms that obligate you to collect a royalty for further conveying
532
+ from those to whom you convey the Program, the only way you could
533
+ satisfy both those terms and this License would be to refrain entirely
534
+ from conveying the Program.
535
+
536
+ #### 13. Remote Network Interaction; Use with the GNU General Public License.
537
+
538
+ Notwithstanding any other provision of this License, if you modify the
539
+ Program, your modified version must prominently offer all users
540
+ interacting with it remotely through a computer network (if your
541
+ version supports such interaction) an opportunity to receive the
542
+ Corresponding Source of your version by providing access to the
543
+ Corresponding Source from a network server at no charge, through some
544
+ standard or customary means of facilitating copying of software. This
545
+ Corresponding Source shall include the Corresponding Source for any
546
+ work covered by version 3 of the GNU General Public License that is
547
+ incorporated pursuant to the following paragraph.
548
+
549
+ Notwithstanding any other provision of this License, you have
550
+ permission to link or combine any covered work with a work licensed
551
+ under version 3 of the GNU General Public License into a single
552
+ combined work, and to convey the resulting work. The terms of this
553
+ License will continue to apply to the part which is the covered work,
554
+ but the work with which it is combined will remain governed by version
555
+ 3 of the GNU General Public License.
556
+
557
+ #### 14. Revised Versions of this License.
558
+
559
+ The Free Software Foundation may publish revised and/or new versions
560
+ of the GNU Affero General Public License from time to time. Such new
561
+ versions will be similar in spirit to the present version, but may
562
+ differ in detail to address new problems or concerns.
563
+
564
+ Each version is given a distinguishing version number. If the Program
565
+ specifies that a certain numbered version of the GNU Affero General
566
+ Public License "or any later version" applies to it, you have the
567
+ option of following the terms and conditions either of that numbered
568
+ version or of any later version published by the Free Software
569
+ Foundation. If the Program does not specify a version number of the
570
+ GNU Affero General Public License, you may choose any version ever
571
+ published by the Free Software Foundation.
572
+
573
+ If the Program specifies that a proxy can decide which future versions
574
+ of the GNU Affero General Public License can be used, that proxy's
575
+ public statement of acceptance of a version permanently authorizes you
576
+ to choose that version for the Program.
577
+
578
+ Later license versions may give you additional or different
579
+ permissions. However, no additional obligations are imposed on any
580
+ author or copyright holder as a result of your choosing to follow a
581
+ later version.
582
+
583
+ #### 15. Disclaimer of Warranty.
584
+
585
+ THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY
586
+ APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT
587
+ HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT
588
+ WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT
589
+ LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
590
+ A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND
591
+ PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE
592
+ DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR
593
+ CORRECTION.
594
+
595
+ #### 16. Limitation of Liability.
596
+
597
+ IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
598
+ WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR
599
+ CONVEYS THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,
600
+ INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
601
+ ARISING OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT
602
+ NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR
603
+ LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM
604
+ TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER OR OTHER
605
+ PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
606
+
607
+ #### 17. Interpretation of Sections 15 and 16.
608
+
609
+ If the disclaimer of warranty and limitation of liability provided
610
+ above cannot be given local legal effect according to their terms,
611
+ reviewing courts shall apply local law that most closely approximates
612
+ an absolute waiver of all civil liability in connection with the
613
+ Program, unless a warranty or assumption of liability accompanies a
614
+ copy of the Program in return for a fee.
615
+
616
+ END OF TERMS AND CONDITIONS
617
+
618
+ ### How to Apply These Terms to Your New Programs
619
+
620
+ If you develop a new program, and you want it to be of the greatest
621
+ possible use to the public, the best way to achieve this is to make it
622
+ free software which everyone can redistribute and change under these
623
+ terms.
624
+
625
+ To do so, attach the following notices to the program. It is safest to
626
+ attach them to the start of each source file to most effectively state
627
+ the exclusion of warranty; and each file should have at least the
628
+ "copyright" line and a pointer to where the full notice is found.
629
+
630
+ <one line to give the program's name and a brief idea of what it does.>
631
+ Copyright (C) <year> <name of author>
632
+
633
+ This program is free software: you can redistribute it and/or modify
634
+ it under the terms of the GNU Affero General Public License as
635
+ published by the Free Software Foundation, either version 3 of the
636
+ License, or (at your option) any later version.
637
+
638
+ This program is distributed in the hope that it will be useful,
639
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
640
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
641
+ GNU Affero General Public License for more details.
642
+
643
+ You should have received a copy of the GNU Affero General Public License
644
+ along with this program. If not, see <http://www.gnu.org/licenses/>.
645
+
646
+ Also add information on how to contact you by electronic and paper
647
+ mail.
648
+
649
+ If your software can interact with users remotely through a computer
650
+ network, you should also make sure that it provides a way for users to
651
+ get its source. For example, if your program is a web application, its
652
+ interface could display a "Source" link that leads users to an archive
653
+ of the code. There are many ways you could offer source, and different
654
+ solutions will be better for different programs; see section 13 for
655
+ the specific requirements.
656
+
657
+ You should also get your employer (if you work as a programmer) or
658
+ school, if any, to sign a "copyright disclaimer" for the program, if
659
+ necessary. For more information on this, and how to apply and follow
660
+ the GNU AGPL, see <http://www.gnu.org/licenses/>.