In the past decade, both code volume and code complexity have surged. While we have built better abstractions for hiding some of this complexity, the tools we have for analyzing code and tackling this complexity directly have lagged behind.
One of the challenges today is that there is a gap between code search and static analysis. Code search is fast and easy to use, but imprecise and heuristics-based. Static analysis is very precise, but cumbersome to write and slow to run.
SourceScape is intended to resolve this gap between code search and static analysis. It is designed to have both the precision of static analysis as well as the speed of code search.