<p id="xhh1v"><del id="xhh1v"></del></p><listing id="xhh1v"></listing>

<var id="xhh1v"></var>
<output id="xhh1v"></output>

        <ins id="xhh1v"><cite id="xhh1v"></cite></ins>
          <output id="xhh1v"><del id="xhh1v"><big id="xhh1v"></big></del></output>

          <dfn id="xhh1v"><form id="xhh1v"><output id="xhh1v"></output></form></dfn>

            合肥金星智控科技股份有限公司
            宣傳

            位置:中冶有色 >

            有色技術頻道 >

            > 失效分析技術

            > 支持多維數組的符號執行方法及漏洞檢測系統

            支持多維數組的符號執行方法及漏洞檢測系統

            906   編輯:管理員   來源:中冶有色網  
            2023-03-19 08:59:59
            本發明公開了一種支持多維數組的符號執行方法及漏洞檢測系統。該方法在程序輸入值為復雜數據結構時,依據手動設置和自動調整獲得的最佳固定長度值,懶初始化復雜數據結構,在訪問復雜數據結構時,通過判斷訪問偏移量的有效性,初始化調用的數據類型并獲取具體數值,依據訪問結果,調用約束求解器對路徑條件的可滿足性進行求解,調用程序計數器,觸發計算目標代碼的具體值。該漏洞檢測系統包含程序指令分析模塊、參數分析模塊、符號引擎模塊及測試引擎模塊。本發明解決了在符號執行時針對復雜數據結構懶初始化失效問題,能夠確保復雜數據結構符號化的準確性,提高復雜數據結構情況下符號執行的程序穩定性。
            登錄解鎖全文
            聲明:
            “支持多維數組的符號執行方法及漏洞檢測系統” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
            我是此專利(論文)的發明人(作者)
            分享 0
                     
            舉報 0
            收藏 0
            反對 0
            點贊 0
            標簽:
            失效分析
            全國熱門有色金屬技術推薦
            展開更多 +

             

            中冶有色技術平臺

            最新更新技術

            報名參會
            更多+

            報告下載

            赤泥綜合利用研究報告2025
            推廣

            熱門技術
            更多+

            衡水宏運壓濾機有限公司
            宣傳
            環磨科技控股(集團)有限公司
            宣傳

            發布

            在線客服

            公眾號

            電話

            頂部
            咨詢電話:
            010-88793500-807
            專利人/作者信息登記
            久爱国产精品一区免费视频_无码国模国产在线观看_久久久久精品国产亚洲A_国产综合精品无码

            <p id="xhh1v"><del id="xhh1v"></del></p><listing id="xhh1v"></listing>

            <var id="xhh1v"></var>
            <output id="xhh1v"></output>

                  <ins id="xhh1v"><cite id="xhh1v"></cite></ins>
                    <output id="xhh1v"><del id="xhh1v"><big id="xhh1v"></big></del></output>

                    <dfn id="xhh1v"><form id="xhh1v"><output id="xhh1v"></output></form></dfn>