https://intlibrary.ir/download/static-analysis:-17th-international-symposium,-sas-52894/