GitHub repository: AndrewFasano/angrypanda
Primary language: Python
Description: Panda-angr integration