Cirtical error: calculating of aligned address

[iaoing]

Issue:

In Python, the result of int/int is the float type and the size is as same as the float in C/C++. However, the int type in Python is unbounded. Thus, conversion from floating point to integer may round or truncate as in C.

Affected code:

1. Calculating of cache line aligned address:
   

   witcher/replay/mem/cachenumbers.py

   Lines 8 to 9 in ad69038

   	def get_cacheline_address(address):
   	return int(address / CACHELINE_BYTES) * CACHELINE_BYTES

2. calculating of atomic-size aligned address:
   

   witcher/replay/mem/witchertrace.py

   Lines 43 to 44 in ad69038

   	address_atomic_write_low = int(address/ATOMIC_WRITE_BYTES) * \
   	ATOMIC_WRITE_BYTES

If the address starts with 0xf, the result is incorrect after the calculation.

Fixes:

aligned_addr = address // ALIGNMENT_NUM * ALIGNMENT_NUM