├── .dockerignore ├── .gitignore ├── CHANGES ├── Dockerfile ├── Makefile ├── README.md ├── annotation ├── 10-sink-to-structs.ql ├── 10.table ├── 11-structs.ql ├── 11.table ├── 12-bitawareness.ql ├── 12.table ├── 13-pointers.ql ├── 13.table ├── README.md ├── ViDeZZo │ ├── 10-sink-to-structs.ql │ ├── 11-structs.ql │ ├── 12-bitawareness.ql │ ├── 13-pointerawareness.ql │ └── videzzo.qll ├── codeql-build-qemu.sh ├── stats.txt └── videzzo.qll ├── clangcovdump.h ├── docs ├── IntraMessageDependenciesManuals.md └── VirtualDeviceList.md ├── statecovdump.h ├── videzzo.bt ├── videzzo.c ├── videzzo.h ├── videzzo_data_models.xml ├── videzzo_fork.c ├── videzzo_fork.h ├── videzzo_fork.ld ├── videzzo_qemu ├── .gitignore ├── 0001-Revert-util-cutils-Remove-unused-qemu_get_exec_dir.patch ├── 0001-Update-QEMU-to-support-ViDeZZo-as-a-library.patch ├── 0001-fix-assertion-in-hw-usb-core.c.patch ├── 0002-copy-to-qemu.sh ├── 0003-compile-qemu-san.sh ├── 0004-zip-qemu-targets.sh ├── 0005-compile-qemu-cov.sh ├── 0006-compile-qemu-deb.sh ├── Makefile ├── videzzo_qemu.c └── videzzo_types_gen.py ├── videzzo_tool ├── 01-quick-san.sh ├── 02-dd.sh ├── 03-dd-post.py ├── 04-quick-cov.sh ├── 05-deploy.sh ├── 06-minimize.sh ├── Makefile ├── blocklist.txt ├── merge.c ├── poc-gen.c ├── poc-gen.txt └── whitelist.txt ├── videzzo_types_gen.py ├── videzzo_types_gen_vmm.py ├── videzzo_types_lib.py ├── videzzo_types_to_xml.py └── videzzo_vbox ├── 0001-Update-VBOX-to-support-ViDeZZo-as-a-library.patch ├── 0002-copy-to-vbox.sh ├── 0003-compile-vbox-san.sh ├── 0004-zip-vbox-targets.sh ├── 0005-compile-vbox-cov.sh ├── 0006-compile-vbox-deb.sh ├── 0007-update-gcc-for-kernel-modules.sh ├── CLANG.kmk ├── Makefile ├── VBoxMalloc.h ├── VBoxViDeZZo.cpp ├── export_symbol_list.txt ├── missing-symbols.py └── videzzo_types_gen.py /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/CHANGES -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/Dockerfile -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/README.md -------------------------------------------------------------------------------- /annotation/10-sink-to-structs.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/10-sink-to-structs.ql -------------------------------------------------------------------------------- /annotation/10.table: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/10.table -------------------------------------------------------------------------------- /annotation/11-structs.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/11-structs.ql -------------------------------------------------------------------------------- /annotation/11.table: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/11.table -------------------------------------------------------------------------------- /annotation/12-bitawareness.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/12-bitawareness.ql -------------------------------------------------------------------------------- /annotation/12.table: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/12.table -------------------------------------------------------------------------------- /annotation/13-pointers.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/13-pointers.ql -------------------------------------------------------------------------------- /annotation/13.table: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/13.table -------------------------------------------------------------------------------- /annotation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/README.md -------------------------------------------------------------------------------- /annotation/ViDeZZo/10-sink-to-structs.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/ViDeZZo/10-sink-to-structs.ql -------------------------------------------------------------------------------- /annotation/ViDeZZo/11-structs.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/ViDeZZo/11-structs.ql -------------------------------------------------------------------------------- /annotation/ViDeZZo/12-bitawareness.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/ViDeZZo/12-bitawareness.ql -------------------------------------------------------------------------------- /annotation/ViDeZZo/13-pointerawareness.ql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/ViDeZZo/13-pointerawareness.ql -------------------------------------------------------------------------------- /annotation/ViDeZZo/videzzo.qll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/ViDeZZo/videzzo.qll -------------------------------------------------------------------------------- /annotation/codeql-build-qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/codeql-build-qemu.sh -------------------------------------------------------------------------------- /annotation/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/stats.txt -------------------------------------------------------------------------------- /annotation/videzzo.qll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/annotation/videzzo.qll -------------------------------------------------------------------------------- /clangcovdump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/clangcovdump.h -------------------------------------------------------------------------------- /docs/IntraMessageDependenciesManuals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/docs/IntraMessageDependenciesManuals.md -------------------------------------------------------------------------------- /docs/VirtualDeviceList.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/docs/VirtualDeviceList.md -------------------------------------------------------------------------------- /statecovdump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/statecovdump.h -------------------------------------------------------------------------------- /videzzo.bt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo.bt -------------------------------------------------------------------------------- /videzzo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo.c -------------------------------------------------------------------------------- /videzzo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo.h -------------------------------------------------------------------------------- /videzzo_data_models.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_data_models.xml -------------------------------------------------------------------------------- /videzzo_fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_fork.c -------------------------------------------------------------------------------- /videzzo_fork.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_fork.h -------------------------------------------------------------------------------- /videzzo_fork.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_fork.ld -------------------------------------------------------------------------------- /videzzo_qemu/.gitignore: -------------------------------------------------------------------------------- 1 | qemu-* 2 | -------------------------------------------------------------------------------- /videzzo_qemu/0001-Revert-util-cutils-Remove-unused-qemu_get_exec_dir.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0001-Revert-util-cutils-Remove-unused-qemu_get_exec_dir.patch -------------------------------------------------------------------------------- /videzzo_qemu/0001-Update-QEMU-to-support-ViDeZZo-as-a-library.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0001-Update-QEMU-to-support-ViDeZZo-as-a-library.patch -------------------------------------------------------------------------------- /videzzo_qemu/0001-fix-assertion-in-hw-usb-core.c.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0001-fix-assertion-in-hw-usb-core.c.patch -------------------------------------------------------------------------------- /videzzo_qemu/0002-copy-to-qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0002-copy-to-qemu.sh -------------------------------------------------------------------------------- /videzzo_qemu/0003-compile-qemu-san.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0003-compile-qemu-san.sh -------------------------------------------------------------------------------- /videzzo_qemu/0004-zip-qemu-targets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0004-zip-qemu-targets.sh -------------------------------------------------------------------------------- /videzzo_qemu/0005-compile-qemu-cov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0005-compile-qemu-cov.sh -------------------------------------------------------------------------------- /videzzo_qemu/0006-compile-qemu-deb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/0006-compile-qemu-deb.sh -------------------------------------------------------------------------------- /videzzo_qemu/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/Makefile -------------------------------------------------------------------------------- /videzzo_qemu/videzzo_qemu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_qemu/videzzo_qemu.c -------------------------------------------------------------------------------- /videzzo_qemu/videzzo_types_gen.py: -------------------------------------------------------------------------------- 1 | ../videzzo_types_gen_vmm.py -------------------------------------------------------------------------------- /videzzo_tool/01-quick-san.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/01-quick-san.sh -------------------------------------------------------------------------------- /videzzo_tool/02-dd.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/02-dd.sh -------------------------------------------------------------------------------- /videzzo_tool/03-dd-post.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/03-dd-post.py -------------------------------------------------------------------------------- /videzzo_tool/04-quick-cov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/04-quick-cov.sh -------------------------------------------------------------------------------- /videzzo_tool/05-deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/05-deploy.sh -------------------------------------------------------------------------------- /videzzo_tool/06-minimize.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/06-minimize.sh -------------------------------------------------------------------------------- /videzzo_tool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/Makefile -------------------------------------------------------------------------------- /videzzo_tool/blocklist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/blocklist.txt -------------------------------------------------------------------------------- /videzzo_tool/merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/merge.c -------------------------------------------------------------------------------- /videzzo_tool/poc-gen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/poc-gen.c -------------------------------------------------------------------------------- /videzzo_tool/poc-gen.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/poc-gen.txt -------------------------------------------------------------------------------- /videzzo_tool/whitelist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_tool/whitelist.txt -------------------------------------------------------------------------------- /videzzo_types_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_types_gen.py -------------------------------------------------------------------------------- /videzzo_types_gen_vmm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_types_gen_vmm.py -------------------------------------------------------------------------------- /videzzo_types_lib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_types_lib.py -------------------------------------------------------------------------------- /videzzo_types_to_xml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_types_to_xml.py -------------------------------------------------------------------------------- /videzzo_vbox/0001-Update-VBOX-to-support-ViDeZZo-as-a-library.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0001-Update-VBOX-to-support-ViDeZZo-as-a-library.patch -------------------------------------------------------------------------------- /videzzo_vbox/0002-copy-to-vbox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0002-copy-to-vbox.sh -------------------------------------------------------------------------------- /videzzo_vbox/0003-compile-vbox-san.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0003-compile-vbox-san.sh -------------------------------------------------------------------------------- /videzzo_vbox/0004-zip-vbox-targets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0004-zip-vbox-targets.sh -------------------------------------------------------------------------------- /videzzo_vbox/0005-compile-vbox-cov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0005-compile-vbox-cov.sh -------------------------------------------------------------------------------- /videzzo_vbox/0006-compile-vbox-deb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0006-compile-vbox-deb.sh -------------------------------------------------------------------------------- /videzzo_vbox/0007-update-gcc-for-kernel-modules.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/0007-update-gcc-for-kernel-modules.sh -------------------------------------------------------------------------------- /videzzo_vbox/CLANG.kmk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/CLANG.kmk -------------------------------------------------------------------------------- /videzzo_vbox/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/Makefile -------------------------------------------------------------------------------- /videzzo_vbox/VBoxMalloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/VBoxMalloc.h -------------------------------------------------------------------------------- /videzzo_vbox/VBoxViDeZZo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/VBoxViDeZZo.cpp -------------------------------------------------------------------------------- /videzzo_vbox/export_symbol_list.txt: -------------------------------------------------------------------------------- 1 | { 2 | AroundInvalidAddress; 3 | }; 4 | -------------------------------------------------------------------------------- /videzzo_vbox/missing-symbols.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HexHive/ViDeZZo/HEAD/videzzo_vbox/missing-symbols.py -------------------------------------------------------------------------------- /videzzo_vbox/videzzo_types_gen.py: -------------------------------------------------------------------------------- 1 | ../videzzo_types_gen_vmm.py --------------------------------------------------------------------------------