Hello Yu-ning.
The license states that reverse engineering or decompiling the binaries is not allowed. The activities that you are describing are all methods of decompiling or reverse engineering the binaries and are prohibited by the license. The binaries are there so you can boot from the WRK, which is missing some components from the shipped kernel. We provided the private HAL symbols for debugging of WRK modifications only, not to enable or permit the user to reverse engineer the binaries.
Thanks.
Brian