├── .dockerignore ├── .gitignore ├── .gitmodules ├── .pre-commit-config.yaml ├── .travis.yml ├── Cerberus.py ├── LICENSE ├── README.md ├── activate ├── app ├── __init__.py ├── core │ ├── __init__.py │ ├── abstractions.py │ ├── args.py │ ├── configs │ │ ├── Config.py │ │ ├── ConfigDataFactory.py │ │ ├── ConfigDataLoader.py │ │ ├── ConfigFieldsEnum.py │ │ ├── ConfigValidationSchemas.py │ │ ├── general │ │ │ └── GeneralConfig.py │ │ ├── profiles │ │ │ ├── AbstractProfile.py │ │ │ ├── ContainerProfile.py │ │ │ ├── ProfilesConfig.py │ │ │ └── TaskProfile.py │ │ └── tasks_data │ │ │ ├── BenchmarkConfig.py │ │ │ ├── CompositeTaskConfig.py │ │ │ ├── TaskConfig.py │ │ │ ├── TaskDefaultConfig.py │ │ │ ├── TasksChunksConfig.py │ │ │ └── ToolConfig.py │ ├── configuration.py │ ├── container.py │ ├── definitions.py │ ├── emitter.py │ ├── identifiers.py │ ├── logger.py │ ├── main.py │ ├── metadata │ │ ├── MetadataFieldsEnum.py │ │ ├── MetadataLoader.py │ │ └── MetadataValidationSchemas.py │ ├── parallel.py │ ├── reader.py │ ├── task │ │ ├── TaskProcessor.py │ │ ├── TaskStatus.py │ │ ├── dir_info.py │ │ ├── image.py │ │ ├── results.py │ │ ├── stats │ │ │ ├── AnalysisToolStats.py │ │ │ ├── BenchmarkStats.py │ │ │ ├── CompositeToolStats.py │ │ │ ├── ContainerStats.py │ │ │ ├── ErrorStats.py │ │ │ ├── FuzzToolStats.py │ │ │ ├── LocalizeToolStats.py │ │ │ ├── PatchStats.py │ │ │ ├── RepairToolStats.py │ │ │ ├── ReportStats.py │ │ │ ├── SelectToolStats.py │ │ │ ├── SliceToolStats.py │ │ │ ├── TimeStats.py │ │ │ ├── ToolStats.py │ │ │ ├── ValidateToolStats.py │ │ │ └── __init__.py │ │ ├── task.py │ │ └── typing │ │ │ ├── CompositeSequence.py │ │ │ ├── DirectoryInfo.py │ │ │ ├── TaskList.py │ │ │ └── TaskType.py │ ├── utilities.py │ ├── values.py │ └── writer.py ├── drivers │ ├── AbstractDriver.py │ ├── __init__.py │ ├── benchmarks │ │ ├── AbstractBenchmark.py │ │ ├── __init__.py │ │ ├── c │ │ │ ├── APRCompEduC.py │ │ │ ├── APRCompFuncC.py │ │ │ ├── APRCompVulnC.py │ │ │ ├── ExtractFix.py │ │ │ ├── ITSP.py │ │ │ ├── ManyBugs.py │ │ │ ├── Pulse.py │ │ │ ├── SAVER.py │ │ │ ├── VulnLoc.py │ │ │ ├── VulnLocInstrumented.py │ │ │ ├── __init__.py │ │ │ └── effFix.py │ │ ├── java │ │ │ ├── APRCompAIJava.py │ │ │ ├── APRCompFuncJava.py │ │ │ ├── APRCompVulnJava.py │ │ │ ├── Bears.py │ │ │ ├── BugsDotJar.py │ │ │ ├── Defects4J.py │ │ │ ├── Defects4JI.py │ │ │ ├── Hippodrome.py │ │ │ ├── IntroClassJava.py │ │ │ ├── LMDefects.py │ │ │ ├── QuixBugsJava.py │ │ │ ├── Vul4J.py │ │ │ └── __init__.py │ │ ├── js │ │ │ ├── .gitkeep │ │ │ ├── APRCompAIJS.py │ │ │ └── BugJS.py │ │ ├── multi │ │ │ ├── .gitkeep │ │ │ ├── Examples.py │ │ │ └── __init__.py │ │ ├── php │ │ │ └── BugsPHP.py │ │ └── python │ │ │ ├── .gitkeep │ │ │ ├── APRCompAIPython.py │ │ │ ├── APRCompEduPython.py │ │ │ ├── BugsInPy.py │ │ │ ├── MicroFuzz.py │ │ │ ├── QuixBugsPython.py │ │ │ └── Refactory.py │ └── tools │ │ ├── AbstractLLMTool.py │ │ ├── AbstractTool.py │ │ ├── MockTool.py │ │ ├── __init__.py │ │ ├── analyze │ │ ├── AbstractAnalyzeTool.py │ │ ├── __init__.py │ │ ├── c │ │ │ ├── Pulse.py │ │ │ ├── SAVER.py │ │ │ └── __init__.py │ │ ├── java │ │ │ ├── Hippodrome.py │ │ │ └── __init__.py │ │ └── multi │ │ │ ├── CodeQL.py │ │ │ ├── Infer.py │ │ │ ├── SanitizeParser.py │ │ │ └── __init__.py │ │ ├── composite │ │ ├── AbstractCompositeTool.py │ │ └── multi │ │ │ ├── BasicWorkflow.py │ │ │ ├── PartitionedWorkflow.py │ │ │ └── basic │ │ │ └── FileCreationHandler.py │ │ ├── fuzz │ │ ├── AbstractFuzzTool.py │ │ ├── c │ │ │ ├── .gitkeep │ │ │ ├── AFLPlusPlus.py │ │ │ ├── AbstractAFL.py │ │ │ └── DirectedAFLpp.py │ │ ├── java │ │ │ ├── .gitkeep │ │ │ ├── Jazzer.py │ │ │ └── ZAP.py │ │ └── python │ │ │ ├── .gitkeep │ │ │ └── StudentFuzzer.py │ │ ├── localize │ │ ├── AbstractLocalizeTool.py │ │ ├── c │ │ │ ├── CrashRepair.py │ │ │ ├── E9PatchSBFL.py │ │ │ ├── JoernSBFL.py │ │ │ └── LocaFlow.py │ │ ├── java │ │ │ ├── FlaCoCo.py │ │ │ └── GZoltar.py │ │ └── python │ │ │ └── FauxPy.py │ │ ├── repair │ │ ├── AbstractLLMRepairTool.py │ │ ├── AbstractRepairTool.py │ │ ├── __init__.py │ │ ├── c │ │ │ ├── AICCModel.py │ │ │ ├── AIxCCRepairPrompt.py │ │ │ ├── AIxCCRepairSFT.py │ │ │ ├── Angelix.py │ │ │ ├── CPR.py │ │ │ ├── CrashRepair.py │ │ │ ├── Darjeeling │ │ │ ├── EffFix.py │ │ │ ├── ExtractFix.py │ │ │ ├── F1X.py │ │ │ ├── FAVOR.py │ │ │ ├── Fix2Fit.py │ │ │ ├── FootPatch.py │ │ │ ├── FuzzRepair.py │ │ │ ├── GenProg.py │ │ │ ├── Prophet.py │ │ │ ├── SAVER.py │ │ │ ├── SenX.py │ │ │ ├── Verifix.py │ │ │ ├── VulnFix.py │ │ │ └── __init__.py │ │ ├── java │ │ │ ├── APRER.py │ │ │ ├── ARJA.py │ │ │ ├── ARJA_E.py │ │ │ ├── AlphaRepair.py │ │ │ ├── AstorTool.py │ │ │ ├── Cardumen.py │ │ │ ├── DeepRepair.py │ │ │ ├── ET.py │ │ │ ├── EvoRepair.py │ │ │ ├── GRT5.py │ │ │ ├── Hippodrome.py │ │ │ ├── Nopol.py │ │ │ ├── Recoder.py │ │ │ ├── RepairCAT.py │ │ │ ├── RepairLlama.py │ │ │ ├── RewardRepairI.py │ │ │ ├── SelfAPR.py │ │ │ ├── SequenceR.py │ │ │ ├── TBar.py │ │ │ ├── __init__.py │ │ │ ├── jGenProg.py │ │ │ ├── jKali.py │ │ │ └── jMutRepair.py │ │ ├── multi │ │ │ ├── .gitkeep │ │ │ ├── CodeLlama.py │ │ │ ├── Darjeeling.py │ │ │ ├── Dynamic.py │ │ │ ├── IterativePrompter.py │ │ │ ├── LLMR.py │ │ │ ├── Prompter.py │ │ │ ├── RepairDeepSeek.py │ │ │ └── __init__.py │ │ └── python │ │ │ ├── .gitkeep │ │ │ ├── Brafar.py │ │ │ ├── PyTER.py │ │ │ ├── Refactory.py │ │ │ └── RepairCATPython.py │ │ ├── select │ │ ├── AbstractSelectTool.py │ │ └── multi │ │ │ └── .gitkeep │ │ ├── slice │ │ ├── AbstractSliceTool.py │ │ ├── __init__.py │ │ └── multi │ │ │ └── AutoBug.py │ │ └── validate │ │ ├── AbstractValidateTool.py │ │ ├── __init__.py │ │ └── multi │ │ └── Valkyrie.py ├── notification │ ├── __init__.py │ ├── discord.py │ ├── email.py │ ├── notification.py │ └── slack.py ├── plugins │ ├── __init__.py │ └── valkyrie.py └── ui │ ├── __init__.py │ ├── messages.py │ └── ui.py ├── benchmark ├── examples │ ├── Dockerfile │ ├── c-crashes │ │ ├── file-input │ │ │ ├── .gitignore │ │ │ ├── angelix │ │ │ │ └── instrument.sh │ │ │ ├── benign_tests │ │ │ │ └── pass_1 │ │ │ ├── build.sh │ │ │ ├── clean.sh │ │ │ ├── config.sh │ │ │ ├── crashing_tests │ │ │ │ └── crash_1 │ │ │ ├── crepair │ │ │ │ └── instrument.sh │ │ │ ├── f1x │ │ │ │ └── instrument.sh │ │ │ ├── fix2fit │ │ │ │ └── instrument.sh │ │ │ ├── fuzzrepair │ │ │ │ └── instrument.sh │ │ │ ├── senx │ │ │ │ └── instrument.sh │ │ │ ├── setup.sh │ │ │ ├── src │ │ │ │ ├── Makefile │ │ │ │ └── test.c │ │ │ ├── test.sh │ │ │ └── vulnfix │ │ │ │ └── instrument.sh │ │ └── user-input │ │ │ ├── .gitignore │ │ │ ├── angelix │ │ │ └── instrument.sh │ │ │ ├── build.sh │ │ │ ├── clean.sh │ │ │ ├── config.sh │ │ │ ├── crepair │ │ │ └── instrument.sh │ │ │ ├── f1x │ │ │ └── instrument.sh │ │ │ ├── fix2fit │ │ │ └── instrument.sh │ │ │ ├── fuzzrepair │ │ │ └── instrument.sh │ │ │ ├── oracle-1 │ │ │ ├── oracle-2 │ │ │ ├── senx │ │ │ └── instrument.sh │ │ │ ├── setup.sh │ │ │ ├── src │ │ │ ├── Makefile │ │ │ └── test.c │ │ │ ├── test.sh │ │ │ └── tests │ │ │ └── .gitignore │ ├── c-test-suite │ │ └── gcd │ │ │ ├── build.sh │ │ │ ├── clean.sh │ │ │ ├── config.sh │ │ │ ├── oracle-1 │ │ │ ├── oracle-2 │ │ │ ├── setup.sh │ │ │ ├── src │ │ │ ├── Makefile │ │ │ └── gcd.c │ │ │ ├── test.sh │ │ │ └── tests │ │ │ ├── output.0.55 │ │ │ ├── output.1071.1029 │ │ │ ├── output.112.135 │ │ │ ├── output.16.4 │ │ │ ├── output.16777216.512 │ │ │ ├── output.310.55 │ │ │ ├── output.315.831 │ │ │ ├── output.513332.91583315 │ │ │ ├── output.555.666 │ │ │ ├── output.678.987 │ │ │ └── output.8767.653 │ ├── java-test-suite │ │ ├── calculator │ │ │ ├── build.sh │ │ │ ├── clean.sh │ │ │ ├── config.sh │ │ │ ├── deps.sh │ │ │ ├── jazzer │ │ │ │ ├── harness.json │ │ │ │ └── src │ │ │ │ │ └── main │ │ │ │ │ └── java │ │ │ │ │ └── cerberus │ │ │ │ │ └── FuzzCalculator.java │ │ │ ├── setup.sh │ │ │ ├── src │ │ │ │ ├── pom.xml │ │ │ │ └── src │ │ │ │ │ ├── main │ │ │ │ │ └── java │ │ │ │ │ │ └── cerberus │ │ │ │ │ │ └── Calculator.java │ │ │ │ │ └── test │ │ │ │ │ └── java │ │ │ │ │ └── cerberus │ │ │ │ │ ├── CalculatorTest.java │ │ │ │ │ ├── Test0.java │ │ │ │ │ ├── Test1.java │ │ │ │ │ ├── Test2.java │ │ │ │ │ ├── Test3.java │ │ │ │ │ ├── Test4.java │ │ │ │ │ └── Test5.java │ │ │ └── test.sh │ │ └── leap-year │ │ │ ├── build.sh │ │ │ ├── clean.sh │ │ │ ├── config.sh │ │ │ ├── deps.sh │ │ │ ├── jazzer │ │ │ ├── harness.json │ │ │ └── src │ │ │ │ └── main │ │ │ │ └── java │ │ │ │ └── sg │ │ │ │ └── edu │ │ │ │ └── nus │ │ │ │ └── comp │ │ │ │ └── cerberus │ │ │ │ └── FuzzLeapYear.java │ │ │ ├── setup.sh │ │ │ ├── src │ │ │ ├── pom.xml │ │ │ └── src │ │ │ │ ├── main │ │ │ │ └── java │ │ │ │ │ └── sg │ │ │ │ │ └── edu │ │ │ │ │ └── nus │ │ │ │ │ └── comp │ │ │ │ │ └── cerberus │ │ │ │ │ └── LeapYear.java │ │ │ │ └── test │ │ │ │ └── java │ │ │ │ └── sg │ │ │ │ └── edu │ │ │ │ └── nus │ │ │ │ └── comp │ │ │ │ └── cerberus │ │ │ │ ├── Test0.java │ │ │ │ ├── Test1.java │ │ │ │ ├── Test2.java │ │ │ │ ├── Test3.java │ │ │ │ ├── Test4.java │ │ │ │ ├── Test5.java │ │ │ │ ├── Test6.java │ │ │ │ ├── Test7.java │ │ │ │ └── Test8.java │ │ │ └── test.sh │ ├── meta-data.json │ └── python-test-suite │ │ └── calculator │ │ ├── build.sh │ │ ├── clean.sh │ │ ├── config.sh │ │ ├── deps.sh │ │ ├── setup.sh │ │ ├── src │ │ ├── calculator.py │ │ ├── test_0.py │ │ ├── test_1.py │ │ ├── test_2.py │ │ ├── test_3.py │ │ ├── test_4.py │ │ └── test_5.py │ │ └── test.sh └── manybugsvulnerabilities ├── bin └── cerberus ├── clear.sh ├── config ├── api.json ├── config.json ├── config_example.json ├── discord.json ├── email.json └── slack.json ├── doc ├── Configuration.md ├── Contributing.md ├── Examples.md ├── Extending.md ├── GetStart.md ├── Manual.md ├── Notifications.md ├── ProjectArchitecture.md ├── benchmark │ ├── AddBenchmark.md │ ├── BugBenchmark.md │ └── ListBenchmarks.md ├── images │ ├── CerberusView.png │ ├── SequentialUI.png │ ├── TaskList.png │ └── ToolPreparation.png ├── profile │ ├── AddContainerProfile.md │ └── AddTaskProfile.md ├── tool │ ├── AddTool.md │ ├── AnalyzeTool.md │ ├── ListTools.md │ └── RepairTool.md └── workflows │ └── BasicWorkflow.md ├── dynamic ├── .gitkeep └── setup.sh ├── instrument.sh ├── libs ├── libasan.so.2 ├── libjpeg.so.62 ├── libjpeg.so.62.3.0 └── libubsan.so.0 ├── profiles ├── container-default.json └── task-default.json ├── requirements.txt ├── setup.py ├── tool └── .gitkeep └── workflows ├── llm-based-repair ├── c-localize-to-validate.json └── java-localize-to-validate.json └── toy-examples ├── c-fuzz-to-validate.json ├── c-localize-to-validate.json ├── java-fuzz-to-validate.json ├── java-localize-to-validate.json └── python-localize-to-validate.json /.dockerignore: -------------------------------------------------------------------------------- 1 | logs/* 2 | output/* 3 | benchmark 4 | experiments 5 | **/__pycache__ -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/.gitmodules -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cerberus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/Cerberus.py -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/README.md -------------------------------------------------------------------------------- /activate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/activate -------------------------------------------------------------------------------- /app/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/core/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/core/abstractions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/abstractions.py -------------------------------------------------------------------------------- /app/core/args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/args.py -------------------------------------------------------------------------------- /app/core/configs/Config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/Config.py -------------------------------------------------------------------------------- /app/core/configs/ConfigDataFactory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/ConfigDataFactory.py -------------------------------------------------------------------------------- /app/core/configs/ConfigDataLoader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/ConfigDataLoader.py -------------------------------------------------------------------------------- /app/core/configs/ConfigFieldsEnum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/ConfigFieldsEnum.py -------------------------------------------------------------------------------- /app/core/configs/ConfigValidationSchemas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/ConfigValidationSchemas.py -------------------------------------------------------------------------------- /app/core/configs/general/GeneralConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/general/GeneralConfig.py -------------------------------------------------------------------------------- /app/core/configs/profiles/AbstractProfile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/profiles/AbstractProfile.py -------------------------------------------------------------------------------- /app/core/configs/profiles/ContainerProfile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/profiles/ContainerProfile.py -------------------------------------------------------------------------------- /app/core/configs/profiles/ProfilesConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/profiles/ProfilesConfig.py -------------------------------------------------------------------------------- /app/core/configs/profiles/TaskProfile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/profiles/TaskProfile.py -------------------------------------------------------------------------------- /app/core/configs/tasks_data/BenchmarkConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/tasks_data/BenchmarkConfig.py -------------------------------------------------------------------------------- /app/core/configs/tasks_data/CompositeTaskConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/tasks_data/CompositeTaskConfig.py -------------------------------------------------------------------------------- /app/core/configs/tasks_data/TaskConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/tasks_data/TaskConfig.py -------------------------------------------------------------------------------- /app/core/configs/tasks_data/TaskDefaultConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/tasks_data/TaskDefaultConfig.py -------------------------------------------------------------------------------- /app/core/configs/tasks_data/TasksChunksConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/tasks_data/TasksChunksConfig.py -------------------------------------------------------------------------------- /app/core/configs/tasks_data/ToolConfig.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configs/tasks_data/ToolConfig.py -------------------------------------------------------------------------------- /app/core/configuration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/configuration.py -------------------------------------------------------------------------------- /app/core/container.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/container.py -------------------------------------------------------------------------------- /app/core/definitions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/definitions.py -------------------------------------------------------------------------------- /app/core/emitter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/emitter.py -------------------------------------------------------------------------------- /app/core/identifiers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/identifiers.py -------------------------------------------------------------------------------- /app/core/logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/logger.py -------------------------------------------------------------------------------- /app/core/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/main.py -------------------------------------------------------------------------------- /app/core/metadata/MetadataFieldsEnum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/metadata/MetadataFieldsEnum.py -------------------------------------------------------------------------------- /app/core/metadata/MetadataLoader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/metadata/MetadataLoader.py -------------------------------------------------------------------------------- /app/core/metadata/MetadataValidationSchemas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/metadata/MetadataValidationSchemas.py -------------------------------------------------------------------------------- /app/core/parallel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/parallel.py -------------------------------------------------------------------------------- /app/core/reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/reader.py -------------------------------------------------------------------------------- /app/core/task/TaskProcessor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/TaskProcessor.py -------------------------------------------------------------------------------- /app/core/task/TaskStatus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/TaskStatus.py -------------------------------------------------------------------------------- /app/core/task/dir_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/dir_info.py -------------------------------------------------------------------------------- /app/core/task/image.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/image.py -------------------------------------------------------------------------------- /app/core/task/results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/results.py -------------------------------------------------------------------------------- /app/core/task/stats/AnalysisToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/AnalysisToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/BenchmarkStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/BenchmarkStats.py -------------------------------------------------------------------------------- /app/core/task/stats/CompositeToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/CompositeToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/ContainerStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/ContainerStats.py -------------------------------------------------------------------------------- /app/core/task/stats/ErrorStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/ErrorStats.py -------------------------------------------------------------------------------- /app/core/task/stats/FuzzToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/FuzzToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/LocalizeToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/LocalizeToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/PatchStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/PatchStats.py -------------------------------------------------------------------------------- /app/core/task/stats/RepairToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/RepairToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/ReportStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/ReportStats.py -------------------------------------------------------------------------------- /app/core/task/stats/SelectToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/SelectToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/SliceToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/SliceToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/TimeStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/TimeStats.py -------------------------------------------------------------------------------- /app/core/task/stats/ToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/ToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/ValidateToolStats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/stats/ValidateToolStats.py -------------------------------------------------------------------------------- /app/core/task/stats/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/core/task/task.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/task.py -------------------------------------------------------------------------------- /app/core/task/typing/CompositeSequence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/typing/CompositeSequence.py -------------------------------------------------------------------------------- /app/core/task/typing/DirectoryInfo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/typing/DirectoryInfo.py -------------------------------------------------------------------------------- /app/core/task/typing/TaskList.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/typing/TaskList.py -------------------------------------------------------------------------------- /app/core/task/typing/TaskType.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/task/typing/TaskType.py -------------------------------------------------------------------------------- /app/core/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/utilities.py -------------------------------------------------------------------------------- /app/core/values.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/values.py -------------------------------------------------------------------------------- /app/core/writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/core/writer.py -------------------------------------------------------------------------------- /app/drivers/AbstractDriver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/AbstractDriver.py -------------------------------------------------------------------------------- /app/drivers/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/AbstractBenchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/AbstractBenchmark.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/APRCompEduC.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/APRCompEduC.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/APRCompFuncC.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/APRCompFuncC.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/APRCompVulnC.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/APRCompVulnC.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/ExtractFix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/ExtractFix.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/ITSP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/ITSP.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/ManyBugs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/ManyBugs.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/Pulse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/Pulse.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/SAVER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/SAVER.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/VulnLoc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/VulnLoc.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/VulnLocInstrumented.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/VulnLocInstrumented.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/c/effFix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/c/effFix.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/APRCompAIJava.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/APRCompAIJava.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/APRCompFuncJava.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/APRCompFuncJava.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/APRCompVulnJava.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/APRCompVulnJava.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/Bears.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/Bears.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/BugsDotJar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/BugsDotJar.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/Defects4J.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/Defects4J.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/Defects4JI.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/Defects4JI.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/Hippodrome.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/Hippodrome.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/IntroClassJava.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/IntroClassJava.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/LMDefects.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/LMDefects.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/QuixBugsJava.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/QuixBugsJava.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/Vul4J.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/java/Vul4J.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/java/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/js/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/js/APRCompAIJS.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/js/APRCompAIJS.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/js/BugJS.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/js/BugJS.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/multi/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/multi/Examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/multi/Examples.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/multi/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/php/BugsPHP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/php/BugsPHP.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/APRCompAIPython.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/python/APRCompAIPython.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/APRCompEduPython.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/python/APRCompEduPython.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/BugsInPy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/python/BugsInPy.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/MicroFuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/python/MicroFuzz.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/QuixBugsPython.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/python/QuixBugsPython.py -------------------------------------------------------------------------------- /app/drivers/benchmarks/python/Refactory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/benchmarks/python/Refactory.py -------------------------------------------------------------------------------- /app/drivers/tools/AbstractLLMTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/AbstractLLMTool.py -------------------------------------------------------------------------------- /app/drivers/tools/AbstractTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/AbstractTool.py -------------------------------------------------------------------------------- /app/drivers/tools/MockTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/MockTool.py -------------------------------------------------------------------------------- /app/drivers/tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/analyze/AbstractAnalyzeTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/AbstractAnalyzeTool.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/analyze/c/Pulse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/c/Pulse.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/c/SAVER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/c/SAVER.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/c/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/analyze/java/Hippodrome.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/java/Hippodrome.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/java/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/analyze/multi/CodeQL.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/multi/CodeQL.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/multi/Infer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/multi/Infer.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/multi/SanitizeParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/analyze/multi/SanitizeParser.py -------------------------------------------------------------------------------- /app/drivers/tools/analyze/multi/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/composite/AbstractCompositeTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/composite/AbstractCompositeTool.py -------------------------------------------------------------------------------- /app/drivers/tools/composite/multi/BasicWorkflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/composite/multi/BasicWorkflow.py -------------------------------------------------------------------------------- /app/drivers/tools/composite/multi/PartitionedWorkflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/composite/multi/PartitionedWorkflow.py -------------------------------------------------------------------------------- /app/drivers/tools/composite/multi/basic/FileCreationHandler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/composite/multi/basic/FileCreationHandler.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/AbstractFuzzTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/AbstractFuzzTool.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/c/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/c/AFLPlusPlus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/c/AFLPlusPlus.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/c/AbstractAFL.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/c/AbstractAFL.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/c/DirectedAFLpp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/c/DirectedAFLpp.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/java/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/java/Jazzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/java/Jazzer.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/java/ZAP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/java/ZAP.py -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/python/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/fuzz/python/StudentFuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/fuzz/python/StudentFuzzer.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/AbstractLocalizeTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/AbstractLocalizeTool.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/c/CrashRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/c/CrashRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/c/E9PatchSBFL.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/c/E9PatchSBFL.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/c/JoernSBFL.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/c/JoernSBFL.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/c/LocaFlow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/c/LocaFlow.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/java/FlaCoCo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/java/FlaCoCo.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/java/GZoltar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/java/GZoltar.py -------------------------------------------------------------------------------- /app/drivers/tools/localize/python/FauxPy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/localize/python/FauxPy.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/AbstractLLMRepairTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/AbstractLLMRepairTool.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/AbstractRepairTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/AbstractRepairTool.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/AICCModel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/AICCModel.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/AIxCCRepairPrompt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/AIxCCRepairPrompt.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/AIxCCRepairSFT.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/AIxCCRepairSFT.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/Angelix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/Angelix.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/CPR.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/CPR.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/CrashRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/CrashRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/Darjeeling: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/Darjeeling -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/EffFix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/EffFix.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/ExtractFix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/ExtractFix.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/F1X.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/F1X.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/FAVOR.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/FAVOR.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/Fix2Fit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/Fix2Fit.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/FootPatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/FootPatch.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/FuzzRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/FuzzRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/GenProg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/GenProg.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/Prophet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/Prophet.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/SAVER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/SAVER.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/SenX.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/SenX.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/Verifix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/Verifix.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/VulnFix.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/c/VulnFix.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/c/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/APRER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/APRER.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/ARJA.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/ARJA.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/ARJA_E.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/ARJA_E.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/AlphaRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/AlphaRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/AstorTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/AstorTool.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/Cardumen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/Cardumen.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/DeepRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/DeepRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/ET.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/ET.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/EvoRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/EvoRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/GRT5.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/GRT5.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/Hippodrome.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/Hippodrome.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/Nopol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/Nopol.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/Recoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/Recoder.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/RepairCAT.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/RepairCAT.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/RepairLlama.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/RepairLlama.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/RewardRepairI.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/RewardRepairI.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/SelfAPR.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/SelfAPR.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/SequenceR.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/SequenceR.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/TBar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/TBar.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/jGenProg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/jGenProg.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/jKali.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/jKali.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/java/jMutRepair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/java/jMutRepair.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/CodeLlama.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/CodeLlama.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/Darjeeling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/Darjeeling.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/Dynamic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/Dynamic.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/IterativePrompter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/IterativePrompter.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/LLMR.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/LLMR.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/Prompter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/Prompter.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/RepairDeepSeek.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/multi/RepairDeepSeek.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/multi/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/repair/python/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/repair/python/Brafar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/python/Brafar.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/python/PyTER.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/python/PyTER.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/python/Refactory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/python/Refactory.py -------------------------------------------------------------------------------- /app/drivers/tools/repair/python/RepairCATPython.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/repair/python/RepairCATPython.py -------------------------------------------------------------------------------- /app/drivers/tools/select/AbstractSelectTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/select/AbstractSelectTool.py -------------------------------------------------------------------------------- /app/drivers/tools/select/multi/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/slice/AbstractSliceTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/slice/AbstractSliceTool.py -------------------------------------------------------------------------------- /app/drivers/tools/slice/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/slice/multi/AutoBug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/slice/multi/AutoBug.py -------------------------------------------------------------------------------- /app/drivers/tools/validate/AbstractValidateTool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/validate/AbstractValidateTool.py -------------------------------------------------------------------------------- /app/drivers/tools/validate/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/drivers/tools/validate/multi/Valkyrie.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/drivers/tools/validate/multi/Valkyrie.py -------------------------------------------------------------------------------- /app/notification/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/notification/discord.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/notification/discord.py -------------------------------------------------------------------------------- /app/notification/email.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/notification/email.py -------------------------------------------------------------------------------- /app/notification/notification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/notification/notification.py -------------------------------------------------------------------------------- /app/notification/slack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/notification/slack.py -------------------------------------------------------------------------------- /app/plugins/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/plugins/valkyrie.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/plugins/valkyrie.py -------------------------------------------------------------------------------- /app/ui/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /app/ui/messages.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/ui/messages.py -------------------------------------------------------------------------------- /app/ui/ui.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/app/ui/ui.py -------------------------------------------------------------------------------- /benchmark/examples/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/Dockerfile -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/.gitignore: -------------------------------------------------------------------------------- 1 | klee-*/ 2 | test 3 | compile_commands.json 4 | -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/angelix/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/angelix/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/benign_tests/pass_1: -------------------------------------------------------------------------------- 1 | ABC -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/build.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/clean.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/config.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/crashing_tests/crash_1: -------------------------------------------------------------------------------- 1 | GNS -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/crepair/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/crepair/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/f1x/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/f1x/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/fix2fit/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/fix2fit/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/fuzzrepair/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/fuzzrepair/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/senx/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/senx/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/setup.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/src/Makefile -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/src/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/src/test.c -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/test.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/file-input/vulnfix/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/file-input/vulnfix/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/.gitignore: -------------------------------------------------------------------------------- 1 | klee-*/ 2 | test 3 | compile_commands.json 4 | -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/angelix/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/angelix/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/build.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/clean.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/config.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/crepair/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/crepair/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/f1x/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/f1x/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/fix2fit/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/fix2fit/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/fuzzrepair/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/fuzzrepair/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/oracle-1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/oracle-1 -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/oracle-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/oracle-2 -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/senx/instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/senx/instrument.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/setup.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/src/Makefile -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/src/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/src/test.c -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-crashes/user-input/test.sh -------------------------------------------------------------------------------- /benchmark/examples/c-crashes/user-input/tests/.gitignore: -------------------------------------------------------------------------------- 1 | klee-*/ 2 | test 3 | compile_commands.json 4 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/build.sh -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/clean.sh -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/config.sh -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/oracle-1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/oracle-1 -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/oracle-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/oracle-2 -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/setup.sh -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/src/Makefile -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/src/gcd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/src/gcd.c -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/c-test-suite/gcd/test.sh -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.0.55: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.1071.1029: -------------------------------------------------------------------------------- 1 | 21 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.112.135: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.16.4: -------------------------------------------------------------------------------- 1 | 4 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.16777216.512: -------------------------------------------------------------------------------- 1 | 512 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.310.55: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.315.831: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.513332.91583315: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.555.666: -------------------------------------------------------------------------------- 1 | 111 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.678.987: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /benchmark/examples/c-test-suite/gcd/tests/output.8767.653: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/build.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/clean.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/config.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/deps.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/jazzer/harness.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/jazzer/harness.json -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/jazzer/src/main/java/cerberus/FuzzCalculator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/jazzer/src/main/java/cerberus/FuzzCalculator.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/setup.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/pom.xml -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/main/java/cerberus/Calculator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/main/java/cerberus/Calculator.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/CalculatorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/CalculatorTest.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test0.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test1.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test2.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test3.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test4.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/src/src/test/java/cerberus/Test5.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/calculator/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/calculator/test.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/build.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/clean.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/config.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/deps.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/jazzer/harness.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/jazzer/harness.json -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/jazzer/src/main/java/sg/edu/nus/comp/cerberus/FuzzLeapYear.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/jazzer/src/main/java/sg/edu/nus/comp/cerberus/FuzzLeapYear.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/setup.sh -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/pom.xml -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/main/java/sg/edu/nus/comp/cerberus/LeapYear.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/main/java/sg/edu/nus/comp/cerberus/LeapYear.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test0.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test1.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test2.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test3.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test4.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test5.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test6.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test7.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test8.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/src/src/test/java/sg/edu/nus/comp/cerberus/Test8.java -------------------------------------------------------------------------------- /benchmark/examples/java-test-suite/leap-year/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/java-test-suite/leap-year/test.sh -------------------------------------------------------------------------------- /benchmark/examples/meta-data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/meta-data.json -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/build.sh -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/clean.sh -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/config.sh -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/deps.sh -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/setup.sh -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/calculator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/calculator.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/test_0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/test_0.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/test_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/test_1.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/test_2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/test_2.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/test_3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/test_3.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/test_4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/test_4.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/src/test_5.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/src/test_5.py -------------------------------------------------------------------------------- /benchmark/examples/python-test-suite/calculator/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/benchmark/examples/python-test-suite/calculator/test.sh -------------------------------------------------------------------------------- /benchmark/manybugsvulnerabilities: -------------------------------------------------------------------------------- 1 | /home/rshariffdeen/workspace/manybugs-vulnerabilities/ -------------------------------------------------------------------------------- /bin/cerberus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/bin/cerberus -------------------------------------------------------------------------------- /clear.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/clear.sh -------------------------------------------------------------------------------- /config/api.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/config/api.json -------------------------------------------------------------------------------- /config/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/config/config.json -------------------------------------------------------------------------------- /config/config_example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/config/config_example.json -------------------------------------------------------------------------------- /config/discord.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/config/discord.json -------------------------------------------------------------------------------- /config/email.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/config/email.json -------------------------------------------------------------------------------- /config/slack.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/config/slack.json -------------------------------------------------------------------------------- /doc/Configuration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/Configuration.md -------------------------------------------------------------------------------- /doc/Contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/Contributing.md -------------------------------------------------------------------------------- /doc/Examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/Examples.md -------------------------------------------------------------------------------- /doc/Extending.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/Extending.md -------------------------------------------------------------------------------- /doc/GetStart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/GetStart.md -------------------------------------------------------------------------------- /doc/Manual.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/Manual.md -------------------------------------------------------------------------------- /doc/Notifications.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/Notifications.md -------------------------------------------------------------------------------- /doc/ProjectArchitecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/ProjectArchitecture.md -------------------------------------------------------------------------------- /doc/benchmark/AddBenchmark.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/benchmark/AddBenchmark.md -------------------------------------------------------------------------------- /doc/benchmark/BugBenchmark.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/benchmark/BugBenchmark.md -------------------------------------------------------------------------------- /doc/benchmark/ListBenchmarks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/benchmark/ListBenchmarks.md -------------------------------------------------------------------------------- /doc/images/CerberusView.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/images/CerberusView.png -------------------------------------------------------------------------------- /doc/images/SequentialUI.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/images/SequentialUI.png -------------------------------------------------------------------------------- /doc/images/TaskList.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/images/TaskList.png -------------------------------------------------------------------------------- /doc/images/ToolPreparation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/images/ToolPreparation.png -------------------------------------------------------------------------------- /doc/profile/AddContainerProfile.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/profile/AddContainerProfile.md -------------------------------------------------------------------------------- /doc/profile/AddTaskProfile.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/profile/AddTaskProfile.md -------------------------------------------------------------------------------- /doc/tool/AddTool.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/tool/AddTool.md -------------------------------------------------------------------------------- /doc/tool/AnalyzeTool.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/tool/AnalyzeTool.md -------------------------------------------------------------------------------- /doc/tool/ListTools.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/tool/ListTools.md -------------------------------------------------------------------------------- /doc/tool/RepairTool.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/tool/RepairTool.md -------------------------------------------------------------------------------- /doc/workflows/BasicWorkflow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/doc/workflows/BasicWorkflow.md -------------------------------------------------------------------------------- /dynamic/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dynamic/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/dynamic/setup.sh -------------------------------------------------------------------------------- /instrument.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/instrument.sh -------------------------------------------------------------------------------- /libs/libasan.so.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/libs/libasan.so.2 -------------------------------------------------------------------------------- /libs/libjpeg.so.62: -------------------------------------------------------------------------------- 1 | libjpeg.so.62.3.0 -------------------------------------------------------------------------------- /libs/libjpeg.so.62.3.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/libs/libjpeg.so.62.3.0 -------------------------------------------------------------------------------- /libs/libubsan.so.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/libs/libubsan.so.0 -------------------------------------------------------------------------------- /profiles/container-default.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/profiles/container-default.json -------------------------------------------------------------------------------- /profiles/task-default.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/profiles/task-default.json -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/setup.py -------------------------------------------------------------------------------- /tool/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /workflows/llm-based-repair/c-localize-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/llm-based-repair/c-localize-to-validate.json -------------------------------------------------------------------------------- /workflows/llm-based-repair/java-localize-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/llm-based-repair/java-localize-to-validate.json -------------------------------------------------------------------------------- /workflows/toy-examples/c-fuzz-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/toy-examples/c-fuzz-to-validate.json -------------------------------------------------------------------------------- /workflows/toy-examples/c-localize-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/toy-examples/c-localize-to-validate.json -------------------------------------------------------------------------------- /workflows/toy-examples/java-fuzz-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/toy-examples/java-fuzz-to-validate.json -------------------------------------------------------------------------------- /workflows/toy-examples/java-localize-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/toy-examples/java-localize-to-validate.json -------------------------------------------------------------------------------- /workflows/toy-examples/python-localize-to-validate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nus-apr/cerberus/HEAD/workflows/toy-examples/python-localize-to-validate.json --------------------------------------------------------------------------------