We also found that existing platforms and tools were not extensible enough. Google has many specialized frameworks and languages, and an ideal system would provide static analyses for all of them. Our ideal system would let domain experts write their own analyses, without having to bear the cost of building or maintaining an entire end-to-end pipeline. For example, a team writing C++ libraries can write checks to make sure developers use those libraries correctly, without worrying about the problems inherent in running a large production system.