// Get the least elements representing the bottom for the lattice of m //public static Reentrancy BottomFor(Method m) //{ // return new Reentrancy(m); //} #endregion protected override void BeforeBindCallWithCallee(PointsToState callerPTS, PointsToState calleePTS, Variable receiver, ExpressionList arguments, Variable vr, Label lb, InterProcMapping ipm) { base.BeforeBindCallWithCallee(callerPTS, calleePTS, receiver, arguments, vr, lb, ipm); Reentrancy reentrancyCalleeState = (Reentrancy)calleePTS; Receivers potentialReceivers = Receivers.Empty; // ** FOR REENTRANCY ANALYSIS if (receiver != null) { Nodes values = pointsToGraph.GetValuesIfEmptyLoadNode(receiver, lb); potentialReceivers.AddNodes(values); } bool isReentrant = false; // Check Exposure por every parameters if (!IsMethodToIgnoreForReentrancy(reentrancyCalleeState.Method)) { //isReentrant = ReentrancyAnalysisForAnalyzableCalls(reentrancyCalleeState.Method, reentrancyCalleeState, lb, // potentialReceivers, ipm); isReentrant = false; CheckExposureForCall(calleePTS, receiver, arguments, lb, isReentrant); } }