英特爾開源可偵測程式碼臭蟲的AI工具ControlFlag



英特爾實驗室對外發布其最新機器程式開發研究（Machine Programming Research，ＭPR）的成果，在GitHub上開源可分析程式碼儲存庫，找出程式碼缺陷的工具。ControlFlag運用先進的自我監督機器學習技術，能夠自動偵測程式碼異常，縮短除錯的時間，並且提高系統的品質和完整性。


官方提到，幾乎所有大型軟體都存在準確性、效能和安全相關漏洞，而且隨著軟體加入新功能等更新，臭蟲被帶進程式碼的機會增加。而ControlFlag能夠解決這些問題，與任何具有控制結構的程式語言一起使用，利用半信任的概念來利用自我監督學習，從未標記的原始碼中學習，隨著更多新資料加入，ControlFlag能夠不斷自我改進。


ControlFlag已經被應用在生產階段的軟體，或是開源系統上進行測試，2020年的時候，ControlFlag發現cURL中的程式碼異常，cURL是一個用來處理網路傳輸的知名開源專案，ControlFlag所找到的cURL程式缺陷，已經經過cURL團隊確認，並且針對缺陷完成程式碼修補。

專業客製化禮物、贈品設計，辦公用品常見【L夾】搖身一變大受好評!

採用PVC0.2白色軟皮料印製，4色印刷加上表層防刮油墨，另也可選表層上亮膜。


掌握產品行銷策略,帶你認識商品包裝設計基本要素

包裝設計是兼具美感和實用、設計和製作印刷的精緻工藝。包裝設計包含了結構規劃、視覺設計、材質選定及後續的生產加工



真空封口機該不該買?使用心得分享

各式封口機、包裝機械、客製化訂做、特殊改造



臭氧機推薦

臭氧機、紫外線燈作水質淨化、殺菌設備，因臭氧機具強大氧化、殺菌、除臭能力，省電、無耗材費用，深受水處理業者採用



ControlFlag已經從專有且處於生產階段的軟體中，發現數百個具有記憶體和崩潰臭蟲的潛在缺陷，同時也在開源軟體儲存庫中，發現數十個新的異常問題，而每個異常問題都已經被專案維護者確認，並且獲得修補。雖然ControlFlag在找到程式碼缺陷後，沒辦法自動緩解這些缺陷，但是能夠提供用戶修正的建議。


英特爾進行了一系列機器程式開發的研究，目的是要讓程式碼更強健，維護起來更輕鬆，同時還能維持高效能，並且減少安全漏洞，而ControlFlag是英特爾這一系列研究其中一項成果，能夠大幅減少軟體開發時間，並且縮短除錯的時間，進而減少開發所花費的資源。

https://www.ithome.com.tw/news/147404

常見的貨櫃種類?

金誠貨櫃屋尺寸均依國際標準組織ISO (International Standardization Organization) 認定標準，並區分成鐵貨櫃、冷凍貨櫃和特殊貨櫃三種類型。


好的茗茶,更需要密封性高的茶葉罐,才能留住香氣!

鴻和興精密工業股份有限公司，是由在台灣專業生產茶葉罐、奶粉罐具有領先地位的光華金屬所投資組織成立的一家專業製造包裝材料之馬口鐵罐製造廠，秉持的專業、品質、服務、效率為各大客戶服務。



掌握產品行銷策略,帶你認識商品包裝設計基本要素

包裝設計是兼具美感和實用、設計和製作印刷的精緻工藝。包裝設計包含了結構規劃、視覺設計、材質選定及後續的生產加工


常見的貨櫃種類?

金誠貨櫃屋尺寸均依國際標準組織ISO (International Standardization Organization) 認定標準，並區分成鐵貨櫃、冷凍貨櫃和特殊貨櫃三種類型。


Orignal From: 英特爾開源可偵測程式碼臭蟲的AI工具ControlFlag

留言

張貼留言

這個網誌中的熱門文章

苗140路殺 查死亡真相 自動相機拍下成群獵犬

摘錄自2019年7月21日ETtoday報導 苗栗縣近日石虎路殺事件頻傳，光是自2019年起就已經發生13起；而現在南投縣也出現了第1起的犬隻獵殺事件。苗栗縣政府農業處在自動相機中，多次發現獵犬出沒，除了呼籲民眾，切勿帶獵犬進入石虎棲地，違者依法處理，也研議在苗140縣道區域，辦理禁止獵犬公告。 苗縣府農業處表示，日前在河床邊監測石虎的自動相機拍攝到成群的獵犬，在石虎棲息地穿梭，而且這群獵犬頸部都有項圈，疑似是飼主帶獵犬前往訓練，保育人員認為，這已經嚴重的危害石虎棲地安危，希望縣府能想想辦法。 苗栗縣農業處自然生態保育科長張葦表示，因為河床上野生動物不少，飼主疑似想要藉此訓練自家的犬隻獵捕的動作，但石虎卻也被這些犬隻受到嚴重干擾、驚嚇而衝出棲地，導致衝出馬路慘遭車輛路殺。而日前林務局提出苗14、29、52鄉道及128、140縣道，為5大石虎路殺熱區，又以其中140縣道應列為最優先。 本站聲明:網站內容來源於裝修網https://e-info.org.tw/,如有侵權,請聯繫我們【工業車床機械買賣推薦】 ※聽過 忠群 加工機台嗎?評價如何? ※想知道大台北地區專售 CNC車床 的 中古機械買賣 店家在哪裡?   Orignal From: 苗140路殺 查死亡真相 自動相機拍下成群獵犬
閱讀完整內容

