A search system for mathematical expressions on software binaries

摘要: Developers often ask for libraries that implement specific mathematical expressions. A fundamental bottleneck in building information retrieval (IR) systems to answer such queries is the inability detect a given expression software binaries. While we have few math IR solutions as EgoMath2 and Tangent-3 work over text documents, none exist search Our vision build system binaries containing wide variety of compilers differences way they optimize code, pose difficult challenges solve this problem. In work, discuss our preliminary results detecting expressions We use knowledge base assisted approach are able with precision 80% recall 53%. This opens up interesting research opportunities areas security performance, help analysts identifying analyzing implementations