<menu id="guoca"></menu>
<nav id="guoca"></nav><xmp id="guoca">
  • <xmp id="guoca">
  • <nav id="guoca"><code id="guoca"></code></nav>
  • <nav id="guoca"><code id="guoca"></code></nav>

    利用代碼知識圖譜實現Bug定位

    VSole2022-05-05 07:26:07

    給定軟件項目中缺陷的自然語言描述,缺陷定位可以自動定位相關的源文件。最近,基于深度學習的模型被用于提取代碼的語義信息,對缺陷定位有顯著的改進。然而,編程語言是一種高度結構化和邏輯化的語言,它包含源文件內部和跨源文件的各種關系。在本文中,作者提出了一個名為KGBugLocator的模型,利用知識圖譜來提取代碼內部的關系,使用基于關鍵字監督的雙向注意力機制正則化模型,挖掘源代碼文件和缺陷報告間的內在關聯。 基于深度學習的缺陷定位存在兩個問題:

    1. 如何表示編程語言以更好地匹配自然語言。

    2. 如何更好地提取特征以降低編程語言和自然語言之間的語義鴻溝。

    文章所提模型的框架如圖1所示,分為四個部分:

    • 代碼知識圖譜嵌入
    • 預編碼
    • 基于關鍵詞監督的雙向注意力機制
    • Bug定位

    Fig. 1 模型框架 

    文章所構建的代碼知識圖譜示例如圖2所示。代碼知識圖譜基于AST構建,節點和邊分別對應代碼實體和代碼實體間關系。代碼實體有5種類型:class、property、method、parameter和variable;對應的關系實體也是5類:class間的inheritance關系,class和property、class和method、method和parameter、method和variable之間的has關系,property和class、variable和class之間的instance_of關系,method和class之間的return type關系,method和method間的call關系。文章使用LSTM捕捉Bug報告的語義信息,使用CNN捕捉代碼的語義信息,得到預處理的文本和代碼表示。然后使用關鍵字監督幫助注意力機制更好地關注關鍵信息。具體來說,作者將既在代碼中出現,又在報告中出現的token進行標記,將其所在的代碼標記為關鍵代碼行,關鍵代碼行的權重高于非關鍵代碼行。

    Fig. 2 代碼知識圖譜

    Fig. 3 數據集結構

    本作品采用《CC 協議》,轉載必須注明作者和本文鏈接
    給定軟件項目中缺陷的自然語言描述,缺陷定位可以自動定位相關的源文件。最近,基于深度學習的模型被用于提取代碼的語義信息,對缺陷定位有顯著的改進。然而,編程語言是一種高度結構化和邏輯化的語言,它包含源文件內部和跨源文件的各種關系。在本文中,作者提出了一個名為KGBugLocator的模型,利用知識圖譜來提取代碼內部的關系,使用基于關鍵字監督的雙向注意力機制正則化模型,挖掘源代碼文件和缺陷報告間的內在關
    網絡攻防對抗不斷演化升級,人工智能因其具備自學習和自適應能力,可為自動化網絡攻防提供助力,已成為網絡攻防的核心關鍵技術之一。
    Github滲透測試文檔資料集合
    國內很多公司相繼聲稱做類ChatGPT的產品,也有公司公布了其產品的上線時間表。國內外這些事件導致ChatGPT幾個月的熱度不降,話題數量與文章數量均于2023年2月14號達到頂峰,目前開始有所回落。目前,無論是綠盟科技還是相關從業人員均發布了許多案例測試ChatGPT惡意軟件生成以及撰寫網絡釣魚電子郵件等功能。
    國內很多公司相繼聲稱做類ChatGPT的產品,也有公司公布了其產品的上線時間表。國內外這些事件導致ChatGPT幾個月的熱度不降,話題數量與文章數量均于2023年2月14號達到頂峰,目前開始有所回落。目前,無論是綠盟科技還是相關從業人員均發布了許多案例測試ChatGPT惡意軟件生成以及撰寫網絡釣魚電子郵件等功能。其中,影響力最大的發言來自于圖靈獎得主Yann LeCun。LeCun表示LLM在實現人類水平AI方面扮演的角色有限。
    一年前,ChatGPT問世,以強大的信息整合推理和語言對話能力驚艷全球,隨后,以大語言模型LLM(以下簡稱“大模型”)為代表的AI技術應用全面席卷,賦能千行百業,重構業務流程,加速產業升級。
    RSAConference2022將于舊金山時間6月6日召開。大會的Innovation Sandbox(沙盒)大賽作為“安全圈的奧斯卡”,每年都備受矚目,成為全球網絡安全行業技術創新和投資的風向標。 前不久,RSA官方宣布了最終入選創新沙盒的十強初創公司:Araali Networks、BastionZero、Cado Security、Cycode、Dasera、Lightspin、Neos
    元數據描述數據資產各個方面的信息,以便在整個生命周期中提高其可用性。元數據現代數據架構中的連接粘合劑,是企業數字化建設的基石。“元數據驅動”的安全體系是以安全資源的元模型思想,構建覆蓋網絡安全各維度的元數據體系,實現安全要素的規范化、模型化、資源化。
    SAMPLE服務器的行為及其漏洞取決于一段時間內交換的一系列消息,這些消息決定了服務器的狀態。客戶端發送的消息序列以紅色突出顯示。AFLNET讀取響應報文并提取協議指定的狀態碼,確定當前的執行狀態。所出現了新的狀態序列哈希值則認為當前的測試用例是Interesting的。
    伴隨著人工智能技術的發展,人們的生產方式、生活方式、思維方式及交往方式逐步發生著巨大而深遠的變化。企業級機器學習平臺逐漸形成交通銀行機器學習技術應用的智慧大腦,為交通銀行深化數字化經營成就核心競爭力。為發掘數據之間的關聯性,交通銀行打造“全棧式”知識圖譜平臺。創建人工智能實驗室的主要目的就是加快新技術的探索和AI能力的落地,提升我行感知智能的水平。
    VSole
    網絡安全專家
      亚洲 欧美 自拍 唯美 另类