Example #1
0
        /// <summary>
        /// Add config
        /// </summary>
        /// <param name="file">File</param>
        public void AddConfig(string file)
        {
            if (string.IsNullOrEmpty(file))
            {
                return;
            }

            if (_Invoker != null && _Invoker.InvokeRequired)
            {
                _Invoker.Invoke(new delAddCOnfig(AddConfig), new object[] { file });
                return;
            }

            if (!File.Exists(file))
            {
                return;
            }

            switch (Path.GetExtension(file).ToLowerInvariant())
            {
            case ".fmut":
            {
                MutationConfig c = null;
                try { c = MutationConfig.FromJson(File.ReadAllText(file, Encoding.UTF8)); } catch { }
                if (c != null)
                {
                    lock (Configurations) Configurations.Add(new FuzzerStat <IFuzzingConfig>(c));
                }
                break;
            }

            case ".fpatch":
            {
                PatchConfig c = null;
                try { c = PatchConfig.FromJson(File.ReadAllText(file, Encoding.UTF8)); } catch { }
                if (c != null)
                {
                    lock (Configurations) Configurations.Add(new FuzzerStat <IFuzzingConfig>(c));
                }
                break;
            }
            }
        }
Example #2
0
        public void LoadFile(string file)
        {
            _LastFile = null;
            switch (Path.GetExtension(file).ToLowerInvariant())
            {
            case ".fmut":
            {
                LoadConfig(MutationConfig.FromJson(File.ReadAllText(file, Encoding.UTF8)));
                _LastFile = file;
                break;
            }

            case ".fpatch":
            {
                LoadConfig(PatchConfig.FromJson(File.ReadAllText(file, Encoding.UTF8)));
                _LastFile = file;
                break;
            }

            default: LoadConfig(null); break;
            }
        }