src/hello.c, test1, 2, NULL_DEREFERENCE, [start of procedure test1()]
src/hello.c, test3, 3, MEMORY_LEAK, [start of procedure test3(),Condition is true]
src/hello2.c, test_hello2, 2, NULL_DEREFERENCE, [start of procedure test_hello2()]
