Kubernetes is a tool that facilitates rapid deployment of software. Unfortunately, configuring Kubernetes is prone to errors.Configuration defects are not uncommon and can result in serious consequenc

DataCite Commons2025-01-24 更新240

Results for Reconstruction on Cruisecontrol and PMD

代码重构验证

静态代码分析

Here we show the result of running our Groove refactoring reconstruction rules on cases of refactoring masking that we identified in the open source cases PMD and Cruisecontrol.

Figshare2014-06-25 更新20

Stardust Supplementary Data

区块链智能合约安全

静态分析工具

This pdf contains information about the case studies and the findings of the CosmWasm static analyzer Stardust.

Zenodo2026-01-09 更新10