GitHub repository: ASSERT-KTH/smartbugs
Primary language: Python
Description: ASSERT's fork of SmartBugs