Merge remote-tracking branch 'origin/dev'

Merge remote-tracking branch 'origin/dev'

when accessing m_syscall_info_table, make sure we are within its bounds

when accessing m_syscall_info_table, make sure we are within its bounds

when accessing m_syscall_info_table, make sure we are within its bounds

Update version on comments

Update version on comments

Update version on completion

Due to a nasty recent bug in apt-get, always use /dev/null as stdin w…

…hen calling apt-get, otherwise apt-get will eat the remaining input which, in case of an automatic installation, means the rest of the installation process

delete directory after tests