From 7e82cdeeb32a9eda661191635f0e0bcf2cdda1fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nguy=E1=BB=85n=20Gia=20Phong?= Date: Thu, 7 Sep 2023 19:09:16 +0900 Subject: [PATCH 1/2] Fix relative path support in config --- examples/engagement1/bresenham/run.conf | 8 ---- examples/engagement1/bresenham/run.sh | 5 +-- examples/engagement1/if-condition/repair.conf | 14 +++--- examples/engagement1/jsonp-noarg/run.conf | 8 ---- examples/engagement1/jsonp-noarg/run.sh | 4 +- examples/engagement1/off-by-one/repair.conf | 14 +++--- src/BenchProgram.cpp | 43 +++++++++++-------- src/BenchProgram.h | 3 -- src/Main.cpp | 11 +++-- src/ProfilerAction.cpp | 7 +-- src/Utils.cpp | 11 ++--- src/Utils.h | 2 +- 12 files changed, 58 insertions(+), 72 deletions(-) delete mode 100644 examples/engagement1/bresenham/run.conf delete mode 100644 examples/engagement1/jsonp-noarg/run.conf diff --git a/examples/engagement1/bresenham/run.conf b/examples/engagement1/bresenham/run.conf deleted file mode 100644 index cd7bbe29c..000000000 --- a/examples/engagement1/bresenham/run.conf +++ /dev/null @@ -1,8 +0,0 @@ -revision_file=revision.log -src_dir=src -test_dir=tests -build_cmd=../../../tools/simple-build.py -test_cmd=../../../tools/simple-test.py -ddtest_cmd=../../../tools/DD.py -localizer=profile -single_case_timeout=1 diff --git a/examples/engagement1/bresenham/run.sh b/examples/engagement1/bresenham/run.sh index 4c18aebe1..71e87a2b1 100755 --- a/examples/engagement1/bresenham/run.sh +++ b/examples/engagement1/bresenham/run.sh @@ -1,4 +1,3 @@ -#!/bin/bash +#!/bin/sh rm __fixed_* -prophet run.conf -cpp -skip-verify -r . -consider-all -first-n-loc 200 -feature-para ../../../crawler/para-all.out - +msv -cpp -skip-verify -r . -consider-all -first-n-loc 200 -feature-para ../../../crawler/para-all.out diff --git a/examples/engagement1/if-condition/repair.conf b/examples/engagement1/if-condition/repair.conf index dc8dd2fbf..d0ed01b0e 100644 --- a/examples/engagement1/if-condition/repair.conf +++ b/examples/engagement1/if-condition/repair.conf @@ -1,10 +1,10 @@ -revision_file=/root/project/MSV/examples/engagement1/if-condition/revision.log -src_dir=/root/project/MSV/examples/engagement1/if-condition/src -test_dir=/root/project/MSV/examples/engagement1/if-condition/tests -build_cmd=/root/project/MSV/tools/simple-build.py -test_cmd=/root/project/MSV/tools/simple-test.py -ddtest_cmd=/root/project/MSV/tools/DD.py -tools_dir=/root/project/MSV/tools +revision_file=revision.log +src_dir=src +test_dir=tests +build_cmd=../../../tools/simple-build.py +test_cmd=../../../tools/simple-test.py +ddtest_cmd=../../../tools/DD.py +tools_dir=../../../tools localizer=profile bugged_file=test.c fixed_out_file=fixed_ diff --git a/examples/engagement1/jsonp-noarg/run.conf b/examples/engagement1/jsonp-noarg/run.conf deleted file mode 100644 index cd7bbe29c..000000000 --- a/examples/engagement1/jsonp-noarg/run.conf +++ /dev/null @@ -1,8 +0,0 @@ -revision_file=revision.log -src_dir=src -test_dir=tests -build_cmd=../../../tools/simple-build.py -test_cmd=../../../tools/simple-test.py -ddtest_cmd=../../../tools/DD.py -localizer=profile -single_case_timeout=1 diff --git a/examples/engagement1/jsonp-noarg/run.sh b/examples/engagement1/jsonp-noarg/run.sh index 8087dd185..6285d3769 100755 --- a/examples/engagement1/jsonp-noarg/run.sh +++ b/examples/engagement1/jsonp-noarg/run.sh @@ -1,3 +1,3 @@ -#!/bin/bash -prophet run.conf -cpp -skip-verify -r . -consider-all -first-n-loc 200 -feature-para ../../../crawler/para-all.out +#!/bin/sh +msv -cpp -skip-verify -r . -consider-all -first-n-loc 200 -feature-para ../../../crawler/para-all.out cat __fixed_reader.cpp diff --git a/examples/engagement1/off-by-one/repair.conf b/examples/engagement1/off-by-one/repair.conf index 01e02cd73..36b1d744b 100644 --- a/examples/engagement1/off-by-one/repair.conf +++ b/examples/engagement1/off-by-one/repair.conf @@ -1,10 +1,10 @@ -revision_file=/root/project/MSV/examples/engagement1/off-by-one/revision.log -src_dir=/root/project/MSV/examples/engagement1/off-by-one/src -test_dir=/root/project/MSV/examples/engagement1/off-by-one/tests -build_cmd=/root/project/MSV/tools/simple-build.py -test_cmd=/root/project/MSV/tools/simple-test.py -ddtest_cmd=/root/project/MSV/tools/DD.py -tools_dir=/root/project/MSV/tools +revision_file=revision.log +src_dir=src +test_dir=tests +build_cmd=../../../tools/simple-build.py +test_cmd=../../../tools/simple-test.py +ddtest_cmd=../../../tools/DD.py +tools_dir=../../../tools localizer=profile bugged_file=prog.c fixed_out_file=fixed_ diff --git a/src/BenchProgram.cpp b/src/BenchProgram.cpp index 42fa435a8..df27b6582 100644 --- a/src/BenchProgram.cpp +++ b/src/BenchProgram.cpp @@ -164,12 +164,16 @@ ConfigFile* BenchProgram::getCurrentConfig() { void BenchProgram::createSrcClone(const std::string &subDir) { assert( src_dirs.count(subDir) == 0); - std::string copy = "cp -rf "; + // The path name of the original src_directory from the config file + // This must be present in the file system ortherwise, we will hit errors! + const std::string ori_src_dir = getFullPath(config.getStr("src_dir"), + this->work_dir); + const std::string copy = "cp -Tfr "; std::string cmd=copy; - cmd += ori_src_dir + " " + work_dir + "/" + subDir; + cmd += ori_src_dir + " " + this->work_dir + "/" + subDir; execute_cmd_until_succ(cmd); - cmd=copy; + cmd = "cp -fr "; cmd+= ori_src_dir+"/.git "+work_dir+"/"+subDir; int res=system(cmd.c_str()); src_dirs.insert(std::make_pair(subDir, false)); @@ -243,7 +247,6 @@ void BenchProgram::Init(const std::string &workDirPath, bool no_clean_up,bool in test_cnt = 0; this->cache = NULL; this->no_clean_up = no_clean_up; - this->ori_src_dir = config.getStr("src_dir"); this->wrap_ld = false; if (config.hasValue("wrap_ld")) this->wrap_ld = (config.getStr("wrap_ld") == "yes"); @@ -282,7 +285,7 @@ void BenchProgram::Init(const std::string &workDirPath, bool no_clean_up,bool in // We create an initial clone of the basic src direcotry src_dirs.clear(); createSrcClone("src"); - this->src_dir = getFullPath(this->work_dir + "/src"); + this->src_dir = getFullPath("src", this->work_dir); std::string ori_test_dir = config.getStr("test_dir"); if (ori_test_dir != "") { @@ -294,7 +297,7 @@ void BenchProgram::Init(const std::string &workDirPath, bool no_clean_up,bool in } else { this->work_dir = getFullPath(workDirPath); - this->src_dir = getFullPath(work_dir + "/src"); + this->src_dir = getFullPath("src", this->work_dir); src_dirs.clear(); // src_dirs.insert(std::make_pair("src", true)); @@ -346,17 +349,18 @@ void BenchProgram::Init(const std::string &workDirPath, bool no_clean_up,bool in if (dep_dir != ""){ dep_dir = getFullPath(dep_dir); } - this->test_dir = getFullPath(work_dir+"/tests"); + this->test_dir = getFullPath("tests", this->work_dir); this->build_log_file = work_dir + "/build.log"; // Clean up builg log for every execution std::string cmd = std::string("rm -rf ") + build_log_file; int ret = system(cmd.c_str()); assert( ret == 0); - this->build_cmd = getFullPath(config.getStr("build_cmd")); - this->test_cmd = getFullPath(config.getStr("test_cmd")); - this->ddtest_cmd=getFullPath(config.getStr("tools_dir"))+"/DD.py"; - this->prophet_src=getFullPath(config.getStr("tools_dir"))+"/../src"; - this->afl_cmd=getFullPath(config.getStr("tools_dir"))+"/run-afl.py"; + this->build_cmd = getFullPath(config.getStr("build_cmd"), this->work_dir); + this->test_cmd = getFullPath(config.getStr("test_cmd"), this->work_dir); + this->ddtest_cmd = getFullPath(config.getStr("tools_dir")+"/DD.py", + this->work_dir); + this->prophet_src = getFullPath(config.getStr("tools_dir")+"/../src", + this->work_dir); this->localization_filename = work_dir + "/" + LOCALIZATION_RESULT; this->conditionNum=false; @@ -382,7 +386,8 @@ void BenchProgram::Init(const std::string &workDirPath, bool no_clean_up,bool in sin >> case_timeout; } - std::string revision_file = config.getStr("revision_file"); + std::string revision_file = getFullPath(config.getStr("revision_file"), + this->work_dir); parseRevisionLog(revision_file, negative_cases, positive_cases); } @@ -483,7 +488,7 @@ bool incrementalBuild(time_t timeout_limit, const std::string &src_dir, const st bool BenchProgram::buildFull(const std::string &subDir, time_t timeout_limit, bool force_reconf,std::vector compile_macro,std::vector files,std::vector writer_macro) { assert(src_dirs.count(subDir) != 0); - std::string src_dir = getFullPath(work_dir + "/" + subDir); + std::string src_dir = getFullPath(subDir, this->work_dir); for (int i=0;i BenchProgram::buildWithRepairedCode(const std::string &wr outlog_printf(2,"Search %s!\n",it->first.c_str()); ExecutionTimer timer; - std::string src_dir = getFullPath(work_dir + "/src"); + std::string src_dir = getFullPath("src", this->work_dir); removeMacros(fileCodeMap,src_dir); std::string cmd; cmd=ddtest_cmd+" -l "+build_log_file+" -s "+src_dir; @@ -1188,7 +1193,7 @@ std::vector BenchProgram::buildWithRepairedCode(const std::string &wr outlog_printf(2,"Search %s!\n",it->first.c_str()); ExecutionTimer timer; - std::string src_dir = getFullPath(work_dir + "/src"); + std::string src_dir = getFullPath("src", this->work_dir); removeMacros(fileCodeMap,src_dir); std::string cmd; cmd=ddtest_cmd+" -l "+build_log_file+" -s "+src_dir+" -d "+BuildSubDir.getValue(); @@ -1314,9 +1319,9 @@ BenchProgram::TestCaseSetTy BenchProgram::testSet(const std::string &subDir, // cmd+=" -s "+std::to_string(switchId)+"-"+std::to_string(caseNum); if (!pass_basic_src_dir) - cmd = cmd + " " + getFullPath(work_dir + "/" + subDir) + " " + test_dir + " " + work_dir + " "; + cmd = cmd + " " + getFullPath(subDir, this->work_dir) + " " + test_dir + " " + work_dir + " "; else - cmd = cmd + " -p " + getFullPath(work_dir + "/" + subDir) + " " + src_dir + " " + test_dir + " " + work_dir + " "; + cmd = cmd + " -p " + getFullPath(subDir, this->work_dir) + " " + src_dir + " " + test_dir + " " + work_dir + " "; std::ostringstream sout; sout << cmd; for (TestCaseSetTy::const_iterator it = case_set.begin(); it != case_set.end(); it ++) @@ -1573,4 +1578,4 @@ std::unique_ptr BenchProgram::buildClangASTUnit(const std::strin std::string cmd = "rm -rf " + work_dir + "/profile"; int ret = system(cmd.c_str()); assert( ret == 0); -}*/ \ No newline at end of file +}*/ diff --git a/src/BenchProgram.h b/src/BenchProgram.h index d545981a4..6d99d206b 100644 --- a/src/BenchProgram.h +++ b/src/BenchProgram.h @@ -506,9 +506,6 @@ class BenchProgram { ConfigFile config; // The name of the work directory, all paths in this class are absolute paths std::string work_dir; - // The path name of the original src_directory from the config file - // This must be present in the file system ortherwise, we will hit errors! - std::string ori_src_dir; // The basic src directory path std::string src_dir; // The set of created src_directories, including the basic source directory, diff --git a/src/Main.cpp b/src/Main.cpp index a6584944b..f9ee6ac07 100644 --- a/src/Main.cpp +++ b/src/Main.cpp @@ -205,11 +205,14 @@ int main(int argc, char* argv[]) { FP->resetZero(FeatureVector::MAX_FEATURE); } else { - std::ifstream fin(ParameterFile.getValue(), std::ifstream::in); - if (fin.is_open()) { - fin >> *FP; - fin.close(); + const auto& path = ParameterFile.getValue(); + std::ifstream fin {path, std::ifstream::in}; + if (!fin.good()) { + outlog_printf(0, "%s: %s\n", strerror(errno), path.c_str()); + exit(1); } + fin >> *FP; + fin.close(); } learning = true; } diff --git a/src/ProfilerAction.cpp b/src/ProfilerAction.cpp index 6ee4063fd..d42be6d7c 100644 --- a/src/ProfilerAction.cpp +++ b/src/ProfilerAction.cpp @@ -27,6 +27,7 @@ #include #include #include +#include #include #include #include @@ -40,11 +41,7 @@ namespace { std::string getFullPath(const std::string &path) { char tmp[PATH_MAX]; - char * ret = realpath(path.c_str(), tmp); - if (ret != 0) - return std::string(tmp); - else - return std::string("unkown_src_file"); + return std::string(explain_realpath_or_die(path.c_str(), tmp)); } typedef std::map > RewriteTextMapTy; diff --git a/src/Utils.cpp b/src/Utils.cpp index 2d65daf2b..3899dfcf5 100644 --- a/src/Utils.cpp +++ b/src/Utils.cpp @@ -27,6 +27,7 @@ #include #include #include +#include #include #include #include @@ -172,13 +173,13 @@ bool is_header(const std::string &str) { // return !((str[str.size() - 2] == '.') && (str[str.size() - 1] == 'c')); } -std::string getFullPath(const std::string &path) { - // printf("Path: %s\n",path.c_str()); +std::string getFullPath(const std::string &path, const std::string &pwd) { if (path[0]=='/') return path; char tmp[PATH_MAX]; - char * ret = realpath(path.c_str(), tmp); - if( tmp != 0 ) printf(std::string("fail to get full path of "+path+"\n").c_str()); - return std::string(tmp); + std::string relpath = path; + if (!pwd.empty()) + relpath = pwd + "/" + path; + return std::string(explain_realpath_or_die(relpath.c_str(), tmp)); } int execute_with_timeout(const std::string &cmd, unsigned long timeout) { diff --git a/src/Utils.h b/src/Utils.h index 4580f9486..4b60817c5 100644 --- a/src/Utils.h +++ b/src/Utils.h @@ -51,7 +51,7 @@ bool exist_directory(const std::string &dir); bool is_header(const std::string &str); -std::string getFullPath(const std::string &path); +std::string getFullPath(const std::string &path, const std::string &pwd = ""); std::set splitStringWithWhite(const std::string &str); From b2878d935685df972c0229f1dc9e3d37bd8c363e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nguy=E1=BB=85n=20Gia=20Phong?= Date: Fri, 15 Sep 2023 14:42:21 +0900 Subject: [PATCH 2/2] Remove C examples' artifacts I couldn't get the C++ examples to compile with vanila clang++ so their artifacts are staying for reference for now. --- .gitignore | 11 +- .../engagement1/if-condition/fixed_test.c | 2711 ------------- examples/engagement1/if-condition/init.sh | 8 - .../if-condition/profile_localization.res | 8 - examples/engagement1/if-condition/repair.log | 0 .../engagement1/if-condition/switch-info.json | 194 - examples/engagement1/if-condition/test.bc | Bin 4008 -> 0 bytes examples/engagement1/if-condition/test.cache | 0 examples/engagement1/if-condition/test_ir.ll | 98 - examples/engagement1/off-by-one/build.log1 | 735 ---- examples/engagement1/off-by-one/build.log2 | 696 ---- examples/engagement1/off-by-one/build.log3 | 696 ---- examples/engagement1/off-by-one/build.log4 | 446 --- examples/engagement1/off-by-one/fixed_prog.c | 3450 ----------------- .../engagement1/off-by-one/func-info.json | 189 - examples/engagement1/off-by-one/init.sh | 8 - .../off-by-one/profile_localization.res | 12 - examples/engagement1/off-by-one/repair.log | 32 - .../engagement1/off-by-one/switch-info.json | 1766 --------- .../engagement1/off-by-one/test-info.json | 94 - examples/engagement1/off-by-one/test.cache | 0 21 files changed, 9 insertions(+), 11145 deletions(-) delete mode 100644 examples/engagement1/if-condition/fixed_test.c delete mode 100755 examples/engagement1/if-condition/init.sh delete mode 100644 examples/engagement1/if-condition/profile_localization.res delete mode 100644 examples/engagement1/if-condition/repair.log delete mode 100644 examples/engagement1/if-condition/switch-info.json delete mode 100644 examples/engagement1/if-condition/test.bc delete mode 100644 examples/engagement1/if-condition/test.cache delete mode 100644 examples/engagement1/if-condition/test_ir.ll delete mode 100644 examples/engagement1/off-by-one/build.log1 delete mode 100644 examples/engagement1/off-by-one/build.log2 delete mode 100644 examples/engagement1/off-by-one/build.log3 delete mode 100644 examples/engagement1/off-by-one/build.log4 delete mode 100644 examples/engagement1/off-by-one/fixed_prog.c delete mode 100644 examples/engagement1/off-by-one/func-info.json delete mode 100755 examples/engagement1/off-by-one/init.sh delete mode 100644 examples/engagement1/off-by-one/profile_localization.res delete mode 100644 examples/engagement1/off-by-one/repair.log delete mode 100644 examples/engagement1/off-by-one/switch-info.json delete mode 100644 examples/engagement1/off-by-one/test-info.json delete mode 100644 examples/engagement1/off-by-one/test.cache diff --git a/.gitignore b/.gitignore index 6eb1f120a..0d2856b43 100644 --- a/.gitignore +++ b/.gitignore @@ -1,7 +1,13 @@ -**/prog +out/ +profile/ +build.log* +fixed_* +profile_localization.res +prog +repair.log +*-info.json **/*.o *.bak -**/out/ **/*.lo src/learner src/pdiffer @@ -23,6 +29,7 @@ autom4te.cache *~ *.ll *.bc +*.cache __* **/__* !**/*.py diff --git a/examples/engagement1/if-condition/fixed_test.c b/examples/engagement1/if-condition/fixed_test.c deleted file mode 100644 index 8498c8731..000000000 --- a/examples/engagement1/if-condition/fixed_test.c +++ /dev/null @@ -1,2711 +0,0 @@ -int __get_mutant(); int __is_neg(const char *location,int count, ...); int __abst_hole(); void *__stat_write_init(const char*);void __write_stat(void *,const char *,void *,int); void __stat_file_close(void *);long long __mutate(const long long,const char *,const char *); int __choose(const char *);void* memset(void*, int, unsigned long); -#define __COMPILE_0 -#define __COMPILE_1 -#define __COMPILE_2 -#define __COMPILE_3 -#define __COMPILE_4 -#define __COMPILE_5 -#define __COMPILE_6 -#define __COMPILE_7 -#define __COMPILE_8 -#define __COMPILE_9 -#define __COMPILE_10 -#define __COMPILE_11 -#define __COMPILE_12 -#define __COMPILE_13 -#define __COMPILE_14 -#define __COMPILE_15 -#define __COMPILE_16 -#define __COMPILE_17 -#define __COMPILE_18 -#define __COMPILE_19 -#define __COMPILE_20 -#define __COMPILE_21 -#define __COMPILE_22 -#define __COMPILE_23 -#define __COMPILE_24 -#define __COMPILE_25 -#define __COMPILE_26 -#define __COMPILE_27 -#define __COMPILE_28 -#define __COMPILE_29 -#define __COMPILE_30 -#define __COMPILE_31 -#define __COMPILE_32 -#define __COMPILE_33 -#define __COMPILE_34 -#define __COMPILE_35 -#define __COMPILE_36 -#define __COMPILE_37 -#define __COMPILE_38 -#define __COMPILE_39 -#define __COMPILE_40 -#define __COMPILE_41 -#define __COMPILE_42 -#define __COMPILE_43 -#define __COMPILE_44 -#define __COMPILE_45 -#define __COMPILE_46 -#define __COMPILE_47 -#define __COMPILE_48 -#define __COMPILE_49 -#define __COMPILE_50 -#define __COMPILE_51 -#define __COMPILE_52 -#define __COMPILE_53 -#define __COMPILE_54 -#define __COMPILE_55 -#define __COMPILE_56 -#define __COMPILE_57 -#define __COMPILE_58 -#define __COMPILE_59 -#define __COMPILE_60 -#define __COMPILE_74 -#define __COMPILE_89 -#define __COMPILE_98 -#define __COMPILE_114 -#define __COMPILE_129 -#define __COMPILE_138 -#define __COMPILE_141 -#define __COMPILE_142 -#define __COMPILE_143 -#define __COMPILE_144 -#define __COMPILE_145 -#define __COMPILE_146 -#define __COMPILE_147 -#define __COMPILE_148 -#define __COMPILE_149 -#define __COMPILE_150 -#define __COMPILE_151 -#define __COMPILE_152 -#define __COMPILE_153 -#define __COMPILE_154 -#define __COMPILE_155 -#define __COMPILE_156 -#define __COMPILE_157 -#define __COMPILE_158 -#define __COMPILE_159 -#define __COMPILE_160 -#define __COMPILE_161 -#define __COMPILE_162 -#define __COMPILE_163 -#define __COMPILE_164 -#define __COMPILE_165 -#define __COMPILE_166 -#define __COMPILE_167 -#define __COMPILE_168 -#define __COMPILE_169 -#define __COMPILE_170 -#define __COMPILE_171 -#define __COMPILE_172 -#define __COMPILE_173 -#define __COMPILE_174 -#define __COMPILE_175 -#define __COMPILE_176 -#define __COMPILE_177 -#define __COMPILE_178 -#define __COMPILE_179 -#define __COMPILE_180 -#define __COMPILE_181 -#define __COMPILE_182 -#define __COMPILE_183 -#define __COMPILE_184 -#define __COMPILE_185 -#define __COMPILE_186 -#define __COMPILE_187 -#define __COMPILE_188 -#define __COMPILE_189 -#define __COMPILE_190 -#define __COMPILE_191 -#define __COMPILE_192 -#define __COMPILE_193 -#define __COMPILE_194 -#define __COMPILE_195 -#define __COMPILE_196 -#define __COMPILE_197 -#define __COMPILE_198 -#define __COMPILE_199 -#define __COMPILE_200 -#define __COMPILE_201 -#define __COMPILE_202 -#define __COMPILE_203 -#define __COMPILE_204 -#define __COMPILE_205 -#define __COMPILE_206 -#define __COMPILE_207 -#define __COMPILE_208 -#define __COMPILE_209 -#define __COMPILE_210 -#define __COMPILE_211 -#define __COMPILE_212 -#define __COMPILE_213 -#define __COMPILE_214 -#define __COMPILE_215 -#define __COMPILE_216 -#define __COMPILE_217 -#define __COMPILE_218 -#define __COMPILE_219 -#define __COMPILE_220 -#define __COMPILE_221 -#define __COMPILE_222 -#define __COMPILE_223 -#define __COMPILE_224 -#define __COMPILE_225 -#define __COMPILE_226 -#define __COMPILE_227 -#define __COMPILE_228 -#define __COMPILE_229 -#define __COMPILE_230 -#define __COMPILE_231 -#define __COMPILE_232 -#define __COMPILE_233 -#define __COMPILE_234 -#define __COMPILE_235 -#define __COMPILE_236 -#define __COMPILE_237 -#define __COMPILE_238 -#define __COMPILE_239 -#define __COMPILE_240 -#define __COMPILE_241 -#define __COMPILE_242 -#define __COMPILE_243 -#define __COMPILE_244 -#define __COMPILE_245 -#define __COMPILE_246 -#define __COMPILE_247 -#define __COMPILE_248 -#define __COMPILE_249 -#define __COMPILE_250 -#define __COMPILE_251 -#define __COMPILE_252 -#define __COMPILE_253 -#define __COMPILE_254 -#define __COMPILE_255 -#define __COMPILE_256 -#define __COMPILE_257 -#define __COMPILE_258 -#define __COMPILE_259 -#define __COMPILE_260 -#define __COMPILE_261 -#define __COMPILE_262 -#define __COMPILE_263 -#define __COMPILE_264 -#define __COMPILE_265 -#define __COMPILE_266 -#define __COMPILE_267 -#define __COMPILE_268 -#define __COMPILE_269 -#define __COMPILE_270 -#define __COMPILE_271 -#define __COMPILE_272 -#define __COMPILE_273 -#define __COMPILE_274 -#define __COMPILE_275 -#define __COMPILE_276 -#define __COMPILE_277 -#define __COMPILE_278 -#define __COMPILE_279 -#define __COMPILE_280 -#define __COMPILE_281 -#define __COMPILE_282 -#define __COMPILE_283 -#define __COMPILE_284 -#define __COMPILE_285 -#define __COMPILE_286 -#define __COMPILE_287 -#define __COMPILE_288 -#define __COMPILE_289 -#define __COMPILE_290 -#define __COMPILE_291 -#define __COMPILE_292 -#define __COMPILE_293 -#define __COMPILE_294 -#define __COMPILE_295 -// compile_fin -int __get_mutant(); int __is_neg(const char *location,int count, ...); int __abst_hole(); void *__stat_write_init(const char*);void __write_stat(void *,const char *,void *,int); void __stat_file_close(void *);long long __mutate(const long long,const char *,const char *); int __choose(const char *);void* memset(void*, int, unsigned long); -#include - -void func(int a, int b){ - //prophet generated patch - { - int __choose0 = __choose("__SWITCH0"); - if (__choose0 == 0) - {} - #ifdef __COMPILE_0 - else if (__choose0 == 1) - { - //AddAndReplaceKind - if (a == 1 && b == 1) { - printf("%d\n", 0); - } else { - printf("%d\n", 1); - } - } - #endif - #ifdef __COMPILE_1 - else if (__choose0 == 2) - { - //AddAndReplaceKind - printf("%d\n", 0); - } - #endif - #ifdef __COMPILE_2 - else if (__choose0 == 3) - { - //AddAndReplaceKind - printf("%d\n", 1); - } - #endif - #ifdef __COMPILE_3 - else if (__choose0 == 4) - { - //IfExitKind - if (__is_neg("0-4", 2, &(a), sizeof (a), &(b), sizeof (b))) - return; - } - #endif - int __choose1 = __choose("__SWITCH1"); - { - int __temp1=(a == 1 && b == 1) ; - if (__choose1 == 0) - {} - #ifdef __COMPILE_4 - else if (__choose1 == 1) - { - __temp1= (((a == 1) || __is_neg("1-1", 2, &(a), sizeof (a), &(b), sizeof (b))) && b == 1); - } - #endif - #ifdef __COMPILE_5 - else if (__choose1 == 2) - { - __temp1= ((a == 1 && b == 1) || __is_neg("1-2", 2, &(a), sizeof (a), &(b), sizeof (b))); - } - #endif - #ifdef __COMPILE_6 - else if (__choose1 == 3) - { - __temp1= ((a == 1 && b == 1) && !__is_neg("1-3", 2, &(a), sizeof (a), &(b), sizeof (b))); - } - #endif - #ifdef __COMPILE_7 - else if (__choose1 == 4) - { - __temp1= (__is_neg("1-4", 2, &(a), sizeof (a), &(b), sizeof (b))); - } - #endif - int __choose4 = __choose("__SWITCH4"); - if (__choose4 == 0) - { - if (__temp1) { // (a == 1 && b == 1) || b == 2 - printf("%d\n", 0); - } else { - { - int __choose2 = __choose("__SWITCH2"); - if (__choose2 == 0) - {} - #ifdef __COMPILE_8 - else if (__choose2 == 1) - { - //AddAndReplaceKind - if (a == 1 && b == 1) { - printf("%d\n", 0); - } else { - printf("%d\n", 1); - } - } - #endif - #ifdef __COMPILE_9 - else if (__choose2 == 2) - { - //AddAndReplaceKind - printf("%d\n", 0); - } - #endif - #ifdef __COMPILE_10 - else if (__choose2 == 3) - { - //AddAndReplaceKind - printf("%d\n", 1); - } - #endif - #ifdef __COMPILE_11 - else if (__choose2 == 4) - { - //IfExitKind - if (__is_neg("2-4", 2, &(a), sizeof (a), &(b), sizeof (b))) - return; - } - #endif - int __choose3 = __choose("__SWITCH3"); - if (__choose3 == 0) - { - printf("%d\n", 1); - - } - #ifdef __COMPILE_12 - else if (__choose3 == 1) - { - //AddAndReplaceKind - __overflow("%d\n", 1); - - } - #endif - #ifdef __COMPILE_13 - else if (__choose3 == 2) - { - //AddAndReplaceKind - printf("%d\n", 1); - - } - #endif - #ifdef __COMPILE_14 - else if (__choose3 == 3) - { - //AddAndReplaceKind - scanf("%d\n", 1); - - } - #endif - #ifdef __COMPILE_15 - else if (__choose3 == 4) - { - //GuardKind - if (!__is_neg("3-4", 2, &(a), sizeof (a), &(b), sizeof (b))) - printf("%d\n", 1); - - } - #endif - #ifdef __COMPILE_16 - else if (__choose3 == 5) - { - //ReplaceKind - printf("%d\n", (0 * a)); - - } - #endif - #ifdef __COMPILE_17 - else if (__choose3 == 6) - { - //ReplaceKind - printf("%d\n", (0 * b)); - - } - #endif - #ifdef __COMPILE_18 - else if (__choose3 == 7) - { - //ReplaceKind - printf("%d\n", (0)); - - } - #endif - #ifdef __COMPILE_19 - else if (__choose3 == 8) - { - //ReplaceKind - printf("%d\n", (a != 0)); - - } - #endif - #ifdef __COMPILE_20 - else if (__choose3 == 9) - { - //ReplaceKind - printf("%d\n", (a != b)); - - } - #endif - #ifdef __COMPILE_21 - else if (__choose3 == 10) - { - //ReplaceKind - printf("%d\n", (a * b)); - - } - #endif - #ifdef __COMPILE_22 - else if (__choose3 == 11) - { - //ReplaceKind - printf("%d\n", (a + 0)); - - } - #endif - #ifdef __COMPILE_23 - else if (__choose3 == 12) - { - //ReplaceKind - printf("%d\n", (a + b)); - - } - #endif - #ifdef __COMPILE_24 - else if (__choose3 == 13) - { - //ReplaceKind - printf("%d\n", (a - 0)); - - } - #endif - #ifdef __COMPILE_25 - else if (__choose3 == 14) - { - //ReplaceKind - printf("%d\n", (a - b)); - - } - #endif - #ifdef __COMPILE_26 - else if (__choose3 == 15) - { - //ReplaceKind - printf("%d\n", (a == 0)); - - } - #endif - #ifdef __COMPILE_27 - else if (__choose3 == 16) - { - //ReplaceKind - printf("%d\n", (a == b)); - - } - #endif - #ifdef __COMPILE_28 - else if (__choose3 == 17) - { - //ReplaceKind - printf("%d\n", (b != 0)); - - } - #endif - #ifdef __COMPILE_29 - else if (__choose3 == 18) - { - //ReplaceKind - printf("%d\n", (b * a)); - - } - #endif - #ifdef __COMPILE_30 - else if (__choose3 == 19) - { - //ReplaceKind - printf("%d\n", (b + 0)); - - } - #endif - #ifdef __COMPILE_31 - else if (__choose3 == 20) - { - //ReplaceKind - printf("%d\n", (b - 0)); - - } - #endif - #ifdef __COMPILE_32 - else if (__choose3 == 21) - { - //ReplaceKind - printf("%d\n", (b == 0)); - - } - #endif - #ifdef __COMPILE_33 - else if (__choose3 == 22) - { - //ReplaceKind - printf((&a), 1); - - } - #endif - #ifdef __COMPILE_34 - else if (__choose3 == 23) - { - //ReplaceKind - printf((&b), 1); - - } - #endif - #ifdef __COMPILE_35 - else if (__choose3 == 24) - { - //ReplaceKind - printf((0), 1); - - } - #endif - } - } - - } - #ifdef __COMPILE_36 - else if (__choose4 == 1) - { - //GuardKind - if (!__is_neg("4-1", 2, &(a), sizeof (a), &(b), sizeof (b))) - if (a == 1 && b == 1) { - printf("%d\n", 0); - } else { - printf("%d\n", 1); - } - - } - #endif - #ifdef __COMPILE_37 - else if (__choose4 == 2) - { - //SpecialGuardKind - if (!__is_neg("4-2", 2, &(a), sizeof (a), &(b), sizeof (b)) && (a == 1 && b == 1)) { - printf("%d\n", 0); - } else { - printf("%d\n", 1); - } - - } - #endif - } - } - void *__file0=__stat_write_init("func"); - -#ifdef __PROFILE_0 -__write_stat(__file0, "a", &(a), sizeof (a)); - -#endif - -#ifdef __PROFILE_1 -__write_stat(__file0, "b", &(b), sizeof (b)); - -#endif -__stat_file_close(__file0); - -} - -int main(int argc, char *argv[]) { - //prophet generated patch - - FILE *f = fopen(argv[1], "r"); - - //prophet generated patch - - int a, b; - - //prophet generated patch - { - int __choose5 = __choose("__SWITCH5"); - if (__choose5 == 0) - {} - #ifdef __COMPILE_38 - else if (__choose5 == 1) - { - //AddAndReplaceKind - fclose((f)); - } - #endif - #ifdef __COMPILE_39 - else if (__choose5 == 2) - { - //AddAndReplaceKind - fclose(f); - } - #endif - #ifdef __COMPILE_40 - else if (__choose5 == 3) - { - //AddAndReplaceKind - fscanf((f), "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_41 - else if (__choose5 == 4) - { - //AddAndReplaceKind - fscanf(f, "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_42 - else if (__choose5 == 5) - { - //AddAndReplaceKind - func(a, b); - } - #endif - #ifdef __COMPILE_43 - else if (__choose5 == 6) - { - //AddAndReplaceKind - printf("%d\n", 0); - } - #endif - #ifdef __COMPILE_44 - else if (__choose5 == 7) - { - //AddAndReplaceKind - printf("%d\n", 1); - } - #endif - #ifdef __COMPILE_45 - else if (__choose5 == 8) - { - //IfExitKind - if (__is_neg("5-8", 5, &(f), sizeof (f), &(a), sizeof (a), - &(b), sizeof (b), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_46 - else if (__choose5 == 9) - { - //IfExitKind - if (__is_neg("5-9", 5, &(f), sizeof (f), &(a), sizeof (a), - &(b), sizeof (b), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - int __choose6 = __choose("__SWITCH6"); - if (__choose6 == 0) - { - fscanf(f, "%d %d\n", &a, &b); - - } - #ifdef __COMPILE_47 - else if (__choose6 == 1) - { - //AddAndReplaceKind - _IO_vfscanf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_48 - else if (__choose6 == 2) - { - //AddAndReplaceKind - fprintf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_49 - else if (__choose6 == 3) - { - //AddAndReplaceKind - fscanf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_50 - else if (__choose6 == 4) - { - //AddAndReplaceKind - printf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_51 - else if (__choose6 == 5) - { - //AddAndReplaceKind - scanf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_52 - else if (__choose6 == 6) - { - //AddAndReplaceKind - sprintf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_53 - else if (__choose6 == 7) - { - //AddAndReplaceKind - sscanf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_54 - else if (__choose6 == 8) - { - //GuardKind - if (!__is_neg("6-8", 5, &(f), sizeof (f), &(a), sizeof (a), &(b), sizeof (b), &(argv), sizeof (argv), &(argc), sizeof (argc))) - fscanf(f, "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_55 - else if (__choose6 == 9) - { - //ReplaceKind - fscanf((&a), "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_56 - else if (__choose6 == 10) - { - //ReplaceKind - fscanf((&argc), "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_57 - else if (__choose6 == 11) - { - //ReplaceKind - fscanf((&argv), "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_58 - else if (__choose6 == 12) - { - //ReplaceKind - fscanf((&b), "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_59 - else if (__choose6 == 13) - { - //ReplaceKind - fscanf((&f), "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_60 - else if (__choose6 == 14) - { - //ReplaceKind - fscanf((f), "%d %d\n", &a, &b); - - } - #endif - #ifdef __COMPILE_61 - else if (__choose6 == 15) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(0 * a), &b); - - } - #endif - #ifdef __COMPILE_62 - else if (__choose6 == 16) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(0 * argc), &b); - - } - #endif - #ifdef __COMPILE_63 - else if (__choose6 == 17) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(0 * b), &b); - - } - #endif - #ifdef __COMPILE_64 - else if (__choose6 == 18) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a != 0), &b); - - } - #endif - #ifdef __COMPILE_65 - else if (__choose6 == 19) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a != b), &b); - - } - #endif - #ifdef __COMPILE_66 - else if (__choose6 == 20) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a * argc), &b); - - } - #endif - #ifdef __COMPILE_67 - else if (__choose6 == 21) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a * b), &b); - - } - #endif - #ifdef __COMPILE_68 - else if (__choose6 == 22) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a + 0), &b); - - } - #endif - #ifdef __COMPILE_69 - else if (__choose6 == 23) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a + b), &b); - - } - #endif - #ifdef __COMPILE_70 - else if (__choose6 == 24) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a - 0), &b); - - } - #endif - #ifdef __COMPILE_71 - else if (__choose6 == 25) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a - b), &b); - - } - #endif - #ifdef __COMPILE_72 - else if (__choose6 == 26) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a == 0), &b); - - } - #endif - #ifdef __COMPILE_73 - else if (__choose6 == 27) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a == b), &b); - - } - #endif - #ifdef __COMPILE_74 - else if (__choose6 == 28) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(a), &b); - - } - #endif - #ifdef __COMPILE_75 - else if (__choose6 == 29) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc != 0), &b); - - } - #endif - #ifdef __COMPILE_76 - else if (__choose6 == 30) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc != a), &b); - - } - #endif - #ifdef __COMPILE_77 - else if (__choose6 == 31) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc != b), &b); - - } - #endif - #ifdef __COMPILE_78 - else if (__choose6 == 32) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc * a), &b); - - } - #endif - #ifdef __COMPILE_79 - else if (__choose6 == 33) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc * b), &b); - - } - #endif - #ifdef __COMPILE_80 - else if (__choose6 == 34) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc + 0), &b); - - } - #endif - #ifdef __COMPILE_81 - else if (__choose6 == 35) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc + a), &b); - - } - #endif - #ifdef __COMPILE_82 - else if (__choose6 == 36) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc + b), &b); - - } - #endif - #ifdef __COMPILE_83 - else if (__choose6 == 37) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc - 0), &b); - - } - #endif - #ifdef __COMPILE_84 - else if (__choose6 == 38) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc - a), &b); - - } - #endif - #ifdef __COMPILE_85 - else if (__choose6 == 39) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc - b), &b); - - } - #endif - #ifdef __COMPILE_86 - else if (__choose6 == 40) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc == 0), &b); - - } - #endif - #ifdef __COMPILE_87 - else if (__choose6 == 41) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc == a), &b); - - } - #endif - #ifdef __COMPILE_88 - else if (__choose6 == 42) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc == b), &b); - - } - #endif - #ifdef __COMPILE_89 - else if (__choose6 == 43) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argc), &b); - - } - #endif - #ifdef __COMPILE_90 - else if (__choose6 == 44) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argv != 0), &b); - - } - #endif - #ifdef __COMPILE_91 - else if (__choose6 == 45) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(argv == 0), &b); - - } - #endif - #ifdef __COMPILE_92 - else if (__choose6 == 46) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b != 0), &b); - - } - #endif - #ifdef __COMPILE_93 - else if (__choose6 == 47) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b * a), &b); - - } - #endif - #ifdef __COMPILE_94 - else if (__choose6 == 48) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b * argc), &b); - - } - #endif - #ifdef __COMPILE_95 - else if (__choose6 == 49) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b + 0), &b); - - } - #endif - #ifdef __COMPILE_96 - else if (__choose6 == 50) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b - 0), &b); - - } - #endif - #ifdef __COMPILE_97 - else if (__choose6 == 51) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b == 0), &b); - - } - #endif - #ifdef __COMPILE_98 - else if (__choose6 == 52) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(b), &b); - - } - #endif - #ifdef __COMPILE_99 - else if (__choose6 == 53) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(f != 0), &b); - - } - #endif - #ifdef __COMPILE_100 - else if (__choose6 == 54) - { - //ReplaceKind - fscanf(f, "%d %d\n", &(f == 0), &b); - - } - #endif - #ifdef __COMPILE_101 - else if (__choose6 == 55) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(0 * a)); - - } - #endif - #ifdef __COMPILE_102 - else if (__choose6 == 56) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(0 * argc)); - - } - #endif - #ifdef __COMPILE_103 - else if (__choose6 == 57) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(0 * b)); - - } - #endif - #ifdef __COMPILE_104 - else if (__choose6 == 58) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a != 0)); - - } - #endif - #ifdef __COMPILE_105 - else if (__choose6 == 59) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a != b)); - - } - #endif - #ifdef __COMPILE_106 - else if (__choose6 == 60) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a * argc)); - - } - #endif - #ifdef __COMPILE_107 - else if (__choose6 == 61) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a * b)); - - } - #endif - #ifdef __COMPILE_108 - else if (__choose6 == 62) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a + 0)); - - } - #endif - #ifdef __COMPILE_109 - else if (__choose6 == 63) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a + b)); - - } - #endif - #ifdef __COMPILE_110 - else if (__choose6 == 64) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a - 0)); - - } - #endif - #ifdef __COMPILE_111 - else if (__choose6 == 65) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a - b)); - - } - #endif - #ifdef __COMPILE_112 - else if (__choose6 == 66) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a == 0)); - - } - #endif - #ifdef __COMPILE_113 - else if (__choose6 == 67) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a == b)); - - } - #endif - #ifdef __COMPILE_114 - else if (__choose6 == 68) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(a)); - - } - #endif - #ifdef __COMPILE_115 - else if (__choose6 == 69) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc != 0)); - - } - #endif - #ifdef __COMPILE_116 - else if (__choose6 == 70) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc != a)); - - } - #endif - #ifdef __COMPILE_117 - else if (__choose6 == 71) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc != b)); - - } - #endif - #ifdef __COMPILE_118 - else if (__choose6 == 72) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc * a)); - - } - #endif - #ifdef __COMPILE_119 - else if (__choose6 == 73) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc * b)); - - } - #endif - #ifdef __COMPILE_120 - else if (__choose6 == 74) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc + 0)); - - } - #endif - #ifdef __COMPILE_121 - else if (__choose6 == 75) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc + a)); - - } - #endif - #ifdef __COMPILE_122 - else if (__choose6 == 76) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc + b)); - - } - #endif - #ifdef __COMPILE_123 - else if (__choose6 == 77) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc - 0)); - - } - #endif - #ifdef __COMPILE_124 - else if (__choose6 == 78) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc - a)); - - } - #endif - #ifdef __COMPILE_125 - else if (__choose6 == 79) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc - b)); - - } - #endif - #ifdef __COMPILE_126 - else if (__choose6 == 80) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc == 0)); - - } - #endif - #ifdef __COMPILE_127 - else if (__choose6 == 81) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc == a)); - - } - #endif - #ifdef __COMPILE_128 - else if (__choose6 == 82) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc == b)); - - } - #endif - #ifdef __COMPILE_129 - else if (__choose6 == 83) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argc)); - - } - #endif - #ifdef __COMPILE_130 - else if (__choose6 == 84) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argv != 0)); - - } - #endif - #ifdef __COMPILE_131 - else if (__choose6 == 85) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(argv == 0)); - - } - #endif - #ifdef __COMPILE_132 - else if (__choose6 == 86) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b != 0)); - - } - #endif - #ifdef __COMPILE_133 - else if (__choose6 == 87) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b * a)); - - } - #endif - #ifdef __COMPILE_134 - else if (__choose6 == 88) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b * argc)); - - } - #endif - #ifdef __COMPILE_135 - else if (__choose6 == 89) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b + 0)); - - } - #endif - #ifdef __COMPILE_136 - else if (__choose6 == 90) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b - 0)); - - } - #endif - #ifdef __COMPILE_137 - else if (__choose6 == 91) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b == 0)); - - } - #endif - #ifdef __COMPILE_138 - else if (__choose6 == 92) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(b)); - - } - #endif - #ifdef __COMPILE_139 - else if (__choose6 == 93) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(f != 0)); - - } - #endif - #ifdef __COMPILE_140 - else if (__choose6 == 94) - { - //ReplaceKind - fscanf(f, "%d %d\n", &a, &(f == 0)); - - } - #endif - #ifdef __COMPILE_141 - else if (__choose6 == 95) - { - //ReplaceKind - fscanf(f, (&a), &a, &b); - - } - #endif - #ifdef __COMPILE_142 - else if (__choose6 == 96) - { - //ReplaceKind - fscanf(f, (&argc), &a, &b); - - } - #endif - #ifdef __COMPILE_143 - else if (__choose6 == 97) - { - //ReplaceKind - fscanf(f, (&argv), &a, &b); - - } - #endif - #ifdef __COMPILE_144 - else if (__choose6 == 98) - { - //ReplaceKind - fscanf(f, (&b), &a, &b); - - } - #endif - #ifdef __COMPILE_145 - else if (__choose6 == 99) - { - //ReplaceKind - fscanf(f, (&f), &a, &b); - - } - #endif - #ifdef __COMPILE_146 - else if (__choose6 == 100) - { - //ReplaceKind - fscanf(f, (0), &a, &b); - - } - #endif - } - //prophet generated patch - { - int __choose7 = __choose("__SWITCH7"); - if (__choose7 == 0) - {} - #ifdef __COMPILE_147 - else if (__choose7 == 1) - { - //AddAndReplaceKind - fclose((f)); - } - #endif - #ifdef __COMPILE_148 - else if (__choose7 == 2) - { - //AddAndReplaceKind - fclose(f); - } - #endif - #ifdef __COMPILE_149 - else if (__choose7 == 3) - { - //AddAndReplaceKind - fscanf((f), "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_150 - else if (__choose7 == 4) - { - //AddAndReplaceKind - fscanf(f, "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_151 - else if (__choose7 == 5) - { - //AddAndReplaceKind - func(a, b); - } - #endif - #ifdef __COMPILE_152 - else if (__choose7 == 6) - { - //AddAndReplaceKind - printf("%d\n", 0); - } - #endif - #ifdef __COMPILE_153 - else if (__choose7 == 7) - { - //AddAndReplaceKind - printf("%d\n", 1); - } - #endif - #ifdef __COMPILE_154 - else if (__choose7 == 8) - { - //IfExitKind - if (__is_neg("7-8", 5, &(f), sizeof (f), &(a), sizeof (a), - &(b), sizeof (b), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_155 - else if (__choose7 == 9) - { - //IfExitKind - if (__is_neg("7-9", 5, &(f), sizeof (f), &(a), sizeof (a), - &(b), sizeof (b), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - int __choose8 = __choose("__SWITCH8"); - if (__choose8 == 0) - { - fclose(f); - - } - #ifdef __COMPILE_156 - else if (__choose8 == 1) - { - //AddAndReplaceKind - _IO_feof(f); - - } - #endif - #ifdef __COMPILE_157 - else if (__choose8 == 2) - { - //AddAndReplaceKind - _IO_ferror(f); - - } - #endif - #ifdef __COMPILE_158 - else if (__choose8 == 3) - { - //AddAndReplaceKind - _IO_flockfile(f); - - } - #endif - #ifdef __COMPILE_159 - else if (__choose8 == 4) - { - //AddAndReplaceKind - _IO_free_backup_area(f); - - } - #endif - #ifdef __COMPILE_160 - else if (__choose8 == 5) - { - //AddAndReplaceKind - _IO_ftrylockfile(f); - - } - #endif - #ifdef __COMPILE_161 - else if (__choose8 == 6) - { - //AddAndReplaceKind - _IO_funlockfile(f); - - } - #endif - #ifdef __COMPILE_162 - else if (__choose8 == 7) - { - //AddAndReplaceKind - _IO_getc(f); - - } - #endif - #ifdef __COMPILE_163 - else if (__choose8 == 8) - { - //AddAndReplaceKind - _IO_peekc_locked(f); - - } - #endif - #ifdef __COMPILE_164 - else if (__choose8 == 9) - { - //AddAndReplaceKind - __uflow(f); - - } - #endif - #ifdef __COMPILE_165 - else if (__choose8 == 10) - { - //AddAndReplaceKind - __underflow(f); - - } - #endif - #ifdef __COMPILE_166 - else if (__choose8 == 11) - { - //AddAndReplaceKind - clearerr(f); - - } - #endif - #ifdef __COMPILE_167 - else if (__choose8 == 12) - { - //AddAndReplaceKind - clearerr_unlocked(f); - - } - #endif - #ifdef __COMPILE_168 - else if (__choose8 == 13) - { - //AddAndReplaceKind - feof(f); - - } - #endif - #ifdef __COMPILE_169 - else if (__choose8 == 14) - { - //AddAndReplaceKind - feof_unlocked(f); - - } - #endif - #ifdef __COMPILE_170 - else if (__choose8 == 15) - { - //AddAndReplaceKind - ferror(f); - - } - #endif - #ifdef __COMPILE_171 - else if (__choose8 == 16) - { - //AddAndReplaceKind - ferror_unlocked(f); - - } - #endif - #ifdef __COMPILE_172 - else if (__choose8 == 17) - { - //AddAndReplaceKind - fflush(f); - - } - #endif - #ifdef __COMPILE_173 - else if (__choose8 == 18) - { - //AddAndReplaceKind - fflush_unlocked(f); - - } - #endif - #ifdef __COMPILE_174 - else if (__choose8 == 19) - { - //AddAndReplaceKind - fgetc(f); - - } - #endif - #ifdef __COMPILE_175 - else if (__choose8 == 20) - { - //AddAndReplaceKind - fgetc_unlocked(f); - - } - #endif - #ifdef __COMPILE_176 - else if (__choose8 == 21) - { - //AddAndReplaceKind - fileno(f); - - } - #endif - #ifdef __COMPILE_177 - else if (__choose8 == 22) - { - //AddAndReplaceKind - fileno_unlocked(f); - - } - #endif - #ifdef __COMPILE_178 - else if (__choose8 == 23) - { - //AddAndReplaceKind - flockfile(f); - - } - #endif - #ifdef __COMPILE_179 - else if (__choose8 == 24) - { - //AddAndReplaceKind - ftell(f); - - } - #endif - #ifdef __COMPILE_180 - else if (__choose8 == 25) - { - //AddAndReplaceKind - ftello(f); - - } - #endif - #ifdef __COMPILE_181 - else if (__choose8 == 26) - { - //AddAndReplaceKind - ftrylockfile(f); - - } - #endif - #ifdef __COMPILE_182 - else if (__choose8 == 27) - { - //AddAndReplaceKind - funlockfile(f); - - } - #endif - #ifdef __COMPILE_183 - else if (__choose8 == 28) - { - //AddAndReplaceKind - getc(f); - - } - #endif - #ifdef __COMPILE_184 - else if (__choose8 == 29) - { - //AddAndReplaceKind - getc_unlocked(f); - - } - #endif - #ifdef __COMPILE_185 - else if (__choose8 == 30) - { - //AddAndReplaceKind - getw(f); - - } - #endif - #ifdef __COMPILE_186 - else if (__choose8 == 31) - { - //AddAndReplaceKind - pclose(f); - - } - #endif - #ifdef __COMPILE_187 - else if (__choose8 == 32) - { - //AddAndReplaceKind - rewind(f); - - } - #endif - #ifdef __COMPILE_188 - else if (__choose8 == 33) - { - //AddAndReplaceKind - setlinebuf(f); - - } - #endif - #ifdef __COMPILE_189 - else if (__choose8 == 34) - { - //GuardKind - if (!__is_neg("8-34", 5, &(f), sizeof (f), &(a), sizeof (a), &(b), sizeof (b), &(argv), sizeof (argv), &(argc), sizeof (argc))) - fclose(f); - - } - #endif - #ifdef __COMPILE_190 - else if (__choose8 == 35) - { - //ReplaceKind - fclose((&a)); - - } - #endif - #ifdef __COMPILE_191 - else if (__choose8 == 36) - { - //ReplaceKind - fclose((&argc)); - - } - #endif - #ifdef __COMPILE_192 - else if (__choose8 == 37) - { - //ReplaceKind - fclose((&argv)); - - } - #endif - #ifdef __COMPILE_193 - else if (__choose8 == 38) - { - //ReplaceKind - fclose((&b)); - - } - #endif - #ifdef __COMPILE_194 - else if (__choose8 == 39) - { - //ReplaceKind - fclose((&f)); - - } - #endif - #ifdef __COMPILE_195 - else if (__choose8 == 40) - { - //ReplaceKind - fclose((f)); - - } - #endif - } - - //prophet generated patch - { - int __choose9 = __choose("__SWITCH9"); - if (__choose9 == 0) - {} - #ifdef __COMPILE_196 - else if (__choose9 == 1) - { - //AddAndReplaceKind - fclose((f)); - } - #endif - #ifdef __COMPILE_197 - else if (__choose9 == 2) - { - //AddAndReplaceKind - fclose(f); - } - #endif - #ifdef __COMPILE_198 - else if (__choose9 == 3) - { - //AddAndReplaceKind - fscanf((f), "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_199 - else if (__choose9 == 4) - { - //AddAndReplaceKind - fscanf(f, "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_200 - else if (__choose9 == 5) - { - //AddAndReplaceKind - func(a, b); - } - #endif - #ifdef __COMPILE_201 - else if (__choose9 == 6) - { - //AddAndReplaceKind - printf("%d\n", 0); - } - #endif - #ifdef __COMPILE_202 - else if (__choose9 == 7) - { - //AddAndReplaceKind - printf("%d\n", 1); - } - #endif - #ifdef __COMPILE_203 - else if (__choose9 == 8) - { - //IfExitKind - if (__is_neg("9-8", 5, &(a), sizeof (a), &(b), sizeof (b), - &(f), sizeof (f), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_204 - else if (__choose9 == 9) - { - //IfExitKind - if (__is_neg("9-9", 5, &(a), sizeof (a), &(b), sizeof (b), - &(f), sizeof (f), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - int __choose10 = __choose("__SWITCH10"); - if (__choose10 == 0) - { - func(a, b); - - } - #ifdef __COMPILE_205 - else if (__choose10 == 1) - { - //GuardKind - if (!__is_neg("10-1", 5, &(a), sizeof (a), &(b), sizeof (b), &(f), sizeof (f), &(argv), sizeof (argv), &(argc), sizeof (argc))) - func(a, b); - - } - #endif - #ifdef __COMPILE_206 - else if (__choose10 == 2) - { - //ReplaceKind - func((0 * a), b); - - } - #endif - #ifdef __COMPILE_207 - else if (__choose10 == 3) - { - //ReplaceKind - func((0 * argc), b); - - } - #endif - #ifdef __COMPILE_208 - else if (__choose10 == 4) - { - //ReplaceKind - func((0 * b), b); - - } - #endif - #ifdef __COMPILE_209 - else if (__choose10 == 5) - { - //ReplaceKind - func((a != 0), b); - - } - #endif - #ifdef __COMPILE_210 - else if (__choose10 == 6) - { - //ReplaceKind - func((a != b), b); - - } - #endif - #ifdef __COMPILE_211 - else if (__choose10 == 7) - { - //ReplaceKind - func((a * argc), b); - - } - #endif - #ifdef __COMPILE_212 - else if (__choose10 == 8) - { - //ReplaceKind - func((a * b), b); - - } - #endif - #ifdef __COMPILE_213 - else if (__choose10 == 9) - { - //ReplaceKind - func((a + 0), b); - - } - #endif - #ifdef __COMPILE_214 - else if (__choose10 == 10) - { - //ReplaceKind - func((a + b), b); - - } - #endif - #ifdef __COMPILE_215 - else if (__choose10 == 11) - { - //ReplaceKind - func((a - 0), b); - - } - #endif - #ifdef __COMPILE_216 - else if (__choose10 == 12) - { - //ReplaceKind - func((a - b), b); - - } - #endif - #ifdef __COMPILE_217 - else if (__choose10 == 13) - { - //ReplaceKind - func((a == 0), b); - - } - #endif - #ifdef __COMPILE_218 - else if (__choose10 == 14) - { - //ReplaceKind - func((a == b), b); - - } - #endif - #ifdef __COMPILE_219 - else if (__choose10 == 15) - { - //ReplaceKind - func((a), b); - - } - #endif - #ifdef __COMPILE_220 - else if (__choose10 == 16) - { - //ReplaceKind - func((argc != 0), b); - - } - #endif - #ifdef __COMPILE_221 - else if (__choose10 == 17) - { - //ReplaceKind - func((argc != a), b); - - } - #endif - #ifdef __COMPILE_222 - else if (__choose10 == 18) - { - //ReplaceKind - func((argc != b), b); - - } - #endif - #ifdef __COMPILE_223 - else if (__choose10 == 19) - { - //ReplaceKind - func((argc * a), b); - - } - #endif - #ifdef __COMPILE_224 - else if (__choose10 == 20) - { - //ReplaceKind - func((argc * b), b); - - } - #endif - #ifdef __COMPILE_225 - else if (__choose10 == 21) - { - //ReplaceKind - func((argc + 0), b); - - } - #endif - #ifdef __COMPILE_226 - else if (__choose10 == 22) - { - //ReplaceKind - func((argc + a), b); - - } - #endif - #ifdef __COMPILE_227 - else if (__choose10 == 23) - { - //ReplaceKind - func((argc + b), b); - - } - #endif - #ifdef __COMPILE_228 - else if (__choose10 == 24) - { - //ReplaceKind - func((argc - 0), b); - - } - #endif - #ifdef __COMPILE_229 - else if (__choose10 == 25) - { - //ReplaceKind - func((argc - a), b); - - } - #endif - #ifdef __COMPILE_230 - else if (__choose10 == 26) - { - //ReplaceKind - func((argc - b), b); - - } - #endif - #ifdef __COMPILE_231 - else if (__choose10 == 27) - { - //ReplaceKind - func((argc == 0), b); - - } - #endif - #ifdef __COMPILE_232 - else if (__choose10 == 28) - { - //ReplaceKind - func((argc == a), b); - - } - #endif - #ifdef __COMPILE_233 - else if (__choose10 == 29) - { - //ReplaceKind - func((argc == b), b); - - } - #endif - #ifdef __COMPILE_234 - else if (__choose10 == 30) - { - //ReplaceKind - func((argc), b); - - } - #endif - #ifdef __COMPILE_235 - else if (__choose10 == 31) - { - //ReplaceKind - func((argv != 0), b); - - } - #endif - #ifdef __COMPILE_236 - else if (__choose10 == 32) - { - //ReplaceKind - func((argv == 0), b); - - } - #endif - #ifdef __COMPILE_237 - else if (__choose10 == 33) - { - //ReplaceKind - func((b != 0), b); - - } - #endif - #ifdef __COMPILE_238 - else if (__choose10 == 34) - { - //ReplaceKind - func((b * a), b); - - } - #endif - #ifdef __COMPILE_239 - else if (__choose10 == 35) - { - //ReplaceKind - func((b * argc), b); - - } - #endif - #ifdef __COMPILE_240 - else if (__choose10 == 36) - { - //ReplaceKind - func((b + 0), b); - - } - #endif - #ifdef __COMPILE_241 - else if (__choose10 == 37) - { - //ReplaceKind - func((b - 0), b); - - } - #endif - #ifdef __COMPILE_242 - else if (__choose10 == 38) - { - //ReplaceKind - func((b == 0), b); - - } - #endif - #ifdef __COMPILE_243 - else if (__choose10 == 39) - { - //ReplaceKind - func((b), b); - - } - #endif - #ifdef __COMPILE_244 - else if (__choose10 == 40) - { - //ReplaceKind - func((f != 0), b); - - } - #endif - #ifdef __COMPILE_245 - else if (__choose10 == 41) - { - //ReplaceKind - func((f == 0), b); - - } - #endif - #ifdef __COMPILE_246 - else if (__choose10 == 42) - { - //ReplaceKind - func(a, (0 * a)); - - } - #endif - #ifdef __COMPILE_247 - else if (__choose10 == 43) - { - //ReplaceKind - func(a, (0 * argc)); - - } - #endif - #ifdef __COMPILE_248 - else if (__choose10 == 44) - { - //ReplaceKind - func(a, (0 * b)); - - } - #endif - #ifdef __COMPILE_249 - else if (__choose10 == 45) - { - //ReplaceKind - func(a, (a != 0)); - - } - #endif - #ifdef __COMPILE_250 - else if (__choose10 == 46) - { - //ReplaceKind - func(a, (a != b)); - - } - #endif - #ifdef __COMPILE_251 - else if (__choose10 == 47) - { - //ReplaceKind - func(a, (a * argc)); - - } - #endif - #ifdef __COMPILE_252 - else if (__choose10 == 48) - { - //ReplaceKind - func(a, (a * b)); - - } - #endif - #ifdef __COMPILE_253 - else if (__choose10 == 49) - { - //ReplaceKind - func(a, (a + 0)); - - } - #endif - #ifdef __COMPILE_254 - else if (__choose10 == 50) - { - //ReplaceKind - func(a, (a + b)); - - } - #endif - #ifdef __COMPILE_255 - else if (__choose10 == 51) - { - //ReplaceKind - func(a, (a - 0)); - - } - #endif - #ifdef __COMPILE_256 - else if (__choose10 == 52) - { - //ReplaceKind - func(a, (a - b)); - - } - #endif - #ifdef __COMPILE_257 - else if (__choose10 == 53) - { - //ReplaceKind - func(a, (a == 0)); - - } - #endif - #ifdef __COMPILE_258 - else if (__choose10 == 54) - { - //ReplaceKind - func(a, (a == b)); - - } - #endif - #ifdef __COMPILE_259 - else if (__choose10 == 55) - { - //ReplaceKind - func(a, (a)); - - } - #endif - #ifdef __COMPILE_260 - else if (__choose10 == 56) - { - //ReplaceKind - func(a, (argc != 0)); - - } - #endif - #ifdef __COMPILE_261 - else if (__choose10 == 57) - { - //ReplaceKind - func(a, (argc != a)); - - } - #endif - #ifdef __COMPILE_262 - else if (__choose10 == 58) - { - //ReplaceKind - func(a, (argc != b)); - - } - #endif - #ifdef __COMPILE_263 - else if (__choose10 == 59) - { - //ReplaceKind - func(a, (argc * a)); - - } - #endif - #ifdef __COMPILE_264 - else if (__choose10 == 60) - { - //ReplaceKind - func(a, (argc * b)); - - } - #endif - #ifdef __COMPILE_265 - else if (__choose10 == 61) - { - //ReplaceKind - func(a, (argc + 0)); - - } - #endif - #ifdef __COMPILE_266 - else if (__choose10 == 62) - { - //ReplaceKind - func(a, (argc + a)); - - } - #endif - #ifdef __COMPILE_267 - else if (__choose10 == 63) - { - //ReplaceKind - func(a, (argc + b)); - - } - #endif - #ifdef __COMPILE_268 - else if (__choose10 == 64) - { - //ReplaceKind - func(a, (argc - 0)); - - } - #endif - #ifdef __COMPILE_269 - else if (__choose10 == 65) - { - //ReplaceKind - func(a, (argc - a)); - - } - #endif - #ifdef __COMPILE_270 - else if (__choose10 == 66) - { - //ReplaceKind - func(a, (argc - b)); - - } - #endif - #ifdef __COMPILE_271 - else if (__choose10 == 67) - { - //ReplaceKind - func(a, (argc == 0)); - - } - #endif - #ifdef __COMPILE_272 - else if (__choose10 == 68) - { - //ReplaceKind - func(a, (argc == a)); - - } - #endif - #ifdef __COMPILE_273 - else if (__choose10 == 69) - { - //ReplaceKind - func(a, (argc == b)); - - } - #endif - #ifdef __COMPILE_274 - else if (__choose10 == 70) - { - //ReplaceKind - func(a, (argc)); - - } - #endif - #ifdef __COMPILE_275 - else if (__choose10 == 71) - { - //ReplaceKind - func(a, (argv != 0)); - - } - #endif - #ifdef __COMPILE_276 - else if (__choose10 == 72) - { - //ReplaceKind - func(a, (argv == 0)); - - } - #endif - #ifdef __COMPILE_277 - else if (__choose10 == 73) - { - //ReplaceKind - func(a, (b != 0)); - - } - #endif - #ifdef __COMPILE_278 - else if (__choose10 == 74) - { - //ReplaceKind - func(a, (b * a)); - - } - #endif - #ifdef __COMPILE_279 - else if (__choose10 == 75) - { - //ReplaceKind - func(a, (b * argc)); - - } - #endif - #ifdef __COMPILE_280 - else if (__choose10 == 76) - { - //ReplaceKind - func(a, (b + 0)); - - } - #endif - #ifdef __COMPILE_281 - else if (__choose10 == 77) - { - //ReplaceKind - func(a, (b - 0)); - - } - #endif - #ifdef __COMPILE_282 - else if (__choose10 == 78) - { - //ReplaceKind - func(a, (b == 0)); - - } - #endif - #ifdef __COMPILE_283 - else if (__choose10 == 79) - { - //ReplaceKind - func(a, (b)); - - } - #endif - #ifdef __COMPILE_284 - else if (__choose10 == 80) - { - //ReplaceKind - func(a, (f != 0)); - - } - #endif - #ifdef __COMPILE_285 - else if (__choose10 == 81) - { - //ReplaceKind - func(a, (f == 0)); - - } - #endif - } - //prophet generated patch - { - int __choose11 = __choose("__SWITCH11"); - if (__choose11 == 0) - {} - #ifdef __COMPILE_286 - else if (__choose11 == 1) - { - //AddAndReplaceKind - fclose((f)); - } - #endif - #ifdef __COMPILE_287 - else if (__choose11 == 2) - { - //AddAndReplaceKind - fclose(f); - } - #endif - #ifdef __COMPILE_288 - else if (__choose11 == 3) - { - //AddAndReplaceKind - fscanf((f), "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_289 - else if (__choose11 == 4) - { - //AddAndReplaceKind - fscanf(f, "%d %d\n", &a, &b); - } - #endif - #ifdef __COMPILE_290 - else if (__choose11 == 5) - { - //AddAndReplaceKind - func(a, b); - } - #endif - #ifdef __COMPILE_291 - else if (__choose11 == 6) - { - //AddAndReplaceKind - printf("%d\n", 0); - } - #endif - #ifdef __COMPILE_292 - else if (__choose11 == 7) - { - //AddAndReplaceKind - printf("%d\n", 1); - } - #endif - #ifdef __COMPILE_293 - else if (__choose11 == 8) - { - //IfExitKind - if (__is_neg("11-8", 5, &(a), sizeof (a), &(b), sizeof (b), - &(f), sizeof (f), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_294 - else if (__choose11 == 9) - { - //IfExitKind - if (__is_neg("11-9", 5, &(a), sizeof (a), &(b), sizeof (b), - &(f), sizeof (f), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - int __choose12 = __choose("__SWITCH12"); - if (__choose12 == 0) - { - { - - void *__file1=__stat_write_init("main"); - -#ifdef __PROFILE_2 -__write_stat(__file1, "argc", &(argc), sizeof (argc)); - -#endif - -#ifdef __PROFILE_3 -__write_stat(__file1, "a", &(a), sizeof (a)); - -#endif - -#ifdef __PROFILE_4 -__write_stat(__file1, "b", &(b), sizeof (b)); - -#endif -__stat_file_close(__file1); -return 0; -} - - - } - #ifdef __COMPILE_295 - else if (__choose12 == 1) - { - //GuardKind - if (!__is_neg("12-1", 5, &(a), sizeof (a), &(b), sizeof (b), &(f), sizeof (f), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - - } - #endif - } -} diff --git a/examples/engagement1/if-condition/init.sh b/examples/engagement1/if-condition/init.sh deleted file mode 100755 index 412de4b9a..000000000 --- a/examples/engagement1/if-condition/init.sh +++ /dev/null @@ -1,8 +0,0 @@ -rm profile_localization.res -rm test.cache -cd profile -rm prog -cd ../src -rm prog -cd /tmp -rm __index.loc diff --git a/examples/engagement1/if-condition/profile_localization.res b/examples/engagement1/if-condition/profile_localization.res deleted file mode 100644 index c8b01c8b2..000000000 --- a/examples/engagement1/if-condition/profile_localization.res +++ /dev/null @@ -1,8 +0,0 @@ -test.c 7 5 test.c 7 5 999999 2 50185 -test.c 18 3 test.c 18 3 999998 1 50185 -test.c 4 3 test.c 4 3 999998 3 50185 -test.c 17 3 test.c 17 3 999998 4 50185 -test.c 15 3 test.c 15 3 999998 5 50185 -test.c 14 3 test.c 14 3 999998 6 50185 -test.c 13 3 test.c 13 3 999998 7 50185 -test.c 12 3 test.c 12 3 999998 8 50185 diff --git a/examples/engagement1/if-condition/repair.log b/examples/engagement1/if-condition/repair.log deleted file mode 100644 index e69de29bb..000000000 diff --git a/examples/engagement1/if-condition/switch-info.json b/examples/engagement1/if-condition/switch-info.json deleted file mode 100644 index b16a08537..000000000 --- a/examples/engagement1/if-condition/switch-info.json +++ /dev/null @@ -1,194 +0,0 @@ -{ - "switch_num": 13, - "case_num": [4, 4, 4, 24, 2, 9, 100, 9, 40, 9, 81, 9, 1], - "switch_cluster": [[3, 4, 6, 8, 10, 12], [1], [0, 2, 5, 7, 9, 11], []], - "priority": [{ - "file": "test.c", - "line": 7, - "score": 0.0009 - }, { - "file": "test.c", - "line": 18, - "score": 0 - }, { - "file": "test.c", - "line": 17, - "score": 0 - }, { - "file": "test.c", - "line": 15, - "score": 0 - }, { - "file": "test.c", - "line": 14, - "score": 0 - }, { - "file": "test.c", - "line": 13, - "score": 0 - }, { - "file": "test.c", - "line": 12, - "score": 0 - }, { - "file": "test.c", - "line": 4, - "score": 0 - }], - "mutation_info": [{ - "file": "test.c", - "functions": [] - }], - "rules": [{ - "file_name": "test.c", - "lines": [{ - "line": 7, - "switches": [{ - "switch": 2, - "types": [[], [], [], [], [4], [], [], [], [1, 2, 3]] - }, { - "switch": 3, - "types": [[], [], [4], [], [], [], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24], [], [1, 2, 3]] - }] - }, { - "line": 4, - "switches": [{ - "switch": 0, - "types": [[], [], [], [], [4], [], [], [], [1, 2, 3]] - }, { - "switch": 1, - "types": [[3, 4], [1, 2], [], [], [], [], [], [], []] - }, { - "switch": 4, - "types": [[], [], [1], [2], [], [], [], [], []] - }] - }, { - "line": 12, - "switches": [] - }, { - "line": 13, - "switches": [] - }, { - "line": 14, - "switches": [{ - "switch": 5, - "types": [[], [], [], [], [8, 9], [], [], [], [1, 2, 3, 4, 5, 6, 7]] - }, { - "switch": 6, - "types": [[], [], [8], [], [], [], [9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100], [], [1, 2, 3, 4, 5, 6, 7]] - }] - }, { - "line": 15, - "switches": [{ - "switch": 7, - "types": [[], [], [], [], [8, 9], [], [], [], [1, 2, 3, 4, 5, 6, 7]] - }, { - "switch": 8, - "types": [[], [], [34], [], [], [], [35, 36, 37, 38, 39, 40], [], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33]] - }] - }, { - "line": 17, - "switches": [{ - "switch": 9, - "types": [[], [], [], [], [8, 9], [], [], [], [1, 2, 3, 4, 5, 6, 7]] - }, { - "switch": 10, - "types": [[], [], [1], [], [], [], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81], [], []] - }] - }, { - "line": 18, - "switches": [{ - "switch": 11, - "types": [[], [], [], [], [8, 9], [], [], [], [1, 2, 3, 4, 5, 6, 7]] - }, { - "switch": 12, - "types": [[], [], [1], [], [], [], [], [], []] - }] - }] - }], - "sizes": [{ - "switch": 0, - "case": 4, - "size": 2 - }, { - "switch": 1, - "case": 1, - "size": 2 - }, { - "switch": 1, - "case": 2, - "size": 2 - }, { - "switch": 1, - "case": 3, - "size": 2 - }, { - "switch": 1, - "case": 4, - "size": 2 - }, { - "switch": 2, - "case": 4, - "size": 2 - }, { - "switch": 3, - "case": 4, - "size": 2 - }, { - "switch": 4, - "case": 1, - "size": 2 - }, { - "switch": 4, - "case": 2, - "size": 2 - }, { - "switch": 5, - "case": 8, - "size": 5 - }, { - "switch": 5, - "case": 9, - "size": 5 - }, { - "switch": 6, - "case": 8, - "size": 5 - }, { - "switch": 7, - "case": 8, - "size": 5 - }, { - "switch": 7, - "case": 9, - "size": 5 - }, { - "switch": 8, - "case": 34, - "size": 5 - }, { - "switch": 9, - "case": 8, - "size": 5 - }, { - "switch": 9, - "case": 9, - "size": 5 - }, { - "switch": 10, - "case": 1, - "size": 5 - }, { - "switch": 11, - "case": 8, - "size": 5 - }, { - "switch": 11, - "case": 9, - "size": 5 - }, { - "switch": 12, - "case": 1, - "size": 5 - }] -} diff --git a/examples/engagement1/if-condition/test.bc b/examples/engagement1/if-condition/test.bc deleted file mode 100644 index e18cf141e3d9a5cc611f13169c1d3f159150cee7..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 4008 zcma)94NP0t6~6W}eukLm2XQkaZ1)*RO40-#28@kOYx5v68CxLBresQmZGHl60>&m_ zoNhAM$s-AE4P%)#WfQbfm2U0iRBTJNY%-W;B=b@yiYm%b1P!4{lxC<&E2?$P&NU{B zs%qL5_wT#+-Fwct=X}Rha*-RQa)eS4LJldLw{zcLT3-0q?{}@M_tgpj(?}8G2!z%N zHAo2a4N%Fx+#$=fs76d{4a0(fbYqGnOD#I-@F}W=mBZ^Qr)aHQFHw9qP3su2I;S+b zRhj%CZ5b9eO-s(n8E*Rkb4j3e1Qc8Hw*-q`4(}ggE>6R_#~Fn3q1WaNq%uuMMeB3V z1faPY7z@fXYX=9{1*U50(-TU;un?uRp?Hu)Pt~A!(GDaQ1$Q6I+c%&Y_|3^Pn_mxH zdQ|=JfX}MQDberJ?m%g7QJomo2%!L`J#$KZH?z84p7=ZcOifN|XvA7C z-?;Ov)^wusM;Vz%!{vFeRsJ|*m_NTIFRhmljKnKHkVNDWr3KY1zz$%X?8!|lkDv&g zC^es8qywEEvNy=P6r|V2zuZdndU&ssbmfz-R>EZ^k62;M>q5LINP1fdw~yDg^3GAR z3&k|b8N2$jfSJ~)mNd$#KGo&1^xGQcwLaCXO*z@8f>q>}kli8Pg(U7E?`-AaOpk}} za+2PBvKQe!0%m4Rxnx(*BK6{!@**5Hrksr^=f_l&eagq54|H3}o>rnepT`Hb5=Zj+ z&QZQ6$m`DYT@2|plZZl-svBeJ*CtdkI1QhWKC4mQ7N{N{BI)t)x;oz5N_tueuY~Nh z@vaaV!J@*YtDnzllym><^AO*qCwmgc`3b1t;d{T`CUXm_S)Y1QqnsD0L8L2>h4BV? z(A^gzy%N52FR$~#Az+O)b!gtpl5RM;)!%C+;R+-}{pv}J`pTH{_E`Ewf%>i>LYl&U zU6?3G640Vo&$~u>9m~5Ur1vb@o6q;64{ge2fo#T>9uqvhWKqLlc1*S0m;Rwm4VuCf z41U={!2q`1N6g&`{DQHh<-cjS0WZ8D$m1d1_#(2~gB@VaZoc$8IbUIiG7m@7$t1fLWFuyM7&IluO1Z!Pb$7X9^BM0qY+fGB{c|{L2jCkP{-M0 z6E&a={P}#S+j^p2x+@cwU|A#zbNz#M-!Lq}lwo|T;bti}B7!BD3k3Iq`kRU~d9Vai ziNt2zC>9ZklVJ`U%!u1koWGSxY{!TM2^G8F5%dcL44y(UBRUd%ky58i5YA?}2z}_- zp4V+oGi+ZiG!n6ADpR6_(40hkaOLrI;nCN`2)%2j0M)8P@~n*7;9%;e9T!Dhnr@(V z=Ho~2zxrn7E16k)a-L1hes=?)D{pdq<~~bJsvLAi=in`W27R%_r<__)w#Wq)1Drk( z9jr{yl{?faT@5UVjACh}dJ;37vV~1aZ1ZP>UxR}W5*0DeAdvkLU@0r_1lD&Fm^>Ih zE0#gs3sMWLteutJT&9-msA76bbpuk0Mm1?yx3I^J7ZSlePJqXmaPTe5yKUr=Rl_@rS@k)0_d~2HNvc{RpQYAdDl?Lb&v+e&cn*7>-K++QvKg@-C;p3sML8uY&Iy z<+HB*0H{;;Ssk?)q;3LTC3vft$yd!yV8XrznWRrWH?Le=P~8=%TNL&BaDp~sb$Lle zYf67{m$&Mu2W;-dHH&(2;X5-6sv97HHOmJZNt}z;rje+-)80Oi@um zQ31>3w{~?o-Q|Ua2DZ7xZYX69jSjX%>nLk(X0=U;aWh+1VrVL9WF2Ki4!ik4TUYC0 zM?qu9p~8a)yH}fSPFKf^&5d0Ju*eu3jz&jmX-Q*~qov4R=Fpcm8|-D;BAubRge@*> zY$+)#*4c~L%_vuLyre%^TP)?wFUd@?XSGmPi3%Ums5N*!w*^yc~Y}z0T87{kQ;fB4if0<0`Nf5CI}%kV1^7!KoqF zLSo?b!6;@GJA+Uc^y@`Cw_;+$d@(YJ>h=h8(HZGsk&w1$=&l#hmO%AP-444XV}qSj z5k*yd1L=pQq71y)$y5ibK_yh2QIqq^WNp>3^$m9YxxCEHu`1K?s+YPOP4fJvsR%OD(zjX3ukFOgK$ugbcphdw$2Jd}!@^3n)&a~W5&u#l zqFu2}Nv=2r_1k6{_nh9-WwoB8HXaX6Dwop!L=5I$gWnIr} zJa3W2Y^Nsl{TT!SJD205cUw|}$;q`yrhlKX=@j!(p%Tco0Q5QFWR5s<)BSz&=dMbh30hC>GEIN1*f5NS>c5PzRlf))k;8}NB08)8l2rI$#)=d*bSPC= zmEqGwo0(L=Wm2vw$I?lXyH}=iGEVK5MBcsrg}rKOkKp7xa$$JuAAU%ioA#91tf!t9 ztq9~*#nqudWBgC=;r6|Axc%ebar^J56vMYjK}UW7ZT(w{9L9ZD6@ZtfgWym)8HDir zYbiP>Aij$KMM{)r_@BrQqfBCC1#>*E--lWV6~Zl%Y4$>o3+`b%@?b}S@)M}|oqrA$ z`w7l;xU8+?G2V|$4ph9p*5jXs2-4vuz_2iDJ;o(~KMNR`{c*pB7Xv1Py4J7Zm4IQt zUhCIzYZ71U*YG!zICKfQFpiaZ3+DJzn8>utUQTNBys#d=9BoP zB(D4h4pa037)uX5yu~?e;sSSDXWN1H o!wn5BZJy?)hOTCJS3zSzZ9 -#define PATH_SIZE 60 - -int main(int argc, char* argv[]) { - //prophet generated patch - - char filename[PATH_SIZE]; - - //prophet generated patch - - FILE *fin; - - //prophet generated patch - { - int __choose0 = __choose("__SWITCH0"); - if (__choose0 == 0) - {} - #ifdef __COMPILE_0 - else if (__choose0 == 1) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_1 - else if (__choose0 == 2) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_2 - else if (__choose0 == 3) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_3 - else if (__choose0 == 4) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_4 - else if (__choose0 == 5) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_5 - else if (__choose0 == 6) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_6 - else if (__choose0 == 7) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_7 - else if (__choose0 == 8) - { - //IfExitKind - if (__is_neg("0-8", "L8", 3, &(argv), sizeof (argv), &(fin), - sizeof (fin), &(argc), sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_8 - else if (__choose0 == 9) - { - //IfExitKind - if (__is_neg("0-9", "L8", 3, &(argv), sizeof (argv), &(fin), - sizeof (fin), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_9 - else if (__choose0 == 10) - { - //IfExitKind - if (__is_neg("0-10", "L8", 3, &(argv), sizeof (argv), &(fin), - sizeof (fin), &(argc), sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_10 - else if (__choose0 == 11) - { - //IfExitKind - if (__is_neg("0-11", "L8", 3, &(argv), sizeof (argv), &(fin), - sizeof (fin), &(argc), sizeof (argc))) - return 60; - } - #endif - int __choose1 = __choose("__SWITCH1"); - if (__choose1 == 0) - { - fin = fopen(argv[1], "r"); - - } - #ifdef __COMPILE_11 - else if (__choose1 == 1) - { - //GuardKind - if (!__is_neg("1-1", "L8", 3, &(argv), sizeof (argv), &(fin), sizeof (fin), &(argc), sizeof (argc))) - fin = fopen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_12 - else if (__choose1 == 2) - { - //MSVExtFunctionReplaceKind - freopen(argv[1], "r", 0); - - } - #endif - #ifdef __COMPILE_13 - else if (__choose1 == 3) - { - //MSVExtRemoveStmtKind - { - } - - } - #endif - #ifdef __COMPILE_14 - else if (__choose1 == 4) - { - //MSVExtReplaceAssignOperatorKind - fin *= fopen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_15 - else if (__choose1 == 5) - { - //MSVExtReplaceAssignOperatorKind - fin += fopen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_16 - else if (__choose1 == 6) - { - //MSVExtReplaceAssignOperatorKind - fin -= fopen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_17 - else if (__choose1 == 7) - { - //MSVExtReplaceAssignOperatorKind - fin /= fopen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_18 - else if (__choose1 == 8) - { - //ReplaceFunctionKind - fin = fopen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_19 - else if (__choose1 == 9) - { - //ReplaceFunctionKind - fin = popen(argv[1], "r"); - - } - #endif - #ifdef __COMPILE_20 - else if (__choose1 == 10) - { - //ReplaceKind - fin = (fin); - - } - #endif - #ifdef __COMPILE_21 - else if (__choose1 == 11) - { - //ReplaceKind - fin = fopen((&argc)[1], "r"); - - } - #endif - #ifdef __COMPILE_22 - else if (__choose1 == 12) - { - //ReplaceKind - fin = fopen((&argv)[1], "r"); - - } - #endif - #ifdef __COMPILE_23 - else if (__choose1 == 13) - { - //ReplaceKind - fin = fopen((&filename)[1], "r"); - - } - #endif - #ifdef __COMPILE_24 - else if (__choose1 == 14) - { - //ReplaceKind - fin = fopen((&fin)[1], "r"); - - } - #endif - #ifdef __COMPILE_25 - else if (__choose1 == 15) - { - //ReplaceKind - fin = fopen((argv)[1], "r"); - - } - #endif - #ifdef __COMPILE_26 - else if (__choose1 == 16) - { - //ReplaceKind - fin = fopen(argv && !(1 << 5)[1], "r"); - - } - #endif - #ifdef __COMPILE_27 - else if (__choose1 == 17) - { - //ReplaceKind - fin = fopen(argv[(0 * argc)], "r"); - - } - #endif - #ifdef __COMPILE_28 - else if (__choose1 == 18) - { - //ReplaceKind - fin = fopen(argv[(0)], "r"); - - } - #endif - #ifdef __COMPILE_29 - else if (__choose1 == 19) - { - //ReplaceKind - fin = fopen(argv[(argc != 0)], "r"); - - } - #endif - #ifdef __COMPILE_30 - else if (__choose1 == 20) - { - //ReplaceKind - fin = fopen(argv[(argc + 0)], "r"); - - } - #endif - #ifdef __COMPILE_31 - else if (__choose1 == 21) - { - //ReplaceKind - fin = fopen(argv[(argc - 0)], "r"); - - } - #endif - #ifdef __COMPILE_32 - else if (__choose1 == 22) - { - //ReplaceKind - fin = fopen(argv[(argc == 0)], "r"); - - } - #endif - #ifdef __COMPILE_33 - else if (__choose1 == 23) - { - //ReplaceKind - fin = fopen(argv[(argv != 0)], "r"); - - } - #endif - #ifdef __COMPILE_34 - else if (__choose1 == 24) - { - //ReplaceKind - fin = fopen(argv[(argv == 0)], "r"); - - } - #endif - #ifdef __COMPILE_35 - else if (__choose1 == 25) - { - //ReplaceKind - fin = fopen(argv[(filename != 0)], "r"); - - } - #endif - #ifdef __COMPILE_36 - else if (__choose1 == 26) - { - //ReplaceKind - fin = fopen(argv[(filename == 0)], "r"); - - } - #endif - #ifdef __COMPILE_37 - else if (__choose1 == 27) - { - //ReplaceKind - fin = fopen(argv[(fin != 0)], "r"); - - } - #endif - #ifdef __COMPILE_38 - else if (__choose1 == 28) - { - //ReplaceKind - fin = fopen(argv[(fin == 0)], "r"); - - } - #endif - #ifdef __COMPILE_39 - else if (__choose1 == 29) - { - //ReplaceKind - fin = fopen(argv[1], (&argc)); - - } - #endif - #ifdef __COMPILE_40 - else if (__choose1 == 30) - { - //ReplaceKind - fin = fopen(argv[1], (&argv)); - - } - #endif - #ifdef __COMPILE_41 - else if (__choose1 == 31) - { - //ReplaceKind - fin = fopen(argv[1], (&filename)); - - } - #endif - #ifdef __COMPILE_42 - else if (__choose1 == 32) - { - //ReplaceKind - fin = fopen(argv[1], (&fin)); - - } - #endif - #ifdef __COMPILE_43 - else if (__choose1 == 33) - { - //ReplaceKind - fin = fopen(argv[1], (0)); - - } - #endif - } - //prophet generated patch - - int i; - - - //prophet generated patch - { - int __choose2 = __choose("__SWITCH2"); - if (__choose2 == 0) - {} - #ifdef __COMPILE_44 - else if (__choose2 == 1) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_45 - else if (__choose2 == 2) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_46 - else if (__choose2 == 3) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_47 - else if (__choose2 == 4) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_48 - else if (__choose2 == 5) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_49 - else if (__choose2 == 6) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_50 - else if (__choose2 == 7) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_51 - else if (__choose2 == 8) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_52 - else if (__choose2 == 9) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_53 - else if (__choose2 == 10) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_54 - else if (__choose2 == 11) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_55 - else if (__choose2 == 12) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_56 - else if (__choose2 == 13) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_57 - else if (__choose2 == 14) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_58 - else if (__choose2 == 15) - { - //IfExitKind - if (__is_neg("2-15", "L11", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_59 - else if (__choose2 == 16) - { - //IfExitKind - if (__is_neg("2-16", "L11", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_60 - else if (__choose2 == 17) - { - //IfExitKind - if (__is_neg("2-17", "L11", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_61 - else if (__choose2 == 18) - { - //IfExitKind - if (__is_neg("2-18", "L11", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 60; - } - #endif - int __choose3 = __choose("__SWITCH3"); - { - int __temp3= i <= 60;; - if (__choose3 == 0) - {} - #ifdef __COMPILE_62 - else if (__choose3 == 1) - { - // MSVExtLoopConditionKind - __temp3= (i <= 60) && !__is_neg("3-1", "L11", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc));; - } - #endif - #ifdef __COMPILE_63 - else if (__choose3 == 2) - { - // MSVExtLoopConditionKind - __temp3= (i <= 60) || __is_neg("3-2", "L11", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc));; - } - #endif - int __choose11 = __choose("__SWITCH11"); - if (__choose11 == 0) - { - for (i = 0; __temp3; i++) { - - char c; - - { - int __choose4 = __choose("__SWITCH4"); - if (__choose4 == 0) - {} - #ifdef __COMPILE_64 - else if (__choose4 == 1) - { - //AddStmtAndReplaceAtomKind - c = (-1); - } - #endif - #ifdef __COMPILE_65 - else if (__choose4 == 2) - { - //AddStmtAndReplaceAtomKind - c = (0); - } - #endif - #ifdef __COMPILE_66 - else if (__choose4 == 3) - { - //AddStmtAndReplaceAtomKind - c = (1); - } - #endif - #ifdef __COMPILE_67 - else if (__choose4 == 4) - { - //AddStmtAndReplaceAtomKind - c = (60); - } - #endif - #ifdef __COMPILE_68 - else if (__choose4 == 5) - { - //AddStmtAndReplaceAtomKind - c = (c); - } - #endif - #ifdef __COMPILE_69 - else if (__choose4 == 6) - { - //AddStmtAndReplaceAtomKind - c = _IO_getc((fin)); - } - #endif - #ifdef __COMPILE_70 - else if (__choose4 == 7) - { - //AddStmtAndReplaceAtomKind - c = _IO_getc(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_71 - else if (__choose4 == 8) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_72 - else if (__choose4 == 9) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_73 - else if (__choose4 == 10) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_74 - else if (__choose4 == 11) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_75 - else if (__choose4 == 12) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_76 - else if (__choose4 == 13) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_77 - else if (__choose4 == 14) - { - //AddStmtAndReplaceAtomKind - filename[i] = (c); - } - #endif - #ifdef __COMPILE_78 - else if (__choose4 == 15) - { - //AddStmtAndReplaceAtomKind - filename[i] = c && !(1 << 5); - } - #endif - #ifdef __COMPILE_79 - else if (__choose4 == 16) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_80 - else if (__choose4 == 17) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_81 - else if (__choose4 == 18) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_82 - else if (__choose4 == 19) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_83 - else if (__choose4 == 20) - { - //AddStmtKind - c = _IO_getc(fin); - } - #endif - #ifdef __COMPILE_84 - else if (__choose4 == 21) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_85 - else if (__choose4 == 22) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_86 - else if (__choose4 == 23) - { - //AddStmtKind - filename[i] = c; - } - #endif - #ifdef __COMPILE_87 - else if (__choose4 == 24) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_88 - else if (__choose4 == 25) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_89 - else if (__choose4 == 26) - { - //IfExitKind - if (__is_neg("4-26", "L13", 5, &(fin), sizeof (fin), &(c), - sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - break; - } - #endif - #ifdef __COMPILE_90 - else if (__choose4 == 27) - { - //IfExitKind - if (__is_neg("4-27", "L13", 5, &(fin), sizeof (fin), &(c), - sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_91 - else if (__choose4 == 28) - { - //IfExitKind - if (__is_neg("4-28", "L13", 5, &(fin), sizeof (fin), &(c), - sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_92 - else if (__choose4 == 29) - { - //IfExitKind - if (__is_neg("4-29", "L13", 5, &(fin), sizeof (fin), &(c), - sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_93 - else if (__choose4 == 30) - { - //IfExitKind - if (__is_neg("4-30", "L13", 5, &(fin), sizeof (fin), &(c), - sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 60; - } - #endif - int __choose5 = __choose("__SWITCH5"); - if (__choose5 == 0) - { - c = getc(fin); - - } - #ifdef __COMPILE_94 - else if (__choose5 == 1) - { - //GuardKind - if (!__is_neg("5-1", "L13", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - c = _IO_getc(fin); - - } - #endif - #ifdef __COMPILE_95 - else if (__choose5 == 2) - { - //MSVExtFunctionReplaceKind - __overflow(fin, -1); - - } - #endif - #ifdef __COMPILE_96 - else if (__choose5 == 3) - { - //MSVExtFunctionReplaceKind - __overflow(fin, 0); - - } - #endif - #ifdef __COMPILE_97 - else if (__choose5 == 4) - { - //MSVExtFunctionReplaceKind - __overflow(fin, 1); - - } - #endif - #ifdef __COMPILE_98 - else if (__choose5 == 5) - { - //MSVExtFunctionReplaceKind - __overflow(fin, 60); - - } - #endif - #ifdef __COMPILE_99 - else if (__choose5 == 6) - { - //MSVExtFunctionReplaceKind - __overflow(fin, argc); - - } - #endif - #ifdef __COMPILE_100 - else if (__choose5 == 7) - { - //MSVExtFunctionReplaceKind - __overflow(fin, i); - - } - #endif - #ifdef __COMPILE_101 - else if (__choose5 == 8) - { - //MSVExtFunctionReplaceKind - fgetpos(fin, 0); - - } - #endif - #ifdef __COMPILE_102 - else if (__choose5 == 9) - { - //MSVExtFunctionReplaceKind - fsetpos(fin, 0); - - } - #endif - #ifdef __COMPILE_103 - else if (__choose5 == 10) - { - //MSVExtRemoveStmtKind - { - } - - } - #endif - #ifdef __COMPILE_104 - else if (__choose5 == 11) - { - //MSVExtReplaceAssignOperatorKind - c *= _IO_getc(fin); - - } - #endif - #ifdef __COMPILE_105 - else if (__choose5 == 12) - { - //MSVExtReplaceAssignOperatorKind - c += _IO_getc(fin); - - } - #endif - #ifdef __COMPILE_106 - else if (__choose5 == 13) - { - //MSVExtReplaceAssignOperatorKind - c -= _IO_getc(fin); - - } - #endif - #ifdef __COMPILE_107 - else if (__choose5 == 14) - { - //MSVExtReplaceAssignOperatorKind - c /= _IO_getc(fin); - - } - #endif - #ifdef __COMPILE_108 - else if (__choose5 == 15) - { - //ReplaceFunctionKind - c = _IO_feof(fin); - - } - #endif - #ifdef __COMPILE_109 - else if (__choose5 == 16) - { - //ReplaceFunctionKind - c = _IO_ferror(fin); - - } - #endif - #ifdef __COMPILE_110 - else if (__choose5 == 17) - { - //ReplaceFunctionKind - c = _IO_ftrylockfile(fin); - - } - #endif - #ifdef __COMPILE_111 - else if (__choose5 == 18) - { - //ReplaceFunctionKind - c = _IO_peekc_locked(fin); - - } - #endif - #ifdef __COMPILE_112 - else if (__choose5 == 19) - { - //ReplaceFunctionKind - c = __uflow(fin); - - } - #endif - #ifdef __COMPILE_113 - else if (__choose5 == 20) - { - //ReplaceFunctionKind - c = __underflow(fin); - - } - #endif - #ifdef __COMPILE_114 - else if (__choose5 == 21) - { - //ReplaceFunctionKind - c = fclose(fin); - - } - #endif - #ifdef __COMPILE_115 - else if (__choose5 == 22) - { - //ReplaceFunctionKind - c = feof(fin); - - } - #endif - #ifdef __COMPILE_116 - else if (__choose5 == 23) - { - //ReplaceFunctionKind - c = feof_unlocked(fin); - - } - #endif - #ifdef __COMPILE_117 - else if (__choose5 == 24) - { - //ReplaceFunctionKind - c = ferror(fin); - - } - #endif - #ifdef __COMPILE_118 - else if (__choose5 == 25) - { - //ReplaceFunctionKind - c = ferror_unlocked(fin); - - } - #endif - #ifdef __COMPILE_119 - else if (__choose5 == 26) - { - //ReplaceFunctionKind - c = fflush(fin); - - } - #endif - #ifdef __COMPILE_120 - else if (__choose5 == 27) - { - //ReplaceFunctionKind - c = fflush_unlocked(fin); - - } - #endif - #ifdef __COMPILE_121 - else if (__choose5 == 28) - { - //ReplaceFunctionKind - c = fgetc(fin); - - } - #endif - #ifdef __COMPILE_122 - else if (__choose5 == 29) - { - //ReplaceFunctionKind - c = fgetc_unlocked(fin); - - } - #endif - #ifdef __COMPILE_123 - else if (__choose5 == 30) - { - //ReplaceFunctionKind - c = fileno(fin); - - } - #endif - #ifdef __COMPILE_124 - else if (__choose5 == 31) - { - //ReplaceFunctionKind - c = fileno_unlocked(fin); - - } - #endif - #ifdef __COMPILE_125 - else if (__choose5 == 32) - { - //ReplaceFunctionKind - c = ftrylockfile(fin); - - } - #endif - #ifdef __COMPILE_126 - else if (__choose5 == 33) - { - //ReplaceFunctionKind - c = getc(fin); - - } - #endif - #ifdef __COMPILE_127 - else if (__choose5 == 34) - { - //ReplaceFunctionKind - c = getc_unlocked(fin); - - } - #endif - #ifdef __COMPILE_128 - else if (__choose5 == 35) - { - //ReplaceFunctionKind - c = getw(fin); - - } - #endif - #ifdef __COMPILE_129 - else if (__choose5 == 36) - { - //ReplaceFunctionKind - c = pclose(fin); - - } - #endif - #ifdef __COMPILE_130 - else if (__choose5 == 37) - { - //ReplaceKind - c = (-1); - - } - #endif - #ifdef __COMPILE_131 - else if (__choose5 == 38) - { - //ReplaceKind - c = (0); - - } - #endif - #ifdef __COMPILE_132 - else if (__choose5 == 39) - { - //ReplaceKind - c = (1); - - } - #endif - #ifdef __COMPILE_133 - else if (__choose5 == 40) - { - //ReplaceKind - c = (60); - - } - #endif - #ifdef __COMPILE_134 - else if (__choose5 == 41) - { - //ReplaceKind - c = (c); - - } - #endif - #ifdef __COMPILE_135 - else if (__choose5 == 42) - { - //ReplaceKind - c = _IO_getc((&argc)); - - } - #endif - #ifdef __COMPILE_136 - else if (__choose5 == 43) - { - //ReplaceKind - c = _IO_getc((&argv)); - - } - #endif - #ifdef __COMPILE_137 - else if (__choose5 == 44) - { - //ReplaceKind - c = _IO_getc((&c)); - - } - #endif - #ifdef __COMPILE_138 - else if (__choose5 == 45) - { - //ReplaceKind - c = _IO_getc((&filename)); - - } - #endif - #ifdef __COMPILE_139 - else if (__choose5 == 46) - { - //ReplaceKind - c = _IO_getc((&fin)); - - } - #endif - #ifdef __COMPILE_140 - else if (__choose5 == 47) - { - //ReplaceKind - c = _IO_getc((&i)); - - } - #endif - #ifdef __COMPILE_141 - else if (__choose5 == 48) - { - //ReplaceKind - c = _IO_getc((fin)); - - } - #endif - #ifdef __COMPILE_142 - else if (__choose5 == 49) - { - //ReplaceKind - c = _IO_getc(fin && !(1 << 5)); - - } - #endif - } - { - int __choose6 = __choose("__SWITCH6"); - if (__choose6 == 0) - {} - #ifdef __COMPILE_143 - else if (__choose6 == 1) - { - //AddStmtAndReplaceAtomKind - c = (-1); - } - #endif - #ifdef __COMPILE_144 - else if (__choose6 == 2) - { - //AddStmtAndReplaceAtomKind - c = (0); - } - #endif - #ifdef __COMPILE_145 - else if (__choose6 == 3) - { - //AddStmtAndReplaceAtomKind - c = (1); - } - #endif - #ifdef __COMPILE_146 - else if (__choose6 == 4) - { - //AddStmtAndReplaceAtomKind - c = (60); - } - #endif - #ifdef __COMPILE_147 - else if (__choose6 == 5) - { - //AddStmtAndReplaceAtomKind - c = (c); - } - #endif - #ifdef __COMPILE_148 - else if (__choose6 == 6) - { - //AddStmtAndReplaceAtomKind - c = _IO_getc((fin)); - } - #endif - #ifdef __COMPILE_149 - else if (__choose6 == 7) - { - //AddStmtAndReplaceAtomKind - c = _IO_getc(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_150 - else if (__choose6 == 8) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_151 - else if (__choose6 == 9) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_152 - else if (__choose6 == 10) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_153 - else if (__choose6 == 11) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_154 - else if (__choose6 == 12) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_155 - else if (__choose6 == 13) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_156 - else if (__choose6 == 14) - { - //AddStmtAndReplaceAtomKind - filename[i] = (c); - } - #endif - #ifdef __COMPILE_157 - else if (__choose6 == 15) - { - //AddStmtAndReplaceAtomKind - filename[i] = c && !(1 << 5); - } - #endif - #ifdef __COMPILE_158 - else if (__choose6 == 16) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_159 - else if (__choose6 == 17) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_160 - else if (__choose6 == 18) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_161 - else if (__choose6 == 19) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_162 - else if (__choose6 == 20) - { - //AddStmtKind - c = _IO_getc(fin); - } - #endif - #ifdef __COMPILE_163 - else if (__choose6 == 21) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_164 - else if (__choose6 == 22) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_165 - else if (__choose6 == 23) - { - //AddStmtKind - filename[i] = c; - } - #endif - #ifdef __COMPILE_166 - else if (__choose6 == 24) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_167 - else if (__choose6 == 25) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_168 - else if (__choose6 == 26) - { - //IfExitKind - if (__is_neg("6-26", "L14", 5, &(c), sizeof (c), &(fin), - sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - break; - } - #endif - #ifdef __COMPILE_169 - else if (__choose6 == 27) - { - //IfExitKind - if (__is_neg("6-27", "L14", 5, &(c), sizeof (c), &(fin), - sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_170 - else if (__choose6 == 28) - { - //IfExitKind - if (__is_neg("6-28", "L14", 5, &(c), sizeof (c), &(fin), - sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_171 - else if (__choose6 == 29) - { - //IfExitKind - if (__is_neg("6-29", "L14", 5, &(c), sizeof (c), &(fin), - sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_172 - else if (__choose6 == 30) - { - //IfExitKind - if (__is_neg("6-30", "L14", 5, &(c), sizeof (c), &(fin), - sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 60; - } - #endif - int __choose7 = __choose("__SWITCH7"); - { - int __temp7=(c == (-1)) ; - if (__choose7 == 0) - {} - #ifdef __COMPILE_173 - else if (__choose7 == 1) - { - // LoosenConditionKind - __temp7= ((c == (-1)) || __is_neg("7-1", "L14", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))); - } - #endif - #ifdef __COMPILE_174 - else if (__choose7 == 2) - { - // MSVExtConditionKind - __temp7= (__is_neg("7-2", "L14", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))); - } - #endif - #ifdef __COMPILE_175 - else if (__choose7 == 3) - { - // TightenConditionKind - __temp7= ((c == (-1)) && !__is_neg("7-3", "L14", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))); - } - #endif - int __choose8 = __choose("__SWITCH8"); - if (__choose8 == 0) - { - if (__temp7) { - filename[i] = '\0'; - break; - } - - } - #ifdef __COMPILE_176 - else if (__choose8 == 1) - { - //GuardKind - if (!__is_neg("8-1", "L14", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - if (c == (-1)) { - filename[i] = '\x00'; - break; - } - - } - #endif - } - } - { - int __choose9 = __choose("__SWITCH9"); - if (__choose9 == 0) - {} - #ifdef __COMPILE_177 - else if (__choose9 == 1) - { - //AddStmtAndReplaceAtomKind - c = (-1); - } - #endif - #ifdef __COMPILE_178 - else if (__choose9 == 2) - { - //AddStmtAndReplaceAtomKind - c = (0); - } - #endif - #ifdef __COMPILE_179 - else if (__choose9 == 3) - { - //AddStmtAndReplaceAtomKind - c = (1); - } - #endif - #ifdef __COMPILE_180 - else if (__choose9 == 4) - { - //AddStmtAndReplaceAtomKind - c = (60); - } - #endif - #ifdef __COMPILE_181 - else if (__choose9 == 5) - { - //AddStmtAndReplaceAtomKind - c = (c); - } - #endif - #ifdef __COMPILE_182 - else if (__choose9 == 6) - { - //AddStmtAndReplaceAtomKind - c = _IO_getc((fin)); - } - #endif - #ifdef __COMPILE_183 - else if (__choose9 == 7) - { - //AddStmtAndReplaceAtomKind - c = _IO_getc(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_184 - else if (__choose9 == 8) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_185 - else if (__choose9 == 9) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_186 - else if (__choose9 == 10) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_187 - else if (__choose9 == 11) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_188 - else if (__choose9 == 12) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_189 - else if (__choose9 == 13) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_190 - else if (__choose9 == 14) - { - //AddStmtAndReplaceAtomKind - filename[i] = (c); - } - #endif - #ifdef __COMPILE_191 - else if (__choose9 == 15) - { - //AddStmtAndReplaceAtomKind - filename[i] = c && !(1 << 5); - } - #endif - #ifdef __COMPILE_192 - else if (__choose9 == 16) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_193 - else if (__choose9 == 17) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_194 - else if (__choose9 == 18) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_195 - else if (__choose9 == 19) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_196 - else if (__choose9 == 20) - { - //AddStmtKind - c = _IO_getc(fin); - } - #endif - #ifdef __COMPILE_197 - else if (__choose9 == 21) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_198 - else if (__choose9 == 22) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_199 - else if (__choose9 == 23) - { - //AddStmtKind - filename[i] = c; - } - #endif - #ifdef __COMPILE_200 - else if (__choose9 == 24) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_201 - else if (__choose9 == 25) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_202 - else if (__choose9 == 26) - { - //IfExitKind - if (__is_neg("9-26", "L18", 5, &(i), sizeof (i), &(c), - sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - break; - } - #endif - #ifdef __COMPILE_203 - else if (__choose9 == 27) - { - //IfExitKind - if (__is_neg("9-27", "L18", 5, &(i), sizeof (i), &(c), - sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_204 - else if (__choose9 == 28) - { - //IfExitKind - if (__is_neg("9-28", "L18", 5, &(i), sizeof (i), &(c), - sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_205 - else if (__choose9 == 29) - { - //IfExitKind - if (__is_neg("9-29", "L18", 5, &(i), sizeof (i), &(c), - sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_206 - else if (__choose9 == 30) - { - //IfExitKind - if (__is_neg("9-30", "L18", 5, &(i), sizeof (i), &(c), - sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), - sizeof (argc))) - return 60; - } - #endif - int __choose10 = __choose("__SWITCH10"); - if (__choose10 == 0) - { - filename[i] = c; - - } - #ifdef __COMPILE_207 - else if (__choose10 == 1) - { - //GuardKind - if (!__is_neg("10-1", "L18", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - filename[i] = c; - - } - #endif - #ifdef __COMPILE_208 - else if (__choose10 == 2) - { - //MSVExtIfExitBackKind - { - filename[i] = c; - if (__is_neg("10-2", "L18", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - break; - } - - } - #endif - #ifdef __COMPILE_209 - else if (__choose10 == 3) - { - //MSVExtIfExitBackKind - { - filename[i] = c; - if (__is_neg("10-3", "L18", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return -1; - } - - } - #endif - #ifdef __COMPILE_210 - else if (__choose10 == 4) - { - //MSVExtIfExitBackKind - { - filename[i] = c; - if (__is_neg("10-4", "L18", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - - } - #endif - #ifdef __COMPILE_211 - else if (__choose10 == 5) - { - //MSVExtIfExitBackKind - { - filename[i] = c; - if (__is_neg("10-5", "L18", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - - } - #endif - #ifdef __COMPILE_212 - else if (__choose10 == 6) - { - //MSVExtIfExitBackKind - { - filename[i] = c; - if (__is_neg("10-6", "L18", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 60; - } - - } - #endif - #ifdef __COMPILE_213 - else if (__choose10 == 7) - { - //MSVExtRemoveStmtKind - { - } - - } - #endif - #ifdef __COMPILE_214 - else if (__choose10 == 8) - { - //MSVExtReplaceAssignOperatorKind - filename[i] *= c; - - } - #endif - #ifdef __COMPILE_215 - else if (__choose10 == 9) - { - //MSVExtReplaceAssignOperatorKind - filename[i] += c; - - } - #endif - #ifdef __COMPILE_216 - else if (__choose10 == 10) - { - //MSVExtReplaceAssignOperatorKind - filename[i] -= c; - - } - #endif - #ifdef __COMPILE_217 - else if (__choose10 == 11) - { - //MSVExtReplaceAssignOperatorKind - filename[i] /= c; - - } - #endif - #ifdef __COMPILE_218 - else if (__choose10 == 12) - { - //ReplaceKind - filename[i] = (-1); - - } - #endif - #ifdef __COMPILE_219 - else if (__choose10 == 13) - { - //ReplaceKind - filename[i] = (0 * argc); - - } - #endif - #ifdef __COMPILE_220 - else if (__choose10 == 14) - { - //ReplaceKind - filename[i] = (0 * c); - - } - #endif - #ifdef __COMPILE_221 - else if (__choose10 == 15) - { - //ReplaceKind - filename[i] = (0 * i); - - } - #endif - #ifdef __COMPILE_222 - else if (__choose10 == 16) - { - //ReplaceKind - filename[i] = (0); - - } - #endif - #ifdef __COMPILE_223 - else if (__choose10 == 17) - { - //ReplaceKind - filename[i] = (1); - - } - #endif - #ifdef __COMPILE_224 - else if (__choose10 == 18) - { - //ReplaceKind - filename[i] = (60); - - } - #endif - #ifdef __COMPILE_225 - else if (__choose10 == 19) - { - //ReplaceKind - filename[i] = (argc != 0); - - } - #endif - #ifdef __COMPILE_226 - else if (__choose10 == 20) - { - //ReplaceKind - filename[i] = (argc != c); - - } - #endif - #ifdef __COMPILE_227 - else if (__choose10 == 21) - { - //ReplaceKind - filename[i] = (argc != i); - - } - #endif - #ifdef __COMPILE_228 - else if (__choose10 == 22) - { - //ReplaceKind - filename[i] = (argc * c); - - } - #endif - #ifdef __COMPILE_229 - else if (__choose10 == 23) - { - //ReplaceKind - filename[i] = (argc * i); - - } - #endif - #ifdef __COMPILE_230 - else if (__choose10 == 24) - { - //ReplaceKind - filename[i] = (argc + 0); - - } - #endif - #ifdef __COMPILE_231 - else if (__choose10 == 25) - { - //ReplaceKind - filename[i] = (argc + c); - - } - #endif - #ifdef __COMPILE_232 - else if (__choose10 == 26) - { - //ReplaceKind - filename[i] = (argc + i); - - } - #endif - #ifdef __COMPILE_233 - else if (__choose10 == 27) - { - //ReplaceKind - filename[i] = (argc - 0); - - } - #endif - #ifdef __COMPILE_234 - else if (__choose10 == 28) - { - //ReplaceKind - filename[i] = (argc - c); - - } - #endif - #ifdef __COMPILE_235 - else if (__choose10 == 29) - { - //ReplaceKind - filename[i] = (argc - i); - - } - #endif - #ifdef __COMPILE_236 - else if (__choose10 == 30) - { - //ReplaceKind - filename[i] = (argc == 0); - - } - #endif - #ifdef __COMPILE_237 - else if (__choose10 == 31) - { - //ReplaceKind - filename[i] = (argc == c); - - } - #endif - #ifdef __COMPILE_238 - else if (__choose10 == 32) - { - //ReplaceKind - filename[i] = (argc == i); - - } - #endif - #ifdef __COMPILE_239 - else if (__choose10 == 33) - { - //ReplaceKind - filename[i] = (argv != 0); - - } - #endif - #ifdef __COMPILE_240 - else if (__choose10 == 34) - { - //ReplaceKind - filename[i] = (argv == 0); - - } - #endif - #ifdef __COMPILE_241 - else if (__choose10 == 35) - { - //ReplaceKind - filename[i] = (c != 0); - - } - #endif - #ifdef __COMPILE_242 - else if (__choose10 == 36) - { - //ReplaceKind - filename[i] = (c * argc); - - } - #endif - #ifdef __COMPILE_243 - else if (__choose10 == 37) - { - //ReplaceKind - filename[i] = (c * i); - - } - #endif - #ifdef __COMPILE_244 - else if (__choose10 == 38) - { - //ReplaceKind - filename[i] = (c + 0); - - } - #endif - #ifdef __COMPILE_245 - else if (__choose10 == 39) - { - //ReplaceKind - filename[i] = (c - 0); - - } - #endif - #ifdef __COMPILE_246 - else if (__choose10 == 40) - { - //ReplaceKind - filename[i] = (c == 0); - - } - #endif - #ifdef __COMPILE_247 - else if (__choose10 == 41) - { - //ReplaceKind - filename[i] = (c); - - } - #endif - #ifdef __COMPILE_248 - else if (__choose10 == 42) - { - //ReplaceKind - filename[i] = (filename != 0); - - } - #endif - #ifdef __COMPILE_249 - else if (__choose10 == 43) - { - //ReplaceKind - filename[i] = (filename == 0); - - } - #endif - #ifdef __COMPILE_250 - else if (__choose10 == 44) - { - //ReplaceKind - filename[i] = (fin != 0); - - } - #endif - #ifdef __COMPILE_251 - else if (__choose10 == 45) - { - //ReplaceKind - filename[i] = (fin == 0); - - } - #endif - #ifdef __COMPILE_252 - else if (__choose10 == 46) - { - //ReplaceKind - filename[i] = (i != 0); - - } - #endif - #ifdef __COMPILE_253 - else if (__choose10 == 47) - { - //ReplaceKind - filename[i] = (i != c); - - } - #endif - #ifdef __COMPILE_254 - else if (__choose10 == 48) - { - //ReplaceKind - filename[i] = (i * argc); - - } - #endif - #ifdef __COMPILE_255 - else if (__choose10 == 49) - { - //ReplaceKind - filename[i] = (i * c); - - } - #endif - #ifdef __COMPILE_256 - else if (__choose10 == 50) - { - //ReplaceKind - filename[i] = (i + 0); - - } - #endif - #ifdef __COMPILE_257 - else if (__choose10 == 51) - { - //ReplaceKind - filename[i] = (i + c); - - } - #endif - #ifdef __COMPILE_258 - else if (__choose10 == 52) - { - //ReplaceKind - filename[i] = (i - 0); - - } - #endif - #ifdef __COMPILE_259 - else if (__choose10 == 53) - { - //ReplaceKind - filename[i] = (i - c); - - } - #endif - #ifdef __COMPILE_260 - else if (__choose10 == 54) - { - //ReplaceKind - filename[i] = (i == 0); - - } - #endif - #ifdef __COMPILE_261 - else if (__choose10 == 55) - { - //ReplaceKind - filename[i] = (i == c); - - } - #endif - #ifdef __COMPILE_262 - else if (__choose10 == 56) - { - //ReplaceKind - filename[i] = c && !(1 << 5); - - } - #endif - } - } - - } - #ifdef __COMPILE_263 - else if (__choose11 == 1) - { - //GuardKind - if (!__is_neg("11-1", "L11", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - for (i = 0; i <= 60; i++) { - char c; - c = _IO_getc(fin); - if (c == (-1)) { - filename[i] = '\x00'; - break; - } - filename[i] = c; - } - - } - #endif - } - } - //prophet generated patch - { - int __choose12 = __choose("__SWITCH12"); - if (__choose12 == 0) - {} - #ifdef __COMPILE_264 - else if (__choose12 == 1) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_265 - else if (__choose12 == 2) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_266 - else if (__choose12 == 3) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_267 - else if (__choose12 == 4) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_268 - else if (__choose12 == 5) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_269 - else if (__choose12 == 6) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_270 - else if (__choose12 == 7) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_271 - else if (__choose12 == 8) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_272 - else if (__choose12 == 9) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_273 - else if (__choose12 == 10) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_274 - else if (__choose12 == 11) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_275 - else if (__choose12 == 12) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_276 - else if (__choose12 == 13) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_277 - else if (__choose12 == 14) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_278 - else if (__choose12 == 15) - { - //IfExitKind - if (__is_neg("12-15", "L20", 4, &(fin), sizeof (fin), &(i), - sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_279 - else if (__choose12 == 16) - { - //IfExitKind - if (__is_neg("12-16", "L20", 4, &(fin), sizeof (fin), &(i), - sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_280 - else if (__choose12 == 17) - { - //IfExitKind - if (__is_neg("12-17", "L20", 4, &(fin), sizeof (fin), &(i), - sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_281 - else if (__choose12 == 18) - { - //IfExitKind - if (__is_neg("12-18", "L20", 4, &(fin), sizeof (fin), &(i), - sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 60; - } - #endif - int __choose13 = __choose("__SWITCH13"); - if (__choose13 == 0) - { - fclose(fin); - - } - #ifdef __COMPILE_282 - else if (__choose13 == 1) - { - //GuardKind - if (!__is_neg("13-1", "L20", 4, &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) - fclose(fin); - - } - #endif - #ifdef __COMPILE_283 - else if (__choose13 == 2) - { - //MSVExtFunctionReplaceKind - __overflow(fin, -1); - - } - #endif - #ifdef __COMPILE_284 - else if (__choose13 == 3) - { - //MSVExtFunctionReplaceKind - __overflow(fin, 0); - - } - #endif - #ifdef __COMPILE_285 - else if (__choose13 == 4) - { - //MSVExtFunctionReplaceKind - __overflow(fin, 1); - - } - #endif - #ifdef __COMPILE_286 - else if (__choose13 == 5) - { - //MSVExtFunctionReplaceKind - __overflow(fin, 60); - - } - #endif - #ifdef __COMPILE_287 - else if (__choose13 == 6) - { - //MSVExtFunctionReplaceKind - __overflow(fin, argc); - - } - #endif - #ifdef __COMPILE_288 - else if (__choose13 == 7) - { - //MSVExtFunctionReplaceKind - __overflow(fin, i); - - } - #endif - #ifdef __COMPILE_289 - else if (__choose13 == 8) - { - //MSVExtFunctionReplaceKind - fgetpos(fin, 0); - - } - #endif - #ifdef __COMPILE_290 - else if (__choose13 == 9) - { - //MSVExtFunctionReplaceKind - fsetpos(fin, 0); - - } - #endif - #ifdef __COMPILE_291 - else if (__choose13 == 10) - { - //MSVExtFunctionReplaceKind - setbuf(fin, 0); - - } - #endif - #ifdef __COMPILE_292 - else if (__choose13 == 11) - { - //MSVExtRemoveStmtKind - { - } - - } - #endif - #ifdef __COMPILE_293 - else if (__choose13 == 12) - { - //ReplaceFunctionKind - _IO_feof(fin); - - } - #endif - #ifdef __COMPILE_294 - else if (__choose13 == 13) - { - //ReplaceFunctionKind - _IO_ferror(fin); - - } - #endif - #ifdef __COMPILE_295 - else if (__choose13 == 14) - { - //ReplaceFunctionKind - _IO_flockfile(fin); - - } - #endif - #ifdef __COMPILE_296 - else if (__choose13 == 15) - { - //ReplaceFunctionKind - _IO_free_backup_area(fin); - - } - #endif - #ifdef __COMPILE_297 - else if (__choose13 == 16) - { - //ReplaceFunctionKind - _IO_ftrylockfile(fin); - - } - #endif - #ifdef __COMPILE_298 - else if (__choose13 == 17) - { - //ReplaceFunctionKind - _IO_funlockfile(fin); - - } - #endif - #ifdef __COMPILE_299 - else if (__choose13 == 18) - { - //ReplaceFunctionKind - _IO_getc(fin); - - } - #endif - #ifdef __COMPILE_300 - else if (__choose13 == 19) - { - //ReplaceFunctionKind - _IO_peekc_locked(fin); - - } - #endif - #ifdef __COMPILE_301 - else if (__choose13 == 20) - { - //ReplaceFunctionKind - __uflow(fin); - - } - #endif - #ifdef __COMPILE_302 - else if (__choose13 == 21) - { - //ReplaceFunctionKind - __underflow(fin); - - } - #endif - #ifdef __COMPILE_303 - else if (__choose13 == 22) - { - //ReplaceFunctionKind - clearerr(fin); - - } - #endif - #ifdef __COMPILE_304 - else if (__choose13 == 23) - { - //ReplaceFunctionKind - clearerr_unlocked(fin); - - } - #endif - #ifdef __COMPILE_305 - else if (__choose13 == 24) - { - //ReplaceFunctionKind - feof(fin); - - } - #endif - #ifdef __COMPILE_306 - else if (__choose13 == 25) - { - //ReplaceFunctionKind - feof_unlocked(fin); - - } - #endif - #ifdef __COMPILE_307 - else if (__choose13 == 26) - { - //ReplaceFunctionKind - ferror(fin); - - } - #endif - #ifdef __COMPILE_308 - else if (__choose13 == 27) - { - //ReplaceFunctionKind - ferror_unlocked(fin); - - } - #endif - #ifdef __COMPILE_309 - else if (__choose13 == 28) - { - //ReplaceFunctionKind - fflush(fin); - - } - #endif - #ifdef __COMPILE_310 - else if (__choose13 == 29) - { - //ReplaceFunctionKind - fflush_unlocked(fin); - - } - #endif - #ifdef __COMPILE_311 - else if (__choose13 == 30) - { - //ReplaceFunctionKind - fgetc(fin); - - } - #endif - #ifdef __COMPILE_312 - else if (__choose13 == 31) - { - //ReplaceFunctionKind - fgetc_unlocked(fin); - - } - #endif - #ifdef __COMPILE_313 - else if (__choose13 == 32) - { - //ReplaceFunctionKind - fileno(fin); - - } - #endif - #ifdef __COMPILE_314 - else if (__choose13 == 33) - { - //ReplaceFunctionKind - fileno_unlocked(fin); - - } - #endif - #ifdef __COMPILE_315 - else if (__choose13 == 34) - { - //ReplaceFunctionKind - flockfile(fin); - - } - #endif - #ifdef __COMPILE_316 - else if (__choose13 == 35) - { - //ReplaceFunctionKind - ftell(fin); - - } - #endif - #ifdef __COMPILE_317 - else if (__choose13 == 36) - { - //ReplaceFunctionKind - ftello(fin); - - } - #endif - #ifdef __COMPILE_318 - else if (__choose13 == 37) - { - //ReplaceFunctionKind - ftrylockfile(fin); - - } - #endif - #ifdef __COMPILE_319 - else if (__choose13 == 38) - { - //ReplaceFunctionKind - funlockfile(fin); - - } - #endif - #ifdef __COMPILE_320 - else if (__choose13 == 39) - { - //ReplaceFunctionKind - getc(fin); - - } - #endif - #ifdef __COMPILE_321 - else if (__choose13 == 40) - { - //ReplaceFunctionKind - getc_unlocked(fin); - - } - #endif - #ifdef __COMPILE_322 - else if (__choose13 == 41) - { - //ReplaceFunctionKind - getw(fin); - - } - #endif - #ifdef __COMPILE_323 - else if (__choose13 == 42) - { - //ReplaceFunctionKind - pclose(fin); - - } - #endif - #ifdef __COMPILE_324 - else if (__choose13 == 43) - { - //ReplaceFunctionKind - rewind(fin); - - } - #endif - #ifdef __COMPILE_325 - else if (__choose13 == 44) - { - //ReplaceFunctionKind - setlinebuf(fin); - - } - #endif - #ifdef __COMPILE_326 - else if (__choose13 == 45) - { - //ReplaceKind - fclose((&argc)); - - } - #endif - #ifdef __COMPILE_327 - else if (__choose13 == 46) - { - //ReplaceKind - fclose((&argv)); - - } - #endif - #ifdef __COMPILE_328 - else if (__choose13 == 47) - { - //ReplaceKind - fclose((&filename)); - - } - #endif - #ifdef __COMPILE_329 - else if (__choose13 == 48) - { - //ReplaceKind - fclose((&fin)); - - } - #endif - #ifdef __COMPILE_330 - else if (__choose13 == 49) - { - //ReplaceKind - fclose((&i)); - - } - #endif - #ifdef __COMPILE_331 - else if (__choose13 == 50) - { - //ReplaceKind - fclose((fin)); - - } - #endif - #ifdef __COMPILE_332 - else if (__choose13 == 51) - { - //ReplaceKind - fclose(fin && !(1 << 5)); - - } - #endif - } - //prophet generated patch - { - int __choose14 = __choose("__SWITCH14"); - if (__choose14 == 0) - {} - #ifdef __COMPILE_333 - else if (__choose14 == 1) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_334 - else if (__choose14 == 2) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_335 - else if (__choose14 == 3) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_336 - else if (__choose14 == 4) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_337 - else if (__choose14 == 5) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_338 - else if (__choose14 == 6) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_339 - else if (__choose14 == 7) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_340 - else if (__choose14 == 8) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_341 - else if (__choose14 == 9) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_342 - else if (__choose14 == 10) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_343 - else if (__choose14 == 11) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_344 - else if (__choose14 == 12) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_345 - else if (__choose14 == 13) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_346 - else if (__choose14 == 14) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_347 - else if (__choose14 == 15) - { - //IfExitKind - if (__is_neg("14-15", "L21", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_348 - else if (__choose14 == 16) - { - //IfExitKind - if (__is_neg("14-16", "L21", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_349 - else if (__choose14 == 17) - { - //IfExitKind - if (__is_neg("14-17", "L21", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_350 - else if (__choose14 == 18) - { - //IfExitKind - if (__is_neg("14-18", "L21", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 60; - } - #endif - int __choose15 = __choose("__SWITCH15"); - if (__choose15 == 0) - { - printf("%d\n", i); - - } - #ifdef __COMPILE_351 - else if (__choose15 == 1) - { - //GuardKind - if (!__is_neg("15-1", "L21", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - printf("%d\n", i); - - } - #endif - #ifdef __COMPILE_352 - else if (__choose15 == 2) - { - //MSVExtFunctionReplaceKind - _IO_padn("%d\n", i, -1); - - } - #endif - #ifdef __COMPILE_353 - else if (__choose15 == 3) - { - //MSVExtFunctionReplaceKind - _IO_padn("%d\n", i, 0); - - } - #endif - #ifdef __COMPILE_354 - else if (__choose15 == 4) - { - //MSVExtFunctionReplaceKind - _IO_padn("%d\n", i, 1); - - } - #endif - #ifdef __COMPILE_355 - else if (__choose15 == 5) - { - //MSVExtFunctionReplaceKind - _IO_padn("%d\n", i, 60); - - } - #endif - #ifdef __COMPILE_356 - else if (__choose15 == 6) - { - //MSVExtFunctionReplaceKind - fgets("%d\n", i, 0); - - } - #endif - #ifdef __COMPILE_357 - else if (__choose15 == 7) - { - //MSVExtFunctionReplaceKind - memset("%d\n", i, -1); - - } - #endif - #ifdef __COMPILE_358 - else if (__choose15 == 8) - { - //MSVExtFunctionReplaceKind - memset("%d\n", i, 0); - - } - #endif - #ifdef __COMPILE_359 - else if (__choose15 == 9) - { - //MSVExtFunctionReplaceKind - memset("%d\n", i, 1); - - } - #endif - #ifdef __COMPILE_360 - else if (__choose15 == 10) - { - //MSVExtFunctionReplaceKind - memset("%d\n", i, 60); - - } - #endif - #ifdef __COMPILE_361 - else if (__choose15 == 11) - { - //MSVExtRemoveStmtKind - { - } - - } - #endif - #ifdef __COMPILE_362 - else if (__choose15 == 12) - { - //ReplaceFunctionKind - __overflow("%d\n", i); - - } - #endif - #ifdef __COMPILE_363 - else if (__choose15 == 13) - { - //ReplaceFunctionKind - printf("%d\n", i); - - } - #endif - #ifdef __COMPILE_364 - else if (__choose15 == 14) - { - //ReplaceKind - printf("%d\n or the directory does not exist", i); - - } - #endif - #ifdef __COMPILE_365 - else if (__choose15 == 15) - { - //ReplaceKind - printf("%d\n", (0 * argc)); - - } - #endif - #ifdef __COMPILE_366 - else if (__choose15 == 16) - { - //ReplaceKind - printf("%d\n", (0 * i)); - - } - #endif - #ifdef __COMPILE_367 - else if (__choose15 == 17) - { - //ReplaceKind - printf("%d\n", (argc != 0)); - - } - #endif - #ifdef __COMPILE_368 - else if (__choose15 == 18) - { - //ReplaceKind - printf("%d\n", (argc != i)); - - } - #endif - #ifdef __COMPILE_369 - else if (__choose15 == 19) - { - //ReplaceKind - printf("%d\n", (argc * i)); - - } - #endif - #ifdef __COMPILE_370 - else if (__choose15 == 20) - { - //ReplaceKind - printf("%d\n", (argc + 0)); - - } - #endif - #ifdef __COMPILE_371 - else if (__choose15 == 21) - { - //ReplaceKind - printf("%d\n", (argc + i)); - - } - #endif - #ifdef __COMPILE_372 - else if (__choose15 == 22) - { - //ReplaceKind - printf("%d\n", (argc - 0)); - - } - #endif - #ifdef __COMPILE_373 - else if (__choose15 == 23) - { - //ReplaceKind - printf("%d\n", (argc - i)); - - } - #endif - #ifdef __COMPILE_374 - else if (__choose15 == 24) - { - //ReplaceKind - printf("%d\n", (argc == 0)); - - } - #endif - #ifdef __COMPILE_375 - else if (__choose15 == 25) - { - //ReplaceKind - printf("%d\n", (argc == i)); - - } - #endif - #ifdef __COMPILE_376 - else if (__choose15 == 26) - { - //ReplaceKind - printf("%d\n", (argc)); - - } - #endif - #ifdef __COMPILE_377 - else if (__choose15 == 27) - { - //ReplaceKind - printf("%d\n", (argv != 0)); - - } - #endif - #ifdef __COMPILE_378 - else if (__choose15 == 28) - { - //ReplaceKind - printf("%d\n", (argv == 0)); - - } - #endif - #ifdef __COMPILE_379 - else if (__choose15 == 29) - { - //ReplaceKind - printf("%d\n", (filename != 0)); - - } - #endif - #ifdef __COMPILE_380 - else if (__choose15 == 30) - { - //ReplaceKind - printf("%d\n", (filename == 0)); - - } - #endif - #ifdef __COMPILE_381 - else if (__choose15 == 31) - { - //ReplaceKind - printf("%d\n", (fin != 0)); - - } - #endif - #ifdef __COMPILE_382 - else if (__choose15 == 32) - { - //ReplaceKind - printf("%d\n", (fin == 0)); - - } - #endif - #ifdef __COMPILE_383 - else if (__choose15 == 33) - { - //ReplaceKind - printf("%d\n", (i != 0)); - - } - #endif - #ifdef __COMPILE_384 - else if (__choose15 == 34) - { - //ReplaceKind - printf("%d\n", (i * argc)); - - } - #endif - #ifdef __COMPILE_385 - else if (__choose15 == 35) - { - //ReplaceKind - printf("%d\n", (i + 0)); - - } - #endif - #ifdef __COMPILE_386 - else if (__choose15 == 36) - { - //ReplaceKind - printf("%d\n", (i - 0)); - - } - #endif - #ifdef __COMPILE_387 - else if (__choose15 == 37) - { - //ReplaceKind - printf("%d\n", (i == 0)); - - } - #endif - #ifdef __COMPILE_388 - else if (__choose15 == 38) - { - //ReplaceKind - printf("%d\n", (i)); - - } - #endif - #ifdef __COMPILE_389 - else if (__choose15 == 39) - { - //ReplaceKind - printf("%d\n", i && !(1 << 5)); - - } - #endif - #ifdef __COMPILE_390 - else if (__choose15 == 40) - { - //ReplaceKind - printf((&argc), i); - - } - #endif - #ifdef __COMPILE_391 - else if (__choose15 == 41) - { - //ReplaceKind - printf((&argv), i); - - } - #endif - #ifdef __COMPILE_392 - else if (__choose15 == 42) - { - //ReplaceKind - printf((&filename), i); - - } - #endif - #ifdef __COMPILE_393 - else if (__choose15 == 43) - { - //ReplaceKind - printf((&fin), i); - - } - #endif - #ifdef __COMPILE_394 - else if (__choose15 == 44) - { - //ReplaceKind - printf((&i), i); - - } - #endif - #ifdef __COMPILE_395 - else if (__choose15 == 45) - { - //ReplaceKind - printf((0), i); - - } - #endif - } - //prophet generated patch - { - int __choose16 = __choose("__SWITCH16"); - if (__choose16 == 0) - {} - #ifdef __COMPILE_396 - else if (__choose16 == 1) - { - //AddStmtAndReplaceAtomKind - fclose((fin)); - } - #endif - #ifdef __COMPILE_397 - else if (__choose16 == 2) - { - //AddStmtAndReplaceAtomKind - fclose(fin && !(1 << 5)); - } - #endif - #ifdef __COMPILE_398 - else if (__choose16 == 3) - { - //AddStmtAndReplaceAtomKind - filename[i] = (-1); - } - #endif - #ifdef __COMPILE_399 - else if (__choose16 == 4) - { - //AddStmtAndReplaceAtomKind - filename[i] = (0); - } - #endif - #ifdef __COMPILE_400 - else if (__choose16 == 5) - { - //AddStmtAndReplaceAtomKind - filename[i] = (1); - } - #endif - #ifdef __COMPILE_401 - else if (__choose16 == 6) - { - //AddStmtAndReplaceAtomKind - filename[i] = (60); - } - #endif - #ifdef __COMPILE_402 - else if (__choose16 == 7) - { - //AddStmtAndReplaceAtomKind - fin = (fin); - } - #endif - #ifdef __COMPILE_403 - else if (__choose16 == 8) - { - //AddStmtAndReplaceAtomKind - fin = fopen((argv)[1], "r"); - } - #endif - #ifdef __COMPILE_404 - else if (__choose16 == 9) - { - //AddStmtAndReplaceAtomKind - fin = fopen(argv && !(1 << 5)[1], "r"); - } - #endif - #ifdef __COMPILE_405 - else if (__choose16 == 10) - { - //AddStmtAndReplaceAtomKind - printf("%d\n", i && !(1 << 5)); - } - #endif - #ifdef __COMPILE_406 - else if (__choose16 == 11) - { - //AddStmtKind - fclose(fin); - } - #endif - #ifdef __COMPILE_407 - else if (__choose16 == 12) - { - //AddStmtKind - filename[i] = '\x00'; - } - #endif - #ifdef __COMPILE_408 - else if (__choose16 == 13) - { - //AddStmtKind - fin = fopen(argv[1], "r"); - } - #endif - #ifdef __COMPILE_409 - else if (__choose16 == 14) - { - //AddStmtKind - printf("%d\n", i); - } - #endif - #ifdef __COMPILE_410 - else if (__choose16 == 15) - { - //IfExitKind - if (__is_neg("16-15", "L22", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return -1; - } - #endif - #ifdef __COMPILE_411 - else if (__choose16 == 16) - { - //IfExitKind - if (__is_neg("16-16", "L22", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - #endif - #ifdef __COMPILE_412 - else if (__choose16 == 17) - { - //IfExitKind - if (__is_neg("16-17", "L22", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - #endif - #ifdef __COMPILE_413 - else if (__choose16 == 18) - { - //IfExitKind - if (__is_neg("16-18", "L22", 4, &(i), sizeof (i), &(fin), - sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 60; - } - #endif - int __choose17 = __choose("__SWITCH17"); - if (__choose17 == 0) - { - return 0; - - } - #ifdef __COMPILE_414 - else if (__choose17 == 1) - { - //GuardKind - if (!__is_neg("17-1", "L22", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - - } - #endif - #ifdef __COMPILE_415 - else if (__choose17 == 2) - { - //MSVExtIfExitBackKind - { - return 0; - if (__is_neg("17-2", "L22", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return -1; - } - - } - #endif - #ifdef __COMPILE_416 - else if (__choose17 == 3) - { - //MSVExtIfExitBackKind - { - return 0; - if (__is_neg("17-3", "L22", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 0; - } - - } - #endif - #ifdef __COMPILE_417 - else if (__choose17 == 4) - { - //MSVExtIfExitBackKind - { - return 0; - if (__is_neg("17-4", "L22", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 1; - } - - } - #endif - #ifdef __COMPILE_418 - else if (__choose17 == 5) - { - //MSVExtIfExitBackKind - { - return 0; - if (__is_neg("17-5", "L22", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc))) - return 60; - } - - } - #endif - } -} diff --git a/examples/engagement1/off-by-one/func-info.json b/examples/engagement1/off-by-one/func-info.json deleted file mode 100644 index 85d41aa71..000000000 --- a/examples/engagement1/off-by-one/func-info.json +++ /dev/null @@ -1,189 +0,0 @@ -[{ - "original_name": "", - "switch_number": 1, - "new_names": [] - }, { - "original_name": "", - "switch_number": 5, - "new_names": [] - }, { - "original_name": "", - "switch_number": 8, - "new_names": [] - }, { - "original_name": "", - "switch_number": 10, - "new_names": [] - }, { - "original_name": "", - "switch_number": 11, - "new_names": [] - }, { - "original_name": "fclose", - "switch_number": 13, - "new_names": [{ - "new_name": "__overflow", - "case_number": 2 - }, { - "new_name": "__overflow", - "case_number": 3 - }, { - "new_name": "__overflow", - "case_number": 4 - }, { - "new_name": "__overflow", - "case_number": 5 - }, { - "new_name": "__overflow", - "case_number": 6 - }, { - "new_name": "__overflow", - "case_number": 7 - }, { - "new_name": "fgetpos", - "case_number": 8 - }, { - "new_name": "fsetpos", - "case_number": 9 - }, { - "new_name": "setbuf", - "case_number": 10 - }, { - "new_name": "_IO_feof", - "case_number": 12 - }, { - "new_name": "_IO_ferror", - "case_number": 13 - }, { - "new_name": "_IO_flockfile", - "case_number": 14 - }, { - "new_name": "_IO_free_backup_area", - "case_number": 15 - }, { - "new_name": "_IO_ftrylockfile", - "case_number": 16 - }, { - "new_name": "_IO_funlockfile", - "case_number": 17 - }, { - "new_name": "_IO_getc", - "case_number": 18 - }, { - "new_name": "_IO_peekc_locked", - "case_number": 19 - }, { - "new_name": "__uflow", - "case_number": 20 - }, { - "new_name": "__underflow", - "case_number": 21 - }, { - "new_name": "clearerr", - "case_number": 22 - }, { - "new_name": "clearerr_unlocked", - "case_number": 23 - }, { - "new_name": "feof", - "case_number": 24 - }, { - "new_name": "feof_unlocked", - "case_number": 25 - }, { - "new_name": "ferror", - "case_number": 26 - }, { - "new_name": "ferror_unlocked", - "case_number": 27 - }, { - "new_name": "fflush", - "case_number": 28 - }, { - "new_name": "fflush_unlocked", - "case_number": 29 - }, { - "new_name": "fgetc", - "case_number": 30 - }, { - "new_name": "fgetc_unlocked", - "case_number": 31 - }, { - "new_name": "fileno", - "case_number": 32 - }, { - "new_name": "fileno_unlocked", - "case_number": 33 - }, { - "new_name": "flockfile", - "case_number": 34 - }, { - "new_name": "ftell", - "case_number": 35 - }, { - "new_name": "ftello", - "case_number": 36 - }, { - "new_name": "ftrylockfile", - "case_number": 37 - }, { - "new_name": "funlockfile", - "case_number": 38 - }, { - "new_name": "getc", - "case_number": 39 - }, { - "new_name": "getc_unlocked", - "case_number": 40 - }, { - "new_name": "getw", - "case_number": 41 - }, { - "new_name": "pclose", - "case_number": 42 - }, { - "new_name": "rewind", - "case_number": 43 - }, { - "new_name": "setlinebuf", - "case_number": 44 - }] - }, { - "original_name": "printf", - "switch_number": 15, - "new_names": [{ - "new_name": "_IO_padn", - "case_number": 2 - }, { - "new_name": "_IO_padn", - "case_number": 3 - }, { - "new_name": "_IO_padn", - "case_number": 4 - }, { - "new_name": "_IO_padn", - "case_number": 5 - }, { - "new_name": "fgets", - "case_number": 6 - }, { - "new_name": "memset", - "case_number": 7 - }, { - "new_name": "memset", - "case_number": 8 - }, { - "new_name": "memset", - "case_number": 9 - }, { - "new_name": "memset", - "case_number": 10 - }, { - "new_name": "__overflow", - "case_number": 12 - }] - }, { - "original_name": "", - "switch_number": 17, - "new_names": [] - }] diff --git a/examples/engagement1/off-by-one/init.sh b/examples/engagement1/off-by-one/init.sh deleted file mode 100755 index 412de4b9a..000000000 --- a/examples/engagement1/off-by-one/init.sh +++ /dev/null @@ -1,8 +0,0 @@ -rm profile_localization.res -rm test.cache -cd profile -rm prog -cd ../src -rm prog -cd /tmp -rm __index.loc diff --git a/examples/engagement1/off-by-one/profile_localization.res b/examples/engagement1/off-by-one/profile_localization.res deleted file mode 100644 index 2d5474302..000000000 --- a/examples/engagement1/off-by-one/profile_localization.res +++ /dev/null @@ -1,12 +0,0 @@ -prog.c 21 5 prog.c 21 5 999998 1 84158459 -prog.c 20 5 prog.c 20 5 999998 2 84158459 -prog.c 19 5 prog.c 19 5 999998 3 84158459 -prog.c 17 9 prog.c 17 9 999998 4 84158459 -prog.c 13 9 prog.c 13 9 999998 5 84158459 -prog.c 12 2 prog.c 12 2 999998 6 84158459 -prog.c 11 9 prog.c 11 9 999998 7 84158459 -prog.c 10 5 prog.c 10 5 999998 248 84158459 -prog.c 8 5 prog.c 8 5 999998 249 84158459 -prog.c 7 5 prog.c 7 5 999998 250 84158459 -prog.c 6 5 prog.c 6 5 999998 251 84158459 -prog.c 5 5 prog.c 5 5 999998 252 84158459 diff --git a/examples/engagement1/off-by-one/repair.log b/examples/engagement1/off-by-one/repair.log deleted file mode 100644 index 8e767d5d6..000000000 --- a/examples/engagement1/off-by-one/repair.log +++ /dev/null @@ -1,32 +0,0 @@ -Initialize the program! -Verify Test Cases -All passed! -Done Verification -Result: 0 -Result: 0 -Result: 0 -Generating repair candidates! -Total 0 different repair schemas!!!! -Total 0 different repair candidate templates for scoring!!! -Total 0 different partial repair candidate templates!! -BasicTester pointer: 0x556f52e81c90 -StringConstTester pointer: 0x556f52e72710 -CondTester pointer: 0x556f52e82190 -Generating Candidates... -Candidates size: 0 -Generating Codes... -[1] Preprocess the following candidate with BasicTester: -0 -Generating patches... -[1] BasicTester, a patch instance with id 0: -Begin building test -Total macros: 0 -Building with no macros... -Trying to build with all macros... -Build Success! -The total number of explored concrete patches: 0 -Repair process ends without working fix!! -Total 0 different repair schemas!!!! -Total 0 different repair candidate templates for scoring!!! -Total number of compiles: 1 -Total number of test eval: 3 diff --git a/examples/engagement1/off-by-one/switch-info.json b/examples/engagement1/off-by-one/switch-info.json deleted file mode 100644 index 5457e09c7..000000000 --- a/examples/engagement1/off-by-one/switch-info.json +++ /dev/null @@ -1,1766 +0,0 @@ -{ - "switch_num": 18, - "case_num": [11, 33, 18, 2, 30, 49, 30, 3, 1, 30, 56, 1, 18, 51, 18, 45, 18, 5], - "switch_cluster": [[1, 5, 8, 10, 11, 13, 15, 17], [3, 7], [0, 2, 4, 6, 9, 12, 14, 16], []], - "priority": [{ - "file": "prog.c", - "line": 5, - "primary_score": 999998, - "second_score": 252 - }, { - "file": "prog.c", - "line": 6, - "primary_score": 999998, - "second_score": 251 - }, { - "file": "prog.c", - "line": 7, - "primary_score": 999998, - "second_score": 250 - }, { - "file": "prog.c", - "line": 8, - "primary_score": 999998, - "second_score": 249 - }, { - "file": "prog.c", - "line": 10, - "primary_score": 999998, - "second_score": 248 - }, { - "file": "prog.c", - "line": 11, - "primary_score": 999998, - "second_score": 7 - }, { - "file": "prog.c", - "line": 12, - "primary_score": 999998, - "second_score": 6 - }, { - "file": "prog.c", - "line": 13, - "primary_score": 999998, - "second_score": 5 - }, { - "file": "prog.c", - "line": 17, - "primary_score": 999998, - "second_score": 4 - }, { - "file": "prog.c", - "line": 19, - "primary_score": 999998, - "second_score": 3 - }, { - "file": "prog.c", - "line": 20, - "primary_score": 999998, - "second_score": 2 - }, { - "file": "prog.c", - "line": 21, - "primary_score": 999998, - "second_score": 1 - }], - "mutation_info": [{ - "file": "prog.c", - "functions": [] - }], - "rules": [{ - "file_name": "prog.c", - "lines": [{ - "line": 5, - "switches": [] - }, { - "line": 6, - "switches": [] - }, { - "line": 7, - "switches": [{ - "switch": 0, - "types": [[], [], [], [], [8, 9, 10, 11], [], [], [], [], [6, 7], [1, 2, 3, 4, 5], [], [], [], [], [], [], []], - "begin_line": 8, - "begin_column": 3, - "end_line": 8, - "end_column": 3, - "patch_codes": ["fclose((fin))", "fclose(fin && !(1 << 5))", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "fclose(fin)", "fin = fopen(argv[1], \"r\")", "if (__is_neg(\"\", \"L8\", 3, &(argv), sizeof (argv), &(fin), sizeof (fin), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L8\", 3, &(argv), sizeof (argv), &(fin), sizeof (fin), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L8\", 3, &(argv), sizeof (argv), &(fin), sizeof (fin), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L8\", 3, &(argv), sizeof (argv), &(fin), sizeof (fin), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.7120230054281458] - }, { - "case": 2, - "scores": [-3.7120230054281458] - }, { - "case": 3, - "scores": [-3.7120230054281458] - }, { - "case": 4, - "scores": [-3.7120230054281458] - }, { - "case": 5, - "scores": [-3.7120230054281458] - }, { - "case": 6, - "scores": [-3.7120230054281458] - }, { - "case": 7, - "scores": [-3.7120230054281458] - }, { - "case": 8, - "scores": [-6.36957829428582, -7.67704967648582, -7.7933807892858216] - }, { - "case": 9, - "scores": [-4.10679649428582, -5.41426787648582, -5.53059898928582] - }, { - "case": 10, - "scores": [-6.36957829428582, -7.67704967648582, -7.7933807892858216] - }, { - "case": 11, - "scores": [-6.36957829428582, -7.67704967648582, -7.7933807892858216] - }] - }, { - "switch": 1, - "types": [[], [], [1], [], [], [], [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33], [], [8, 9], [], [], [], [], [2], [], [], [], [3], [4, 5, 6, 7]], - "begin_line": 8, - "begin_column": 5, - "end_line": 8, - "end_column": 30, - "patch_codes": ["if (!__is_neg(\"\", \"L8\", 3, &(argv), sizeof (argv), &(fin), sizeof (fin), &(argc), sizeof (argc)))\n fin = fopen(argv[1], \"r\");\n", "freopen(argv[1], \"r\", 0)", "{\n}\n", "fin *= fopen(argv[1], \"r\")", "fin += fopen(argv[1], \"r\")", "fin -= fopen(argv[1], \"r\")", "fin /= fopen(argv[1], \"r\")", "fin = fopen(argv[1], \"r\")", "fin = popen(argv[1], \"r\")", "fin = (fin)", "fin = fopen((&argc)[1], \"r\")", "fin = fopen((&argv)[1], \"r\")", "fin = fopen((&filename)[1], \"r\")", "fin = fopen((&fin)[1], \"r\")", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "fin = fopen(argv[(0 * argc)], \"r\")", "fin = fopen(argv[(0)], \"r\")", "fin = fopen(argv[(argc != 0)], \"r\")", "fin = fopen(argv[(argc + 0)], \"r\")", "fin = fopen(argv[(argc - 0)], \"r\")", "fin = fopen(argv[(argc == 0)], \"r\")", "fin = fopen(argv[(argv != 0)], \"r\")", "fin = fopen(argv[(argv == 0)], \"r\")", "fin = fopen(argv[(filename != 0)], \"r\")", "fin = fopen(argv[(filename == 0)], \"r\")", "fin = fopen(argv[(fin != 0)], \"r\")", "fin = fopen(argv[(fin == 0)], \"r\")", "fin = fopen(argv[1], (&argc))", "fin = fopen(argv[1], (&argv))", "fin = fopen(argv[1], (&filename))", "fin = fopen(argv[1], (&fin))", "fin = fopen(argv[1], (0))"], - "prophet_scores": [{ - "case": 1, - "scores": [-2.44878114428582, -4.6859447442858215, -4.09895517128582] - }, { - "case": 2, - "scores": [-4.09384737128582] - }, { - "case": 3, - "scores": [-4.09384737128582] - }, { - "case": 4, - "scores": [-4.09384737128582] - }, { - "case": 5, - "scores": [-4.09384737128582] - }, { - "case": 6, - "scores": [-4.09384737128582] - }, { - "case": 7, - "scores": [-4.09384737128582] - }, { - "case": 8, - "scores": [-4.09384737128582] - }, { - "case": 9, - "scores": [-4.09384737128582] - }, { - "case": 10, - "scores": [-4.09384737128582] - }, { - "case": 11, - "scores": [-4.09384737128582] - }, { - "case": 12, - "scores": [-4.09384737128582] - }, { - "case": 13, - "scores": [-4.09384737128582] - }, { - "case": 14, - "scores": [-4.09384737128582] - }, { - "case": 15, - "scores": [-4.09384737128582] - }, { - "case": 16, - "scores": [-4.09384737128582] - }, { - "case": 17, - "scores": [-4.09384737128582] - }, { - "case": 18, - "scores": [-4.09384737128582] - }, { - "case": 19, - "scores": [-4.09384737128582] - }, { - "case": 20, - "scores": [-4.09384737128582] - }, { - "case": 21, - "scores": [-4.09384737128582] - }, { - "case": 22, - "scores": [-4.09384737128582] - }, { - "case": 23, - "scores": [-4.09384737128582] - }, { - "case": 24, - "scores": [-4.09384737128582] - }, { - "case": 25, - "scores": [-4.09384737128582] - }, { - "case": 26, - "scores": [-4.09384737128582] - }, { - "case": 27, - "scores": [-4.09384737128582] - }, { - "case": 28, - "scores": [-4.09384737128582] - }, { - "case": 29, - "scores": [-4.09384737128582] - }, { - "case": 30, - "scores": [-4.09384737128582] - }, { - "case": 31, - "scores": [-4.09384737128582] - }, { - "case": 32, - "scores": [-4.09384737128582] - }, { - "case": 33, - "scores": [-4.09384737128582] - }] - }] - }, { - "line": 8, - "switches": [] - }, { - "line": 11, - "switches": [] - }, { - "line": 12, - "switches": [{ - "switch": 4, - "types": [[], [], [], [], [26, 27, 28, 29, 30], [], [], [], [], [20, 21, 22, 23, 24, 25], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [], [], [], [], [], [], []], - "begin_line": 13, - "begin_column": 0, - "end_line": 13, - "end_column": 0, - "patch_codes": ["c = (-1)", "c = (0)", "c = (1)", "c = (60)", "c = (c)", "c = _IO_getc((fin))", "c = _IO_getc(fin && !(1 << 5))", "fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "filename[i] = (c)", "filename[i] = c && !(1 << 5)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "c = _IO_getc(fin)", "fclose(fin)", "filename[i] = '\\x00'", "filename[i] = c", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L13\", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n break;\n", "if (__is_neg(\"\", \"L13\", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L13\", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L13\", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L13\", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.013036542015743] - }, { - "case": 2, - "scores": [-4.013036542015743] - }, { - "case": 3, - "scores": [-4.013036542015743] - }, { - "case": 4, - "scores": [-4.013036542015743] - }, { - "case": 5, - "scores": [-4.013036542015743] - }, { - "case": 6, - "scores": [-4.013036542015743] - }, { - "case": 7, - "scores": [-4.013036542015743] - }, { - "case": 8, - "scores": [-4.013036542015743] - }, { - "case": 9, - "scores": [-4.013036542015743] - }, { - "case": 10, - "scores": [-4.013036542015743] - }, { - "case": 11, - "scores": [-4.013036542015743] - }, { - "case": 12, - "scores": [-4.013036542015743] - }, { - "case": 13, - "scores": [-4.013036542015743] - }, { - "case": 14, - "scores": [-4.013036542015743] - }, { - "case": 15, - "scores": [-4.013036542015743] - }, { - "case": 16, - "scores": [-4.013036542015743] - }, { - "case": 17, - "scores": [-4.013036542015743] - }, { - "case": 18, - "scores": [-4.013036542015743] - }, { - "case": 19, - "scores": [-4.013036542015743] - }, { - "case": 20, - "scores": [-4.013036542015743] - }, { - "case": 21, - "scores": [-4.013036542015743] - }, { - "case": 22, - "scores": [-4.013036542015743] - }, { - "case": 23, - "scores": [-4.013036542015743] - }, { - "case": 24, - "scores": [-4.013036542015743] - }, { - "case": 25, - "scores": [-4.013036542015743] - }, { - "case": 26, - "scores": [-4.2218052520157432, -6.5038843692157426, -5.8073213250157432, -6.1622661820157427, -6.0728434820157426] - }, { - "case": 27, - "scores": [-6.5844952520157429, -8.8665743692157442, -8.1700113250157429, -8.52495618201574, -8.43553348201574] - }, { - "case": 28, - "scores": [-4.321713452015743, -6.6037925692157424, -5.9072295250157429, -6.2621743820157425, -6.1727516820157424] - }, { - "case": 29, - "scores": [-6.5844952520157429, -8.8665743692157442, -8.1700113250157429, -8.52495618201574, -8.43553348201574] - }, { - "case": 30, - "scores": [-6.5844952520157429, -8.8665743692157442, -8.1700113250157429, -8.52495618201574, -8.43553348201574] - }] - }, { - "switch": 5, - "types": [[], [], [1], [], [], [], [37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49], [], [15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36], [], [], [], [], [2, 3, 4, 5, 6, 7, 8, 9], [], [], [], [10], [11, 12, 13, 14]], - "begin_line": 13, - "begin_column": 2, - "end_line": 13, - "end_column": 7, - "patch_codes": ["if (!__is_neg(\"\", \"L13\", 5, &(fin), sizeof (fin), &(c), sizeof (c), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n c = _IO_getc(fin);\n", "__overflow(fin, -1)", "__overflow(fin, 0)", "__overflow(fin, 1)", "__overflow(fin, 60)", "__overflow(fin, argc)", "__overflow(fin, i)", "fgetpos(fin, 0)", "fsetpos(fin, 0)", "{\n}\n", "c *= _IO_getc(fin)", "c += _IO_getc(fin)", "c -= _IO_getc(fin)", "c /= _IO_getc(fin)", "c = _IO_feof(fin)", "c = _IO_ferror(fin)", "c = _IO_ftrylockfile(fin)", "c = _IO_peekc_locked(fin)", "c = __uflow(fin)", "c = __underflow(fin)", "c = fclose(fin)", "c = feof(fin)", "c = feof_unlocked(fin)", "c = ferror(fin)", "c = ferror_unlocked(fin)", "c = fflush(fin)", "c = fflush_unlocked(fin)", "c = fgetc(fin)", "c = fgetc_unlocked(fin)", "c = fileno(fin)", "c = fileno_unlocked(fin)", "c = ftrylockfile(fin)", "c = getc(fin)", "c = getc_unlocked(fin)", "c = getw(fin)", "c = pclose(fin)", "c = (-1)", "c = (0)", "c = (1)", "c = (60)", "c = (c)", "c = _IO_getc((&argc))", "c = _IO_getc((&argv))", "c = _IO_getc((&c))", "c = _IO_getc((&filename))", "c = _IO_getc((&fin))", "c = _IO_getc((&i))", "c = _IO_getc((fin))", "c = _IO_getc(fin && !(1 << 5))"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.4423803950157428, -3.4263148950157429, -3.9076090950157427, -5.418103522015743, -4.9811385220157431] - }, { - "case": 2, - "scores": [-4.013036542015743] - }, { - "case": 3, - "scores": [-4.013036542015743] - }, { - "case": 4, - "scores": [-4.013036542015743] - }, { - "case": 5, - "scores": [-4.013036542015743] - }, { - "case": 6, - "scores": [-4.013036542015743] - }, { - "case": 7, - "scores": [-4.013036542015743] - }, { - "case": 8, - "scores": [-4.013036542015743] - }, { - "case": 9, - "scores": [-4.013036542015743] - }, { - "case": 10, - "scores": [-4.013036542015743] - }, { - "case": 11, - "scores": [-4.013036542015743] - }, { - "case": 12, - "scores": [-4.013036542015743] - }, { - "case": 13, - "scores": [-4.013036542015743] - }, { - "case": 14, - "scores": [-4.013036542015743] - }, { - "case": 15, - "scores": [-4.013036542015743] - }, { - "case": 16, - "scores": [-4.013036542015743] - }, { - "case": 17, - "scores": [-4.013036542015743] - }, { - "case": 18, - "scores": [-4.013036542015743] - }, { - "case": 19, - "scores": [-4.013036542015743] - }, { - "case": 20, - "scores": [-4.013036542015743] - }, { - "case": 21, - "scores": [-4.013036542015743] - }, { - "case": 22, - "scores": [-4.013036542015743] - }, { - "case": 23, - "scores": [-4.013036542015743] - }, { - "case": 24, - "scores": [-4.013036542015743] - }, { - "case": 25, - "scores": [-4.013036542015743] - }, { - "case": 26, - "scores": [-4.013036542015743] - }, { - "case": 27, - "scores": [-4.013036542015743] - }, { - "case": 28, - "scores": [-4.013036542015743] - }, { - "case": 29, - "scores": [-4.013036542015743] - }, { - "case": 30, - "scores": [-4.013036542015743] - }, { - "case": 31, - "scores": [-4.013036542015743] - }, { - "case": 32, - "scores": [-4.013036542015743] - }, { - "case": 33, - "scores": [-4.013036542015743] - }, { - "case": 34, - "scores": [-4.013036542015743] - }, { - "case": 35, - "scores": [-4.013036542015743] - }, { - "case": 36, - "scores": [-4.013036542015743] - }, { - "case": 37, - "scores": [-4.013036542015743] - }, { - "case": 38, - "scores": [-4.013036542015743] - }, { - "case": 39, - "scores": [-4.013036542015743] - }, { - "case": 40, - "scores": [-4.013036542015743] - }, { - "case": 41, - "scores": [-4.013036542015743] - }, { - "case": 42, - "scores": [-4.013036542015743] - }, { - "case": 43, - "scores": [-4.013036542015743] - }, { - "case": 44, - "scores": [-4.013036542015743] - }, { - "case": 45, - "scores": [-4.013036542015743] - }, { - "case": 46, - "scores": [-4.013036542015743] - }, { - "case": 47, - "scores": [-4.013036542015743] - }, { - "case": 48, - "scores": [-4.013036542015743] - }, { - "case": 49, - "scores": [-4.013036542015743] - }] - }] - }, { - "line": 13, - "switches": [{ - "switch": 6, - "types": [[], [], [], [], [26, 27, 28, 29, 30], [], [], [], [], [20, 21, 22, 23, 24, 25], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [], [], [], [], [], [], []], - "begin_line": 14, - "begin_column": 7, - "end_line": 14, - "end_column": 7, - "patch_codes": ["c = (-1)", "c = (0)", "c = (1)", "c = (60)", "c = (c)", "c = _IO_getc((fin))", "c = _IO_getc(fin && !(1 << 5))", "fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "filename[i] = (c)", "filename[i] = c && !(1 << 5)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "c = _IO_getc(fin)", "fclose(fin)", "filename[i] = '\\x00'", "filename[i] = c", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n break;\n", "if (__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.9928338346982239] - }, { - "case": 2, - "scores": [-3.9928338346982239] - }, { - "case": 3, - "scores": [-3.9928338346982239] - }, { - "case": 4, - "scores": [-3.9928338346982239] - }, { - "case": 5, - "scores": [-3.9928338346982239] - }, { - "case": 6, - "scores": [-3.9928338346982239] - }, { - "case": 7, - "scores": [-3.9928338346982239] - }, { - "case": 8, - "scores": [-3.9928338346982239] - }, { - "case": 9, - "scores": [-3.9928338346982239] - }, { - "case": 10, - "scores": [-3.9928338346982239] - }, { - "case": 11, - "scores": [-3.9928338346982239] - }, { - "case": 12, - "scores": [-3.9928338346982239] - }, { - "case": 13, - "scores": [-3.9928338346982239] - }, { - "case": 14, - "scores": [-3.9928338346982239] - }, { - "case": 15, - "scores": [-3.9928338346982239] - }, { - "case": 16, - "scores": [-3.9928338346982239] - }, { - "case": 17, - "scores": [-3.9928338346982239] - }, { - "case": 18, - "scores": [-3.9928338346982239] - }, { - "case": 19, - "scores": [-3.9928338346982239] - }, { - "case": 20, - "scores": [-3.9928338346982239] - }, { - "case": 21, - "scores": [-3.9928338346982239] - }, { - "case": 22, - "scores": [-3.9928338346982239] - }, { - "case": 23, - "scores": [-3.9928338346982239] - }, { - "case": 24, - "scores": [-3.9928338346982239] - }, { - "case": 25, - "scores": [-3.9928338346982239] - }, { - "case": 26, - "scores": [-4.5355262446982243, -6.8935148043982242, -5.9963231020982235, -7.1619063746982246, -7.0724836746982245] - }, { - "case": 27, - "scores": [-6.898216244698224, -9.2562048043982248, -8.3590131020982241, -9.5245963746982252, -9.4351736746982251] - }, { - "case": 28, - "scores": [-4.6354344446982241, -6.993423004398224, -6.0962313020982233, -7.2618145746982243, -7.1723918746982243] - }, { - "case": 29, - "scores": [-6.898216244698224, -9.2562048043982248, -8.3590131020982241, -9.5245963746982252, -9.4351736746982251] - }, { - "case": 30, - "scores": [-6.898216244698224, -9.2562048043982248, -8.3590131020982241, -9.5245963746982252, -9.4351736746982251] - }] - }, { - "switch": 7, - "types": [[3], [1], [], [], [], [], [], [], [], [], [], [], [2], [], [], [], [], []], - "begin_line": 14, - "begin_column": 9, - "end_line": 17, - "end_column": 9, - "patch_codes": ["if ((c == (-1)) || __is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) {\n filename[i] = '\\x00';\n break;\n}\n", "if (__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) {\n filename[i] = '\\x00';\n break;\n}\n", "if ((c == (-1)) && !__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc))) {\n filename[i] = '\\x00';\n break;\n}\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-0.16817539842814666, -4.3216006981281456, -2.8964501514281462, -4.4069445784281456, -3.9699795784281458] - }, { - "case": 2, - "scores": [-0.48184371422814509, -4.6352690139281467, -3.2101184672281455, -4.7206128942281458, -4.283647894228146] - }, { - "case": 3, - "scores": [-0.16817539842814666, -4.3216006981281456, -2.8964501514281462, -4.4069445784281456, -3.9699795784281458] - }] - }, { - "switch": 8, - "types": [[], [], [1], [], [], [], [], [], [], [], [], [], [], [], [], [], [], []], - "begin_line": 14, - "begin_column": 9, - "end_line": 17, - "end_column": 9, - "patch_codes": ["if (!__is_neg(\"\", \"L14\", 5, &(c), sizeof (c), &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n if (c == (-1)) {\n filename[i] = '\\x00';\n break;\n }\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-1.3588981546982244, -5.5123234543982242, -4.0871729076982239, -5.5976673346982242, -5.1607023346982235] - }] - }] - }, { - "line": 17, - "switches": [{ - "switch": 9, - "types": [[], [], [], [], [26, 27, 28, 29, 30], [], [], [], [], [20, 21, 22, 23, 24, 25], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [], [], [], [], [], [], []], - "begin_line": 18, - "begin_column": 7, - "end_line": 18, - "end_column": 7, - "patch_codes": ["c = (-1)", "c = (0)", "c = (1)", "c = (60)", "c = (c)", "c = _IO_getc((fin))", "c = _IO_getc(fin && !(1 << 5))", "fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "filename[i] = (c)", "filename[i] = c && !(1 << 5)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "c = _IO_getc(fin)", "fclose(fin)", "filename[i] = '\\x00'", "filename[i] = c", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n break;\n", "if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.9726311273807045] - }, { - "case": 2, - "scores": [-3.9726311273807045] - }, { - "case": 3, - "scores": [-3.9726311273807045] - }, { - "case": 4, - "scores": [-3.9726311273807045] - }, { - "case": 5, - "scores": [-3.9726311273807045] - }, { - "case": 6, - "scores": [-3.9726311273807045] - }, { - "case": 7, - "scores": [-3.9726311273807045] - }, { - "case": 8, - "scores": [-3.9726311273807045] - }, { - "case": 9, - "scores": [-3.9726311273807045] - }, { - "case": 10, - "scores": [-3.9726311273807045] - }, { - "case": 11, - "scores": [-3.9726311273807045] - }, { - "case": 12, - "scores": [-3.9726311273807045] - }, { - "case": 13, - "scores": [-3.9726311273807045] - }, { - "case": 14, - "scores": [-3.9726311273807045] - }, { - "case": 15, - "scores": [-3.9726311273807045] - }, { - "case": 16, - "scores": [-3.9726311273807045] - }, { - "case": 17, - "scores": [-3.9726311273807045] - }, { - "case": 18, - "scores": [-3.9726311273807045] - }, { - "case": 19, - "scores": [-3.9726311273807045] - }, { - "case": 20, - "scores": [-3.9726311273807045] - }, { - "case": 21, - "scores": [-3.9726311273807045] - }, { - "case": 22, - "scores": [-3.9726311273807045] - }, { - "case": 23, - "scores": [-3.9726311273807045] - }, { - "case": 24, - "scores": [-3.9726311273807045] - }, { - "case": 25, - "scores": [-3.9726311273807045] - }, { - "case": 26, - "scores": [-4.8802279837807045, -2.7795199155807042, -5.9174321970807044, -6.1858237673807039, -6.0964010673807039] - }, { - "case": 27, - "scores": [-7.2429179837807052, -5.1422099155807048, -8.2801221970807042, -8.5485137673807046, -8.4590910673807045] - }, { - "case": 28, - "scores": [-4.9801361837807043, -2.8794281155807044, -6.0173403970807042, -6.2857319673807037, -6.1963092673807036] - }, { - "case": 29, - "scores": [-7.2429179837807052, -5.1422099155807048, -8.2801221970807042, -8.5485137673807046, -8.4590910673807045] - }, { - "case": 30, - "scores": [-7.2429179837807052, -5.1422099155807048, -8.2801221970807042, -8.5485137673807046, -8.4590910673807045] - }] - }, { - "switch": 10, - "types": [[], [], [1], [], [], [], [12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56], [], [], [], [], [], [], [], [], [], [], [7], [8, 9, 10, 11], [2, 3, 4, 5, 6]], - "begin_line": 18, - "begin_column": 9, - "end_line": 18, - "end_column": 23, - "patch_codes": ["if (!__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n filename[i] = c;\n", "{\n filename[i] = c;\n if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n break;\n}\n", "{\n filename[i] = c;\n if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n}\n", "{\n filename[i] = c;\n if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n}\n", "{\n filename[i] = c;\n if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n}\n", "{\n filename[i] = c;\n if (__is_neg(\"\", \"L18\", 5, &(i), sizeof (i), &(c), sizeof (c), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n}\n", "{\n}\n", "filename[i] *= c", "filename[i] += c", "filename[i] -= c", "filename[i] /= c", "filename[i] = (-1)", "filename[i] = (0 * argc)", "filename[i] = (0 * c)", "filename[i] = (0 * i)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "filename[i] = (argc != 0)", "filename[i] = (argc != c)", "filename[i] = (argc != i)", "filename[i] = (argc * c)", "filename[i] = (argc * i)", "filename[i] = (argc + 0)", "filename[i] = (argc + c)", "filename[i] = (argc + i)", "filename[i] = (argc - 0)", "filename[i] = (argc - c)", "filename[i] = (argc - i)", "filename[i] = (argc == 0)", "filename[i] = (argc == c)", "filename[i] = (argc == i)", "filename[i] = (argv != 0)", "filename[i] = (argv == 0)", "filename[i] = (c != 0)", "filename[i] = (c * argc)", "filename[i] = (c * i)", "filename[i] = (c + 0)", "filename[i] = (c - 0)", "filename[i] = (c == 0)", "filename[i] = (c)", "filename[i] = (filename != 0)", "filename[i] = (filename == 0)", "filename[i] = (fin != 0)", "filename[i] = (fin == 0)", "filename[i] = (i != 0)", "filename[i] = (i != c)", "filename[i] = (i * argc)", "filename[i] = (i * c)", "filename[i] = (i + 0)", "filename[i] = (i + c)", "filename[i] = (i - 0)", "filename[i] = (i - c)", "filename[i] = (i == 0)", "filename[i] = (i == c)", "filename[i] = c && !(1 << 5)"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.4061087003807042, -3.6125237233807046, -5.3942957470807045, -5.4796396273807044, -5.0426746273807046] - }, { - "case": 2, - "scores": [-5.4266301965807049, -4.6330452195807048, -6.4148172432807042, -6.5001611235807033, -6.0631961235807035] - }, { - "case": 3, - "scores": [-5.4266301965807049, -4.6330452195807048, -6.4148172432807042, -6.5001611235807033, -6.0631961235807035] - }, { - "case": 4, - "scores": [-5.4266301965807049, -4.6330452195807048, -6.4148172432807042, -6.5001611235807033, -6.0631961235807035] - }, { - "case": 5, - "scores": [-5.4266301965807049, -4.6330452195807048, -6.4148172432807042, -6.5001611235807033, -6.0631961235807035] - }, { - "case": 6, - "scores": [-5.4266301965807049, -4.6330452195807048, -6.4148172432807042, -6.5001611235807033, -6.0631961235807035] - }, { - "case": 7, - "scores": [-3.9726311273807045] - }, { - "case": 8, - "scores": [-3.9726311273807045] - }, { - "case": 9, - "scores": [-3.9726311273807045] - }, { - "case": 10, - "scores": [-3.9726311273807045] - }, { - "case": 11, - "scores": [-3.9726311273807045] - }, { - "case": 12, - "scores": [-3.9726311273807045] - }, { - "case": 13, - "scores": [-3.9726311273807045] - }, { - "case": 14, - "scores": [-3.9726311273807045] - }, { - "case": 15, - "scores": [-3.9726311273807045] - }, { - "case": 16, - "scores": [-3.9726311273807045] - }, { - "case": 17, - "scores": [-3.9726311273807045] - }, { - "case": 18, - "scores": [-3.9726311273807045] - }, { - "case": 19, - "scores": [-3.9726311273807045] - }, { - "case": 20, - "scores": [-3.9726311273807045] - }, { - "case": 21, - "scores": [-3.9726311273807045] - }, { - "case": 22, - "scores": [-3.9726311273807045] - }, { - "case": 23, - "scores": [-3.9726311273807045] - }, { - "case": 24, - "scores": [-3.9726311273807045] - }, { - "case": 25, - "scores": [-3.9726311273807045] - }, { - "case": 26, - "scores": [-3.9726311273807045] - }, { - "case": 27, - "scores": [-3.9726311273807045] - }, { - "case": 28, - "scores": [-3.9726311273807045] - }, { - "case": 29, - "scores": [-3.9726311273807045] - }, { - "case": 30, - "scores": [-3.9726311273807045] - }, { - "case": 31, - "scores": [-3.9726311273807045] - }, { - "case": 32, - "scores": [-3.9726311273807045] - }, { - "case": 33, - "scores": [-3.9726311273807045] - }, { - "case": 34, - "scores": [-3.9726311273807045] - }, { - "case": 35, - "scores": [-3.9726311273807045] - }, { - "case": 36, - "scores": [-3.9726311273807045] - }, { - "case": 37, - "scores": [-3.9726311273807045] - }, { - "case": 38, - "scores": [-3.9726311273807045] - }, { - "case": 39, - "scores": [-3.9726311273807045] - }, { - "case": 40, - "scores": [-3.9726311273807045] - }, { - "case": 41, - "scores": [-3.9726311273807045] - }, { - "case": 42, - "scores": [-3.9726311273807045] - }, { - "case": 43, - "scores": [-3.9726311273807045] - }, { - "case": 44, - "scores": [-3.9726311273807045] - }, { - "case": 45, - "scores": [-3.9726311273807045] - }, { - "case": 46, - "scores": [-3.9726311273807045] - }, { - "case": 47, - "scores": [-3.9726311273807045] - }, { - "case": 48, - "scores": [-3.9726311273807045] - }, { - "case": 49, - "scores": [-3.9726311273807045] - }, { - "case": 50, - "scores": [-3.9726311273807045] - }, { - "case": 51, - "scores": [-3.9726311273807045] - }, { - "case": 52, - "scores": [-3.9726311273807045] - }, { - "case": 53, - "scores": [-3.9726311273807045] - }, { - "case": 54, - "scores": [-3.9726311273807045] - }, { - "case": 55, - "scores": [-3.9726311273807045] - }, { - "case": 56, - "scores": [-3.9726311273807045] - }] - }] - }, { - "line": 10, - "switches": [{ - "switch": 2, - "types": [[], [], [], [], [15, 16, 17, 18], [], [], [], [], [11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [], [], [], [], [], [], []], - "begin_line": 11, - "begin_column": 3, - "end_line": 11, - "end_column": 3, - "patch_codes": ["fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "fclose(fin)", "filename[i] = '\\x00'", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.053441956650782] - }, { - "case": 2, - "scores": [-4.053441956650782] - }, { - "case": 3, - "scores": [-4.053441956650782] - }, { - "case": 4, - "scores": [-4.053441956650782] - }, { - "case": 5, - "scores": [-4.053441956650782] - }, { - "case": 6, - "scores": [-4.053441956650782] - }, { - "case": 7, - "scores": [-4.053441956650782] - }, { - "case": 8, - "scores": [-4.053441956650782] - }, { - "case": 9, - "scores": [-4.053441956650782] - }, { - "case": 10, - "scores": [-4.053441956650782] - }, { - "case": 11, - "scores": [-4.053441956650782] - }, { - "case": 12, - "scores": [-4.053441956650782] - }, { - "case": 13, - "scores": [-4.053441956650782] - }, { - "case": 14, - "scores": [-4.053441956650782] - }, { - "case": 15, - "scores": [-7.554296080750782, -4.33819252865078, -8.72588425865078, -8.46411575865078] - }, { - "case": 16, - "scores": [-5.291514280750782, -2.0754107286507812, -6.4631024586507815, -6.2013339586507819] - }, { - "case": 17, - "scores": [-7.554296080750782, -4.33819252865078, -8.72588425865078, -8.46411575865078] - }, { - "case": 18, - "scores": [-7.554296080750782, -4.33819252865078, -8.72588425865078, -8.46411575865078] - }] - }, { - "switch": 3, - "types": [[], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [1, 2]], - "begin_line": 11, - "begin_column": 5, - "end_line": 19, - "end_column": 5, - "patch_codes": ["for (i = 0; (i <= 60) && !__is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)); i++) {\n char c;\n c = _IO_getc(fin);\n if (c == (-1)) {\n filename[i] = '\\x00';\n break;\n }\n filename[i] = c;\n}\n", "for (i = 0; (i <= 60) || __is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)); i++) {\n char c;\n c = _IO_getc(fin);\n if (c == (-1)) {\n filename[i] = '\\x00';\n break;\n }\n filename[i] = c;\n}\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.5351210951507817, -3.2830409091507815, -5.085181139150782, -4.4448596891507819] - }, { - "case": 2, - "scores": [-4.5351210951507817, -3.2830409091507815, -5.085181139150782, -4.4448596891507819] - }] - }, { - "switch": 11, - "types": [[], [], [1], [], [], [], [], [], [], [], [], [], [], [], [], [], [], []], - "begin_line": 11, - "begin_column": 5, - "end_line": 19, - "end_column": 5, - "patch_codes": ["if (!__is_neg(\"\", \"L11\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n for (i = 0; i <= 60; i++) {\n char c;\n c = _IO_getc(fin);\n if (c == (-1)) {\n filename[i] = '\\x00';\n break;\n }\n filename[i] = c;\n }\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.8000306626507818, -3.5479504766507826, -5.3500907066507821, -4.7097692566507821] - }] - }] - }, { - "line": 19, - "switches": [{ - "switch": 12, - "types": [[], [], [], [], [15, 16, 17, 18], [], [], [], [], [11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [], [], [], [], [], [], []], - "begin_line": 20, - "begin_column": 3, - "end_line": 20, - "end_column": 3, - "patch_codes": ["fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "fclose(fin)", "filename[i] = '\\x00'", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L20\", 4, &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L20\", 4, &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L20\", 4, &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L20\", 4, &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.952428420063185] - }, { - "case": 2, - "scores": [-3.952428420063185] - }, { - "case": 3, - "scores": [-3.952428420063185] - }, { - "case": 4, - "scores": [-3.952428420063185] - }, { - "case": 5, - "scores": [-3.952428420063185] - }, { - "case": 6, - "scores": [-3.952428420063185] - }, { - "case": 7, - "scores": [-3.952428420063185] - }, { - "case": 8, - "scores": [-3.952428420063185] - }, { - "case": 9, - "scores": [-3.952428420063185] - }, { - "case": 10, - "scores": [-3.952428420063185] - }, { - "case": 11, - "scores": [-3.952428420063185] - }, { - "case": 12, - "scores": [-3.952428420063185] - }, { - "case": 13, - "scores": [-3.952428420063185] - }, { - "case": 14, - "scores": [-3.952428420063185] - }, { - "case": 15, - "scores": [-5.4074047097631848, -7.4054919210631844, -8.7392028800631838, -8.4774343800631851] - }, { - "case": 16, - "scores": [-3.1446229097631848, -5.1427101210631845, -6.4764210800631847, -6.2146525800631842] - }, { - "case": 17, - "scores": [-5.4074047097631848, -7.4054919210631844, -8.7392028800631838, -8.4774343800631851] - }, { - "case": 18, - "scores": [-5.4074047097631848, -7.4054919210631844, -8.7392028800631838, -8.4774343800631851] - }] - }, { - "switch": 13, - "types": [[], [], [1], [], [], [], [45, 46, 47, 48, 49, 50, 51], [], [12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44], [], [], [], [], [2, 3, 4, 5, 6, 7, 8, 9, 10], [], [], [], [11]], - "begin_line": 20, - "begin_column": 5, - "end_line": 20, - "end_column": 15, - "patch_codes": ["if (!__is_neg(\"\", \"L20\", 4, &(fin), sizeof (fin), &(i), sizeof (i), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n fclose(fin);\n", "__overflow(fin, -1)", "__overflow(fin, 0)", "__overflow(fin, 1)", "__overflow(fin, 60)", "__overflow(fin, argc)", "__overflow(fin, i)", "fgetpos(fin, 0)", "fsetpos(fin, 0)", "setbuf(fin, 0)", "{\n}\n", "_IO_feof(fin)", "_IO_ferror(fin)", "_IO_flockfile(fin)", "_IO_free_backup_area(fin)", "_IO_ftrylockfile(fin)", "_IO_funlockfile(fin)", "_IO_getc(fin)", "_IO_peekc_locked(fin)", "__uflow(fin)", "__underflow(fin)", "clearerr(fin)", "clearerr_unlocked(fin)", "feof(fin)", "feof_unlocked(fin)", "ferror(fin)", "ferror_unlocked(fin)", "fflush(fin)", "fflush_unlocked(fin)", "fgetc(fin)", "fgetc_unlocked(fin)", "fileno(fin)", "fileno_unlocked(fin)", "flockfile(fin)", "ftell(fin)", "ftello(fin)", "ftrylockfile(fin)", "funlockfile(fin)", "getc(fin)", "getc_unlocked(fin)", "getw(fin)", "pclose(fin)", "rewind(fin)", "setlinebuf(fin)", "fclose((&argc))", "fclose((&argv))", "fclose((&filename))", "fclose((&fin))", "fclose((&i))", "fclose((fin))", "fclose(fin && !(1 << 5))"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.4261965867631856, -4.1572359850631848, -4.8775696700631848, -4.2372482200631847] - }, { - "case": 2, - "scores": [-3.952428420063185] - }, { - "case": 3, - "scores": [-3.952428420063185] - }, { - "case": 4, - "scores": [-3.952428420063185] - }, { - "case": 5, - "scores": [-3.952428420063185] - }, { - "case": 6, - "scores": [-3.952428420063185] - }, { - "case": 7, - "scores": [-3.952428420063185] - }, { - "case": 8, - "scores": [-3.952428420063185] - }, { - "case": 9, - "scores": [-3.952428420063185] - }, { - "case": 10, - "scores": [-3.952428420063185] - }, { - "case": 11, - "scores": [-3.952428420063185] - }, { - "case": 12, - "scores": [-3.952428420063185] - }, { - "case": 13, - "scores": [-3.952428420063185] - }, { - "case": 14, - "scores": [-3.952428420063185] - }, { - "case": 15, - "scores": [-3.952428420063185] - }, { - "case": 16, - "scores": [-3.952428420063185] - }, { - "case": 17, - "scores": [-3.952428420063185] - }, { - "case": 18, - "scores": [-3.952428420063185] - }, { - "case": 19, - "scores": [-3.952428420063185] - }, { - "case": 20, - "scores": [-3.952428420063185] - }, { - "case": 21, - "scores": [-3.952428420063185] - }, { - "case": 22, - "scores": [-3.952428420063185] - }, { - "case": 23, - "scores": [-3.952428420063185] - }, { - "case": 24, - "scores": [-3.952428420063185] - }, { - "case": 25, - "scores": [-3.952428420063185] - }, { - "case": 26, - "scores": [-3.952428420063185] - }, { - "case": 27, - "scores": [-3.952428420063185] - }, { - "case": 28, - "scores": [-3.952428420063185] - }, { - "case": 29, - "scores": [-3.952428420063185] - }, { - "case": 30, - "scores": [-3.952428420063185] - }, { - "case": 31, - "scores": [-3.952428420063185] - }, { - "case": 32, - "scores": [-3.952428420063185] - }, { - "case": 33, - "scores": [-3.952428420063185] - }, { - "case": 34, - "scores": [-3.952428420063185] - }, { - "case": 35, - "scores": [-3.952428420063185] - }, { - "case": 36, - "scores": [-3.952428420063185] - }, { - "case": 37, - "scores": [-3.952428420063185] - }, { - "case": 38, - "scores": [-3.952428420063185] - }, { - "case": 39, - "scores": [-3.952428420063185] - }, { - "case": 40, - "scores": [-3.952428420063185] - }, { - "case": 41, - "scores": [-3.952428420063185] - }, { - "case": 42, - "scores": [-3.952428420063185] - }, { - "case": 43, - "scores": [-3.952428420063185] - }, { - "case": 44, - "scores": [-3.952428420063185] - }, { - "case": 45, - "scores": [-3.952428420063185] - }, { - "case": 46, - "scores": [-3.952428420063185] - }, { - "case": 47, - "scores": [-3.952428420063185] - }, { - "case": 48, - "scores": [-3.952428420063185] - }, { - "case": 49, - "scores": [-3.952428420063185] - }, { - "case": 50, - "scores": [-3.952428420063185] - }, { - "case": 51, - "scores": [-3.952428420063185] - }] - }] - }, { - "line": 20, - "switches": [{ - "switch": 14, - "types": [[], [], [], [], [15, 16, 17, 18], [], [], [], [], [11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [], [], [], [], [], [], []], - "begin_line": 21, - "begin_column": 3, - "end_line": 21, - "end_column": 3, - "patch_codes": ["fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "fclose(fin)", "filename[i] = '\\x00'", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L21\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L21\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L21\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L21\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.9322257127456655] - }, { - "case": 2, - "scores": [-3.9322257127456655] - }, { - "case": 3, - "scores": [-3.9322257127456655] - }, { - "case": 4, - "scores": [-3.9322257127456655] - }, { - "case": 5, - "scores": [-3.9322257127456655] - }, { - "case": 6, - "scores": [-3.9322257127456655] - }, { - "case": 7, - "scores": [-3.9322257127456655] - }, { - "case": 8, - "scores": [-3.9322257127456655] - }, { - "case": 9, - "scores": [-3.9322257127456655] - }, { - "case": 10, - "scores": [-3.9322257127456655] - }, { - "case": 11, - "scores": [-3.9322257127456655] - }, { - "case": 12, - "scores": [-3.9322257127456655] - }, { - "case": 13, - "scores": [-3.9322257127456655] - }, { - "case": 14, - "scores": [-3.9322257127456655] - }, { - "case": 15, - "scores": [-5.9836064137456653, -8.0242278024456652, -8.2926193727456656, -8.2031966727456656] - }, { - "case": 16, - "scores": [-3.7208246137456658, -5.7614460024456653, -6.0298375727456648, -5.9404148727456647] - }, { - "case": 17, - "scores": [-5.9836064137456653, -8.0242278024456652, -8.2926193727456656, -8.2031966727456656] - }, { - "case": 18, - "scores": [-5.9836064137456653, -8.0242278024456652, -8.2926193727456656, -8.2031966727456656] - }] - }, { - "switch": 15, - "types": [[], [], [1], [], [], [], [14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45], [], [12, 13], [], [], [], [], [2, 3, 4, 5, 6, 7, 8, 9, 10], [], [], [], [11]], - "begin_line": 21, - "begin_column": 5, - "end_line": 21, - "end_column": 21, - "patch_codes": ["if (!__is_neg(\"\", \"L21\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n printf(\"%d\\n\", i);\n", "_IO_padn(\"%d\\n\", i, -1)", "_IO_padn(\"%d\\n\", i, 0)", "_IO_padn(\"%d\\n\", i, 1)", "_IO_padn(\"%d\\n\", i, 60)", "fgets(\"%d\\n\", i, 0)", "memset(\"%d\\n\", i, -1)", "memset(\"%d\\n\", i, 0)", "memset(\"%d\\n\", i, 1)", "memset(\"%d\\n\", i, 60)", "{\n}\n", "__overflow(\"%d\\n\", i)", "printf(\"%d\\n\", i)", "printf(\"%d\\n or the directory does not exist\", i)", "printf(\"%d\\n\", (0 * argc))", "printf(\"%d\\n\", (0 * i))", "printf(\"%d\\n\", (argc != 0))", "printf(\"%d\\n\", (argc != i))", "printf(\"%d\\n\", (argc * i))", "printf(\"%d\\n\", (argc + 0))", "printf(\"%d\\n\", (argc + i))", "printf(\"%d\\n\", (argc - 0))", "printf(\"%d\\n\", (argc - i))", "printf(\"%d\\n\", (argc == 0))", "printf(\"%d\\n\", (argc == i))", "printf(\"%d\\n\", (argc))", "printf(\"%d\\n\", (argv != 0))", "printf(\"%d\\n\", (argv == 0))", "printf(\"%d\\n\", (filename != 0))", "printf(\"%d\\n\", (filename == 0))", "printf(\"%d\\n\", (fin != 0))", "printf(\"%d\\n\", (fin == 0))", "printf(\"%d\\n\", (i != 0))", "printf(\"%d\\n\", (i * argc))", "printf(\"%d\\n\", (i + 0))", "printf(\"%d\\n\", (i - 0))", "printf(\"%d\\n\", (i == 0))", "printf(\"%d\\n\", (i))", "printf(\"%d\\n\", i && !(1 << 5))", "printf((&argc), i)", "printf((&argv), i)", "printf((&filename), i)", "printf((&fin), i)", "printf((&i), i)", "printf((0), i)"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.637234080745666, -4.1591656354456656, -4.2445095157456656, -3.8075445157456653] - }, { - "case": 2, - "scores": [-3.9322257127456655] - }, { - "case": 3, - "scores": [-3.9322257127456655] - }, { - "case": 4, - "scores": [-3.9322257127456655] - }, { - "case": 5, - "scores": [-3.9322257127456655] - }, { - "case": 6, - "scores": [-3.9322257127456655] - }, { - "case": 7, - "scores": [-3.9322257127456655] - }, { - "case": 8, - "scores": [-3.9322257127456655] - }, { - "case": 9, - "scores": [-3.9322257127456655] - }, { - "case": 10, - "scores": [-3.9322257127456655] - }, { - "case": 11, - "scores": [-3.9322257127456655] - }, { - "case": 12, - "scores": [-3.9322257127456655] - }, { - "case": 13, - "scores": [-3.9322257127456655] - }, { - "case": 14, - "scores": [-3.9322257127456655] - }, { - "case": 15, - "scores": [-3.9322257127456655] - }, { - "case": 16, - "scores": [-3.9322257127456655] - }, { - "case": 17, - "scores": [-3.9322257127456655] - }, { - "case": 18, - "scores": [-3.9322257127456655] - }, { - "case": 19, - "scores": [-3.9322257127456655] - }, { - "case": 20, - "scores": [-3.9322257127456655] - }, { - "case": 21, - "scores": [-3.9322257127456655] - }, { - "case": 22, - "scores": [-3.9322257127456655] - }, { - "case": 23, - "scores": [-3.9322257127456655] - }, { - "case": 24, - "scores": [-3.9322257127456655] - }, { - "case": 25, - "scores": [-3.9322257127456655] - }, { - "case": 26, - "scores": [-3.9322257127456655] - }, { - "case": 27, - "scores": [-3.9322257127456655] - }, { - "case": 28, - "scores": [-3.9322257127456655] - }, { - "case": 29, - "scores": [-3.9322257127456655] - }, { - "case": 30, - "scores": [-3.9322257127456655] - }, { - "case": 31, - "scores": [-3.9322257127456655] - }, { - "case": 32, - "scores": [-3.9322257127456655] - }, { - "case": 33, - "scores": [-3.9322257127456655] - }, { - "case": 34, - "scores": [-3.9322257127456655] - }, { - "case": 35, - "scores": [-3.9322257127456655] - }, { - "case": 36, - "scores": [-3.9322257127456655] - }, { - "case": 37, - "scores": [-3.9322257127456655] - }, { - "case": 38, - "scores": [-3.9322257127456655] - }, { - "case": 39, - "scores": [-3.9322257127456655] - }, { - "case": 40, - "scores": [-3.9322257127456655] - }, { - "case": 41, - "scores": [-3.9322257127456655] - }, { - "case": 42, - "scores": [-3.9322257127456655] - }, { - "case": 43, - "scores": [-3.9322257127456655] - }, { - "case": 44, - "scores": [-3.9322257127456655] - }, { - "case": 45, - "scores": [-3.9322257127456655] - }] - }] - }, { - "line": 21, - "switches": [{ - "switch": 16, - "types": [[], [], [], [], [15, 16, 17, 18], [], [], [], [], [11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [], [], [], [], [], [], []], - "begin_line": 22, - "begin_column": 3, - "end_line": 22, - "end_column": 3, - "patch_codes": ["fclose((fin))", "fclose(fin && !(1 << 5))", "filename[i] = (-1)", "filename[i] = (0)", "filename[i] = (1)", "filename[i] = (60)", "fin = (fin)", "fin = fopen((argv)[1], \"r\")", "fin = fopen(argv && !(1 << 5)[1], \"r\")", "printf(\"%d\\n\", i && !(1 << 5))", "fclose(fin)", "filename[i] = '\\x00'", "fin = fopen(argv[1], \"r\")", "printf(\"%d\\n\", i)", "if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n", "if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n", "if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-3.912023005428146] - }, { - "case": 2, - "scores": [-3.912023005428146] - }, { - "case": 3, - "scores": [-3.912023005428146] - }, { - "case": 4, - "scores": [-3.912023005428146] - }, { - "case": 5, - "scores": [-3.912023005428146] - }, { - "case": 6, - "scores": [-3.912023005428146] - }, { - "case": 7, - "scores": [-3.912023005428146] - }, { - "case": 8, - "scores": [-3.912023005428146] - }, { - "case": 9, - "scores": [-3.912023005428146] - }, { - "case": 10, - "scores": [-3.912023005428146] - }, { - "case": 11, - "scores": [-3.912023005428146] - }, { - "case": 12, - "scores": [-3.912023005428146] - }, { - "case": 13, - "scores": [-3.912023005428146] - }, { - "case": 14, - "scores": [-3.912023005428146] - }, { - "case": 15, - "scores": [-6.7587230651281462, -7.6097046841281468, -7.8780962544281454, -7.7886735544281454] - }, { - "case": 16, - "scores": [-4.4959412651281454, -5.346922884128146, -5.6153144544281455, -5.5258917544281463] - }, { - "case": 17, - "scores": [-6.7587230651281462, -7.6097046841281468, -7.8780962544281454, -7.7886735544281454] - }, { - "case": 18, - "scores": [-6.7587230651281462, -7.6097046841281468, -7.8780962544281454, -7.7886735544281454] - }] - }, { - "switch": 17, - "types": [[], [], [1], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [2, 3, 4, 5]], - "begin_line": 22, - "begin_column": 5, - "end_line": 22, - "end_column": 12, - "patch_codes": ["if (!__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n", "{\n return 0;\n if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return -1;\n}\n", "{\n return 0;\n if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 0;\n}\n", "{\n return 0;\n if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 1;\n}\n", "{\n return 0;\n if (__is_neg(\"\", \"L22\", 4, &(i), sizeof (i), &(fin), sizeof (fin), &(argv), sizeof (argv), &(argc), sizeof (argc)))\n return 60;\n}\n"], - "prophet_scores": [{ - "case": 1, - "scores": [-4.7138017931281455, -4.5830624281281462, -4.6684063084281462, -4.2314413084281455] - }, { - "case": 2, - "scores": [-5.6585326991281466, -5.5277933341281456, -5.6131372144281464, -5.1761722144281457] - }, { - "case": 3, - "scores": [-5.6585326991281466, -5.5277933341281456, -5.6131372144281464, -5.1761722144281457] - }, { - "case": 4, - "scores": [-5.6585326991281466, -5.5277933341281456, -5.6131372144281464, -5.1761722144281457] - }, { - "case": 5, - "scores": [-5.6585326991281466, -5.5277933341281456, -5.6131372144281464, -5.1761722144281457] - }] - }] - }] - }], - "sizes": [{ - "switch": 0, - "case": 8, - "size": 3 - }, { - "switch": 0, - "case": 9, - "size": 3 - }, { - "switch": 0, - "case": 10, - "size": 3 - }, { - "switch": 0, - "case": 11, - "size": 3 - }, { - "switch": 1, - "case": 1, - "size": 3 - }, { - "switch": 2, - "case": 15, - "size": 4 - }, { - "switch": 2, - "case": 16, - "size": 4 - }, { - "switch": 2, - "case": 17, - "size": 4 - }, { - "switch": 2, - "case": 18, - "size": 4 - }, { - "switch": 3, - "case": 1, - "size": 4 - }, { - "switch": 3, - "case": 2, - "size": 4 - }, { - "switch": 4, - "case": 26, - "size": 5 - }, { - "switch": 4, - "case": 27, - "size": 5 - }, { - "switch": 4, - "case": 28, - "size": 5 - }, { - "switch": 4, - "case": 29, - "size": 5 - }, { - "switch": 4, - "case": 30, - "size": 5 - }, { - "switch": 5, - "case": 1, - "size": 5 - }, { - "switch": 6, - "case": 26, - "size": 5 - }, { - "switch": 6, - "case": 27, - "size": 5 - }, { - "switch": 6, - "case": 28, - "size": 5 - }, { - "switch": 6, - "case": 29, - "size": 5 - }, { - "switch": 6, - "case": 30, - "size": 5 - }, { - "switch": 7, - "case": 1, - "size": 5 - }, { - "switch": 7, - "case": 2, - "size": 5 - }, { - "switch": 7, - "case": 3, - "size": 5 - }, { - "switch": 8, - "case": 1, - "size": 5 - }, { - "switch": 9, - "case": 26, - "size": 5 - }, { - "switch": 9, - "case": 27, - "size": 5 - }, { - "switch": 9, - "case": 28, - "size": 5 - }, { - "switch": 9, - "case": 29, - "size": 5 - }, { - "switch": 9, - "case": 30, - "size": 5 - }, { - "switch": 10, - "case": 1, - "size": 5 - }, { - "switch": 10, - "case": 2, - "size": 5 - }, { - "switch": 10, - "case": 3, - "size": 5 - }, { - "switch": 10, - "case": 4, - "size": 5 - }, { - "switch": 10, - "case": 5, - "size": 5 - }, { - "switch": 10, - "case": 6, - "size": 5 - }, { - "switch": 11, - "case": 1, - "size": 4 - }, { - "switch": 12, - "case": 15, - "size": 4 - }, { - "switch": 12, - "case": 16, - "size": 4 - }, { - "switch": 12, - "case": 17, - "size": 4 - }, { - "switch": 12, - "case": 18, - "size": 4 - }, { - "switch": 13, - "case": 1, - "size": 4 - }, { - "switch": 14, - "case": 15, - "size": 4 - }, { - "switch": 14, - "case": 16, - "size": 4 - }, { - "switch": 14, - "case": 17, - "size": 4 - }, { - "switch": 14, - "case": 18, - "size": 4 - }, { - "switch": 15, - "case": 1, - "size": 4 - }, { - "switch": 16, - "case": 15, - "size": 4 - }, { - "switch": 16, - "case": 16, - "size": 4 - }, { - "switch": 16, - "case": 17, - "size": 4 - }, { - "switch": 16, - "case": 18, - "size": 4 - }, { - "switch": 17, - "case": 1, - "size": 4 - }, { - "switch": 17, - "case": 2, - "size": 4 - }, { - "switch": 17, - "case": 3, - "size": 4 - }, { - "switch": 17, - "case": 4, - "size": 4 - }, { - "switch": 17, - "case": 5, - "size": 4 - }], - "func_locations": [{ - "file": "prog.c", - "functions": [{ - "function": "main", - "begin": 5, - "end": 23 - }] - }] -} diff --git a/examples/engagement1/off-by-one/test-info.json b/examples/engagement1/off-by-one/test-info.json deleted file mode 100644 index fea8a9ad2..000000000 --- a/examples/engagement1/off-by-one/test-info.json +++ /dev/null @@ -1,94 +0,0 @@ -[ -{ - "test": 1, - "locations": [{ - "file": "prog.c", - "line": 5 - }, { - "file": "prog.c", - "line": 6 - }, { - "file": "prog.c", - "line": 7 - }, { - "file": "prog.c", - "line": 8 - }, { - "file": "prog.c", - "line": 10 - }, { - "file": "prog.c", - "line": 11 - }, { - "file": "prog.c", - "line": 12 - }, { - "file": "prog.c", - "line": 13 - }, { - "file": "prog.c", - "line": 14 - }, { - "file": "prog.c", - "line": 15 - }, { - "file": "prog.c", - "line": 17 - }, { - "file": "prog.c", - "line": 19 - }, { - "file": "prog.c", - "line": 20 - }, { - "file": "prog.c", - "line": 21 - }] -} -,{ - "test": 2, - "locations": [{ - "file": "prog.c", - "line": 5 - }, { - "file": "prog.c", - "line": 6 - }, { - "file": "prog.c", - "line": 7 - }, { - "file": "prog.c", - "line": 8 - }, { - "file": "prog.c", - "line": 10 - }, { - "file": "prog.c", - "line": 11 - }, { - "file": "prog.c", - "line": 12 - }, { - "file": "prog.c", - "line": 13 - }, { - "file": "prog.c", - "line": 14 - }, { - "file": "prog.c", - "line": 15 - }, { - "file": "prog.c", - "line": 17 - }, { - "file": "prog.c", - "line": 19 - }, { - "file": "prog.c", - "line": 20 - }, { - "file": "prog.c", - "line": 21 - }] -} -] diff --git a/examples/engagement1/off-by-one/test.cache b/examples/engagement1/off-by-one/test.cache deleted file mode 100644 index e69de29bb..000000000