Loading...
#!/usr/bin/python3 import os import KernelCollection from FixupHelpers import * # This verifies that a kext can bind to another kext # foo.kext exports foo and bar.kext uses it def check(kernel_cache): enableLogging = False kernel_cache.buildKernelCollection("x86_64", "/kext-vtable-patching/main.kc", "/kext-vtable-patching/main.kernel", "/kext-vtable-patching/extensions", ["com.apple.foo", "com.apple.bar"], []) kernel_cache.analyze("/kext-vtable-patching/main.kc", ["-layout", "-arch", "x86_64"]) assert len(kernel_cache.dictionary()["dylibs"]) == 3 assert kernel_cache.dictionary()["dylibs"][0]["name"] == "com.apple.kernel" assert kernel_cache.dictionary()["dylibs"][1]["name"] == "com.apple.bar" assert kernel_cache.dictionary()["dylibs"][2]["name"] == "com.apple.foo" # Get the addresses for the symbols we are looking at. This will make it easier to work out the fixup slots kernel_cache.analyze("/kext-vtable-patching/main.kc", ["-symbols", "-arch", "x86_64"]) # From bar, find the vtable and its override of foo() # Bar::foo() barFooVMAddr = findGlobalSymbolVMAddr(kernel_cache, 1, "__ZN3Bar3fooEv") if enableLogging: print("barFooVMAddr: " + barFooVMAddr) # From foo, we want to know where the vtable is, and the foo() and fooUsed0() slots in that vtable # Foo::foo() fooFooVMAddr = findGlobalSymbolVMAddr(kernel_cache, 2, "__ZN3Foo3fooEv") if enableLogging: print("fooFooVMAddr: " + fooFooVMAddr) # Foo::fooUsed0() fooFooUsed0VMAddr = findGlobalSymbolVMAddr(kernel_cache, 2, "__ZN3Foo8fooUsed0Ev") if enableLogging: print("fooFooUsed0VMAddr: " + fooFooUsed0VMAddr) # Check the fixups kernel_cache.analyze("/kext-vtable-patching/main.kc", ["-fixups", "-arch", "x86_64"]) # In vtable for Foo, we match the entry for Foo::foo() by looking for its value on the RHS of the fixup fixupAddr = findFixupVMAddr(kernel_cache, "kc(0) + " + fooFooVMAddr) if enableLogging: print("fixupAddr: " + fixupAddr) # Then the following fixup should be to Foo::fooUsed0() nextFixupAddr = offsetVMAddr(fixupAddr, 8) assert kernel_cache.dictionary()["fixups"][nextFixupAddr] == "kc(0) + " + fooFooUsed0VMAddr # Now in bar, again match the entry for its Bar::foo() symbol fixupAddr = findFixupVMAddr(kernel_cache, "kc(0) + " + barFooVMAddr) if enableLogging: print("fixupAddr: " + fixupAddr) # And if the patching was correct, then following entry should be to Foo::fooUsed0() nextFixupAddr = offsetVMAddr(fixupAddr, 8) assert kernel_cache.dictionary()["fixups"][nextFixupAddr] == "kc(0) + " + fooFooUsed0VMAddr # [~]> xcrun -sdk macosx.internal cc -arch x86_64 -Wl,-static -mkernel -nostdlib -Wl,-e,__start -Wl,-pie main.cpp -Wl,-pagezero_size,0x0 -o main.kernel -Wl,-image_base,0x10000 -Wl,-segaddr,__HIB,0x4000 -Wl,-add_split_seg_info -Wl,-install_name,/usr/lib/swift/split.seg.v2.hack -iwithsysroot /System/Library/Frameworks/Kernel.framework/Headers -Wl,-sectcreate,__LINKINFO,__symbolsets,SymbolSets.plist -Wl,-segprot,__LINKINFO,r--,r-- # [~]> xcrun -sdk macosx.internal cc -arch x86_64 -Wl,-kext -mkernel -nostdlib -Wl,-add_split_seg_info -Wl,-no_data_const foo.cpp -o extensions/foo.kext/foo -iwithsysroot /System/Library/Frameworks/Kernel.framework/Headers -DFOO_USED=1 # [~]> xcrun -sdk macosx.internal cc -arch x86_64 -Wl,-kext -mkernel -nostdlib -Wl,-add_split_seg_info -Wl,-no_data_const bar.cpp -o extensions/bar.kext/bar -iwithsysroot /System/Library/Frameworks/Kernel.framework/Headers # [~]> rm -r extensions/*.kext/*.ld |