├── .gitignore ├── .gitmodules ├── README.md ├── deps ├── util │ ├── ASTDumper.cpp │ └── json.hpp └── z3 │ ├── .gitignore │ └── init.sh ├── llvm ├── .gitignore └── init.sh ├── note └── prelim │ ├── 0001-ALSA-asihpi-fix-a-potential-double-fetch-bug-when-co.patch │ ├── 0001-aacraid-fix-potential-double-fetch-issue.patch │ ├── 0001-acpi-fix-potential-double-fetch-bug.patch │ ├── 0001-fs-coda-ensure-the-header-peeked-at-is-the-same-in-t.patch │ ├── 0001-hid-uhid-fix-a-double-fetch-bug-when-copying-event-f.patch │ ├── 0001-isdn-i4l-check-the-message-proto-does-not-change-acr.patch │ ├── 0001-isdn-i4l-fetch-the-ppp_write-buffer-in-one-shot.patch │ ├── 0001-mpt3sas-downgrade-full-copy_from_user-to-access_ok-c.patch │ ├── 0001-mpt3sas-remove-redundant-copy_from_user-in-_ctl_geti.patch │ ├── 0001-net-compat-assert-the-size-of-cmsg-copied-in-is-as-e.patch │ ├── 0001-nvdimm-fix-potential-double-fetch-bug.patch │ ├── 0001-nvdimm-move-the-check-on-nd_reserved2-to-the-endpoin.patch │ ├── 0001-perf-core-fix-potential-double-fetch-bug.patch │ ├── 0001-sched-core-fix-a-potential-double-fetch-bug-on-attr.patch │ ├── 0001-scsi-ensure-the-header-peeked-does-not-change-in-the.patch │ ├── 0001-scsi-skip-message-header-in-next-fetch.patch │ └── NOTE ├── pass ├── .gitignore ├── CMakeLists.txt └── KSym │ ├── Alias.cpp │ ├── Alias.h │ ├── Asmcall.cpp │ ├── Asmcall.def │ ├── CMakeLists.txt │ ├── DAG.cpp │ ├── DAG.h │ ├── Fetch.cpp │ ├── Fetch.h │ ├── Func.cpp │ ├── Func.h │ ├── Global.cpp │ ├── Libcall.cpp │ ├── Libcall.def │ ├── Logger.cpp │ ├── Logger.h │ ├── Lower.cpp │ ├── Lower.h │ ├── Node.cpp │ ├── Node.h │ ├── Oracle.cpp │ ├── Oracle.h │ ├── PA.cpp │ ├── PA.h │ ├── Project.h │ ├── Record.cpp │ ├── Record.h │ ├── SEG.cpp │ ├── SEG.h │ ├── Slice.cpp │ ├── Slice.h │ ├── Symbolic.cpp │ ├── Symbolic.h │ ├── Tool.cpp │ ├── Tool.h │ ├── Trace.cpp │ ├── Trace.h │ ├── Unroll.cpp │ ├── Unroll.h │ ├── Util.cpp │ └── Util.h ├── unit ├── .gitignore └── Linux │ ├── .gitignore │ ├── Makefile │ ├── common.h │ └── fetch │ ├── Makefile │ ├── copy_from_user.c │ ├── get_user.c │ └── memdup_user.c └── work ├── .gitignore ├── app.py ├── cmd.py ├── conf.py ├── draw.py ├── kill.sh ├── linux_stable.py ├── llvm.py ├── main.py ├── util.py └── xnu_stable.py /.gitignore: -------------------------------------------------------------------------------- 1 | *.swp 2 | *.swo 3 | /code/ 4 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/.gitmodules -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/README.md -------------------------------------------------------------------------------- /deps/util/ASTDumper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/deps/util/ASTDumper.cpp -------------------------------------------------------------------------------- /deps/util/json.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/deps/util/json.hpp -------------------------------------------------------------------------------- /deps/z3/.gitignore: -------------------------------------------------------------------------------- 1 | /srcs/ 2 | /bins/ 3 | -------------------------------------------------------------------------------- /deps/z3/init.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/deps/z3/init.sh -------------------------------------------------------------------------------- /llvm/.gitignore: -------------------------------------------------------------------------------- 1 | /bins/ 2 | /syms/ 3 | -------------------------------------------------------------------------------- /llvm/init.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/llvm/init.sh -------------------------------------------------------------------------------- /note/prelim/0001-ALSA-asihpi-fix-a-potential-double-fetch-bug-when-co.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-ALSA-asihpi-fix-a-potential-double-fetch-bug-when-co.patch -------------------------------------------------------------------------------- /note/prelim/0001-aacraid-fix-potential-double-fetch-issue.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-aacraid-fix-potential-double-fetch-issue.patch -------------------------------------------------------------------------------- /note/prelim/0001-acpi-fix-potential-double-fetch-bug.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-acpi-fix-potential-double-fetch-bug.patch -------------------------------------------------------------------------------- /note/prelim/0001-fs-coda-ensure-the-header-peeked-at-is-the-same-in-t.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-fs-coda-ensure-the-header-peeked-at-is-the-same-in-t.patch -------------------------------------------------------------------------------- /note/prelim/0001-hid-uhid-fix-a-double-fetch-bug-when-copying-event-f.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-hid-uhid-fix-a-double-fetch-bug-when-copying-event-f.patch -------------------------------------------------------------------------------- /note/prelim/0001-isdn-i4l-check-the-message-proto-does-not-change-acr.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-isdn-i4l-check-the-message-proto-does-not-change-acr.patch -------------------------------------------------------------------------------- /note/prelim/0001-isdn-i4l-fetch-the-ppp_write-buffer-in-one-shot.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-isdn-i4l-fetch-the-ppp_write-buffer-in-one-shot.patch -------------------------------------------------------------------------------- /note/prelim/0001-mpt3sas-downgrade-full-copy_from_user-to-access_ok-c.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-mpt3sas-downgrade-full-copy_from_user-to-access_ok-c.patch -------------------------------------------------------------------------------- /note/prelim/0001-mpt3sas-remove-redundant-copy_from_user-in-_ctl_geti.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-mpt3sas-remove-redundant-copy_from_user-in-_ctl_geti.patch -------------------------------------------------------------------------------- /note/prelim/0001-net-compat-assert-the-size-of-cmsg-copied-in-is-as-e.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-net-compat-assert-the-size-of-cmsg-copied-in-is-as-e.patch -------------------------------------------------------------------------------- /note/prelim/0001-nvdimm-fix-potential-double-fetch-bug.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-nvdimm-fix-potential-double-fetch-bug.patch -------------------------------------------------------------------------------- /note/prelim/0001-nvdimm-move-the-check-on-nd_reserved2-to-the-endpoin.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-nvdimm-move-the-check-on-nd_reserved2-to-the-endpoin.patch -------------------------------------------------------------------------------- /note/prelim/0001-perf-core-fix-potential-double-fetch-bug.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-perf-core-fix-potential-double-fetch-bug.patch -------------------------------------------------------------------------------- /note/prelim/0001-sched-core-fix-a-potential-double-fetch-bug-on-attr.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-sched-core-fix-a-potential-double-fetch-bug-on-attr.patch -------------------------------------------------------------------------------- /note/prelim/0001-scsi-ensure-the-header-peeked-does-not-change-in-the.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-scsi-ensure-the-header-peeked-does-not-change-in-the.patch -------------------------------------------------------------------------------- /note/prelim/0001-scsi-skip-message-header-in-next-fetch.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/0001-scsi-skip-message-header-in-next-fetch.patch -------------------------------------------------------------------------------- /note/prelim/NOTE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/note/prelim/NOTE -------------------------------------------------------------------------------- /pass/.gitignore: -------------------------------------------------------------------------------- 1 | /Build/ 2 | -------------------------------------------------------------------------------- /pass/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/CMakeLists.txt -------------------------------------------------------------------------------- /pass/KSym/Alias.cpp: -------------------------------------------------------------------------------- 1 | // SPDX-License-Identifier: MIT 2 | #include "Project.h" 3 | 4 | -------------------------------------------------------------------------------- /pass/KSym/Alias.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Alias.h -------------------------------------------------------------------------------- /pass/KSym/Asmcall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Asmcall.cpp -------------------------------------------------------------------------------- /pass/KSym/Asmcall.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Asmcall.def -------------------------------------------------------------------------------- /pass/KSym/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/CMakeLists.txt -------------------------------------------------------------------------------- /pass/KSym/DAG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/DAG.cpp -------------------------------------------------------------------------------- /pass/KSym/DAG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/DAG.h -------------------------------------------------------------------------------- /pass/KSym/Fetch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Fetch.cpp -------------------------------------------------------------------------------- /pass/KSym/Fetch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Fetch.h -------------------------------------------------------------------------------- /pass/KSym/Func.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Func.cpp -------------------------------------------------------------------------------- /pass/KSym/Func.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Func.h -------------------------------------------------------------------------------- /pass/KSym/Global.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Global.cpp -------------------------------------------------------------------------------- /pass/KSym/Libcall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Libcall.cpp -------------------------------------------------------------------------------- /pass/KSym/Libcall.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Libcall.def -------------------------------------------------------------------------------- /pass/KSym/Logger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Logger.cpp -------------------------------------------------------------------------------- /pass/KSym/Logger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Logger.h -------------------------------------------------------------------------------- /pass/KSym/Lower.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Lower.cpp -------------------------------------------------------------------------------- /pass/KSym/Lower.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Lower.h -------------------------------------------------------------------------------- /pass/KSym/Node.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Node.cpp -------------------------------------------------------------------------------- /pass/KSym/Node.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Node.h -------------------------------------------------------------------------------- /pass/KSym/Oracle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Oracle.cpp -------------------------------------------------------------------------------- /pass/KSym/Oracle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Oracle.h -------------------------------------------------------------------------------- /pass/KSym/PA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/PA.cpp -------------------------------------------------------------------------------- /pass/KSym/PA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/PA.h -------------------------------------------------------------------------------- /pass/KSym/Project.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Project.h -------------------------------------------------------------------------------- /pass/KSym/Record.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Record.cpp -------------------------------------------------------------------------------- /pass/KSym/Record.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Record.h -------------------------------------------------------------------------------- /pass/KSym/SEG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/SEG.cpp -------------------------------------------------------------------------------- /pass/KSym/SEG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/SEG.h -------------------------------------------------------------------------------- /pass/KSym/Slice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Slice.cpp -------------------------------------------------------------------------------- /pass/KSym/Slice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Slice.h -------------------------------------------------------------------------------- /pass/KSym/Symbolic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Symbolic.cpp -------------------------------------------------------------------------------- /pass/KSym/Symbolic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Symbolic.h -------------------------------------------------------------------------------- /pass/KSym/Tool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Tool.cpp -------------------------------------------------------------------------------- /pass/KSym/Tool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Tool.h -------------------------------------------------------------------------------- /pass/KSym/Trace.cpp: -------------------------------------------------------------------------------- 1 | // SPDX-License-Identifier: MIT 2 | #include "Project.h" 3 | -------------------------------------------------------------------------------- /pass/KSym/Trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Trace.h -------------------------------------------------------------------------------- /pass/KSym/Unroll.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Unroll.cpp -------------------------------------------------------------------------------- /pass/KSym/Unroll.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Unroll.h -------------------------------------------------------------------------------- /pass/KSym/Util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Util.cpp -------------------------------------------------------------------------------- /pass/KSym/Util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/pass/KSym/Util.h -------------------------------------------------------------------------------- /unit/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | *.sym 4 | -------------------------------------------------------------------------------- /unit/Linux/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/unit/Linux/.gitignore -------------------------------------------------------------------------------- /unit/Linux/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/unit/Linux/Makefile -------------------------------------------------------------------------------- /unit/Linux/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/unit/Linux/common.h -------------------------------------------------------------------------------- /unit/Linux/fetch/Makefile: -------------------------------------------------------------------------------- 1 | ../Makefile -------------------------------------------------------------------------------- /unit/Linux/fetch/copy_from_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/unit/Linux/fetch/copy_from_user.c -------------------------------------------------------------------------------- /unit/Linux/fetch/get_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/unit/Linux/fetch/get_user.c -------------------------------------------------------------------------------- /unit/Linux/fetch/memdup_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/unit/Linux/fetch/memdup_user.c -------------------------------------------------------------------------------- /work/.gitignore: -------------------------------------------------------------------------------- 1 | *.pyc 2 | -------------------------------------------------------------------------------- /work/app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/app.py -------------------------------------------------------------------------------- /work/cmd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/cmd.py -------------------------------------------------------------------------------- /work/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/conf.py -------------------------------------------------------------------------------- /work/draw.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/draw.py -------------------------------------------------------------------------------- /work/kill.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/kill.sh -------------------------------------------------------------------------------- /work/linux_stable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/linux_stable.py -------------------------------------------------------------------------------- /work/llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/llvm.py -------------------------------------------------------------------------------- /work/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/main.py -------------------------------------------------------------------------------- /work/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/util.py -------------------------------------------------------------------------------- /work/xnu_stable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sslab-gatech/deadline/HEAD/work/xnu_stable.py --------------------------------------------------------------------------------