public PairWatchdogInformationAnalysis(AnalysisContext ac, EntryPoint ep) { Contract.Requires(ac != null && ep != null); this.AC = ac; this.EP = ep; this.PairEntryPoints = DeviceDriver.GetPairs(ep); this.PairAccesses = new HashSet <Expr>(); this.Region = this.AC.InstrumentationRegions.Find(val => val.Implementation().Name.Equals(ep.Name)); }