C# (CSharp) Weverca.AnalysisFramework EvaluationLog.GetSnapshotEntry Examples

Example #1

        private void copyInfoFromInToOutSnapshot(VarLikeConstructUse variable, AssumePoint p, EvaluationLog log)
        {
            var variableInfo = log.GetSnapshotEntry(variable);

            if (variableInfo != null)
            {
                var vals = variableInfo.ReadMemory(p.InSnapshot).PossibleValues;
                variableInfo.WriteMemory(Output, new MemoryEntry(vals));
            }
        }