private void startSimulationButton_Click(object sender, EventArgs e) { #if false SimulationCollection simulations = new SimulationCollection(this.Model); Technique.AddAll(simulations); foreach (Target target in this.Targets) { GlobalSimulationContext globalContext = new GlobalSimulationContext(target); SimulationContext initialContext = new SimulationContext(globalContext); Simulator simulator = Simulator.CreateControlledCodeExecutionSimulator(simulations, initialContext); simulator.Run(); resultsGridView.Rows.Add(new object[] { globalContext, target.Hardware.FullSymbol, target.OperatingSystem.FullSymbol, target.Application.FullSymbol, target.Violation.FullSymbol, globalContext.SimulationCount > 0 ? globalContext.CompletedSimulationContexts.Max(x => x.Exploitability) : 0, globalContext.SimulationCount > 0 ? globalContext.CompletedSimulationContexts.Average(x => x.Exploitability) : 0, globalContext.SimulationCount }); } #endif }