Ian Craggs
banner
icraggs.modelbasedtesting.co.uk
Ian Craggs
@icraggs.modelbasedtesting.co.uk
Eclipse Paho lead & C maintainer. OASIS open #MQTT-SN chair. Eclipse Sparkplug.

Blog: https://modelbasedtesting.co.uk/
Github: https://github.com/icraggs
Mastodon: https://fosstodon.org/@icraggs
Reposted by Ian Craggs
Incidentally, if Burnham did pursue it, he should call it an 'Australian election system'. Makes it sound familiar and unthreatening.
July 27, 2026 at 2:33 PM
Reposted by Ian Craggs
A reminder that this is the guy we're all now supposed to be listening to on the subject of the safety of MPs
July 16, 2026 at 9:48 AM
Reposted by Ian Craggs
The shamelessness of a political party which is led by a man who just weeks ago called for "pure cold rage" on the streets, shortly before migrants were literally burnt out of their homes, now accusing their opponents of "stochastic terrorism" against them, is quite something
July 15, 2026 at 10:34 AM
Reposted by Ian Craggs
Fascinating, beautifully written magazine cover story by @samlearner.bsky.social on how vibe coding is overwhelming the unsung human caretakers who keep the web running. Your weekend must read right here

as.ft.com/r/1e761e4c-c...
Who cleans up after the vibe-coding party?
Our obsession with AI code-writing tools is overwhelming the web’s unsung human caretakers
as.ft.com
July 11, 2026 at 7:50 AM
Reposted by Ian Craggs
🤝 You’re invited to the 6th Eclipse Tractus-X #CommunityDays taking place 2-3 July in Stuttgart, Germany.

Learn about the latest developments in #OpenSource projects, digital ecosystems, and collaborative data exchange.

🌟 Register now: arena2036.de/en/reader/si...
June 26, 2026 at 12:15 PM
Reposted by Ian Craggs
A reminder of this day in 2016, from The Decade In Tory
June 24, 2026 at 6:28 AM
Reposted by Ian Craggs
ADA leaders were forcibly removed from their own meeting for sharing copies of an ADA OpEd critical of Jay Bhattacharya. Thanks to you it's now got >125,000 views.

As CDC interim director, Jay also blocked publication of this paper because it showed that COVID vaccines work.

You know what to do.
Interim Estimated Effectiveness of 2025-2026 COVID-19 Vaccines in Adults
This case-control study estimates vaccine effectiveness of 2025-2026 COVID-19 vaccines among adults with COVID-19–associated emergency department or urgent care encounters and COVID-19–associated hosp...
jamanetwork.com
June 23, 2026 at 10:24 PM
Reposted by Ian Craggs
Anaka Women's Collective are a refugee/migrant support group who did a lot of work last night getting people out of danger, and a lot of their work is co-ordinated with Participation and the Practice of Rights (PPR)/No One Left Behind.

www.paypal.com/donate/?host...
Donate to Participation and Practice of Rights Project Ltd
Help support Participation and Practice of Rights Project Ltd by donating or sharing with your friends.
www.paypal.com
June 10, 2026 at 9:06 AM
Reposted by Ian Craggs
www.meta.com/experiences/...

If you have a meta quest headset you should check out the MoAT on the quest store! Another amazing contribution by @dsnopek.bsky.social :)

I hate Meta the company, but I love that more people can access the MoAT without paying the massive price tag of desktop VR :)
The Museum of All Things on Meta Quest
A nearly-infinite virtual museum generated from the Wikipedia! Every exhibit in the museum corresponds to a Wikipedia article. The walls of the exhibit are covered in images and text from the article...
www.meta.com
June 6, 2026 at 9:23 PM
Reposted by Ian Craggs
A sound-making day at Asylum Studios arts co-op in Suffolk — 11 July — with me, Cube Cinema founder and Nachleben studio head Graham Hogge, and Music Thing ‘Workshop System’ instrument designer Tom Whitwell. All tech provided. Analogue-curious people welcome!!

www.eventbrite.co.uk/e/patch-and-...
May 22, 2026 at 7:05 AM
Reposted by Ian Craggs
I had opportunity to speak to a senior civil servant involved at the time and was told that May had no understanding whatsoever of the consequences of what she said in that speech.
May has been treated kindly by history to date, mostly by virtue of her bad political choices being dressed in the clothes of regular politics

