docs/manual/manual.pdf

   1 %PDF-1.4
   2 %ÐÔÅØ
   3 1 0 obj
   4 << /S /GoTo /D (part.1) >>
   5 endobj
   6 4 0 obj
   7 (I User Manual)
   8 endobj
   9 5 0 obj
  10 << /S /GoTo /D (chapter.1) >>
  11 endobj
  12 8 0 obj
  13 (Introduction)
  14 endobj
  15 9 0 obj
  16 << /S /GoTo /D (chapter.2) >>
  17 endobj
  18 12 0 obj
  19 (Installing Coccinelle)
  20 endobj
  21 13 0 obj
  22 << /S /GoTo /D (section.2.1) >>
  23 endobj
  24 16 0 obj
  25 (Requirements)
  26 endobj
  27 17 0 obj
  28 << /S /GoTo /D (section.2.2) >>
  29 endobj
  30 20 0 obj
  31 (Getting Coccinelle)
  32 endobj
  33 21 0 obj
  34 << /S /GoTo /D (section.2.3) >>
  35 endobj
  36 24 0 obj
  37 (Compiling Coccinelle)
  38 endobj
  39 25 0 obj
  40 << /S /GoTo /D (section.2.4) >>
  41 endobj
  42 28 0 obj
  43 (Running Coccinelle)
  44 endobj
  45 29 0 obj
  46 << /S /GoTo /D (chapter.3) >>
  47 endobj
  48 32 0 obj
  49 (Tutorial)
  50 endobj
  51 33 0 obj
  52 << /S /GoTo /D (chapter.4) >>
  53 endobj
  54 36 0 obj
  55 (Examples)
  56 endobj
  57 37 0 obj
  58 << /S /GoTo /D (section.4.1) >>
  59 endobj
  60 40 0 obj
  61 (Examples)
  62 endobj
  63 41 0 obj
  64 << /S /GoTo /D (subsection.4.1.1) >>
  65 endobj
  66 44 0 obj
  67 (Function renaming)
  68 endobj
  69 45 0 obj
  70 << /S /GoTo /D (subsection.4.1.2) >>
  71 endobj
  72 48 0 obj
  73 (Removing a function argument)
  74 endobj
  75 49 0 obj
  76 << /S /GoTo /D (subsection.4.1.3) >>
  77 endobj
  78 52 0 obj
  79 (Introduction of a macro)
  80 endobj
  81 53 0 obj
  82 << /S /GoTo /D (subsection.4.1.4) >>
  83 endobj
  84 56 0 obj
  85 (Look for NULL dereference)
  86 endobj
  87 57 0 obj
  88 << /S /GoTo /D (subsection.4.1.5) >>
  89 endobj
  90 60 0 obj
  91 (Reference counter: the of\137xxx API)
  92 endobj
  93 61 0 obj
  94 << /S /GoTo /D (subsection.4.1.6) >>
  95 endobj
  96 64 0 obj
  97 (Filtering identifiers, declarers or iterators with regular expression)
  98 endobj
  99 65 0 obj
 100 << /S /GoTo /D (section.4.2) >>
 101 endobj
 102 68 0 obj
 103 (Tips and Tricks)
 104 endobj
 105 69 0 obj
 106 << /S /GoTo /D (subsection.4.2.1) >>
 107 endobj
 108 72 0 obj
 109 (How to remove useless parentheses?)
 110 endobj
 111 73 0 obj
 112 << /S /GoTo /D (chapter.5) >>
 113 endobj
 114 76 0 obj
 115 (Isomorphisms and standard.iso)
 116 endobj
 117 77 0 obj
 118 << /S /GoTo /D (chapter.6) >>
 119 endobj
 120 80 0 obj
 121 (Parsing C, cpp, and standard.h)
 122 endobj
 123 81 0 obj
 124 << /S /GoTo /D (chapter.7) >>
 125 endobj
 126 84 0 obj
 127 (Developing a Semantic Patch)
 128 endobj
 129 85 0 obj
 130 << /S /GoTo /D (chapter.8) >>
 131 endobj
 132 88 0 obj
 133 (Advanced Features)
 134 endobj
 135 89 0 obj
 136 << /S /GoTo /D (part.2) >>
 137 endobj
 138 92 0 obj
 139 (II Reference Manual)
 140 endobj
 141 93 0 obj
 142 << /S /GoTo /D (chapter.9) >>
 143 endobj
 144 96 0 obj
 145 (SmPL grammar)
 146 endobj
 147 97 0 obj
 148 << /S /GoTo /D (section.9.1) >>
 149 endobj
 150 100 0 obj
 151 (Program)
 152 endobj
 153 101 0 obj
 154 << /S /GoTo /D (section.9.2) >>
 155 endobj
 156 104 0 obj
 157 (Metavariables for transformations)
 158 endobj
 159 105 0 obj
 160 << /S /GoTo /D (section.9.3) >>
 161 endobj
 162 108 0 obj
 163 (Metavariables for scripts)
 164 endobj
 165 109 0 obj
 166 << /S /GoTo /D (section.9.4) >>
 167 endobj
 168 112 0 obj
 169 (Transformation)
 170 endobj
 171 113 0 obj
 172 << /S /GoTo /D (section.9.5) >>
 173 endobj
 174 116 0 obj
 175 (Types)
 176 endobj
 177 117 0 obj
 178 << /S /GoTo /D (section.9.6) >>
 179 endobj
 180 120 0 obj
 181 (Function declarations)
 182 endobj
 183 121 0 obj
 184 << /S /GoTo /D (section.9.7) >>
 185 endobj
 186 124 0 obj
 187 (Declarations)
 188 endobj
 189 125 0 obj
 190 << /S /GoTo /D (section.9.8) >>
 191 endobj
 192 128 0 obj
 193 (Statements)
 194 endobj
 195 129 0 obj
 196 << /S /GoTo /D (section.9.9) >>
 197 endobj
 198 132 0 obj
 199 (Expressions)
 200 endobj
 201 133 0 obj
 202 << /S /GoTo /D (section.9.10) >>
 203 endobj
 204 136 0 obj
 205 (Constants, Identifiers and Types for Transformations)
 206 endobj
 207 137 0 obj
 208 << /S /GoTo /D (section.9.11) >>
 209 endobj
 210 140 0 obj
 211 (Comments and preprocessor directives)
 212 endobj
 213 141 0 obj
 214 << /S /GoTo /D (section.9.12) >>
 215 endobj
 216 144 0 obj
 217 (Command-line semantic match)
 218 endobj
 219 145 0 obj
 220 << /S /GoTo /D (chapter.10) >>
 221 endobj
 222 148 0 obj
 223 (spatch command line options)
 224 endobj
 225 149 0 obj
 226 << /S /GoTo /D (section.10.1) >>
 227 endobj
 228 152 0 obj
 229 (Introduction)
 230 endobj
 231 153 0 obj
 232 << /S /GoTo /D (section.10.2) >>
 233 endobj
 234 156 0 obj
 235 (Selecting and parsing the semantic patch)
 236 endobj
 237 157 0 obj
 238 << /S /GoTo /D (subsection.10.2.1) >>
 239 endobj
 240 160 0 obj
 241 (Standalone options)
 242 endobj
 243 161 0 obj
 244 << /S /GoTo /D (subsection.10.2.2) >>
 245 endobj
 246 164 0 obj
 247 (The semantic patch)
 248 endobj
 249 165 0 obj
 250 << /S /GoTo /D (subsection.10.2.3) >>
 251 endobj
 252 168 0 obj
 253 (Isomorphisms)
 254 endobj
 255 169 0 obj
 256 << /S /GoTo /D (subsection.10.2.4) >>
 257 endobj
 258 172 0 obj
 259 (Display options)
 260 endobj
 261 173 0 obj
 262 << /S /GoTo /D (section.10.3) >>
 263 endobj
 264 176 0 obj
 265 (Selecting and parsing the C files)
 266 endobj
 267 177 0 obj
 268 << /S /GoTo /D (subsection.10.3.1) >>
 269 endobj
 270 180 0 obj
 271 (Standalone options)
 272 endobj
 273 181 0 obj
 274 << /S /GoTo /D (subsection.10.3.2) >>
 275 endobj
 276 184 0 obj
 277 (Selecting C files)
 278 endobj
 279 185 0 obj
 280 << /S /GoTo /D (subsection.10.3.3) >>
 281 endobj
 282 188 0 obj
 283 (Parsing C files)
 284 endobj
 285 189 0 obj
 286 << /S /GoTo /D (section.10.4) >>
 287 endobj
 288 192 0 obj
 289 (Application of the semantic patch to the C code)
 290 endobj
 291 193 0 obj
 292 << /S /GoTo /D (subsection.10.4.1) >>
 293 endobj
 294 196 0 obj
 295 (Feedback at the rule level during the application of the semantic patch)
 296 endobj
 297 197 0 obj
 298 << /S /GoTo /D (subsection.10.4.2) >>
 299 endobj
 300 200 0 obj
 301 (Feedback at the CTL level during the application of the semantic patch)
 302 endobj
 303 201 0 obj
 304 << /S /GoTo /D (subsection.10.4.3) >>
 305 endobj
 306 204 0 obj
 307 (Actions during the application of the semantic patch)
 308 endobj
 309 205 0 obj
 310 << /S /GoTo /D (section.10.5) >>
 311 endobj
 312 208 0 obj
 313 (Generation of the result)
 314 endobj
 315 209 0 obj
 316 << /S /GoTo /D (section.10.6) >>
 317 endobj
 318 212 0 obj
 319 (Other options)
 320 endobj
 321 213 0 obj
 322 << /S /GoTo /D (subsection.10.6.1) >>
 323 endobj
 324 216 0 obj
 325 (Version information)
 326 endobj
 327 217 0 obj
 328 << /S /GoTo /D (subsection.10.6.2) >>
 329 endobj
 330 220 0 obj
 331 (Help)
 332 endobj
 333 221 0 obj
 334 << /S /GoTo /D (subsection.10.6.3) >>
 335 endobj
 336 224 0 obj
 337 (Controlling the execution of Coccinelle)
 338 endobj
 339 225 0 obj
 340 << /S /GoTo /D (subsection.10.6.4) >>
 341 endobj
 342 228 0 obj
 343 (Miscellaneous)
 344 endobj
 345 229 0 obj
 346 << /S /GoTo /D (part.3) >>
 347 endobj
 348 232 0 obj
 349 (III Appendix)
 350 endobj
 351 233 0 obj
 352 << /S /GoTo /D [234 0 R  /Fit ] >>
 353 endobj
 354 236 0 obj <<
 355 /Length 318
 356 /Filter /FlateDecode
 357 >>
 358 stream
 359 xÚu\91ÁNÄ \10\86ïû\14Ül\13\8b\f\85R®\1au³Qc´\1e\8czÀ\96ºD\16\12Úfõí¥K\135Æ\13ÿ\fóÍü\ 3\ 4½!\82.Wä\9fó´Y\9d\°
 360 Q\86E-