m********5
发帖数: 17667 | 1 各国，各公司都急迫需要，现在代码量过大，更新迅速，人工基本查不了多少
看几家牛B公司都在搞人工智能分析，找后门和漏洞。
google已经上了人工脑，太高端了。
谁搞一个真正稳定运行的，绝对牛B大了。 | z****e
发帖数: 54598 | 2 这个东西不适合个人搞
政府搞比较合适
企业搞都不合适
拿股东钱搞这个，不见的划算 | b*******s
发帖数: 5216 | 3 有些创业公司做过，基本是代码静态分析工具，一些诸如nokia,moto, boeing之类的也
采用过
说实话，暂时没什么方向
【在 z****e 的大作中提到】
: 这个东西不适合个人搞
: 政府搞比较合适
: 企业搞都不合适
: 拿股东钱搞这个，不见的划算
| a****u
发帖数: 1537 | 4 用过coverage,polyspace，也不算很智能，静态分析不算很难。主要的算法难度主要是
进行减枝，不然太慢了。 |
|
