that is actually the magic here: you can profile even stuff that you could not run. symbolic exe...

that is actually the magic here: you can profile even stuff that you could not run. symbolic execution is cool i think :-)