Program analysis has always been a human intensive

method whereby users require adequate information about the

system to comprehend it. This paper will further improve binary

analysis by developing an inspection tool to analyse an executable

and likable format (ELF) file by disassembling it to extract the

control flow graph and perform guided symbolic execution all

while being displayed in the virtual reality environment for the

user to physically interact with it.

Luqmaan Kamaar (Student)

3734057@myuwc.ac.za

Dr Mehrdad Ghaziasgar (Supervisor)

mghaziasgar@uwc.ac.za

Keith Makan (Co-Supervisor)

k3170makan@gmail.com