├── .gitignore ├── CHANGELOG.md ├── Dockerfile ├── Eclipser.sln ├── Instrumentor ├── build_qemu_x64.sh ├── build_qemu_x86.sh ├── generate_branch_patch.sh ├── generate_common_patch.sh ├── generate_coverage_patch.sh ├── patches-branch │ ├── afl-qemu-cpu-inl.h │ ├── eclipser.c │ ├── makefile-target.diff │ ├── optimize.diff │ ├── target-translate.diff │ ├── tcg-op.diff │ ├── tcg-opc.diff │ └── tcg-target.diff ├── patches-common │ ├── configure.diff │ ├── cpu-exec.diff │ ├── elfload.diff │ ├── memfd.diff │ ├── signal.diff │ ├── syscall.diff │ └── target-helper.diff ├── patches-coverage │ ├── afl-qemu-cpu-inl.h │ ├── eclipser.c │ ├── makefile-objs.diff │ └── target-translate.diff ├── prepare_qemu.sh └── repatch.sh ├── LICENSE.md ├── Makefile ├── README.md ├── examples ├── length.c ├── linear.c ├── loop.c ├── monoton.c ├── motiv.c ├── nested.c ├── stdin.c ├── test_32bit_clang.sh ├── test_32bit_gcc.sh ├── test_initseed.sh ├── test_integerate.sh ├── test_linear_clang.sh ├── test_linear_gcc.sh ├── test_loop.sh ├── test_monoton_clang.sh ├── test_monoton_gcc.sh ├── test_motiv.sh ├── test_nested.sh ├── test_no_fork_server.sh ├── test_stdin.sh ├── test_timeout.sh └── timeout.c └── src ├── Core ├── BranchInfo.fs ├── ByteVal.fs ├── BytesUtils.fs ├── Config.fs ├── Executor.fs ├── Options.fs ├── Queue.fs ├── Seed.fs ├── Typedef.fs ├── Utils.fs └── libexec.c ├── Eclipser.fsproj ├── Fuzz ├── Fuzz.fs ├── Scheduler.fs ├── SeedQueue.fs ├── Sync.fs └── TestCase.fs └── GreyConcolic ├── BranchTrace.fs ├── BranchTree.fs ├── GreyConcolic.fs ├── LinearEquation.fs ├── LinearInequality.fs ├── Linearity.fs ├── Monotonicity.fs ├── PathConstraint.fs └── Solve.fs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Dockerfile -------------------------------------------------------------------------------- /Eclipser.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Eclipser.sln -------------------------------------------------------------------------------- /Instrumentor/build_qemu_x64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/build_qemu_x64.sh -------------------------------------------------------------------------------- /Instrumentor/build_qemu_x86.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/build_qemu_x86.sh -------------------------------------------------------------------------------- /Instrumentor/generate_branch_patch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/generate_branch_patch.sh -------------------------------------------------------------------------------- /Instrumentor/generate_common_patch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/generate_common_patch.sh -------------------------------------------------------------------------------- /Instrumentor/generate_coverage_patch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/generate_coverage_patch.sh -------------------------------------------------------------------------------- /Instrumentor/patches-branch/afl-qemu-cpu-inl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/afl-qemu-cpu-inl.h -------------------------------------------------------------------------------- /Instrumentor/patches-branch/eclipser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/eclipser.c -------------------------------------------------------------------------------- /Instrumentor/patches-branch/makefile-target.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/makefile-target.diff -------------------------------------------------------------------------------- /Instrumentor/patches-branch/optimize.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/optimize.diff -------------------------------------------------------------------------------- /Instrumentor/patches-branch/target-translate.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/target-translate.diff -------------------------------------------------------------------------------- /Instrumentor/patches-branch/tcg-op.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/tcg-op.diff -------------------------------------------------------------------------------- /Instrumentor/patches-branch/tcg-opc.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/tcg-opc.diff -------------------------------------------------------------------------------- /Instrumentor/patches-branch/tcg-target.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-branch/tcg-target.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/configure.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/configure.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/cpu-exec.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/cpu-exec.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/elfload.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/elfload.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/memfd.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/memfd.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/signal.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/signal.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/syscall.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/syscall.diff -------------------------------------------------------------------------------- /Instrumentor/patches-common/target-helper.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-common/target-helper.diff -------------------------------------------------------------------------------- /Instrumentor/patches-coverage/afl-qemu-cpu-inl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-coverage/afl-qemu-cpu-inl.h -------------------------------------------------------------------------------- /Instrumentor/patches-coverage/eclipser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-coverage/eclipser.c -------------------------------------------------------------------------------- /Instrumentor/patches-coverage/makefile-objs.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-coverage/makefile-objs.diff -------------------------------------------------------------------------------- /Instrumentor/patches-coverage/target-translate.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/patches-coverage/target-translate.diff -------------------------------------------------------------------------------- /Instrumentor/prepare_qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/prepare_qemu.sh -------------------------------------------------------------------------------- /Instrumentor/repatch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Instrumentor/repatch.sh -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/README.md -------------------------------------------------------------------------------- /examples/length.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/length.c -------------------------------------------------------------------------------- /examples/linear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/linear.c -------------------------------------------------------------------------------- /examples/loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/loop.c -------------------------------------------------------------------------------- /examples/monoton.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/monoton.c -------------------------------------------------------------------------------- /examples/motiv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/motiv.c -------------------------------------------------------------------------------- /examples/nested.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/nested.c -------------------------------------------------------------------------------- /examples/stdin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/stdin.c -------------------------------------------------------------------------------- /examples/test_32bit_clang.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_32bit_clang.sh -------------------------------------------------------------------------------- /examples/test_32bit_gcc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_32bit_gcc.sh -------------------------------------------------------------------------------- /examples/test_initseed.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_initseed.sh -------------------------------------------------------------------------------- /examples/test_integerate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_integerate.sh -------------------------------------------------------------------------------- /examples/test_linear_clang.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_linear_clang.sh -------------------------------------------------------------------------------- /examples/test_linear_gcc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_linear_gcc.sh -------------------------------------------------------------------------------- /examples/test_loop.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_loop.sh -------------------------------------------------------------------------------- /examples/test_monoton_clang.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_monoton_clang.sh -------------------------------------------------------------------------------- /examples/test_monoton_gcc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_monoton_gcc.sh -------------------------------------------------------------------------------- /examples/test_motiv.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_motiv.sh -------------------------------------------------------------------------------- /examples/test_nested.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_nested.sh -------------------------------------------------------------------------------- /examples/test_no_fork_server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_no_fork_server.sh -------------------------------------------------------------------------------- /examples/test_stdin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_stdin.sh -------------------------------------------------------------------------------- /examples/test_timeout.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/test_timeout.sh -------------------------------------------------------------------------------- /examples/timeout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/examples/timeout.c -------------------------------------------------------------------------------- /src/Core/BranchInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/BranchInfo.fs -------------------------------------------------------------------------------- /src/Core/ByteVal.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/ByteVal.fs -------------------------------------------------------------------------------- /src/Core/BytesUtils.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/BytesUtils.fs -------------------------------------------------------------------------------- /src/Core/Config.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Config.fs -------------------------------------------------------------------------------- /src/Core/Executor.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Executor.fs -------------------------------------------------------------------------------- /src/Core/Options.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Options.fs -------------------------------------------------------------------------------- /src/Core/Queue.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Queue.fs -------------------------------------------------------------------------------- /src/Core/Seed.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Seed.fs -------------------------------------------------------------------------------- /src/Core/Typedef.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Typedef.fs -------------------------------------------------------------------------------- /src/Core/Utils.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/Utils.fs -------------------------------------------------------------------------------- /src/Core/libexec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Core/libexec.c -------------------------------------------------------------------------------- /src/Eclipser.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Eclipser.fsproj -------------------------------------------------------------------------------- /src/Fuzz/Fuzz.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Fuzz/Fuzz.fs -------------------------------------------------------------------------------- /src/Fuzz/Scheduler.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Fuzz/Scheduler.fs -------------------------------------------------------------------------------- /src/Fuzz/SeedQueue.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Fuzz/SeedQueue.fs -------------------------------------------------------------------------------- /src/Fuzz/Sync.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Fuzz/Sync.fs -------------------------------------------------------------------------------- /src/Fuzz/TestCase.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/Fuzz/TestCase.fs -------------------------------------------------------------------------------- /src/GreyConcolic/BranchTrace.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/BranchTrace.fs -------------------------------------------------------------------------------- /src/GreyConcolic/BranchTree.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/BranchTree.fs -------------------------------------------------------------------------------- /src/GreyConcolic/GreyConcolic.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/GreyConcolic.fs -------------------------------------------------------------------------------- /src/GreyConcolic/LinearEquation.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/LinearEquation.fs -------------------------------------------------------------------------------- /src/GreyConcolic/LinearInequality.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/LinearInequality.fs -------------------------------------------------------------------------------- /src/GreyConcolic/Linearity.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/Linearity.fs -------------------------------------------------------------------------------- /src/GreyConcolic/Monotonicity.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/Monotonicity.fs -------------------------------------------------------------------------------- /src/GreyConcolic/PathConstraint.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/PathConstraint.fs -------------------------------------------------------------------------------- /src/GreyConcolic/Solve.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Eclipser/HEAD/src/GreyConcolic/Solve.fs --------------------------------------------------------------------------------