engine: save_addr_props: Properly skip areas without properties.
tree4b5f56855bda8e302122db10befd073a257e5c93
-rw-r--r-- 319 .gitmodules
-rw-r--r-- 35147 COPYING
-rw-r--r-- 1133 Makefile.examples
-rw-r--r-- 7589 README.md
-rwxr-xr-x 39396 ScratchABit.py
-rw-r--r-- 219 default_plugins.py
drwxr-xr-x - docs
-rwxr-xr-x 8192 example-arm_32_arm.elf
-rwxr-xr-x 8192 example-arm_32_thumb1.elf
-rwxr-xr-x 8176 example-arm_32_thumb2.elf
-rwxr-xr-x 7300 example-x86_32.elf
-rw-r--r-- 100 example-x86_64.bin
-rw-r--r-- 1243 example-x86_64.def
-rwxr-xr-x 8504 example-x86_64.elf
-rw-r--r-- 114 example.c
-rw-r--r-- 10086 idaapi.py
-rw-r--r-- 2301 idc.py
drwxr-xr-x - libs
lrwxrwxrwx 20 picotui -> libs/picotui/picotui
drwxr-xr-x - plugins
-rw-r--r-- 2702 rangeset.py
drwxr-xr-x - scratchabit
drwxr-xr-x - tools