So You Want to Analyze Scheme Programs With Datalog?

Davis Ross Silverman, Yihao Sun, Kristopher Micinski +1

Static analysis approximates the results of a program by examining only its syntax. For example, control-flow analysis (CFA) determines which syntactic lambdas (for functional lang…