A few years ago as part of my MS program, I used Protobufs and Datalog to try to write program analyses over Java source code. I ended up implementing a simple alias analysis using this framework, and then drafting a…
A few years ago as part of my MS program, I used Protobufs and Datalog to try to write program analyses over Java source code. I ended up implementing a simple alias analysis using this framework, and then drafting a…