PPA in code

This is repo is build for learning and implement things in PPA book (principle of program analysis)

• after talk with my advisors, plan to impl using logic programming(datalog/slog)
• slog is the something our research group is developing, I will mainly using it, tho, it's not released yet