Using symbolic execution to try to determine a pacman .install hook is only using reasonable commands - View it on GitHub