A colourful box that says: New blog post! Callgraph Analysis Writing custom lints for fun and profit! Compiler team lead Jynn Nelson dives into the world of static analysis and callgraphs by showing how Ferrocene ensures that only the most strictly tested code is used in safety-critical applications. Thank you for reading and following us on BlueSky.
Some fun compiler-adjacent #RustLang reading: How can you make sure [panic!] is unreachable in part of your program? This write-up goes into how we approached callgraph analysis in #Ferrocene – and how you can try it out for yourself!
👉 ferrous-systems.com/blog/callgra...