Building Lightning-Fast Program Analysis with Soufflé and Datalog

Soufflé and Datalog offer an elegant approach to program analysis. They are both expressive and surprisingly fast. What do you think? Let us know in the comments.