OpenAI and Anthropic have both been studying CURL for a while though. Anything they found was already fixed. If you want to compare you need to start with something that none of studied. Somebody please take the source to a 2023 release of CURL (It shouldn't be hard to find one) - before all the current AI craze, and run all the tools on them to see what they find. Only then can we compare numbers. (and even then sev…
I guess this would also require models trained on pre-2023 data - or not trained on later curl code, changelogs, blog posts discussing curl security fixes, etc.
Six curl CVEs after OpenAI and Anthropic came back with zero
21–30 of 68 posts
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#22Since AISLE reported 29 issues but only 6 warranted a CVE, and all the found CVEs were "low" severity, this makes me wonder if AISLE simply is tuned for a higher false positive rate than the anthropic and openai tools (which may have found the same 6 issues and decided not to report them)
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#23Curl is going to end up incredibly secure.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#24Since AISLE reported 29 issues but only 6 warranted a CVE, and all the found CVEs were "low" severity, this makes me wonder if AISLE simply is tuned for a higher false positive rate than the anthropic and openai tools (which may have found the same 6 issues and decided not to report them)
This is understandable because upstream interactions at scale are difficult.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#25Earlier quoted context omitted.
The homepage says something about AI guided fuzzing based on libfuzzer or AFL. Looks like they have the LLMs identify a bunch of interesting functions to test, generate some test harnesses, and then sort through the fuzzer findings at a high level, which sounds like a pretty good idea.
Also sounds incredibly compute intensive.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#26Curl seems to becoming one of the favourite things to demo AI finding vulns. Curl is going to end up incredibly secure.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#27Wow, this announcement is good content marketing. Don't get me wrong, it's interesting. But there is no technical discussion as to how they did it. It's simply: we did it and Mythos and Codex didn't. It's good to know that it's possible, but I'd have already expected it. Put a base model versus a base model + harness + whatever else, and yea, if you do it right then you have a better system to find vulnerabilities. >…
https://github.com/weareaisle/nano-analyzer/blob/main/scan.p...
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#28Wow, this announcement is good content marketing. Don't get me wrong, it's interesting. But there is no technical discussion as to how they did it. It's simply: we did it and Mythos and Codex didn't. It's good to know that it's possible, but I'd have already expected it. Put a base model versus a base model + harness + whatever else, and yea, if you do it right then you have a better system to find vulnerabilities. >…
> what models the use under the hood Presumably their own, wouldn’t they?
https://github.com/weareaisle/nano-analyzer/blob/main/scan.p...
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#29Wow, this announcement is good content marketing. Don't get me wrong, it's interesting. But there is no technical discussion as to how they did it. It's simply: we did it and Mythos and Codex didn't. It's good to know that it's possible, but I'd have already expected it. Put a base model versus a base model + harness + whatever else, and yea, if you do it right then you have a better system to find vulnerabilities. >…
It defaults to gpt5.4 nano https://github.com/weareaisle/nano-analyzer/blob/main/scan.p...
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#30Earlier quoted context omitted.
The homepage says something about AI guided fuzzing based on libfuzzer or AFL. Looks like they have the LLMs identify a bunch of interesting functions to test, generate some test harnesses, and then sort through the fuzzer findings at a high level, which sounds like a pretty good idea.
Also sounds incredibly compute intensive.