5G專頻專網落地驗證啟動 明年底有望完成33案

數位部數位產業署今舉行「5G專頻專網落地驗證啟動記者會」，宣布5G專頻專網正式進入落地實證商轉階段，英業達、晶華酒店、三創數位等業者提出的33個提案，遴選進「5G專頻專網創新應用擴散計畫」，將獲得4億餘元補助，並有望在明年底完成落地實證。數位部政務次長李懷仁表示，未來將與經濟部合作，帶領5G業者打國際盃。 數位部去年建立公協會共創5G專頻專網創新應用擴散的機制，由13家產業公協會成立5G垂直產業應用推動小組（SIG），發展垂直產業5G應用藍圖，推薦標竿業者申請「5G專頻專網創新應用擴散計畫」補助案，藉由公開評選機制，從43家場域營運業者選出33案，希望整合5G應用技術，發展智慧製造、智慧展演及智慧食安等服務。 李懷仁表示，5G時代是台灣數位轉型重要時刻，藉由推動5G專頻專網，各行各業可加速推進產業數位轉型，本次獲得補助的33案計畫，落地實證時間約15個月，有望在明年底拿出成果，數位部也會與經濟部合作，分別協助業者完善軟、硬體，一起打國際盃，與國外業者做跨境驗證場域、實驗室合作。 工業型 無線充電裝置 、精密加工元件； 貨櫃屋 優勢特性有哪些? QR CODE 捲袋包裝機 。幫你考照過關， 堆高機 裝卸操作教學影片大公開 !專業客製化禮物、贈品設計，辦公用品常見【 L夾 】搖身一變大受好評!如何利用一般常見的「 L型資料夾 」達到廣告宣傳效果? 貨櫃屋設計 ，結合生活理念、發揮無限的創意及時尚的設計， Check AOI on tape components 。真空 封口機 該不該買?使用心得分享！好的茗茶,更需要密封性高的 茶葉罐 ,才能留住香氣!特殊造型 滑鼠墊 去哪買?金誠運用 中古貨櫃屋 ，重新改造各式活動展場、代銷中心、旅遊渡假空間，皆可依顧客需求製作。 實驗型均質機 攻戰消費者第一視覺, 包裝設計 很重要!隨時健康喝好水，高品質 飲水機 ，優質安全有把關。測試專家告訴你如何好好使用 示波器 。 空壓機 合理價格為您解決工作中需要。客製專屬 滑鼠墊 ． 防盜設備/系統 ； SPX ，加強 賣場防竊 系統作業 產業署指出，本次申請業者涵蓋智慧製造、智慧展演、智慧旅宿、智慧倉儲、智慧食安、智慧娛樂、智慧商務辦公室等七大領域，像是智慧製造的代表「台灣富綢公司」，透過建立5G專頻專網，利用大頻寬與低延遲特性，解決數百台織布機調機作業以...
閱讀完整內容

網路業者遇史上最大阻斷服務攻擊 Google也受害

路透社報導，Alphabet旗下的谷歌公司（Google）昨天在部落格發文指出，其雲端服務近日阻擋了一波惡意流量，比去年遭遇的創紀錄攻擊規模大了至少7倍。 資安公司Cloudflare表示，這波攻擊「比我們之前觀察到的任何攻擊大了3倍」。 亞馬遜（Amazon）的網路服務部門也證實受到「新型分散式阻斷服務（DDoS）」攻擊。 這3家公司均表示攻擊始於8月下旬。Google說，攻擊仍在持續中。 阻斷服務是最基本的網路攻擊形式之一，原理是以大量惡意數據請求灌爆目標伺服器，使其無法處理正常流量，從而阻斷對其他使用者提供服務。 隨著網路世界發展，阻斷服務的攻擊威力也不斷增強，其中有些每秒可發出數百萬個垃圾請求。Google、Cloudflare和亞馬遜最近遭遇的攻擊，每秒甚至可產生數億個垃圾請求。 Google在部落格文章中表示，這類攻擊只要持續2分鐘，「產生的請求數量就超過了2023年9月維基百科回報整個月的文章瀏覽總數」。Cloudflare說，這波攻擊規模「前所未見」。 工業型 無線充電裝置 、精密加工元件； 貨櫃屋 優勢特性有哪些? QR CODE 捲袋包裝機 。幫你考照過關， 堆高機 裝卸操作教學影片大公開 !專業客製化禮物、贈品設計，辦公用品常見【 L夾 】搖身一變大受好評!如何利用一般常見的「 L型資料夾 」達到廣告宣傳效果? 貨櫃屋設計 ，結合生活理念、發揮無限的創意及時尚的設計， Check AOI on tape components 。真空 封口機 該不該買?使用心得分享！好的茗茶,更需要密封性高的 茶葉罐 ,才能留住香氣!特殊造型 滑鼠墊 去哪買?金誠運用 中古貨櫃屋 ，重新改造各式活動展場、代銷中心、旅遊渡假空間，皆可依顧客需求製作。 實驗型均質機 攻戰消費者第一視覺, 包裝設計 很重要!隨時健康喝好水，高品質 飲水機 ，優質安全有把關。測試專家告訴你如何好好使用 示波器 。 空壓機 合理價格為您解決工作中需要。客製專屬 滑鼠墊 ． 防盜設備/系統 ； SPX ，加強 賣場防竊 系統作業 3家公司都表示，這波超大規模攻擊利用超文字傳輸協定第2版（HTTP/2）的一個弱點，這個弱點使得伺服器特別容易受到惡意請求攻擊。HTTP/2是HTTP網路協定的較新版本。 它們敦促企業更新網路...
閱讀完整內容