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 (subsection.4.1.6) >>
  95 endobj
  96 68 0 obj
  97 (Filtering identifiers, declarers or iterators with regular expression)
  98 endobj
  99 69 0 obj
 100 << /S /GoTo /D (section.4.2) >>
 101 endobj
 102 72 0 obj
 103 (Tips and Tricks)
 104 endobj
 105 73 0 obj
 106 << /S /GoTo /D (subsection.4.2.1) >>
 107 endobj
 108 76 0 obj
 109 (How to remove useless parentheses?)
 110 endobj
 111 77 0 obj
 112 << /S /GoTo /D (chapter.5) >>
 113 endobj
 114 80 0 obj
 115 (Isomorphisms and standard.iso)
 116 endobj
 117 81 0 obj
 118 << /S /GoTo /D (chapter.6) >>
 119 endobj
 120 84 0 obj
 121 (Parsing C, cpp, and standard.h)
 122 endobj
 123 85 0 obj
 124 << /S /GoTo /D (chapter.7) >>
 125 endobj
 126 88 0 obj
 127 (Developing a Semantic Patch)
 128 endobj
 129 89 0 obj
 130 << /S /GoTo /D (chapter.8) >>
 131 endobj
 132 92 0 obj
 133 (Advanced Features)
 134 endobj
 135 93 0 obj
 136 << /S /GoTo /D (part.2) >>
 137 endobj
 138 96 0 obj
 139 (II Reference Manual)
 140 endobj
 141 97 0 obj
 142 << /S /GoTo /D (chapter.9) >>
 143 endobj
 144 100 0 obj
 145 (SmPL grammar)
 146 endobj
 147 101 0 obj
 148 << /S /GoTo /D (section.9.1) >>
 149 endobj
 150 104 0 obj
 151 (Program)
 152 endobj
 153 105 0 obj
 154 << /S /GoTo /D (section.9.2) >>
 155 endobj
 156 108 0 obj
 157 (Metavariables for transformations)
 158 endobj
 159 109 0 obj
 160 << /S /GoTo /D (section.9.3) >>
 161 endobj
 162 112 0 obj
 163 (Metavariables for scripts)
 164 endobj
 165 113 0 obj
 166 << /S /GoTo /D (section.9.4) >>
 167 endobj
 168 116 0 obj
 169 (Transformation)
 170 endobj
 171 117 0 obj
 172 << /S /GoTo /D (section.9.5) >>
 173 endobj
 174 120 0 obj
 175 (Types)
 176 endobj
 177 121 0 obj
 178 << /S /GoTo /D (section.9.6) >>
 179 endobj
 180 124 0 obj
 181 (Function declarations)
 182 endobj
 183 125 0 obj
 184 << /S /GoTo /D (section.9.7) >>
 185 endobj
 186 128 0 obj
 187 (Declarations)
 188 endobj
 189 129 0 obj
 190 << /S /GoTo /D (section.9.8) >>
 191 endobj
 192 132 0 obj
 193 (Statements)
 194 endobj
 195 133 0 obj
 196 << /S /GoTo /D (section.9.9) >>
 197 endobj
 198 136 0 obj
 199 (Expressions)
 200 endobj
 201 137 0 obj
 202 << /S /GoTo /D (section.9.10) >>
 203 endobj
 204 140 0 obj
 205 (Constant, Identifiers and Types for Transformations)
 206 endobj
 207 141 0 obj
 208 << /S /GoTo /D (chapter.10) >>
 209 endobj
 210 144 0 obj
 211 (spatch command line options)
 212 endobj
 213 145 0 obj
 214 << /S /GoTo /D (section.10.1) >>
 215 endobj
 216 148 0 obj
 217 (Introduction)
 218 endobj
 219 149 0 obj
 220 << /S /GoTo /D (section.10.2) >>
 221 endobj
 222 152 0 obj
 223 (Selecting and parsing the semantic patch)
 224 endobj
 225 153 0 obj
 226 << /S /GoTo /D (subsection.10.2.1) >>
 227 endobj
 228 156 0 obj
 229 (Standalone options)
 230 endobj
 231 157 0 obj
 232 << /S /GoTo /D (subsection.10.2.2) >>
 233 endobj
 234 160 0 obj
 235 (The semantic patch)
 236 endobj
 237 161 0 obj
 238 << /S /GoTo /D (subsection.10.2.3) >>
 239 endobj
 240 164 0 obj
 241 (Isomorphisms)
 242 endobj
 243 165 0 obj
 244 << /S /GoTo /D (subsection.10.2.4) >>
 245 endobj
 246 168 0 obj
 247 (Display options)
 248 endobj
 249 169 0 obj
 250 << /S /GoTo /D (section.10.3) >>
 251 endobj
 252 172 0 obj
 253 (Selecting and parsing the C files)
 254 endobj
 255 173 0 obj
 256 << /S /GoTo /D (subsection.10.3.1) >>
 257 endobj
 258 176 0 obj
 259 (Standalone options)
 260 endobj
 261 177 0 obj
 262 << /S /GoTo /D (subsection.10.3.2) >>
 263 endobj
 264 180 0 obj
 265 (Selecting C files)
 266 endobj
 267 181 0 obj
 268 << /S /GoTo /D (subsection.10.3.3) >>
 269 endobj
 270 184 0 obj
 271 (Parsing C files)
 272 endobj
 273 185 0 obj
 274 << /S /GoTo /D (section.10.4) >>
 275 endobj
 276 188 0 obj
 277 (Application of the semantic patch to the C code)
 278 endobj
 279 189 0 obj
 280 << /S /GoTo /D (subsection.10.4.1) >>
 281 endobj
 282 192 0 obj
 283 (Feedback at the rule level during the application of the semantic patch)
 284 endobj
 285 193 0 obj
 286 << /S /GoTo /D (subsection.10.4.2) >>
 287 endobj
 288 196 0 obj
 289 (Feedback at the CTL level during the application of the semantic patch)
 290 endobj
 291 197 0 obj
 292 << /S /GoTo /D (subsection.10.4.3) >>
 293 endobj
 294 200 0 obj
 295 (Actions during the application of the semantic patch)
 296 endobj
 297 201 0 obj
 298 << /S /GoTo /D (section.10.5) >>
 299 endobj
 300 204 0 obj
 301 (Generation of the result)
 302 endobj
 303 205 0 obj
 304 << /S /GoTo /D (section.10.6) >>
 305 endobj
 306 208 0 obj
 307 (Other options)
 308 endobj
 309 209 0 obj
 310 << /S /GoTo /D (subsection.10.6.1) >>
 311 endobj
 312 212 0 obj
 313 (Version information)
 314 endobj
 315 213 0 obj
 316 << /S /GoTo /D (subsection.10.6.2) >>
 317 endobj
 318 216 0 obj
 319 (Help)
 320 endobj
 321 217 0 obj
 322 << /S /GoTo /D (subsection.10.6.3) >>
 323 endobj
 324 220 0 obj
 325 (Controlling the execution of Coccinelle)
 326 endobj
 327 221 0 obj
 328 << /S /GoTo /D (subsection.10.6.4) >>
 329 endobj
 330 224 0 obj
 331 (Miscellaneous)
 332 endobj
 333 225 0 obj
 334 << /S /GoTo /D [226 0 R  /Fit ] >>
 335 endobj
 336 228 0 obj <<
 337 /Length 316
 338 /Filter /FlateDecode
 339 >>
 340 stream
 341 xÚu\91OOÄ \10Åïû)æfI,2\14ÚîU£n6j\8cÖ\83Q\ fØR\97ÈBÒ?YýöÒÒD\8dñ4oàýà
0x\ 3\ 6\97+öO=V'\17"\a.hQ\16\bU\v\"Í±\ 4É2*$\87ª\81§äÌ×µqÚZM^ªm@
 342 À\82r\94bB\ 4-×\ 5¤\1cé:\803ðÐëî\88H\99ô$å\92%{åFe'\18rÊyöÛÝi«U¯£\95QNñû\9a`\93S\8c\16Ò¬ ¥\f¨Èh\99É\88nGkT\ 4¯\14A\99\1c\b²DY\e×\94k¢x$\18Ö½r.ö·\93W5Æ\87\9bÇ9W\8aaâu\8eA\84*\96hÏL²\83\19v\91ª½\e:óJ8KÆÁx·L×v~\1fÕ\9dvË\18w\9fÍÎ·Qo\94ëµ;\8eÍ\8d©½UýÏ\18Ö|,\9b\eí:ó\1eõý0ªn\b\ 1æ×