Static analysis and low-level C programs that access the representation of addresses
Back to news A collection of seemly disparate problems identified over the life of TrustInSoft Analyzer, to which a common solution emerged recently. Introduction It is sometimes easier to see how things can work out in hindsight than when you are in the moment. I had only recently arrived at my previous position, as […]