Malware capability reverse engineering via coordination with symbolic analysis