Zaproponuj poprawkę · Hardware-Decompilation-FSM-Checking