Re:Static Program Analysis
by wslh on Monday November 28, 2022 @07:02AM
(#33772548)
There are no general algorithms that can report a "no" to general source code. The maybe is obviously not considered in the context of this discussion thread about ML. It is obvious that ML. A simple search on Internet could give you resources like this: https://arxiv.org/abs/2110.09610
[ Parent
| on HN ]
> The maybe is obviously not considered in the context of this discussion thread about ML.
What do you mean by that statement? The only thing ML can do with a decision question is report "maybe" with some confidence. For example, "I am 98.3% sure this image has a cat in it, with respect to the data sets I was trained on" or "I am 77% confident this source code misuses a web request API, given the examples and non-examples of misuse that you have shown me."