kadaokaduan

kadaokaduan's Stars

• m-sec-org/ryzesca

  RyzeSCA 是M-SEC社区一款强化 DevSecOps 的软件成分分析工具，能在软件开发过程中分析和管理开源组件的安全风险。

  Language:Go338

• Cryin/JavaID

  java source code static code analysis and danger function identify prog

  Language:Python533116

• adoy/PHP-FastCGI-Client

  Lightweight, single file, FastCGI client for PHP

  Language:PHP30457

• javapathfinder/jpf-core

  JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

  Language:Java538343