Path Lines of Code backends/AFL/AFL-hook-install.sh 38 backends/AFL/afl-wrapper.sh 110 backends/cbmc/cbmc-evaluate.sh 25 backends/cbmc/gotocc-hook-install.sh 139 backends/cbmc/gotocc-wrapper.sh 544 backends/cbmc/inspect-binary.sh 224 backends/cflags/cflags-wrapper.sh 137 backends/cppcheck/cppcheck-evaluate.sh 30 backends/cppcheck/cppcheck-hook-install.sh 40 backends/cppcheck/cppcheck-wrapper.sh 127 backends/fortify/fortify-evaluate.sh 27 backends/fortify/fortify-hook-install.sh 47 backends/fortify/fortify-scan.sh 136 backends/fortify/fortify-wrapper.sh 218 backends/infer/infer-evaluate.sh 82 backends/infer/infer-hook-install.sh 37 backends/infer/infer-wrapper.sh 174 backends/plain/plain-evaluate.sh 24 backends/plain/plain-hook-install.sh 46 backends/plain/plain-wrapper.sh 215 backends/smatch/smatch-hook-install.sh 43 backends/smatch/smatch-wrapper.sh 111 inject-gcc-wrapper/check-setup.sh 18 inject-gcc-wrapper/ols-library.sh 112 inject-gcc-wrapper/remove-wrapper.sh 47 inject-gcc-wrapper/setup.sh 314 one-line-cr-bot.sh 426 regression/analysis/afl-mini/run.sh 51 regression/analysis/cppcheck/run.sh 25 regression/analysis/cprover-analysis/run.sh 10 regression/analysis/one-line-cr-bot/run.sh 29 regression/analysis/typical-bugs/run.sh 6 regression/compilation/extra-cflags/run.sh 5 regression/compilation/faulty-input/run.sh 18 regression/compilation/git/run.sh 38 utils/display-series-data.sh 72 utils/limit-resources.sh 34 utils/log.sh 11