Fixed an issue in detecting NULL pointer checks
added NULL macro for user bytecodes
removed code generating warnings
disabled usage of malloc in bytecode