IERG5360 Program Representation, Modeling & Understanding for Software Security