Exemple #1
0
        public void Test_NoParams_DynamicAnalysis()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code, AnalysisType.Dynamic);

            Assert.AreEqual(AnalysisType.Dynamic, result.UsedAnalysisType);
            CollectionAssert.AreEquivalent(new [] { 1 }, result.ReturnValues.ToArray());
        }
Exemple #2
0
        public void Test_NotConstantParameterAccess()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[22])
            {
                x = 2;
                if (parameters[24 - x])
                {
                    x = 3;
                }
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code, dryRun: true);

            Assert.AreEqual(AnalysisType.Dynamic, result.UsedAnalysisType);
        }
Exemple #3
0
        public void Test_ParamCountThreshold()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[0])
            {
                if (parameters[20])
                {
                    x = 2;
                }
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code);

            Assert.AreEqual(AnalysisType.Static, result.UsedAnalysisType);
        }
Exemple #4
0
        public void Test_ConstantExpression()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[22])
            {
                x = 2;
                if (parameters[23 - 1])
                {
                    x = 3;
                }
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code);

            CollectionAssert.AreEquivalent(new[] { 1, 3 }, result.ReturnValues.ToArray());
        }
Exemple #5
0
        public void Test_AvoiDeadEqualsComparison_StaticAnalysis()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[0])
            {
                x = 2;
                if (parameters[0] == true && parameters[0] == false)
                {
                    x = 3;
                }
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code, AnalysisType.Static);

            Assert.AreEqual(AnalysisType.Static, result.UsedAnalysisType);
            CollectionAssert.AreEquivalent(new[] { 1, 2 }, result.ReturnValues.ToArray());
        }
Exemple #6
0
        public void Test_Sample2()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main()
        {
            // выведет 1
            Console.WriteLine( Evaluate(false, false, false, false) );

            // выведет 6
            Console.WriteLine( Evaluate(false, false, false, true) );

            //...
        }

        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[0])
            {
                x = 2;
                if (parameters[1])
                {
                    x = 3;
                }
                x = 4;
                if (parameters[2])
                {
                    if (parameters[3])
                    {
                        x = 6;
                    }
                    if (parameters[4])
                    {
                        x = 5;
                    }
                }
            }

            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code);

            CollectionAssert.AreEquivalent(new[] { 1, 4, 5, 6 }, result.ReturnValues.ToArray());
        }
Exemple #7
0
        static int Main(string[] args)
        {
            if (args.Length < 1)
            {
                Console.Error.WriteLine("usage: <path.cs>");
                return(1);
            }

            string source;

            try
            {
                source = File.ReadAllText(args[0]);
            }
            catch
            {
                Console.Error.WriteLine("wrong source path!");
                return(1);
            }

            SolverResult result;

            try
            {
                result = ProblemSolver.Run(source);
            }
            catch
            {
                Console.Error.WriteLine("wrong source content");
                return(1);
            }

            if (!result.Success)
            {
                if (result.CompilationFailures != null)
                {
                    foreach (var diagnostic in result.CompilationFailures)
                    {
                        Console.Error.WriteLine(diagnostic);
                    }
                }
                else
                {
                    Console.Error.WriteLine("analysis fails");
                }

                return(1);
            }

            Console.WriteLine("[" + string.Join(", ", result.ReturnValues) + "].");

            return(0);
        }
Exemple #8
0
        private void button1_Click(object sender, EventArgs e)
        {
            string names = string.Join(" ", Nodes.Values.ToArray());

            string[] edges = new string[Edges.Count];
            int      i     = 0;

            foreach (var edge in Edges)
            {
                edges[i++] = edge.ToString();
            }
            var solver = new ProblemSolver(names, edges, _start, _end);

            solver.Run();
        }
Exemple #9
0
        public void Test_ExpressionWithoutArithmetic()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[30])
            {
                x = 2;
                if (x == 2)
                {
                    x = 3;
                    if (parameters[31])
                    {
                        x = 4;
                    }
                }
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code);

            Assert.AreEqual(AnalysisType.Static, result.UsedAnalysisType);
            CollectionAssert.AreEquivalent(new[] { 1, 3, 4 }, result.ReturnValues.ToArray());
        }
Exemple #10
0
        public void Test_ExpressionWithArithmetic()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[30])
            {
                x = 2;
                if (x + 1 - 1 == 2)
                {
                    x = 3;
                    if (parameters[31])
                    {
                        x = 4;
                    }
                }
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code, dryRun: true);

            Assert.AreEqual(AnalysisType.Dynamic, result.UsedAnalysisType);
        }
Exemple #11
0
        public void Test_LiteralsBound10Exceeded_StaticAnalysis()
        {
            var code = @"
using System;

namespace ConsoleApp
{
    class Program
    {
        static void Main() {}
        
        static int Evaluate(params bool[] parameters)
        {
            int x;
            x = 1;
            if (parameters[0])
            {
                x = 2;
            }
            if (parameters[1])
            {
                x = 3;
            }
            if (parameters[2])
            {
                x = 4;
            }
            if (parameters[3])
            {
                x = 5;
            }
            if (parameters[4])
            {
                x = 6;
            }
            if (parameters[5])
            {
                x = 7;
            }
            if (parameters[6])
            {
                x = 8;
            }
            if (parameters[7])
            {
                x = 9;
            }
            if (parameters[8])
            {
                x = 10;
            }
            if (parameters[9])
            {
                x = 11;
            }
            return x;
        }
    }
}
";

            var result = ProblemSolver.Run(code, AnalysisType.Static);

            Assert.IsFalse(result.Success);
        }