Earlier quoted context omitted.
Curl has been scanned by mythos and several other AI tools several times over the past year already. Mythos found nothing this round, but when it was first released it found issues which have been fixed - and several other AIs had already scanned curl for issues which had been fixed by then. We can say that this is a useful tool, but is it better or worse than the others - there is no way to make that conclusion. Edi…
I don't understand your objection. If tool A says "job is done" and tool B says "found N additional tasks that need doing" how does the history matter? B is turning up things that A isn't thus B is performing better. They both had access to the same inputs here. I suppose it's interesting to wonder if B would have turned up issue X which A previously found. But that seems largely academic to me. There is a code base…
Six curl CVEs after OpenAI and Anthropic came back with zero
41–50 of 68 posts
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#42Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#43Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#44Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#45Earlier quoted context omitted.
Also sounds incredibly compute intensive.
Setting a swarm of agents loose for hours to look for software vulnerabilities is far more compute-expensive than fuzzing. The industry has never thrown this kind of compute resources at pure fuzzing, in part because you can't get much VC money for that.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#46I like the looks of Aisle and what they stand for... That being said you cannot compare a model with a specialised harness. These are two completely different things. Am I missing something?
> To increase efficiency, instead of processing literally every file for each software project that we evaluate, we first ask Claude to rank how likely each file in the project is to have interesting bugs on a scale of 1 to 5. A file ranked “1” has nothing at all that could contain a vulnerability (for instance, it might just define some constants). Conversely, a file ranked “5” might take raw data from the Internet and parse it, or it might handle user authentication. We start Claude on the files most likely to have bugs and go down the list in order of priority.
So they process it in parallel, but AI-rank them based on vuln-likelihood first = exhaustive search with a heuristic filtering first
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#47Earlier 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
#48curious they're willing to run AISLE on tmux to find more than mine.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#49Earlier quoted context omitted.
It defaults to gpt5.4 nano https://github.com/weareaisle/nano-analyzer/blob/main/scan.p...
A repo named "nano-analyzer" unsurprisingly uses gpt5.4 nano. I doubt their "pay them money" version uses nano.
Re: Six curl CVEs after OpenAI and Anthropic came back with zero
#50One does not "discover" a CVE like this. To discover a CVE would mean you searched for a particular piece of software and found it vulnerable according to the NVD. That's not a novel discovery by any means. What they did is they found bugs and that they were exploitable in certain edge cases. As the bugs turned out to be vulnerabilities, they were assigned a CVE in the NVD with low severity. IMHO Aisle stockedpiled t…