今日芯聲|DeepCode 為 C/C ++ 添加 AI 靜態代碼分析支持

2020-12-06 讀芯術

「今日芯聲」是讀芯術推出的一檔簡讀欄目，匯聚每日國內外最新最熱的AI應用資訊，敬請關注。

1、代碼審查 DeepCode 為 C/C ++ 添加 AI 靜態代碼分析支持

人工智慧代碼審查平臺 DeepCode 方面宣布，將為 C 和 C ++ 添加基於 AI 的靜態代碼分析支持。

DeepCode AI 團隊在發布的文章中寫道：「C 和 C ++ 在接近硬體的軟體領域（例如作業系統或具有高性能甚至實時性的軟體）中佔主導地位。首選這兩種語言，是因為它們提供了很大的自由度和控制力。且這兩種語言在軟體開發領域佔據了很獨特的地位，因此就算是很小的錯誤也會產生很大的影響。」

C 和 C ++ 的靜態代碼分析是一個充滿挑戰的領域。據透露，DeepCode 花了大約三個月的時間來添加對 C 和 C ++ 的支持。DeepCode 工程師 Jan Eberhardt 稱：「我們認為 C ++ 是命令式語言的特例，它具有所有底層功能，例如內存管理、引用、指針等。就其他任何「常規」命令式程式語言來說，我們在我們的指向和類型狀態分析中不必進行任何更改。並且針對其他任何語言，我們預計實施時間約為一個月。」

目前，除了 C 和 C ++ 之外，DeepCode 已提供了對 Java、Python、JavaScript 和 TypeScript 的支持。

2、谷歌 YouTube 全球範圍內默認視頻清晰度變成標清，為期一個月

北京時間3月25日早間消息，據國外媒體報導，從周二開始，YouTube公司將在全球範圍內降低視頻的清晰度，該公司的這個決定，是為了緩解網際網路的擁堵現象。

該公司表示，在未來幾天中，用戶會發現YouTube視頻在開始播放的時候，默認清晰度將會變成標清。如果用戶想要觀看高清視頻的話，他們依然可以通過手動選擇的方式提升視頻清晰度。

例如與Alphabet旗下谷歌的YouTube，此前已經在歐洲制定了這項政策，本次該公司將這一政策擴大到了全球範圍之內。此前，歐洲的監管機構要求各大流媒體視頻企業降低各自的帶寬用量，這些企業除了YouTube之外，還包括Netflix和亞馬遜Prime Video等。

此前YouTube已經推出了一項功能，根據用戶的網絡連接速度自動調整視頻的清晰度。YouTube表示，他們並不認為世界上的網際網路帶寬將會在短時間內被消耗光，但是由於政府層面的擔憂日益加劇，該公司依然將採取主動的措施。

谷歌在一份聲明中表示：「我們將繼續與各國政府和全世界各地的網絡供應商密切合作，從而在這個前所未有的情況下，儘自己的一份力量，把對系統的壓力降至最低。」

3、5 月起，微軟全面暫停 Win10 可選更新補丁推送

IT之家3月25日消息 微軟正在暫停Windows 10的可選累積更新（非安全補丁）。大多數人每個月必須安裝一次Windows 10更新，然後通常將其作為Microsoft年度功能更新的一部分。

在「Windows即服務」時代，功能或改進更新大約每六個月發布一次。微軟在每個月第二個星期二發布所有受支持的Windows 10版本安全更新。

微軟還發布了可選更新補丁，稱為C和D，其中第三周為C，第四周為D。這些可選更新是與非安全性改進和修補程序一起發布的，這些修補程序也與「每月星期二補丁」更新捆綁在一起。實際上，目前正在向消費者推出新的可選更新KB4541335補丁，升級到Windows 10 Build 18363.752版本。

今天，微軟宣布將暫停Windows 10可選更新的發布，以提高Windows Update的質量。作為對社會承諾的一部分，微軟將在2020年5月開始暫停可選更新，但每月的「星期二補丁」安全更新將保持不變。

微軟解釋稱：「我們一直在評估公共衛生狀況，我們知道這正在影響我們的客戶。」IT之家獲知，在接下來的幾個月中，微軟計劃優先考慮安全修復和改進。

Windows 10可選更新：此更改適用於消費者和企業的所有受支持的Windows 10版本；由於最近發生的問題，世界各地宣布了長達數周的封閉期，許多人在家工作，而其他人則在Windows上觀看娛樂內容。換句話說，人們越來越依賴於PC，網際網路使用也大大增加；在許多國家/地區，政府官員和衛生工作者還在使用微軟的Windows 10作業系統；微軟表示，它將繼續發布Patch Tuesday強制性安全更新，它們仍將自動安裝；微軟希望暫停非安全性的Windows 10更新，將為客戶提供保護並提高工作效率。

