docs/manual/manual.pdf

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