core & os_unix & arch_arm: try to implement analysis using semantic (WIP)