https://intlibrary.ir/download/static-analysis:-third-international-workshop,-wsa-59045-5687/