Exemple #1
0
        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
        }