I want to find buffer overflows from general C programs, a bit like SAFECode :).
To quicken the dataflow analysis, I wished to slice operands of character
strings from C program using pgmdepgraph, but now, I thought I have to use
def-use and use-def chain.
Do you think it has any sense?
Xia