We can frame lots of program analyses (especially interprocedural ones) as graph reachability problems! See the backlinks for examples! And for more info, see interprocedural analysis in particular.
We can frame lots of program analyses (especially interprocedural ones) as graph reachability problems! See the backlinks for examples! And for more info, see interprocedural analysis in particular.