The tools shown in the article are not IDEs or editors but more like static analyzers. I think that an increasing number of people want to check if the finished

The tools shown in the article are not IDEs or editors but more like static analyzers. I think that an increasing number of people want to check if the finished product satisfies what they actually want, and there will be a sizable market for these if security/reliability auditing is going to be a normal thing.