- method claim: the algorithm itself (claim 1)
- system and method claim: a computer running a program containing the algorithm (claim 6)
- product claim: a program containing the algorithm (claim 11)
the modifying of the reference count being capable of including modification for a memory location that is not at the start of the given allocation of the heap allocated memory
Another kind of false positive can occur since we only track references to the start of a memory block. In practice, we only experienced this in the case of C++ code, where in some cases constructors return a pointer to sizeof(void*) bytes past the start of the allocated block. We compensated for this by treating such pointers also as references to blocks. After this adaption, we did not encounter any further reported false positives due to pointers not pointing to the start of a block.