CodeSecure - 静态源代码分析平台
摘要：
简介：CodeSecure™ is a static source code analysis platform that leverages third generation software verification technologies to identify web application vulnerabilities throughout development. Our web-based solution provides automated compiler-independent code analysis that models tainted dataflow wi 阅读全文
posted @ 2011-12-07 20:32 hackchecker 阅读(1452) 评论(0) 推荐(1) 编辑
