(self, idx)
In Java, all array indices are represented by a 32 bit integer and
        consequently we are using in the Soot engine a 32bit bitvector for this.
        This function normalize the given index to follow this "convention".

        :return: Index as a 32bit bitvector.
In Java, all array indices are represented by a 32 bit integer and
        consequently we are using in the Soot engine a 32bit bitvector for this.
        This function normalize the given index to follow this "convention".
In Java all array indices are represented by a 32 bit integer and consequently we are using in the Soot engine a 32bit bitvector for this . This function normalize the given index to follow this convention .
def _normalize_array_idx(self, idx):
        """
        In Java, all array indices are represented by a 32 bit integer and
        consequently we are using in the Soot engine a 32bit bitvector for this.
        This function normalize the given index to follow this "convention".

        :return: Index as a 32bit bitvector.
        """
        if isinstance(idx, SimActionObject):
            idx = idx.to_claripy()
        if self.arch.memory_endness == "Iend_LE":
            return idx.reversed.get_bytes(index=0, size=4).reversed
        else:
            return idx.get_bytes(index=0, size=4)
def _normalize_array_idx ( self , idx ) : if isinstance ( idx , SimActionObject ) : idx = idx . to_claripy ( ) if self . arch . memory_endness == "Iend_LE" : return idx . reversed . get_bytes ( index = 0 , size = 4 ) . reversed else : return idx . get_bytes ( index = 0 , size = 4 )