Query-by-Synthesis (QBS) [@cheung2013optimizing] is a system developed to optimize database applications via static analysis. It is a very powerful system that, in the end, converts sections of code that would otherwise perform relational-query-like operations on the application server to a semantically equivalent SQL query that can be run on the DBMS.
There are (at least) three different "sensitivities" an abstract analysis can have:
This article briefly describes the difference between them.
Abstract interpretation is a very common technique for analyzing programs. This is a quick primer on the topic.
The core idea of an abstract interpretation is to "run the program", but instead of typical program states/values/etc (sometimes referred to collectively as configurations), we use some replacement that means the execution is decidable (the program always terminates).
This is a Blog for the BYU Static Analysis Lab
Dr. Kimball Germane is our advisor at BYU. https://kimball.germane.net/
He has a lot of experience with static analysis, and especially with making control flow analysis practical for real world use.
In this blog post we will introduce static analysis from a few different perspectives.
Click (Read More) below to read the rest of the post.