What is Pointer Arithmetic

Pointer Arithmetic: C and C++ provide the ability to modify a pointer’s target address with arithmetic operations. This is used, for example, to index arrays.

MyObject* P = ...

...

P = P + 42;

For model checkers such as Java whose modeling notations do not support these operations directly, these operations can be problematic to model. For example a pointer variable can be mapped directly to a Java reference unless any pointer operations are performed on it anywhere in the code (e.g., pointer addition or taking its address). They require creation of explicit “C-pointer” objects with additional state (base, offset). We also need to create a model of the memory and the platform in order to be able to effectively model such arithmetic operations. While this can be supported in practice, it can significantly increase the complexity of the model and hence the size of the state space.

#### Related Questions in Programming Languages

• ##### Q :Define Binary search Binary search :

Binary search: This is a search of sorted data, in which the middle place is examined first. The search continues with either the right or the left part of the data, therefore removing half the remaining search space. This procedure is repeated at eac

• ##### Q :ERD What is the meaning ofDerive the

What is the meaning ofDerive the department and staff relations from the following ERD.

• ##### Q :Define Continuous simulation Continuous

Continuous simulation: In a continuous simulation, the time ticks past at a regular rate which is applicable to the specific simulation scenario. At each and every tick, all the objects in the simulation are informed of the passage of time and updated

• ##### Q :Walk through the steps essential to

How can you walk through the steps essential to parse XML documents?

• ##### Q :Explain Structured programming

Structured programming: It is a style of programming generally related with languages like FORTRAN, C, Pascal and so forth. Employing structured programming methods, a problem is frequently resolved employing a divide and conquer approach like stepwis

• ##### Q :Subroutine in the programming Describe

Describe the number of ways that an argument is passed to a subroutine in the programming?

• ##### Q :Define Unicode Unicode : It is a 16-bit

Unicode: It is a 16-bit character set designed to make it simpler to exchange and exhibit information which makes use of a broad range of dissimilar languages and symbols.

• ##### Q :Explain Java PathFinder Java

Java PathFinder: Java PathFinder (JPF) is a model checker that has been developed as a verification and testing environment for Java programs (Figure shown below). It is available as open source at SourceForge.net (JPF website). It consists of a custo

• ##### Q :Illustrates the parts of an XML

Illustrates the parts of an XML document are case-sensitive.

• ##### Q :Define the term Identifier Define the

Define the term Identifier: It is a programmer-defined name for a method, variable, class and interface.