File tree

• regression/goto-analyzer-taint-ansi-c
  • Makefile
  • taint-basic1
    • main.c
    • main.o
    • taint.json
    • test.desc
  • taint-copy1
    • main.c
    • main.o
    • taint.json
    • test.desc
  • taint-member1
    • main.c
    • main.o
    • taint.json
    • test.desc
  • taint-memcpy1
    • main.c
    • main.o
    • taint.json
    • test.desc