4、手機淘寶 iOS 正式版突然出現內測版本即將到期彈窗 Bug：3 月 28 日後無法使用

IT之家3月25日消息 據不少IT之家網友反饋，3月25日凌晨開始，手機淘寶iOS版9.5.7版本打開後會出現一個內測版本即將到期的彈窗Bug，而實際上大家使用的是iOS 正式版本，並非內測版本。

彈窗提醒內容：「您使用的程序是內測版本，將於當地時間2020年-03-28到期，到期後將無法使用，請儘快下載最新版本。」

據網友和IT之家編輯測試，該問題在iOS 13.3.1和iOS 13.4系統均有，預計不是iOS系統升級的問題。

目前點擊確定之後彈窗消失，即可正常使用，退出淘寶App，再次打開後會繼續彈窗。

留言點讚關注

我們一起分享AI學習與發展的乾貨

如轉載，請後臺留言，遵守轉載規範

相關焦點

  • c編譯器so easy,gcc c編譯器生成、使用動靜態庫
    c編譯器作為常用軟體之一，並非具備無法逾越難度。對於c編譯器的學習，往往需要具備一定耐心。本文對c編譯器的講解基於gcc c編譯器，同時本文承接「c編譯器so easy，gcc c編譯器生成、使用動靜態庫(上篇)」一文而談，不了解的朋友可以先回顧一番哦。此外，本文主要內容為gcc生成靜態和動態連結庫的示例，一起來了解下吧。
  • Azure 靜態 web 應用集成 Azure 函數 API
    新建完成之後修改Function1.cs類的代碼為：public static class Function1 { [FunctionName("sum")] public static async Task<IActionResult>
  • 今天聊聊Oracle Database 21c 十「小」新特性
    我們決定不將Database 20c Preview版本升級為General Availability。相反，我們將所有20c功能都合併到21c版本中，並使21c在我們的「自製資料庫免費層」中可用，以便所有人都可以免費試用驅動新功能和增強功能。
  • Linux C/C++ 開發人員要熟練掌握 GDB 調試代碼塊
    pid 到 core 文件名中 %u insert current uid into filename 添加當前 uid 到 core 文件名中 %g insert current gid into filename 添加當前 gid 到 core 文件名中 %s insert signal that caused the coredump into the filename 添加導致產生 core
  • 如何將SonarQube代碼質量分析工具安裝到Ubuntu Server 20.04上?
    如果您是雲原生開發人員(或任何其他開發人員)，可能需要一款工具來分析代碼，幫助查找安全問題、缺陷、漏洞、異常和一般問題。如果您只從事一個小項目，可以通過老式的手動方法來解決。如果您經常為CI/CD之類的項目編寫代碼，工作量決定了您可能無法手動檢查。這時如何是好?您總是可以安裝SonarQube之類的工具。
  • C語言項目中.h和.c文件的關係和概念
    在編譯器只認識.c(.cpp))文件，而不知道.h是何物的年代,那時的人們寫了很多的.c(.cpp)文件，漸漸地，人們發現在很多.c(.cpp)文件中的聲明語句就是相同的。
  • C/C++編程筆記:C數組、字符串常量和指針!三分鐘弄懂它
    int列表[MAX_SIZE + 1]; C數組開始於元素0，所以像陣列定義 int a[3];將創建三個int元件，可尋址如a[0]，a[1]，和a[2] 請注意，即使定義很難說a[3]，也沒有名為a[3] 與其他變量一樣，全局和靜態數組元素默認情況下初始化為
  • C語言編程規範 clean code
    規則1.2 全局變量應增加 'g_' 前綴，函數內靜態變量命名不需要加特殊前綴全局變量應當儘量少使用，使用時應特別注意，所以加上前綴用於視覺上的突出，促使開發人員對這些變量的使用更加小心。全局靜態變量命名與全局變量相同，函數內的靜態變量命名與普通局部變量相同。
  • ai本身涉及到的東西有哪些?核心是什麼
    人工智慧的大多數技術都可以寫出像網頁一樣的代碼，可以使用類似python的庫。也有相應的專用語言支持ai，主要是一些工具語言（比如python的pypcgl，perl的scip）。部分ai庫內置了機器學習的算法，這些算法實際上大多都是在離散數學中的概率論中的數學模型。
  • 今日芯聲|中國移動5G SIM卡新品開始測試!
    「今日芯聲」是讀芯術推出的一檔簡讀欄目，匯聚每日國內外最新最熱的AI應用資訊，敬請關注。其1月首次公布的5G運營數據顯示，截至1月底，5G套餐客戶數為673.6萬戶。5G套餐客戶為訂購5G資費套餐的個人行動電話客戶，不包含未訂購5G套餐、僅共享5G套餐資源的客戶。
  • 學習C語言之前,你需要知道這些!
    首先，我們要下載並安裝編譯器，編譯器會將C語言解釋為計算機可以理解的機器代碼，編譯器通常是免費的，但是，不同的編譯器不能在不同的作業系統上使用，對於Windows系統，您可以嘗試使用MicrosoftVisualStudioExpress或MinGW編譯器，對於Mac系統的用戶，XCode是出色的C語言編譯器，對於Linux，gcc是一個不錯的選擇。
  • C Primer Plus 中文版 PDF
    首先基礎內容非常詳實，c語言的語法規則是比較精煉短小的，而這本書除了精講語法內容，還配有大量的代碼示例和代碼講解，這對於小白來說，是非常重要的。如果一上來就講內容，沒有多少代碼，小白可能根本就不知道怎麼寫代碼。代碼這種東西我覺得跟寫文章類似，剛開始要去模仿，熟練之後自然而言就可以自己創作了。
  • 先來理解一下C語言的Helloworld程序吧
    本文將介紹一下K&R所寫的經典程序：Helloworld的簡要分析。 各位好，編程能力作為新時代的重要能力之一，現在變得越來越熱門，本人作為未來的計算人很樂意簡單介紹一下編程的一些小知識，所以往下看吧，不會後悔的。
  • Kite將其AI驅動的代碼完成功能引入JavaScript
    Kite最初僅適用於Python，已在其附加組件中添加了受JavaScript訓練的機器學習模型，以供流行的代碼編輯器和IDE使用。Kite是由AI驅動的Python自動完成編程工具的製造商， 已添加了JavaScript支持。
  • 天諭手遊樂譜代碼之追光者 追光者樂譜代碼分享
    天諭手遊樂譜代碼追光者是什麼？追光者樂譜怎麼彈出來？
  • 大神為你分析 Go、Java、C 等主流程式語言
    tcp/http/xml/json/ 加解密等更輕量級和優秀的代碼庫，對網絡的核心協議 http 的高並發支持，已經為它提供了撬動 Java 的敲門磚。庫：在程序運行方面，Java 支持 jar 包的動態加載，具備良好地擴展和升級能力，而 C/C++ 支持靜態和動態兩種連結方式，但在加載方式方面，基本沒有控制力，未能如 Java 般靈活，Go 編譯後 linux 下基本只依賴 libc 庫，不支持動態連結，只支持靜態連結，最終編譯出一個兼容 gdb 格式的執行程序，在部署方面具有極簡配置，但必須控制程序規模，否則在作業域可能會帶來聯動升級
  • 原神六命女僕能當主C嗎 原神女僕諾艾爾主C強度分析
    很多小夥伴想知道滿命後的女僕究竟可不可以當主C，難道女僕就擺脫不了挖礦的命運了嗎，下面就為大家分析一波原神女僕諾艾爾主C強度，一起看看吧。 六命女僕能當主C嗎 功能型奶輔，6命有c的潛力。 關於6命女僕能否做主c，我的答案是暫時不能。
  • 1978經典街機遊戲《太空侵略者》C語言精準復現
    原來的ROM是大約2000行8080的彙編程序，全部是遊戲代碼。最終發布的si78c版本大約有1500行遊戲代碼、500行支持代碼和800行注釋。在後臺還有大約2萬多行未發布的代碼，包括以前的迭代和其他支持腳本以及完成工作所需編寫的工具。在運行時，si78c的內存狀態與原始版本相同(堆棧除外)。所以與原始版本相比si78c的精準度達到了像素級。
  • 開發二進位文件靜態快速分析工具(續)
    本文轉載自【微信公眾號：MicroPest，ID：gh_696c36c5382b】，經微信公眾號授權轉載，如需轉載與原文作者聯繫幾個月前，寫了這個「二進位文件靜態快速分析工具」，框架已經搭建完成，一直在添磚加瓦之中，加入了一些功能，讓一鍵式成為靜態分析的
  • Kite AI代碼完成工具已新增對11種語言的支持
    Kite AI代碼完成工具已新增對11種語言的支持2020-10-22 14:08出處/作者：cnBeta.COM整合編輯：佚名責任編輯：zhaoyongyu1 　　AI 驅動的 Kite 代碼完成工具，在 2019 年推出時便受到了許多開發者的關注。