靜態檢查工具——PClint
簡介： pc_lint是GIMPEL SOFTWARE公司開發的C/C++軟件代碼靜態分析工具，它的全稱是PC-Lint/FlexeLint for C/C++， pc_lint能夠在Windows、MS-DOS和OS/2平台上使用，以二進制可執行文件的形式發布，而FlexeLint 運行 ...
原文：golang 死鎖&&靜態檢查的一些工具
sasha s go deadlock sasha s go deadlock 是死鎖檢查的一個好工具 dominikh go tools dominikh go tools 是一個靜態檢查的好工具，可以分析性能以及隱藏的問題 說明 當然以前說的race 以及vet 也都是不錯的工具 參考資料 https: github.com dominikh go toolshttps: github.com ...
2020-12-05 22:48 0 834 推薦指數：
相關推薦
Linux避免死鎖的一些機制
死鎖應該有3個原因： 1.獨占資源 2.循環等待 3.不可剝奪 網上看到的4個條件，實際上還是3個，因為請求和等待導致的死鎖畢竟有點讓人難堪，實際上的死鎖多是因為請求等待導致的循環等待。 在用戶態，由於Linux提倡進程之間的公平，線程之間甚至沒有優先級之分，每個進程/線程都會有機會執行 ...
靜態代碼檢查工具簡介
靜態代碼檢查工具簡介 在 Java 軟件開發過程中，開發團隊往往要花費大量的時間和精力發現並修改代碼缺陷。傳統的代碼復審、同行評審，通過人工方式來檢查缺陷仍然是一件耗時耗力的事情。Java 靜態代碼分析（static code analysis）工具能夠在代碼構建過程中幫助開發人員快速、有效 ...
golang的timer一些坑
本文代碼部分基於dive-to-gosync-workshop的代碼 Golang 的NewTimer方法調用后，生成的timer會放入最小堆，一個后台goroutine會掃描這個堆，將到時的timer進行回調和channel(下面代碼的 c := make(chan Time,1) )寫入 ...
一些工具
my hexo blog 實用網站 Paste Me 在線Latex 在線坐標系 在線生成圖，樹 在線markdown CSDN不登錄閱讀以及禁廣告 對比代碼的網站(fc功能) 音樂 ...
靜態檢查代碼工具-source insight scan
sourceinsight-scan 是一款集成在 SourceInsight 中的c/c++代碼靜態分析插件 用pclint搭建不出來 目前公司用這個了 也挺好用的 可以發現內存泄漏 邏輯錯誤 數組越界 等這些。 下載地址 https://sourceforge.net/projects ...
Python靜態代碼檢查工具Flake8
簡介 Flake8 是由Python官方發布的一款輔助檢測Python代碼是否規范的工具，相對於目前熱度比較高的Pylint來說，Flake8檢查規則靈活，支持集成額外插件，擴展性強。Flake8是對下面三個工具的封裝： 1）PyFlakes：靜態檢查 ...
四種java代碼靜態檢查工具
【轉載】常用 Java 靜態代碼分析工具的分析與比較 轉載自 開源中國社區 http://www.oschina.net/question/129540_23043 1月16日廈門 OSC 源創會火熱 ...