GitHub repository: pilo1996/lisa
Description: LiSA, a library for static analysis