Having spent time recently with Lancaster House speech, totally agree with David
Just think May is basically treated like an unfortunate victim rather than the PM who inherited a difficult situation and turned it into a completely unmanageable mess.

But hey - opinions differ, recollections vary and all that.
May 21, 2026 at 10:59 AM
Reposted by Ian Craggs
Mythos finds a curl vulnerability
yes, as in singular _one_. Back in April 2026 Anthropic caused a lot of media noise when they concluded that their new AI model _Mythos_ is _dangerously good_ at finding security flaws in source code. Apparently Mythos was so good at this that Anthropic would not release this model to the public yet but instead trickle it out to a selected few companies for a while to allow a few good ones(?) to get a head start and fix the most pressing problems first, before the general populace would get their hands on it. The whole world seemed to lose its marbles. Is this the end of the world as we know it? An amazingly successful marketing stunt for sure. ## My (non-) access Part of the deal with _project Glasswing _was that Anthropic also offered access to their latest AI model to “Open Source projects” via Linux Foundation. Linux Foundation let their project Alpha Omega handle this part, and I was contacted by their representatives. As lead developer of curl I was offered access to the magic model and I graciously accepted the offer. Sure, I’d like to see what it can find in curl. I signed the contract for getting access, but then nothing happened. Weeks went past and I was told there was a hiccup somewhere and access was delayed. Eventually, I was instead offered that someone else, who has access to the model, could run a scan and analysis on curl for me using Mythos and send me a report. To me, the distinction isn’t that important. It’s not that I would have a lot of time to explore lots of different prompts and doing deep dive adventures anyway. Getting the tool to generate a first proper scan and analysis would be great, whoever did it. I happily accepted this offer. (I am purposely leaving out the identity of the individual(s) involved in getting the curl analysis done as it is not the point of this blog post.) ## AI scans of curl Before this first Mythos report, we had already scanned curl with several different very capable AI powered tools (I mean _in addition to_ running a number of “normal” static code analyzers all the time, using the pickiest compiler options and doing fuzzing on it for years etc). Primarily AISLE, Zeropath and OpenAI’s Codex Security have been used to scrutinize the code with AI. These tools and the analyses they have done have triggered somewhere between _two and three hundred_ bugfixes merged in curl through-out the recent 8-10 months or so. A bunch of the findings these AI tools reported were confirmed vulnerabilities and have been published as CVEs. Probably a dozen or more. Nowadays we also use tools like GitHub’s Copilot and Augment code to review pull requests, and their remarks and complaints help us to land better code and avoid merging new bugs. I mean, we still merge bugs of course but the PR review bots regularly highlight issues that we fix: our merges would be worse without them. The AI reviews are used _in addition_ to the human reviews. They help us, they don’t replace us. We also see a high volume of high quality security reports flooding in: security researchers now use AI extensively and effectively. Security is a _top_ _priority_ for us in the curl project. We follow every guideline and we do software engineering properly, to reduce the number of flaws in code. Scanning for flaws is just one of many steps to keep this ship safe. You need to search long and hard to find another software project that makes as much or goes further than curl, for software security. Steps involved in keeping curl secure ## May 6, 2026 It was with great anticipation we received the first source code analysis report generated with Mythos. Another chance for us to find areas to improve and bugs to fix. To make an even better curl. This initial scan was made on curl’s git repository and its master branch of a certain recent commit. It counted 178K lines of code analyzed in the src/ and lib/ subdirectories. The analysis details several different approaches and methods it has performed the search, and how it has focused on trying to find which flaws. A fun note in the top of the report says: > curl is one of the most fuzzed and audited C codebases in existence (OSS-Fuzz, Coverity, CodeQL, multiple paid audits). Finding anything in the hot paths (HTTP/1, TLS, URL parsing core) is unlikely. … and it correctly found no problems in those areas. Completely unscientific poll on Mastodon about people’s expectations for Mythos scanning curl ## The size of curl curl is currently 176,000 lines of C code when we exclude blank lines. The source code consists of 660,000 words, which is 12% more words than the entire English edition of the novel War and Piece. On average, every single production source code line of curl has been written (and then rewritten) 4.14 times. We have polished on this. Right now, the existing production code in git master that still remains, has been authored by 573 separate individuals. Over time, a total of 1,465 individuals have so far had their proposed changes merged into curl’s git repository. We have published 188 CVEs for curl up until now. curl is installed in over _twenty million instances_. It runs on over _110 operating systems_ and _28 CPU architectures_. It runs in every smart phone, tablet, car, TV, game console and server on earth. ## Five findings became one The report concluded it found **five** “Confirmed security vulnerabilities”. I think using the term _confirmed_ is a little amusing when the AI says it confidently by itself. Yes, the AI thinks they are confirmed, but the curl security team has a slightly different take. Five issues felt like nothing as we had expected an extensive list. Once my curl security team fellows and I had poked on the this short list for a number of hours and dug into the details, we had trimmed the list down and were left with _one_ confirmed vulnerability. The other four were three false positives (they highlighted shortcomings that are documented in API documentation) and the fourth we deemed “just a bug”. The single confirmed vulnerability is going to end up a _severity low_ CVE planned to get published in sync with our pending next curl release 8.21.0 in late June. The flaw is not going to make anyone grasp for breath. All details of that vulnerability will of course not get public before then, so you need to hold out for details on that. The Mythos report on curl also contained a number of spotted bugs that it concluded were not vulnerabilities, much like any new code analyzer does when you run it on hundreds of thousands of lines of code. All the bugs in the report are being investigated and one bye one we are fixing those that we agree with. All in all about twenty bugs that are described and explained very nicely. Barely any false positives, so I presume they have had a rather high threshold for certainty. curl is certainly getting better thanks to this report, but counted by the volume of issues found, all the previous AI tools we have used have resulted in larger bugfix amounts. This is only natural of course since the first tools we ran had many more and easier bugs to find. As we have fixed issues along the way, finding new ones are slowly becoming harder. Additionally, a bug can be small or big so it’s not always fair to just compare numbers ## Not particularly “dangerous” My personal conclusion can however not end up with anything else than that the big hype around this model so far was primarily marketing. I see no evidence that this setup finds issues to any particular higher or more advanced degree than the other tools have done before Mythos. Maybe this model is a little bit better, but even if it is, it is not better to a degree that seems to make a significant dent in code analyzing. This is just _one_ source code repository and maybe it is much better on other things. I can only tell and comment on what it found here. ## Still very good But allow me to highlight and reiterate what I have said before: AI powered code analyzers are _significantly_ better at finding security flaws and mistakes in source code than any traditional code analyzers did in the past. All modern AI models are good at this now. Anyone with time and some experimental spirits can find security problems now. The high quality chaos is real. Any project that has not scanned their source code with AI powered tooling will likely find huge number of flaws, bugs and possible vulnerabilities with this new generation of tools. Mythos will, and so will many of the others. Not using AI code analyzers in your project means that you leave adversaries and attackers time and opportunity to find and exploit the flaws you don’t find. ## How AI analyzers differ * They can spot when the comment says something about the code and then conclude that the code does not work as the comment says. * It can check code for platforms and configurations we otherwise cannot run analyzers for * It “knows” details about 3rd party libraries and their APIs so it can detect abuse or bad assumptions. * It “knows” details about protocols curl implements and can question details in the code that seem to violate or contract protocol specifications * They are typically good at summarizing and explaining the flaw, something which can be rather tedious and difficult with old style analyzers. * They can often generate and offer a patch for its found issue (even if the patch usually is not a 100% fix). ## More details from the report **Zero memory-safety vulnerabilities found.** Methodology note: this review is hand-driven analysis using LLM subagents for parallel file reads, with every candidate finding re-verified by direct source inspection in the main session before being recorded. The CVE to variant-hunt mapping was built from curl’s own vuln.json. No automated SAST tooling was used. This outcome is consistent with curl’s status as one of the most heavily fuzzed and audited C codebases. The defensive infrastructure (capped dynbufs everywhere, `curlx_str_number` with explicit max on every numeric parse, `curlx_memdup0` overflow guard, CURL_PRINTF format-string enforcement, per-protocol response-size caps, pingpong 64KB line cap) systematically closes the bug classes that would normally be productive in a codebase this size. Coverage now includes: all minor protocols, all file parsers, all TLS backends’ verify paths, http/1/2/3, ftp full depth, mprintf, x509asn1, doh, all auth mechanisms, content encoding, connection reuse, session cache, CLI tool, platform-specific code, and CI/build supply chain. ## AI finds existing kinds of errors It should be noted that the AI tools find the usual and established kind of errors we already know about. It just finds new instances of them. We have not seen any AI so far report a vulnerability that would somehow be of a novel kind or something totally new. They do not reinvent the field in that way, but they do dig up more issues than any other tools did before. ## More to find These were absolutely not the last bugs to find or report. Just while I was writing the drafts for this blog post we have received more reports from security researchers about suspected problems. The AI tools will improve further and the researchers can find new and different ways to prompt the existing AIs to make them find more. We have not reached the end of this yet. I hope we can keep getting more curl scans done with Mythos and other AIs, over and over until they truly stop finding new problems. ## Credits Thanks to Anthropic and Alpha Omega for providing the model, the tools and doing the scan for us. Thanks also to the individual who did the scan for us. Much appreciated! Top image by Jin Kim from Pixabay Thanks for flying curl. It’s never dull.
daniel.haxx.se
May 11, 2026 at 6:06 AM
Reposted by Ian Craggs
I'll keynote Bsides Vilnius on June 4

