|
|
|
|
|
|
by pjmlp
1527 days ago
|
|
|
Yet Chrome and Safari, the browsers that really matter in 2022, won't be moving away from C++. Chrome folks have been playing with Rust, but seem more keen in improving their C++ static analysis tooling instead. As for Mozilla, it is 10% of Rust code and lets see for how long Firefox still matters, given the existing 3% market, even EdgeChrome has surpassed it. |
|
|
I would say that at this point that's good money after bad. Linus of course also put a bunch of effort into static analysis, that's what "sparse" is.
The thing you run into immediately is that your programming language doesn't express the thing you wanted to analyse very well. So you have to annotate your software (Linux is sprinkled with sparse annotations), and now you've added an extra opportunity for mistakes, because the annotations are transparent to the compiler, so you can write code which analyses as correct but compiles to something incorrect. "Hooray".