シンボリック実行エンジンangrをPythonでスクリプティングするときに便利な使い方メモ。angrに慣れている人には便利なはず～