Searching in static-analysis