https://bsidesvilnius.lt/
May 8, 2026 at 8:03 AM
A new release of the Eclipse Paho MQTT C client, 1.3.16, is now available github.com/eclipse-paho...

It has some latency improvements for locally connections, particularly around connect.
Release v1.3.16 · eclipse-paho/paho.mqtt.c
Items included: https://github.com/eclipse-paho/paho.mqtt.c/milestone/23?closed=1 There are two significant performance improvements under certain circumstances: reducing connect latency #1430, and...
github.com
March 2, 2026 at 10:52 AM
Reposted by Ian Craggs
If your products depend on Eclipse Platform (#RCP) technologies simply continuing to consume them will not be enough to ensure their long term sustainability.
If this topic is relevant to you, you can meet me
at the next #embeddedworld #ew26
@eclipse.org @eclipseide.org @ecdtools.eclipse.org
February 23, 2026 at 1:39 PM
Reposted by Ian Craggs
The process that led to the Holocaust didn't start with killing people.

First it made them non-people.

Then it killed them.
As of tonight, licenses of trans people across Kansas are being invalidated en masse, enabling the overnight criminalization of an entire group of people for going about our lives. It’s often said you never know when you’re living through history, so let me assure you: that’s what’s happening now.
February 26, 2026 at 8:25 AM
Reposted by Ian Craggs
📣 Just two weeks left to apply

All you need to know:
📅 Application deadline: 28 February 2026
🛏️ On-site accommodation and meals for the full 10 weeks
📩 Questions: [email protected]

🔗 Apply now: nextgentriggers.web.cern.ch/cern-steam-a...
February 10, 2026 at 9:05 AM
Reposted by Ian Craggs
Sensational comment on the BBC website
February 6, 2026 at 10:16 PM
Reposted by Ian Craggs
*treating them as people

The word you're looking for is "people"
Spain’s decision to give legal residency to potentially half a million undocumented immigrants shows the country is an outlier among Western democracies in treating them as an asset.
Spain Moves to Legalize Migrants, Defying Europe’s Anti-Immigration Trend
Spaniards mostly view immigration as beneficial, although far-right opposition is rising.
on.wsj.com
January 28, 2026 at 6:33 PM
Reposted by Ian Craggs
Everyone needs to make sure it sticks in the mind that this is the path his party wishes to take the UK.
January 25, 2026 at 10:13 PM
Reposted by Ian Craggs
There seems to be a mind-boggling collapse in Americans' ability to understand the concept of speech acts. When the president makes a declaration, that's not "mere" words. The statement constitutes a foreign policy action. I feel like I'm going crazy here. Nobody has ever not understood this before
January 14, 2026 at 6:22 PM
Reposted by Ian Craggs
A U.S. president cannot be held accountable. Therefore, a U.S. president must never make a policy decision.
January 14, 2026 at 4:41 AM
Reposted by Ian Craggs
When I tell you I have no distance from this Minneapolis story.

I can't muster composure. I did human rights observing in N. Ireland for 10 yrs. In the U.S., I video'd cop violence.

2008, St. Paul cops kicked in the door pointing guns at me and my crew. Days later a battering ram was at my office.
January 8, 2026 at 6:49 AM