static-analysis

1熱度

1回答

我想寫一個自定義規則爲SwiftLint。繼在自述的方向，我已經添加了以下到.swiftlint.yml： custom_rules: multi_clause_guard: regex: 'guard .*,' 然而，這正則表達式是不符合我的項目中的任何線，儘管有很多被它應該匹配，例如行： guard let x = Int(s), let y = Int(t) else

0熱度

1回答

靜態代碼分析 - 查找unsanitized/unsainted變量

試圖編寫此靜態代碼分析僞代碼/算法。有兩種情況：安全（輸入 - $排序 - 被消毒/污點） <?php $sort = htmlentities($_GET['sort']); if($sort=="asc") { echo 'Sorting: '.$sort; }elseif($sort=="desc"){ echo

7熱度

1回答

CppCoreChecker C風格使用基於對矢量循環

假設下面的代碼範圍時投警告： #include <iostream> #include <vector> #include <string> int main() { std::vector<std::string> lines; lines.push_back("line"); for (const auto& s : lines) { std:

1熱度

1回答

PHPStan - 構造函數的參數

的變化類型。當我的代碼庫中運行PHPStan我得到的錯誤： Parameter #2 $credentials of class Symfony\Component\Security\Core\Authentication\Token\UsernamePasswordToken constructor expects string, null given. 這是因爲構造函數的文檔塊僅指定一個字

1熱度

1回答

如何加快聲納分析工作？

我已被具有源代碼（〜1M）巨大線。現在我使用詹金斯與sonar-runner-2.4來運行代碼覆蓋率和測試用例count.I分析一個基於Java的應用程序已升級sonarqube服務器從5.4到6.3.1 。升級此作業前需花費9hrs才能完成整個分析（雖然時間很長但很好），但升級到sonarqube-6.3.1後，同樣的工作取13hrs完成同樣的分析。我該如何提高分析時間至少在我早些時候9hr？

0熱度

1回答

如何用菸灰創建控制流圖？

有一段時間，我一直在努力創建一個帶有Soot的控制流圖，我有點迷失在它的tutorials。我沒有使用Soot作爲Eclipse插件，而是一直試圖使用Soot作爲庫或API。我想要做的是，我有一堆Java項目，我想創建/生成這些項目的控制流圖。我還看到Soot中有一個功能，我可以用「DOT」格式生成控制流圖，這對我來說也是可以接受的。任何指導或示例代碼，展示如何創建/生成菸灰控制流程圖將是偉大

0熱度

1回答

如何在TravisCI中爲C++ w/CMake項目正確配置CodeCov？

我正試圖在我的GitHub倉庫上配置CodeCov和TravisCI。由於我的回購是在C++中，我使用的CMake了，我基本上是複製粘貼的this example的after_success標籤到我.travis.yml文件： after_success: # Creating report - cd ${TRAVIS_BUILD_DIR} - lcov --dire

1熱度

1回答

如何靜態檢測由於代碼更改而引入的錯誤？

我有一個用C語言編寫的大型代碼庫，有幾個枚舉。最近我修改了其中的一個枚舉，並且產生了重大影響，因爲我有點「錯誤」 - 評估了影響。有看起來像這樣的枚舉： - typedef enum en_e_type { ENUM_VAL_1 = 1, ENUM_VAL_2 = 2, ENUM_VAL_3 = 3, ENUM_VAL_MAX = 4, }en_e; 這得到了改變，以 typed

0熱度

1回答

鐺檢查用胳膊爲目標

我一直在嘗試使用鐺檢查靜態代碼分析。我的生成文件生成compile_commands.json到目前爲止鐺檢查非常適用於x86平臺，但是我想使用它的ARM平臺了。項的一個看起來是這樣的： { "directory": "/path/to/myproject/src", "command": "arm-none-eabi-gcc -DBOARD_VERSION=3 -fmes

2熱度

1回答

使用靜態程序分析解決內存不足錯誤

內存不足是Java和其他OO語言中最常見的錯誤之一。我們是否可以應用靜態程序分析來減少「內存不足」錯誤？我正在尋找旨在減少此錯誤而無需運行代碼的方法。是否有任何特定的分析領域在這方面進行研究？