static analysis framework

static analysis framework is a framework in our research taxonomy.