3 ms·
yes you can, in many dimensions. one of those we call "type checking". other examples are the myriad examples of using model checking and symbolic execution to
by munin 12y ago
yes you can, in many dimensions. one of those we call "type checking". other examples are the myriad examples of using model checking and symbolic execution to identify errors in programs automatically. can you identify all errors? no, but that has nothing to do with weak or strong AI. but you can definitely learn general properties about general programs using today's technology.
- ScottBurson 12y agoI'm certainly not saying that static analysis is useless; that would be an odd statement considering it's the field that pays my salary! But there's still a very big gap between what we can do and what we want to do. None of the extant static analyzers found the Heartbleed bug, for example. What I'm saying is that to close that gap will require AI. I don't think it's just a matter of better algorithms.