Re:Automatic bug-repair system fixes 10 times as many errors...
by ryporter on Saturday January 30, 2016 @05:40AM
(#11001407)
That's purely static analysis [1], a well-developed field with many existing tools across many languages. [2] One company, Coverity was purchased for $350 million. [3]
[1] https://en.wikipedia.org/wiki/Static_program_analysis
[2] https://en.wikipedia.org/wiki/List_of_tools_for_static_code_...
[3] https://en.wikipedia.org/wiki/Coverity