Work

Context‐dependent flow‐sensitive interprocedural dataflow analysis