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