I don't have a lot of experience with them but I would have thought static analysis tools circa 2020 would have managed it just fine.