The best you will ever do is estimate. You can't tell if a particular line will ever run until you run that program. You can do some heuristics, but then you'll miss the hidden ones, where you "use" modules while the program is running. It's reducable to the halting problem - will a program stop running.