Logic bugs. Failure to correctly adapt imperative algorithms while still satisfying the constraint checkers.<p>Not all security bugs are related to memory. Many are related to improperly written algorithms (most crypto attacks), or improperly designed requirements (TLSv1).<p>Even Heartbleed was primarily due to a logic bug (trusting tainted data) instead of an outright memory ownership bug.<p>Does Rust automatically zero out newly allocated memory? Honest question, I don&#x27;t know the answer.