CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '914cffcb889afe0b',cH: '82TzXAas9pVJCtxk4fGCk47BFVUiGiem0tmkSKAzu5c-1740038806-1.2.1.1-WNy.ERyCnQpAdraOqsjlmqbRquhCF_qQ5FsEHaqN5XFAISQ.zbylLPE0WVJtmJNR',cUPMDTk: "\/abstracts\/search?q=static%20analysis.&__cf_chl_tk=4OOKbgllUC4pet5Q9lYdRobKPxXLa6sTiXSY49BJTck-1740038806-1.0.1.1-Ng1IFoEQY2xxk3bNxisqb1FxbZ4mGU7tMI.9NapaHTM",cFPWv: 'g',cITimeS: '1740038806',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported-browser",fa: "\/abstracts\/search?q=static%20analysis.&__cf_chl_f_tk=4OOKbgllUC4pet5Q9lYdRobKPxXLa6sTiXSY49BJTck-1740038806-1.0.1.1-Ng1IFoEQY2xxk3bNxisqb1FxbZ4mGU7tMI.9NapaHTM",md: "KQlQxOdkhMTLACZYULzxhPCSVeQxWeAW41gBnPpPgiY-1740038806-1.2.1.1-rCEHJfFEQRQgxxvegUVHlz734YXjnz7V2w53CkvYhBT3fmfrjOyC86JQ1ipwSQs5Y8z3r_tSmOPQntrI8xEUnhx87PTM2WTh_TVWixLnimEIAd23ba1acOKTQVjVnBon4eRIYfovw.A2c8GW3ooFGlPq08z4MmBAXaPB7vokjHxRmZdsJ9RJHi5r5MkGSW8u0Sm8XStir.ZvqiEeTQXqfKkDt8UUHWXCujMonMskhl689b43I8AiXCyOyq6S4tYB4T7KfPokp4aOw9YQ825sVMRn0hNIeminWkmG0vlByouIZTcf89FVmPYVv9OuOKIpOKPviSux2IF7EPtMqY9ApReNTxzNJ0pqRIb5FSrwrRkHlJS4gTJ.gjorjwHJpm5khPMshm05Z1F9eUEZhp_9.FJSd5ocKxXlZw32poUYvNx15YW741mIx.EkwgQTy20FFGYI2gtRnivUiublZA6uc.k1cEJxli624Mcip.kdxsE5gl3.0P5kc.nZDfm8eOtbPjFFstwQQ_CXRxVaZsaRBFBemC36FdtdJhgo1PYJleyXIkcMV102RE66hfA0T_Uk0egNp9f11mPkjQwJxg7VL7BLTIN6jpdcCoJHIQlmWMtZHdHUEtJNg8zpPkQZ3e.1VXA..tG6EfS4wVa88zrAGbIgtCqWdTYSTnM2iUpK.awt2LB7ZO3X7MKFgPMUj2WxdvxjGqxt_1niR.MGQ4pDy01y7vuaTEKawZlEFPic_qE3_sFuSS4xTeJanyW2jPMjO3hAPYukxYdr9FfBnvlDc3T0Nr3QxxDTmRyjx5xwvioDR6MDN4eURx0xw28ol2ouGGobgLgamj55R75XBwODClgy0YIMvbHhkWr6NFivpbO.FAPARzD_b7MnENuKbBaYuMIpwIBjmG5PhE_JcSO2IpPfonVx1k5PceYQPRC7JGMutvjdCY49hs6nnK13faIRnTJAGZL0PRJ4wovIZnLf8DpWwlJWqsAk_DH5IkWgxnHVS.YE.HbRv8jnzRD4RAey5iLzreryy0JusvhE8postoxSyS0RcXA0KUmUfsfGBxAeRFIMBG2tZ2gbxEnXoxsQ03g7HYEcAkOHSb8RNhaZ.HI6KnNFwyo6dbmzl2vihV7kTd8gRs6spJwhnVvw8dUerc606VfRLLXqBUJyzrMXorfkrMszEzLNSW16M66hP2akO8Je0UI5uTMUO.tAqkd3SejOQXk59Aq9S3me5clwylD9xCrvL7lYa6ZLevrKKpR.8uCroFiMGIxVW9pz9ZKw3fGT.IZPGFHsuvMbRjeqS25Q7jIHVsuXLUvTL.NnFizRKQmBV6j8XyTOGjiHC4_EoxA48AEW9oCWouS4KDD907FYlfRtrz.ZQk0RWj.OXkAScKq.I7QT_2oG5iPz4_4UGa82nTyfBJ9FssnfnnC7HaxssmfyybsqN2w8jBxX2cpoSxfukeRtRLVqcmyiAG5hqA4_eVf1UVWJM6Xo_nRTSkLgkQCRn6tVy9RD6ZqWUp1_CP.8ed9AWOEhsCQkf_z0SniDGPWXuF0Raf_WQn80VAYMaXWu1u2MA3DukxcycJ8Dhb9MFeD3O_Do.J9DCk9ZkR1.P9lYmBOfA1KXtcxumwmXLNGFt8qJ5ia7Dcb2vPp_1UAChzt2Gh.ig9aASNylwTQVmDXoeIKpDNeDzC2c8RVs9UBik_Qr6NkMdLJlzXMN2kzxWODlsKc.yktK5P7koUSyMkg_O.B0nUNes.qGRN4HtdQ2MlQhVc1XoQnSy5x9z06XcDOMr5HMnytRapnDjHqGzjnOPyQPW6gBB.ErIHs0jNfxaQ4YlGnPGbrUtWpjwHae1ZTKQXgml5Kv0m2UV6Zu2Tb7mJLUGT_fIIC7Pgd_vReS39hPqIBLZYwOzpYCbYRsyJjRBV_2lbiUJcCTAde851cweIyxoJD9CIy4WiSB0LIF5l.RD.USz_8eS9c",mdrd: "Zry5NBnDZMsEBm7ZlmgU_O11S88kxxxkIaVFONDXE5c-1740038806-1.2.1.1-fu406sFLNqC5FLUdzevDUAdZJV9uikaDR9p0CeR9wTjJsfF32VEzJWclZ.PQdM_pSBx5mphW2Xnt93.mdC5KxFDUQdEBDjA.jdHfA.zVAVKjdKFLVPmEKx1yrbLecKY47ZxUBoUkSvaMmUqYxAFz5PuTrUDcvh4_XW7NfZlDAuSGj3H734640cQvIEPiUMs_C48NtbeSm2I2K_dGGPy0n8kzZhhWqnOnI7uBbaYRI3Ww4Y5u6yJv0uGK8E7IdE1PH.9a.vyclRjeJfsEDsxlb_oLuAw6lS23.srjeyHCgPpkljDsug6YyWVYO5P_VB6advDqBqYVd6CLtdYoXXrETdvdPDcm7LhBrRQ8ha.auKQfA2S6ToXxbpI9cnvYH.P89ORYJgToFHpwEZ4s2npsXHDTwQXSEGH02iDXUsSQa6aa82lvwsQgGq37tcghy8HTKB7vV6y0kd_YTB4d4exEzcMfNNxhkJG6EiMsyjsqH_bPHRU870lSy4Iz8ZzEY_0_Yq_ZQYAyVs5ZwK6hNYcHm6K0V96L1RoKMGOhziqDMcb7Nb5bVpGelKih93.rgBdBGLwyMANHaPUf6PhDExI3wXOjcdhK7kh0P5VWDU1LEAMFjaMVTEUuBVOdCojTH1ltLM8SGvSnk2devFzXGkXxklAh72cWAxftvWLy6skCdqAXI43NRJNaWXZ1rtHxg3W8DtKBqgnoZRgbzBfJwO7tB_W2PlZ3SgBjQjttxemtohffFeVnhHZMJAbvhMTzyeTpOHdCdAGS7iUz1Ya298SW0teV8_Bi4JdO7R.UXCNDvuZ1XDNgKbYlsThyns5ogxNQ.ppkcbkTTfiCp8jXDhJdbEGv490rFM6D6JasQgRIcRSpp9Ve4zk1hBEoomvaVrWzcOtsBPoEbRuEyZ7mRePpNAMjllMpDUGKxdCeNd3BYljdzUOdgwSb.n_GkAj0n2w63WrlQLhvWPfueEG0wzOF_MPWTHfMgj8B9gDqc0dpqIMtbz2t4aSZMchG28xoQtHxFNdhCgd3kH.2LC9n2_giLfFJpTnabmMJtQqRvJ539thg6jXHMD4uti.5drklsodVf.d0VOrr1p6fg2Q.admIzOiAwSP1ZOwUMHH5cTByjnv1u2y9qchMzOjn5w15rfEMOpicHL0gxs9hv0sbuz4giRKxcwL6XIo4tF9Gg5ICv6uTFJzYKVF8dLSbCMzKgUo5KSzmd0iZnLySYt.LvhBMNoK7bZ3_yNMgtwvtGo2jof1ZIUhcEx12j5sC8Cy_Gt.0WMFpOO.2oHQJWPYyl4ICVkKl7EZ70jEIEc3WsKgpeZDz1AFOoCJiAIz9qO0qT_VV6Btl7P.6LyWtaRowv7gX6lHhiyCBG.apeC9n6_3BXIldQ7Np.bfDEK8reWqbP4dRtM.IKorm5lXaPe3WamB2YS4GkwM7herAD_X6JIyTQUTMDWavWKek8XAwHQwXH0o.SPWbYIZKsGD5njvkR1WhBl3CwGIA8B.UXuRBMN7mwPo7aIZmz0elAe0idW3b2jFy1fK0xieqYpEe7cBJGkZ532D7k1k0uWxwV2gOZ.l3vFvJXS7snu_Xx1Xyr3jJYBWz8xzoMJoFBNbuBMW8uiMrVLRACQeXeVCSjqvzUM_84H7xHdufRqSetOX8.ZGc2hyL.QTnzd3hJ37QOMg2lxqZuTtqM9QIT9dzeAmtPKR.1o.kcwRjFm0CmpY7YcPcfRNjxDyUI9roSIxtGVnqgnN..BrptN.leeLzt_0SOXBOTTVtZSqIhIcSaTO_FVP8a7ME5Qo1rJSW3tqJ4s4XV4JgdUggA6y3L8XzLWwpyjVG8YZJrKwnOPnSumR0DGq0m1hsvSxSZGFx5KNQMLl.kovViDF3egRT7WrMVNvwfukT8TirWvF4IEX.PfhuGwWh66nrf4bdOSlwWhjqDkEop0xa7hW5CbDjxcq0lXmefE2yNHtxdyp6OKWkK.UHQ29jOSzw4V7PCasVEyL4k2Gu539zaA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=914cffcb889afe0b';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=static%20analysis.&__cf_chl_rt_tk=4OOKbgllUC4pet5Q9lYdRobKPxXLa6sTiXSY49BJTck-1740038806-1.0.1.1-Ng1IFoEQY2xxk3bNxisqb1FxbZ4mGU7tMI.9NapaHTM" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>