Automatic Firmware Emulation through Invalidity-guided Knowledge Inference (Extended Version)