Legacy Issue Number: 17301
Source: Benchmark Consulting ( Stephane Vaucher [X] (Inactive))
The example used to describe the difference between micro and non-micro kdm support contains several errors. From example in Chapter 14:
id.11 id.80 id:85 -> Flows do not have 'to'
id.45 -> should be of type Pointer (id.103)
id.55 [ArraySelect] -> Select is on an array of pointers, the register (id.45) should be a pointer.
id.61 [PointerReplace] -> PtrReplace is missing the addresses (first reads should become an addresses)
id.92 -> Missing Addresses
id.103 -> Array contains pointers (not integers), Array operations should reflect this
Reported: KDM 1.3 — Wed, 11 Apr 2012 04:00 GMT
Disposition: Resolved — KDM 1.4
Correct microKDM example
Multiple corrections of XML on pages 165-167
Updated: Tue, 12 Jul 2016 14:44 GMT