Embedded Development Explained How Can Static Analysis Help Pvs Studio