├── .gitignore ├── .gitmodules ├── CMakeLists.txt ├── LICENSE ├── README.md ├── Taskfile.yml ├── passes ├── CMakeLists.txt ├── count-instrs │ ├── CMakeLists.txt │ └── CountInstrs.cpp ├── include │ ├── kspecem │ │ └── KSpecEmABIList.h │ └── pass.h ├── kspecem-abilists │ ├── blacklist-funcs.txt │ ├── interrupt-funcs.txt │ └── no-spec-funcs.txt ├── kspecem-check-spec-length │ ├── CMakeLists.txt │ └── KSpecEmCheckSpecLength.cpp ├── kspecem-pf-checker │ ├── CMakeLists.txt │ └── KSpecEmPfChecker.cpp ├── kspecem-spec │ ├── CMakeLists.txt │ └── KSpecEmSpec.cpp └── kspecem │ ├── CMakeLists.txt │ └── KSpecEm.cpp ├── scripts ├── compile-testcases.py ├── gdb.sh ├── initramfs │ └── init ├── qemu │ ├── common.py │ └── qemu.py └── run-qemu.sh ├── static ├── CMakeLists.txt └── kspecem │ ├── CMakeLists.txt │ ├── include │ ├── calling.h │ ├── kspecem_assert.h │ ├── kspecem_bugs.h │ ├── kspecem_common.h │ ├── kspecem_init.h │ ├── kspecem_interface.h │ ├── kspecem_internal.h │ ├── kspecem_interrupt.h │ ├── kspecem_kdf.h │ ├── kspecem_pf_checker.h │ ├── kspecem_print.h │ ├── kspecem_registers.h │ ├── kspecem_report.h │ ├── kspecem_stack.h │ ├── kspecem_statistics.h │ ├── kspecem_stats_inlineasm.h │ ├── kspecem_stats_restarts.h │ ├── kspecem_types.h │ ├── kspecem_undolog.h │ ├── kspecem_utils.h │ ├── kspecem_whitelist.h │ └── sysdep.h │ ├── kspecem_assert.c │ ├── kspecem_bugs.c │ ├── kspecem_common.c │ ├── kspecem_init.c │ ├── kspecem_interface.c │ ├── kspecem_internal.c │ ├── kspecem_interrupt.c │ ├── kspecem_kdf.c │ ├── kspecem_pf_checker.c │ ├── kspecem_registers.c │ ├── kspecem_regs.S │ ├── kspecem_report.c │ ├── kspecem_stack.c │ ├── kspecem_statistics.c │ ├── kspecem_stats_inlineasm.c │ ├── kspecem_stats_restarts.c │ ├── kspecem_undolog.c │ ├── kspecem_utils.c │ └── kspecem_whitelist.c ├── syzkaller.cfg.template └── taskfiles ├── TasksInitramfs.yml ├── TasksKernel.yml ├── TasksLLVM.yml ├── TasksQemu.yml └── TasksSyzkaller.yml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/.gitmodules -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/README.md -------------------------------------------------------------------------------- /Taskfile.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/Taskfile.yml -------------------------------------------------------------------------------- /passes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/CMakeLists.txt -------------------------------------------------------------------------------- /passes/count-instrs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/count-instrs/CMakeLists.txt -------------------------------------------------------------------------------- /passes/count-instrs/CountInstrs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/count-instrs/CountInstrs.cpp -------------------------------------------------------------------------------- /passes/include/kspecem/KSpecEmABIList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/include/kspecem/KSpecEmABIList.h -------------------------------------------------------------------------------- /passes/include/pass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/include/pass.h -------------------------------------------------------------------------------- /passes/kspecem-abilists/blacklist-funcs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-abilists/blacklist-funcs.txt -------------------------------------------------------------------------------- /passes/kspecem-abilists/interrupt-funcs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-abilists/interrupt-funcs.txt -------------------------------------------------------------------------------- /passes/kspecem-abilists/no-spec-funcs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-abilists/no-spec-funcs.txt -------------------------------------------------------------------------------- /passes/kspecem-check-spec-length/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-check-spec-length/CMakeLists.txt -------------------------------------------------------------------------------- /passes/kspecem-check-spec-length/KSpecEmCheckSpecLength.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-check-spec-length/KSpecEmCheckSpecLength.cpp -------------------------------------------------------------------------------- /passes/kspecem-pf-checker/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-pf-checker/CMakeLists.txt -------------------------------------------------------------------------------- /passes/kspecem-pf-checker/KSpecEmPfChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-pf-checker/KSpecEmPfChecker.cpp -------------------------------------------------------------------------------- /passes/kspecem-spec/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-spec/CMakeLists.txt -------------------------------------------------------------------------------- /passes/kspecem-spec/KSpecEmSpec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem-spec/KSpecEmSpec.cpp -------------------------------------------------------------------------------- /passes/kspecem/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem/CMakeLists.txt -------------------------------------------------------------------------------- /passes/kspecem/KSpecEm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/passes/kspecem/KSpecEm.cpp -------------------------------------------------------------------------------- /scripts/compile-testcases.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/scripts/compile-testcases.py -------------------------------------------------------------------------------- /scripts/gdb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/scripts/gdb.sh -------------------------------------------------------------------------------- /scripts/initramfs/init: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/scripts/initramfs/init -------------------------------------------------------------------------------- /scripts/qemu/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/scripts/qemu/common.py -------------------------------------------------------------------------------- /scripts/qemu/qemu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/scripts/qemu/qemu.py -------------------------------------------------------------------------------- /scripts/run-qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/scripts/run-qemu.sh -------------------------------------------------------------------------------- /static/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/CMakeLists.txt -------------------------------------------------------------------------------- /static/kspecem/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/CMakeLists.txt -------------------------------------------------------------------------------- /static/kspecem/include/calling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/calling.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_assert.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_bugs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_bugs.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_common.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_init.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_interface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_interface.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_internal.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_interrupt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_interrupt.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_kdf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_kdf.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_pf_checker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_pf_checker.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_print.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_registers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_registers.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_report.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_report.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_stack.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_statistics.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_stats_inlineasm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_stats_inlineasm.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_stats_restarts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_stats_restarts.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_types.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_undolog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_undolog.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_utils.h -------------------------------------------------------------------------------- /static/kspecem/include/kspecem_whitelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/kspecem_whitelist.h -------------------------------------------------------------------------------- /static/kspecem/include/sysdep.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/include/sysdep.h -------------------------------------------------------------------------------- /static/kspecem/kspecem_assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_assert.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_bugs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_bugs.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_common.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_init.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_interface.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_interface.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_internal.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_interrupt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_interrupt.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_kdf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_kdf.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_pf_checker.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_pf_checker.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_registers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_registers.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_regs.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_regs.S -------------------------------------------------------------------------------- /static/kspecem/kspecem_report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_report.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_stack.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_statistics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_statistics.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_stats_inlineasm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_stats_inlineasm.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_stats_restarts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_stats_restarts.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_undolog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_undolog.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_utils.c -------------------------------------------------------------------------------- /static/kspecem/kspecem_whitelist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/static/kspecem/kspecem_whitelist.c -------------------------------------------------------------------------------- /syzkaller.cfg.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/syzkaller.cfg.template -------------------------------------------------------------------------------- /taskfiles/TasksInitramfs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/taskfiles/TasksInitramfs.yml -------------------------------------------------------------------------------- /taskfiles/TasksKernel.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/taskfiles/TasksKernel.yml -------------------------------------------------------------------------------- /taskfiles/TasksLLVM.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/taskfiles/TasksLLVM.yml -------------------------------------------------------------------------------- /taskfiles/TasksQemu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/taskfiles/TasksQemu.yml -------------------------------------------------------------------------------- /taskfiles/TasksSyzkaller.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/kasper/HEAD/taskfiles/TasksSyzkaller.yml --------------------------------------------------------------------------------