1

Closed

Checker crashes when run on its own Bin\Purity.dll

description

I ran checker as follows:
.\bin\Checker.exe /in .\Bin\Purity.dll
After about one day and 76.7% progress, it crashed with the following message:

Processing Node: 1134 Qualified Name: SafetyAnalysis.Purity.Summaries.CalleeSummaryReader::GetTargetSummaries

Unhandled Exception: System.Collections.Generic.KeyNotFoundException: The given key was not present in the dictionary.
at System.ThrowHelper.ThrowKeyNotFoundException()
at System.Collections.Generic.Dictionary2.get_Item(TKey key)
at QuickGraph.BidirectionalGraph
2.OutEdges(TVertex v)
at SafetyAnalysis.Framework.Graphs.HeapGraph.OutEdges(HeapVertexBase v) in c:\Users\pmueller\Desktop\Seal-Sources\TransformerGraphs\PlainHeapGraph\HeapGraph.cs:line 239
at SafetyAnalysis.Purity.AnalysisUtil.<>c__DisplayClassb.<GetInitialEscapeSet>b__6(HeapVertexBase var) in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\AnalysisUtil.cs:line 30
at System.Linq.Enumerable.<SelectManyIterator>d__313.MoveNext()
at System.Collections.Generic.HashSet
1.UnionWith(IEnumerable`1 other)
at SafetyAnalysis.Purity.AnalysisUtil.GetInitialEscapeSet(PurityAnalysisData data) in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\AnalysisUtil.cs:line 43
at SafetyAnalysis.Purity.AnalysisUtil.GetEscapingVertices(PurityAnalysisData data) in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\AnalysisUtil.cs:line 50
at SafetyAnalysis.Purity.Simplifier.RemoveNonEscapingNodes() in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\Simplifier.cs:line 200
at SafetyAnalysis.Purity.MethodLevelAnalysis.CleanupSummary(PurityAnalysisData data) in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\MethodLevelAnalysis.cs:line 205
at SafetyAnalysis.Purity.MethodLevelAnalysis.Execute() in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\MethodLevelAnalysis.cs:line 109
at SafetyAnalysis.Purity.PurityAnalysisPhase.AnalyzeBottomUp(PEModuleUnit moduleUnit) in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\PurityAnalysisPhase.cs:line 406
at SafetyAnalysis.Purity.PurityAnalysisPhase.Execute(Unit unit) in c:\Users\pmueller\Desktop\Seal-Sources\Analysis\BUPhase\PurityAnalysisPhase.cs:line 253
at Phx.Phases.Phase.DoPhase(Unit unit)
at Phx.Phases.PhaseList.DoPhaseList(Unit unit)
at SafetyAnalysis.Checker.Checker.ProcessModules(PhxStringList inputs) in c:\Users\pmueller\Desktop\Seal-Sources\Checker\Checker.cs:line 194
at SafetyAnalysis.Checker.Checker.Main(String[] arguments) in c:\Users\pmueller\Desktop\Seal-Sources\Checker\Checker.cs:line 303

A analyzed a number of other DLLs, which worked fine.
Closed Aug 30, 2013 at 9:05 AM by Ravi87

comments

kapilv wrote May 30, 2013 at 5:33 AM

We are taking a look at this. Hope to get back as soon as we have a resolution.