├── README.md ├── analysis ├── .vscode │ └── settings.json ├── CMakeLists.txt ├── build.sh ├── include │ ├── color.h │ ├── std_ext.h │ └── stopwatch.h └── src │ ├── CMakeLists.txt │ ├── capstat.h │ ├── color.h │ ├── commontypes.h │ ├── indcall.cpp │ ├── indcall.h │ ├── internal.h │ ├── kdfi.cpp │ ├── kdfi.h │ ├── knobs.cpp │ ├── knobs.h │ ├── module_duplicator.cpp │ ├── module_duplicator.h │ ├── pta.cpp │ ├── pta.h │ ├── simple_set.cpp │ ├── simple_set.h │ ├── utility.cpp │ └── utility.h └── scripts ├── alloc.func ├── build-analysis.sh ├── build-kernel-kdfi.sh ├── build-kernel-pta.sh ├── build-kernel-wllvm.sh ├── build-llvm.sh ├── build_pta.py ├── config_ori ├── config_petal ├── crit.gobj ├── crit.gptr ├── crit.obj ├── crit.ptr ├── kdfi.dump.path ├── kdfi.sh ├── linux-pta.patch ├── petal-linux-5.15-qemu.patch ├── petal-llvm-14.0.0.patch ├── pta.sh ├── setup.sh ├── skip.func.kdfi └── skip.func.mte /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/README.md -------------------------------------------------------------------------------- /analysis/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/.vscode/settings.json -------------------------------------------------------------------------------- /analysis/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/CMakeLists.txt -------------------------------------------------------------------------------- /analysis/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/build.sh -------------------------------------------------------------------------------- /analysis/include/color.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/include/color.h -------------------------------------------------------------------------------- /analysis/include/std_ext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/include/std_ext.h -------------------------------------------------------------------------------- /analysis/include/stopwatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/include/stopwatch.h -------------------------------------------------------------------------------- /analysis/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/CMakeLists.txt -------------------------------------------------------------------------------- /analysis/src/capstat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/capstat.h -------------------------------------------------------------------------------- /analysis/src/color.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/color.h -------------------------------------------------------------------------------- /analysis/src/commontypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/commontypes.h -------------------------------------------------------------------------------- /analysis/src/indcall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/indcall.cpp -------------------------------------------------------------------------------- /analysis/src/indcall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/indcall.h -------------------------------------------------------------------------------- /analysis/src/internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/internal.h -------------------------------------------------------------------------------- /analysis/src/kdfi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/kdfi.cpp -------------------------------------------------------------------------------- /analysis/src/kdfi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/kdfi.h -------------------------------------------------------------------------------- /analysis/src/knobs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/knobs.cpp -------------------------------------------------------------------------------- /analysis/src/knobs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/knobs.h -------------------------------------------------------------------------------- /analysis/src/module_duplicator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/module_duplicator.cpp -------------------------------------------------------------------------------- /analysis/src/module_duplicator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/module_duplicator.h -------------------------------------------------------------------------------- /analysis/src/pta.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/pta.cpp -------------------------------------------------------------------------------- /analysis/src/pta.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/pta.h -------------------------------------------------------------------------------- /analysis/src/simple_set.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/simple_set.cpp -------------------------------------------------------------------------------- /analysis/src/simple_set.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/simple_set.h -------------------------------------------------------------------------------- /analysis/src/utility.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/utility.cpp -------------------------------------------------------------------------------- /analysis/src/utility.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/analysis/src/utility.h -------------------------------------------------------------------------------- /scripts/alloc.func: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/alloc.func -------------------------------------------------------------------------------- /scripts/build-analysis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/build-analysis.sh -------------------------------------------------------------------------------- /scripts/build-kernel-kdfi.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/build-kernel-kdfi.sh -------------------------------------------------------------------------------- /scripts/build-kernel-pta.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/build-kernel-pta.sh -------------------------------------------------------------------------------- /scripts/build-kernel-wllvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/build-kernel-wllvm.sh -------------------------------------------------------------------------------- /scripts/build-llvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/build-llvm.sh -------------------------------------------------------------------------------- /scripts/build_pta.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/build_pta.py -------------------------------------------------------------------------------- /scripts/config_ori: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/config_ori -------------------------------------------------------------------------------- /scripts/config_petal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/config_petal -------------------------------------------------------------------------------- /scripts/crit.gobj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/crit.gobj -------------------------------------------------------------------------------- /scripts/crit.gptr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/crit.gptr -------------------------------------------------------------------------------- /scripts/crit.obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/crit.obj -------------------------------------------------------------------------------- /scripts/crit.ptr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/crit.ptr -------------------------------------------------------------------------------- /scripts/kdfi.dump.path: -------------------------------------------------------------------------------- 1 | FIXME: scripts/kdfi.dump 2 | -------------------------------------------------------------------------------- /scripts/kdfi.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/kdfi.sh -------------------------------------------------------------------------------- /scripts/linux-pta.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/linux-pta.patch -------------------------------------------------------------------------------- /scripts/petal-linux-5.15-qemu.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/petal-linux-5.15-qemu.patch -------------------------------------------------------------------------------- /scripts/petal-llvm-14.0.0.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/petal-llvm-14.0.0.patch -------------------------------------------------------------------------------- /scripts/pta.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/pta.sh -------------------------------------------------------------------------------- /scripts/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/setup.sh -------------------------------------------------------------------------------- /scripts/skip.func.kdfi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/skip.func.kdfi -------------------------------------------------------------------------------- /scripts/skip.func.mte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-snu/petal/HEAD/scripts/skip.func.mte --------------------------------------------------------------------------------