完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>
標(biāo)簽 > 靜態(tài)分析
文章:37個(gè) 瀏覽:4026次 帖子:0個(gè)
從“被動(dòng)檢測(cè)”到“主動(dòng)預(yù)防”,上海控安TestGrid推出動(dòng)態(tài)缺陷檢測(cè)功能模塊
在嵌入式系統(tǒng)與安全關(guān)鍵領(lǐng)域,如航空航天、軌道交通、自動(dòng)駕駛、醫(yī)療設(shè)備,代碼缺陷可能引發(fā)災(zāi)難性后果。傳統(tǒng)靜態(tài)分析僅能通過源代碼語法、結(jié)構(gòu)和編碼規(guī)范發(fā)現(xiàn)問題...
DevSecOps自動(dòng)化在安全關(guān)鍵型軟件開發(fā)中的實(shí)踐、Helix QAC& Klocwork等SAST工具應(yīng)用
DevSecOps自動(dòng)化旨在通過在軟件開發(fā)生命周期的各個(gè)階段集成安全流程,使用自動(dòng)化工具和最佳實(shí)踐來簡(jiǎn)化開發(fā)、安全和運(yùn)營(yíng)。實(shí)現(xiàn)DevSecOps自動(dòng)化流...
【征集令】2025年全球汽車軟件開發(fā)狀況調(diào)查,500美金等你拿!
本次Perforce聯(lián)合北匯信息,誠(chéng)摯邀請(qǐng)中國(guó)汽車軟件開發(fā)專業(yè)人士參加該報(bào)告2025年的調(diào)查。這項(xiàng)調(diào)查涵蓋了發(fā)現(xiàn)汽車軟件工作人員面臨的最新趨勢(shì)、挑戰(zhàn)和技...
Perforce靜態(tài)分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進(jìn)和安全增強(qiáng)
?和Klocwork的最新版本對(duì)靜態(tài)分析工具進(jìn)行了重大改進(jìn),通過盡早修復(fù)錯(cuò)誤、降低開發(fā)成本和加快發(fā)布速度,使開發(fā)團(tuán)隊(duì)實(shí)現(xiàn)左移。本文中,我們將概述2024...
嵌入式系統(tǒng)安全性:C/C++編程與SAST靜態(tài)代碼分析在工業(yè)4.0及物聯(lián)網(wǎng)時(shí)代的新實(shí)踐
工業(yè)4.0時(shí)代,您需要了解的嵌入式系統(tǒng)網(wǎng)絡(luò)安全知識(shí)當(dāng)前,技術(shù)的發(fā)展比以往任何時(shí)候都要迅猛,每天都有針對(duì)各種難以想象的任務(wù)的新產(chǎn)品和新功能問世。現(xiàn)在不僅僅...
2024-08-19 標(biāo)簽:嵌入式系統(tǒng)物聯(lián)網(wǎng)編碼準(zhǔn)則 774 0
IAR通過多架構(gòu)認(rèn)證的靜態(tài)分析工具加速代碼質(zhì)量自動(dòng)化
公司推出經(jīng)TüV SüD認(rèn)證的C-STAT靜態(tài)分析工具,適用于最新發(fā)布的IAR Embedded Workbench for RISC-V V3.30....
IAR推出新版IAR Embedded Workbench for Arm功能安全版
瑞典烏普薩拉,2024年2月20日 – 全球領(lǐng)先的嵌入式系統(tǒng)開發(fā)軟件解決方案供應(yīng)商IAR宣布:推出其旗艦產(chǎn)品IAREmbedded Workbench ...
2024-02-21 標(biāo)簽:arm嵌入式系統(tǒng)IAR 1147 0
隨著自動(dòng)駕駛、車聯(lián)網(wǎng)等技術(shù)突飛猛進(jìn)的發(fā)展,汽車中包含的軟件越來越多。如何保證這些軟件的質(zhì)量就成了重中之重。經(jīng)緯恒潤(rùn)擁有十幾年的嵌入式軟件研發(fā)及測(cè)試經(jīng)驗(yàn),...
2024-01-29 標(biāo)簽:嵌入式代碼靜態(tài)測(cè)試 2288 0
Facebook開源StyleX如何在JavaScript中寫CSS呢?
Meta(原 Facebook)開源了全新的 CSS-in-JS 庫 StyleX。
2023-12-14 標(biāo)簽:javascriptCSS選擇器 1057 0
什么是靜態(tài)分析?如何管理早期靜態(tài)分析報(bào)告
簡(jiǎn)單來說,靜態(tài)分析是在不執(zhí)行代碼的情況下檢查源代碼和二進(jìn)制代碼的過程,通常用于查找bug的前期準(zhǔn)備或評(píng)估代碼質(zhì)量。與需要運(yùn)行程序的動(dòng)態(tài)分析(例如Para...
2022-11-01 標(biāo)簽:代碼應(yīng)用程序靜態(tài)分析 6570 0
靜態(tài)分析:對(duì)代碼質(zhì)量至關(guān)重要
讓我們從顯而易見的事情開始:靜態(tài)分析本身并不是靈丹妙藥。它不能保證復(fù)雜的軍事嵌入式應(yīng)用程序中的高代碼質(zhì)量、安全性或安全性。靜態(tài)分析也不能確保您的應(yīng)用...
Klocwork靜態(tài)分析工具的主要功能及應(yīng)用行業(yè)
Klocwork工具應(yīng)用了靜態(tài)分析技術(shù),可實(shí)現(xiàn)對(duì)C、C++、Java、C#、python等代碼的全面靜態(tài)分析。檢查問題種類既包含軟件質(zhì)量和安全缺陷相關(guān),...
關(guān)于Polyspace靜態(tài)分析的具體作用分析和介紹
這一范圍還體現(xiàn)在市場(chǎng)上各種各樣的靜態(tài)分析工具。例如,一些高級(jí)編譯器有一個(gè)采用靜態(tài)分析形式的內(nèi)置語法檢查器。在該范圍的另一端是基于形式化方法的工具,如可以...
關(guān)于Polyspace的靜態(tài)分析的詳細(xì)解析和應(yīng)用
另外還可以設(shè)定編碼規(guī)范(如MISRA)和自定義代碼風(fēng)格,違反之處以紫色顯示;同時(shí)可以看到代碼變量隨控制流的數(shù)據(jù)范圍變化情況,快速查找和定位問題原因。
新思科技憑借靜態(tài)分析解決方案榮獲靜態(tài)應(yīng)用安全測(cè)試最高分
新思科技靜態(tài)分析在2017年第四季度靜態(tài)應(yīng)用安全測(cè)試中“現(xiàn)有產(chǎn)品”和“策略”類別都獲得了最高分。被Forrester Wave評(píng)為靜態(tài)應(yīng)用安全測(cè)試領(lǐng)導(dǎo)者。
編輯推薦廠商產(chǎn)品技術(shù)軟件/工具OS/語言教程專題
電機(jī)控制 | DSP | 氮化鎵 | 功率放大器 | ChatGPT | 自動(dòng)駕駛 | TI | 瑞薩電子 |
BLDC | PLC | 碳化硅 | 二極管 | OpenAI | 元宇宙 | 安森美 | ADI |
無刷電機(jī) | FOC | IGBT | 逆變器 | 文心一言 | 5G | 英飛凌 | 羅姆 |
直流電機(jī) | PID | MOSFET | 傳感器 | 人工智能 | 物聯(lián)網(wǎng) | NXP | 賽靈思 |
步進(jìn)電機(jī) | SPWM | 充電樁 | IPM | 機(jī)器視覺 | 無人機(jī) | 三菱電機(jī) | ST |
伺服電機(jī) | SVPWM | 光伏發(fā)電 | UPS | AR | 智能電網(wǎng) | 國(guó)民技術(shù) | Microchip |
Arduino | BeagleBone | 樹莓派 | STM32 | MSP430 | EFM32 | ARM mbed | EDA |
示波器 | LPC | imx8 | PSoC | Altium Designer | Allegro | Mentor | Pads |
OrCAD | Cadence | AutoCAD | 華秋DFM | Keil | MATLAB | MPLAB | Quartus |
C++ | Java | Python | JavaScript | node.js | RISC-V | verilog | Tensorflow |
Android | iOS | linux | RTOS | FreeRTOS | LiteOS | RT-THread | uCOS |
DuerOS | Brillo | Windows11 | HarmonyOS |