“軟件安全智能檢測修復平臺（Wukong悟空）”產品由中國科學院研究員李煉博士帶隊的博士帶隊所研發。能夠為國內外政府、金融、電信、科技等行業客戶提供專業全面的軟件源代碼漏洞檢測解決方案，幫助客戶在軟件開發過程中查找、識別、追蹤絕大部分主流編碼中的技術漏洞和邏輯漏洞，幫助客戶以低成本控制應用程序安全風險。在各項關鍵技術指標上，包括測試能力（漏報率）、測試準確性（誤報率）、測試效率等方面性能良好。該技術在本領域國際頂尖學術會議PLDI, FSE, ECOOP, CGO, SAS等會議上發表論文三十余篇，獲得多項國際專利，并多次獲得最佳論文獎，擁有這一領域領先世界的創新技術和創新能力。
